|
アクターモデル（）とは、1973年、カール・ヒューイット、Peter Bishop、Richard Steiger が発表した並行計算の数学的モデルの一種〔Carl Hewitt（1973年）, "''A Universal Modular Actor Formalism for Artificial Intelligence''". IJCAI.〕。アクターモデルでは、並行デジタル計算の汎用的基本要素として「アクター」という概念を導入している。アクターモデルは並行性の理論的理解のフレームワークとして使われるほか、並行システムの実装の理論的基礎としても利用されてきた。 == 歴史 == アクターモデルはそれ以前の計算モデルとは異なり、物理法則を発想の基本としている。他にも、LISP言語、Simula言語、ケーパビリティ・システム、パケット通信、初期のSmalltalkなどの影響を受けている。アクターモデルは「数百・数千のマイクロプロセッサから構成され、個々にローカルメモリを持ち、高性能通信ネットワークで通信を行う並列コンピュータが近い将来登場するとの予測」から開発された〔William Clinger（1981年6月）, "''Foundations of Actor Semantics'' ". Mathematics Doctoral Dissertation. MIT.〕。その後、Webサービスやメニイコアアーキテクチャを活用した超並行性にも範囲を広げてきた。 ヒューイットの1973年の論文に続いて、Irene Greif はアクターモデルの操作的意味論を開発した〔Irene Greif（1975年8月）. "''Semantics of Communicating Parallel Processes''". EECS Doctoral Dissertation. MIT〕。2年後、Henry Baker とヒューイットはアクターシステムの公理的法則群を発表した〔Henry Baker（1977年8月）. "''Laws for Communicating Parallel Processes''". IFIP.〕。1981年、William Clinger は Power Domains に基づいたアクターモデルの表示的意味論を発表〔。1985年、Gul Agha は Clinger の意味論に基づいた遷移ベースの意味論モデルを構築した〔Gul Agha（1986年）. "''Actors: A Model of Concurrent Computation in Distributed Systems'' ". Doctoral Dissertation. MIT Press.〕。これらにより、アクターモデル理論が完成した。 アクターモデルをソフトウェアとして実装する作業は MIT の Message Passing Semantics Group で行われた。また、カリフォルニア工科大学の Chuck Seitz と MIT の Bill Dally に率いられたチームはアクターモデルに基づくメッセージパッシングを使用したコンピュータアーキテクチャを構築した。 日本では、東京大学や京都大学での研究があり、特に東京大学の米澤明憲らの研究が有名である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「アクターモデル」の詳細全文を読む スポンサード リンク
|