アクターとは？/ ディック
[ 935] アクターモデル - Wikipedia
[引用サイト] http://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%AF%E3%82%BF%E3%83%BC%E3%83%A2%E3%83%87%E3%83%AB
|
アクターモデルはそれ以前の計算モデルとは異なり、物理法則を発想の基本としている。他にも、LISP言語、Simula言語、ケーパビリティ・システム、パケット通信、初期のSmalltalkなどの影響を受けている。アクターモデルは「数百・数千のマイクロプロセッサから構成され、個々にローカルメモリを持ち、高性能通信ネットワークで通信を行う並列コンピュータが近い将来登場するとの予測」から開発された[2]。その後、Webサービスやメニイコアアーキテクチャを活用した超並行性にも範囲を広げてきた。 アクターモデルの基本は「全てのものはアクターである」という哲学である。これはオブジェクト指向プログラミングにおける「全てのものはオブジェクトである」という考え方と似ているが、オブジェクト指向ソフトウェアでは基本的に逐次的に実行するのに対して、アクターモデルでは本質的に並行性を備えている点が異なる。 他のアクターとの通信は非同期に発生する（すなわち、送信側アクターはメッセージが受信されるのを待たずに次の計算に移行する）。 メッセージを送信する相手のアクターはアドレスによって指定される（これをアクターの「メールアドレス」とも呼ぶ）。結果として、アクターはアドレスのあるアクターとのみ通信可能であり、他のアクターのアドレスは以下のような方法で獲得される: アクターモデルは、アクター自体およびアクター間の計算の本質的並行性を特徴とし、メッセージ内にアクターのアドレスを含め、相互のやりとりは到着順が保証されない直接的非同期メッセージパッシングのみである。 アクターモデルのメッセージパッシング機能を完全には形式化していない点でアクターモデルそのものには対応していない形式体系として、以下のようなものがある: アクターモデルは、各種並行システムのモデリングや理解のフレームワークとして利用可能である。以下のような例がある: 電子メールはアクターシステムとしてモデル化可能である。アカウントをアクターとしてモデル化し、メールアドレスをアクターのアドレスとする。 ロックを持つオブジェクト（例えば、JavaやC#のオブジェクト）は、連続的に到着するメッセージを受け取る（例えば内部のキューに蓄える）機能を持った「シリアライザ; Serializer」としてモデル化できる。シリアライザはメッセージを連続的に受信可能なアクターの一種であり、シリアライザ向けに送信されたメッセージは必ず受信されることが保証される。 最初のオブジェクト指向型のメッセージパッシング言語。ただし、真の並行性はなく、コルーチンを使用している。 アクターモデル以前に広く使われていた並行計算用モデル。しかし、ペトリネットは制御フローはモデル化できるが、データフローをモデル化できないという弱点があった。また、ヒューイットが指摘した問題として、動作の同時性がある。ペトリネットでの不可分な計算ステップはトークンが入力箇所から消え、「同時に」出力箇所に出現することになっている。ヒューイットはこのような特徴を前提としたモデルでは実際の並行システムにそぐわないと考えた。もっとも、そのような問題があってもペトリネットは現在も使われており、熱心な研究が行われている。 最初の並行プログラムは割り込みハンドラであった。コンピュータは通常処理の最中に外部（キーボード、ネットワークなど）からの情報を受け取る必要が生じた。そこで、情報が到着すると、コンピュータは割り込まれ、割り込みハンドラと呼ばれる特別なコードが呼び出されて情報をバッファに取り込み、逐次的に処理できるようにする。 初期の計算モデル（チューリングマシン、ラムダ計算など）は数学に基づいており、状態によって計算「ステップ」を表現した。各計算ステップは、ある状態から別の状態への遷移である。このような状態遷移的手法は、非決定性のものを含む有限状態機械などのオートマタ理論へと発展していった。非決定性オートマトンには有限の非決定性があり、マシンが初期状態から動作開始したとき常に停止するなら、停止するときの状態数は有限である。 エドガー・ダイクストラは、この非決定的な状態遷移手法の研究を進めた。ダイクストラのモデルをきっかけとして無制限の非決定性に関する議論が発生した。無制限の非決定性[12]は、並行性の特徴であり、共有リソースの衝突の仲裁の結果として、サービスの遅延が無制限に発生することを意味する（タイムアウトなど、サービスを打ち切る仕様でない場合）。ヒューイットはアクターモデルにはサービスの保証を提供するとした。ダイクストラのモデルでは、逐次命令列の実行に無制限の時間が掛かる可能性があるとしても、状態定義が適切であれば有限の状態数で停止するとされた[Dijkstra 1976]。結果として、ダイクストラのモデルはサービスの保証を提供できなかった。ダイクストラは無制限の非決定性を実装することは不可能であると主張した。 ヒューイットは調停回路と呼ばれる計算回路が安定するのにかかる時間に制限はないと主張した。調停回路はコンピュータが外部からの入力（キーボードからの入力、ディスクアクセス、ネットワークからの受信など）をクロックとは非同期的に処理する状況で使われる。そのため、あるメッセージがコンピュータによって受け取られるまでにかかる時間には際限がなく、その間にコンピュータが遷移する状態数にも制限がない。 アクターモデルではメッセージをバッファに蓄える必要はない。この点はかつての並行計算のモデルとは明確に異なっている。バッファがないという点は当初から誤解されがちで、議論となる問題である。メッセージは「エーテル」や「環境」によってバッファリングされると主張する研究者もいた。しかし、「エーテル」は非常に良いバッファとは言えない。エーテルに置かれたメッセージは、受け取られるまでそこに留まるわけではない。また、アクターモデルでのメッセージは（IPのパケットのように）単に送られる。受信側と同期的なハンドシェイクをする必要はない。 アクターモデルの自然な発展として、メッセージ内のアドレスが含まれるようになった。パケット通信[1961 and 1964]に影響され、ヒューイットは形式が固定されていない通信を使った新たな並行計算のモデルを提案した。例えば、メッセージは空でもよい。もちろん、送信側が受信側に新たなアクセスすべきアドレスを伝えたい場合、通信によってそれが伝えられる。 メッセージにアクターのアドレスを含めることによって、アクター間の関係は可変なトポロジーを形成することができる。それはちょうど Simula のオブジェクトが可変トポロジーの関係を持つのと似ている。 逐次的プロセスの合成に基づく従来の手法とは異なり、アクターモデルは本来的に並行的なモデルとして開発された。アクターモデルでの逐次性はアクターモデル理論で説明されるように並行計算の特殊ケースである。 アクターモデルで送信された順番にメッセージが受信されるべきだという要求にたいしてヒューイットは反論した。出力の順序付けが必要なら、その機能を持つキューの役割をするアクターを導入すればよい。キュー・アクターは到着したメッセージをFIFO順にキューイングする。そのため、アクター X がアクター Y にメッセージ M1 を送り、X がその後に受け取ったメッセージに対応して新たにメッセージ M2 を Y に送った場合、M1 は M2 より先に Y に到着するとは限らない。 この点でアクターモデルはパケット通信システムを反映している。パケット通信ではパケットが送信順に受信されることを保証していない。受信順を保証しないことで、パケット通信はパケットをバッファリングしたり、様々な経路でパケットを送信したり、パケットを再送したりといった最適化を可能としている。 例えば、アクターはメッセージ処理をパイプライン化できる。つまり、メッセージ M1 を処理するにあたって、アクターは次のメッセージの処理に影響を与えることができ、結果として M1 の処理が完了する前に次のメッセージ M2 の処理を開始できる。これはパイプライン化することもできるというだけであって、必ずそうしなければならないということではない。メッセージをパイプライン化するかどうかはエンジニアリング上のトレードオフの問題である。外部から見てアクターがメッセージ処理をパイプライン化しているかどうか分かるだろうか？ パイプライン化可能なアクターの定義には曖昧さは全くない。もちろん、パイプライン化を不要なところで行う可能性は存在し、その場合の動作は予期しないものとなる。 局所性とは、メッセージを処理するときにアクターがメッセージを送信できる相手はアドレスを知っているものに限られるということを意味する。 また、複数の位置を同時に変更することがないことも局所性と称する。この点は他の並行性モデルとは異なる。例えばペトリネットモデルではトークンは同時に複数の場所から削除され、別の複数の場所に配置される。 「振る舞い; behavior」の導入により、アクターのメッセージ処理を数学的関数として記述できるようになった。振る舞いは並行性における共有を数学的にモデル化する機構を提供する。 振る舞いによってアクターモデルは（例えば Smalltalk-72 のトークン・ストリーム・インタプリタのような）実装の詳細から解放された。しかし、アクターモデルで記述されたシステムを効率的に実装する際、大規模な最適化が必須となることは重要である。 アクターモデルの開発と数理論理学との関係は興味深い。その開発の主要な動機として、Planner言語の開発で生じた制御構造問題を扱い、理解するという目的があった。アクターモデルが定義されたとき、「計算は推論に内包される」という Kowalski の主張に関連するモデルの能力を理解するという重要な目標があったのである。Kowalski の主張は、アクターモデルによる並行計算では偽であることが判明した（計算の不確定性参照）。Kowalski の主張は逐次計算やラムダ計算などの一部の並列計算では真であることから、この結論には未だに議論がある。 それにも関わらず、論理プログラミングを並行計算に拡張しようという試みがなされた。しかし、ヒューイットと Agha[1991]は、結果として生まれたシステムにおける計算ステップがその前のステップからの推論（演繹）ではないという意味で、演繹的ではないと指摘した。 マイグレーション（Migration）とは、アクターが位置を変更可能であることを意味する。例えば、米澤明憲は学位論文で郵便局をアクターモデルでモデル化した。客をアクターとし、郵便局内で位置を変えながら何らかの処理をして出て行くというものである。マイグレートするアクターは位置アクターを導入することでモデル化できる。位置アクターはアクターのマイグレーションに応じて変化する。しかし、このモデル化は議論を呼び、現在も研究対象となっている。 ムーアの法則が言われ始めてから40年が経ち、ハードウェアは各種並行性を取り入れつつある（マルチコアマイクロプロセッサのような局所的並行性、様々なコンピュータネットワークなどの非局所的並行性）。このような並行性は指数関数的に増大しつつある。 ヒューイット[2006]によれば、アクターモデルはコンピュータ（および通信）アーキテクチャ、並行プログラミング言語、Webサービスに関する以下のような問題に直面している: 非一貫性: 人間の作る情報システムは巨大化するほど一貫性を失う。これは巨大システムの仕様書などの文書にも当てはまる。 アクターモデルの考え方はマルチエージェントシステムにも見られる。エージェントシステムは多くの場合アクターモデルに何らかの制限を課している点が異なり、自発的で自律的であることが要求される。 |
[ 936] Amazon.co.jp： ネオアクター VOL.1 (1) (NeoActor) (廣済堂ベストムック 115号) (廣済堂ベストムック 115号): 本
[引用サイト] http://www.amazon.co.jp/%E3%83%8D%E3%82%AA%E3%82%A2%E3%82%AF%E3%82%BF%E3%83%BC-VOL-1-NeoActor-%E5%BB%A3%E6%B8%88%E5%A0%82%E3%83%99%E3%82%B9%E3%83%88%E3%83%A0%E3%83%83%E3%82%AF-115%E5%8F%B7/dp/4331801179
|
対象商品であれば、購入金額にかかわらず、配送料が無料になります。つまり、無料配送サービスの最低購入金額（1,500円）を意識せずに、お買い物をお楽しみいただけます プライム会員は、対象商品の購入の全てについて、通常配送又はお急ぎ便配送を無料（本規約中のその他の制限や条件にご留意ください）で受けることができます。但し、これらの配送オプションは、当サイトの在庫状況、注文期限及び一部については発送地域により限定されます。プライム会員は、同一の住居（同一住所）に住む家族を2人まで追加費用なしで家族会員としてプライムに加入させることができます。（20歳未満の会員は、その親権者又は後見人の関与なしにAmazon.co.jpのサイトを利用することはできません。）プライム会員は、いつでも家族会員の変更又は退会をさせることができます。家族会員は、プライム会員が会員を辞めた場合又はプライム会員により退会させられた場合には、自動的に家族会員の地位を失います。プライムは、法人利用、又は営利目的、業務目的若しくは再販売目的のお客様にはご利用頂けません。 プライムの対象は、Amazon.co.jpがwww.amazon.co.jp上で販売する特定の商品で、沖縄及び一部離島を除く日本国内を発送先とするものに限られます。当サイトは、都度当サイトの判断により、例えば設置が必要となる大型商品又は重量商品、危険物として規制されている商品その他発送に関して特別な配慮が必要な商品を、プライム対象外商品とすることができます。また、第三者により、又はAmazonマーケットプレイスなどの第三者販売プログラムを通じて販売される商品は、プライムの対象ではありません。なお、プライムの対象商品である場合には、当サイトのウェブサイト上に、それが明示されます。 お客様は、プライム会員に登録し、プライムを利用するために、Amazon.co.jpのアカウントを取得しなければなりません。当サイトは、当サイトの判断により会員登録を受入れ又は拒絶する権利を有しています。お客様は、上述の家族会員によるプライムの利用方法を除いては、自己の会員資格又はその特典を譲渡又は移転することはできません。プライム対象商品であっても、場合により注文や取扱いに関する料金又は税金がかかる場合があります。支払い方法が代金引換の場合は、別途代引手数料が請求されます。もし、お客様が注文する商品の一部がプライムの対象商品ではない場合には、お客様はかかるプライム対象外商品について所定の配送料を支払うことになります。また、注文の変更やとりまとめ、送付先、配達時期又は配達方法の変更は、プライムの適用について影響を与えることがあります。以下の点に注意して下さい。 通常配送及びお急ぎ便配送オプションは、お客様への配達予定日を決定するためのものです（これらのオプションは、商品の入手可能性や当サイトの発送予定日を反映するものではありません。）。 当サイトは、当サイトの判断において、陸路又は空路から発送することができます（これらのオプションは、運送方法の指定サービスとは異なります。）。 プライムの年会費は、3900円です。この年会費は、以下に明示的に規定する場合を除き、払戻しされません。翌年についてのプライム会員登録の更新前に、お客様が退会したい旨を当サイトに通知しない場合には、お客様の会員登録は自動的に更新され、お客様への通知なくして、当サイトは、お客様が登録された支払い方法に基づき、その時点で適用される年会費及び税金の支払を受けることができます。 Amazonプライムの会員は、会員登録後、サービスを共有できる家族の方も含め、一度もサービスを利用されていない場合は、キャンセルすることができ年会費の払い戻しを受けることもできます。 当サイトは、お客様に対し様々なプライム無料体験その他の会員の募集をすることがあります。無料体験会員は、当該会員募集の際に特別に規定されたものを除き、本規約の条件に従うものとします。無料体験会員はいつでも、無料体験期間の終了の際に、Amazon.co.jpのアカウントサービスを通して年会費を負担するプライムの会員登録をしないという選択をすることが可能です。 当サイトは、当サイトの判断により、お客様に何らの通知なくして、本規約、Amazon.co.jpの利用規約やプライバシー規約又はプライム会員に関する事項について変更することができます。しかしながら、年会費の増額については、会員登録を更新するまでは適用されません。また、当サイトが通常配送、お急ぎ便配送オプションの配送を有料としたり料金を値上げする場合、又は当サイトが、お客様が加入させることができる家族会員の人数を減らす場合には、その変更が生じる少なくとも30日前にEメールによりお客様にその旨を通知します。もしお客様がこれらの変更の実施前に退会される場合には、当サイトは、残りのプライム会員期間(但し、一ヶ月単位で残っている期間に限る)を基準に、年会費の割合的払い戻しをします。この払戻オプションは、当サイトが行なうその他の変更には適用されません。万が一、これらの変更が違法、無効又は何らかの理由により強制力がないと判断された場合でも、これにより、その他の有効かつ強制力のある変更又は条件は影響を受けることはありません。当サイトが本規約等を変更した後に、お客様がプライム会員登録を継続する場合には、お客様はその変更に同意したものと見なします。もしお客様がかかる変更に同意しない場合には、お客様はプライムを退会しなければなりません。 当サイトは、当サイトの判断により、お客様に通知なくして、プライム会員登録を解除することができます。もし当サイトが解除を行う場合には、当サイトは、残りのプライム会員期間(但し、一ヶ月単位で残っている期間に限る)を基準に、年会費の割合的払い戻しをします。しかしながら、当サイトが、お客様の行為が本規約又は法律違反、会員特典の詐取又は悪用並びに当サイト又は他の会員の利益を害するものと判断し解除する場合には、年会費の割合的払戻しはいたしません。当サイトがお客様に対して本規約の各規定を厳格に遵守するように要求しなかったとしても、それは当サイトの権利の放棄を意味するものではありません。 Amazon.co.jpの利用規約中の責任の限定及び免責に加えて、当サイト若しくはその取締役、役員、従業員、代理人若しくはその他代表者は、プライムに起因若しくは関連する直接的、間接的、特別、偶発的、必然的又は懲戒的な損害賠償又はその他の損害賠償について責任を負いません。当サイトの契約上、保証上、不法行為法上（不作為も含む）又はその他の責任限度額は、お客様が支払った直近の年会費を上限とします。 これらの免責及び責任の限定は、法律上許容される限度において適用され、退会又は解除によりその効力は失われません。お住まいの国や地域によっては、法律により、特定の損害について免責又は責任限定が許されません。もしこれらの法律がお客様に適用される場合には、上記の免責又は責任の限定の規定の全部又は一部は適用されず、お客様は上記規定に関係なく損害賠償請求ができます。 下のボタンをクリックして今すぐお申し込みいただけます。お申し込み完了後、この注文に新しい配送料が適用されます。今回お申し込みされない場合でも、申し込みページからいつでもAmazonプライムの会員登録ができます。 後でお申し込みされる場合は、この注文にAmazonプライムのサービスは適用されませんのでご了承ください。 支払い情報は最新のものですか？ 指定したクレジットカード番号や有効期限を更新する必要がないか、必要に応じて確認してください。 配送方法はお急ぎ便ですか？ 商品詳細ページの右側にある通常の1-Clickボタンを使用する場合は、お届け先への配送方法を確認してください。Amazonプライムのサービスを便利にご使用いただくには、配送方法を通常配送からお急ぎ便に変更する必要があります。 1-Click機能を利用して注文するのではなく、ショッピングカートを使用して注文する場合は、ショッピングカートに商品を入れて通常どおりレジに進んでください。「注文内容」ページには、以下が表示されます。 できるだけ早くお届けするように、商品は初期設定で「準備ができ次第発送」されるように設定されます。追加料金は発生しません。 家族に登録案内をおくるには、名前、続柄、Eメールアドレス、誕生日をそれぞれのフィールドに入力して、「登録案内を送る」をクリックします。入力したEメールアドレス宛てに、Eメールが自動的に送信されます。登録案内を受け取られたご家族の方はEメールの中にあるリンクをクリックし、サイト上にて登録手続きを完了してください。なお、登録案内を送ったお客様の誕生日を入力する必要がありますのでご注意ください。 家族会員を削除するには：削除する家族名の横にある「削除」ボタンをクリックします。削除された家族会員には、お知らせEメールが自動的に送信されます。 お急ぎ便は、日本国内への発送のみにご利用いただけます(一部地域を除く)。お急ぎ便対象外の商品については、通常配送をご利用いただけます。 このサービスは、法人アカウントをお使いの方、業務目的で商品を購入する方、再販目的で商品を購入する方はご利用いただけませんのでご了承ください。 Amazonプライムのサービス対象商品がご注文の一部に含まれる場合には、対象外の商品には該当する送料が請求されます。 商品は陸路または空路を使用して発送されます。このオプションは配送業者指定の配送サービスとは対応しません。 Amazonプライムの会員は、会員登録後、サービスを共有できる家族の方も含め、一度もサービスを利用されていない場合は、キャンセルすることができ年会費の払い戻しを受けることもできます。 会員登録は、毎年自動的に更新されるように設定されています。「アカウントサービス」から会員ページにアクセスすれば、自動更新しないように設定したり、更新時に支払い方法を変更することもできます。 下のボタンをクリックすると、上記の商品をショッピングカートに入れるとともに、年会費￥ 3,900でAmazonプライムの会員登録の手続きができます。年度の年会費、¥3900 は、お客様が選択したクレジットカードに請求させていただきます。また、お客様がAmazonプライムの会員登録を更新し続ける場合は、毎年、このクレジットカードに請求させていただくことになります。会員登録は、「アカウントサービス」でいつでもキャンセルすることができます。会員登録をキャンセルすると、次年度の年会費は、クレジットカードに請求されません。また、Amazonプライムの特典を一度も使っていない場合、会員登録をキャンセルし、年会費の全額返金を受けることができます。有効期限切れなど、なんらかの理由によりご指定のカードが使用できない場合、アカウントサービスに登録してある別のクレジットカードを選択させていただきます。 下のボタンをクリックすると、会員規約に同意したことになり、登録されているクレジットカードに年会費を請求します。 今から以内にレジに進み、「お急ぎ便」オプション(有料)を選択して注文を確定されたご注文が対象です。 詳しくはこちら ※ 「この商品について語る」では、「この商品について語る」ガイドライン等に基づき、評価の高低等にかかわらず、お客様の自由な投稿を掲載しています。商品のご購入の際はお客様自身でご判断下さい。 |
ディックの審査サイト、 ディックの審査比較サイトのお得な情報、 ディックの主婦情報、 ディックの低金利情報など、 ディックに関することの申込み情報サイト。
