배우 모델 후기 역사

Actor model later history

컴퓨터 과학에서, 1973년에 처음 출판된 Actor 모델은 동시 연산의 수학적 모델이다.본 기사에서는 모델의 기본력에 대한 조사, 구성성 문제 연구, 아키텍처 개발 및 개방형 시스템에 대한 응용이 주요 주제였던 액터 모델의 후기 역사에 대해 보고합니다.최초의 증명 이론과 상징적 모델의 초기 구현, 초기 적용 및 개발에 대해 보고하는 Actor 모델 중사의 후속 기사입니다.

배우 모델의 힘

Actor 모델의 기본적인 힘에 대한 조사가 시작되었습니다.Carl Hewitt[1985]는 중재자의 사용으로 인해 행위자 모델이 논리 프로그래밍보다 더 강력하다고 주장했다(동시 계산의 불확정성 참조).

Keith Clark, Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda 등에 의해 메시지의 공유 변수와 데이터 구조 스트림을 통합하는 프롤로그와 같은 동시 메시지 전달 시스템 패밀리가 개발되었습니다.이러한 저자들 중 일부는 이러한 시스템이 수학적 논리에 기초하고 있다고 주장했다.그러나 Actor 모델과 마찬가지로 Prolog와 유사한 동시 시스템은 메시지 전달에 기반하고 있으며, 결과적으로 Actors에게 발송된 메시지의 도착 순서가 불확실한 것과 유사한 스트림의 메시지 순서에서 불확실성의 대상이 되었습니다.결과적으로 Carl Hewitt와 Gul Agha[1991년]는 프롤로그와 유사한 동시 시스템은 연역적이지도 논리적이지도 않다고 결론지었다.그들은 연역적이지 않았다 왜냐하면 계산 단계들이 그들의 이전 것들로부터 연역적으로 따라오지 않았기 때문이다 그리고 그들은 논리적이지 않았다 왜냐하면 어떤 수학 논리 체계도 그들의 이전 것들로부터 이후의 계산 상황의 사실들을 도출할 수 없었기 때문이다.

구성성

구성성은 하위 시스템에서 시스템을 구성하는 것과 관련이 있습니다.구성 문제는 람다 미적분과 페트리망을 포함한 이전의 계산 이론에 심각한 한계로 입증되었다.예를 들어, 두 개의 람다 표현은 람다 표현이 아니며 두 개의 페트리 네트는 페트리 네트가 아니므로 서로 영향을 줄 수 없습니다.

Gul Agha는 박사학위 논문에서 배우 모델의 구성 문제를 다루었다.액터 설정에는 외부로부터 메시지를 수신할 수 있는 수신 담당자가 있어 다른 액터 설정의 수신자의 주소를 가질 수 있습니다.이렇게 하면 하위 구성이 서로 통신할 수 있는 다른 구성으로 2개의 Actor 구성을 구성할 수 있습니다.액터 설정에서는, 복수의 발신기지로부터 메세지를 취득하기 위해서 폴링을 실시할 필요가 없는 단점 없이, 외부로부터 메세지를 수신하는 복수의 액터(즉, 수신 담당자)를 가질 수 있는 이점이 있습니다(복수 채널로부터의 메시지 취득에 관한 문제 참조).

오픈 시스템

Carl Hewitt[1985]는 개방성이 소프트웨어 시스템 개발의 근본적인 과제가 되고 있다고 지적했다.다음과 같은 과제를 해결하려면 개방형 분산 시스템이 필요합니다.

단조성
공개 분산 시스템에 게시된 내용은 되돌릴 수 없습니다.
다원주의
개방된 분산 시스템의 다른 서브시스템에는 이종, 중복 및 상충하는 정보가 포함됩니다.개방형 분산 시스템에는 진실의 중심 결정자가 없습니다.
무한 비결정론
비동기적으로 서로 다른 서브시스템이 올라가고 내려갈 수 있으며 개방된 분산형 시스템의 서브시스템 간에 통신링크가 출입할 수 있습니다.따라서 연산을 완료하는 데 걸리는 시간을 미리 제한할 수 없습니다(무제한 비결정론 참조).
부정합
대규모 분산 시스템은 인간 사용자의 정보 시스템 상호 작용에 대한 정보에 대해 일관성이 없는 경우가 많습니다.

Carl Hewitt와 Jeff Inman[1991년]은 분산형 인공지능에서 발생한 문제를 해결하기 위해 Open Systems의 의미론을 개발하기 위해 일했다.Carl Hewitt와 Carl Manning[1994]은 개방형 시스템을 위한 참여적 의미론의 개발에 대해 보고했다.

컴퓨터 아키텍처

Chuck Seitz의 지도 아래 있는 Caltech의 연구원들은 최초의 메시지를 전달하는 Actor 아키텍처 중 하나인 Cosmic Cube를 개발했습니다.그 후 MIT의 Bill Dally가 이끄는 연구원들이 J Machine을 개발했습니다.

행위자 의미론을 대수학 및 선형 논리에 관련시키려는 시도

코헤이 혼다와 마리오 토코로 1991, 호세 메제게르 1992, 우고 몬타나리와 캐롤린 탈콧 1998, M. 가스파리와 G. 자바타로 1999는 행위자 의미론을 대수학에 연관시키려고 시도했다.또한 John Darlington과 Y. K. Guo 1994는 선형 논리를 Actor 의미론과 연관시키려 시도했다.

그러나 위의 형식주의는 서비스 보증의 중요한 속성을 다루지 않는다(무제한 비결정론 참조).

최근의 동향

Actor 모델의 최근 발전은 여러 출처에서 비롯되었습니다.

하드웨어 개발은 로컬 및 비로컬의 대규모 동시 처리를 촉진하고 있습니다.64비트 멀티코어 마이크로프로세서, 멀티칩 모듈 및 고성능 인터커넥트용 새로운 하드웨어에 의해 로컬 동시 접속이 가능해지고 있습니다.유선 및 무선 광대역 패킷 교환 통신용 새로운 하드웨어에 의해 로컬 이외의 동시성이 활성화되고 있습니다.로컬 및 비로컬 스토리지 용량은 모두 기하급수적으로 증가하고 있습니다.이러한 하드웨어 개발은 엄청난 모델링 문제를 야기합니다.Hewitt [Hewitt 2006a, 2006b]는 이러한 과제를 해결하기 위해 Actor 모델을 사용하려고 합니다.

레퍼런스

  • Carl Hewitt; Peter Bishop and Richard Steiger (1973). "A Universal Modular Actor Formalism for Artificial Intelligence". IJCAI. {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)
  • 칼 휴이트.오픈 시스템 바이트 매거진의 과제.1985년 4월'인공지능의 기초-캠브리지 대학 출판사'에 전재.1990.
  • Agha, Gul (1986), Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, hdl:1721.1/6952
  • 칼 매닝.여행자: 배우 전망대 ECOP 1987.컴퓨터 공학의 강의 노트, 제276권에도 나와 있다.
  • William Athas와 Charles Seitz Multicumpers: 메시지 전달 동시 컴퓨터 IEEE 컴퓨터 1988년 8월
  • 윌리엄 달리와 윌스, D.동시성 PARLE 1989를 위한 범용 메커니즘.
  • W. 호왓, A.친, 그리고 W. Dally.CST에 관한 경험: 프로그래밍 및 구현 PLDI.
  • 칼 휴이트.제10회 분산형 인공지능 국제 워크숍의 열린 정보 시스템 의미론 진행을 위하여.1990년 10월 23~27일반데라, 텍사스
  • 요네자와 아키노리, Ed. ABCL: 객체 지향 동시 시스템 MIT 프레스.1990.
  • K. 칸과 Vijay A.Saraswat, SIGPLAN Notice, 1990년 10월 "동시 제약(논리) 프로그래밍의 특수한 경우로서 행동한다"Janus에 대해 설명합니다.
  • 칼 휴이트.Information Systems Symantics Journal of 인공지능을 엽니다.1991년 1월
  • 칼 휴이트와 제프 인만입니다.DAI Betwixt 및 그 사이: '인텔리전트 에이전트'에서 오픈 시스템 사이언스 IEEE 트랜잭션(시스템, 맨, 사이버네틱스)까지.1991년 11월/12월
  • 칼 휴이트와 굴 아그하.Guarded Horn 절 언어: 연역적이고 논리적인가?옴샤 1988, 제5세대 컴퓨터 시스템에 관한 국제 회의도쿄. MIT의 인공지능 분야에서도 제2권 MIT Press 1991.
  • 혼다 코헤이와 도코로 마리오.비동기 통신 ECOP 91을 위한 객체 미적분.
  • 호세 메세게르.동시성 및 구성에 관한 제2차 워크숍의 선정 논문의 동시성 통합 모델로서의 조건부 개서.1992.
  • 윌리엄 달리 등메시지 기반 프로세서: IEEE Micro의 효율적인 메커니즘을 갖춘 멀티 컴퓨팅 처리 노드.1992년 4월
  • S. 미리얄라, G. 아그하, Y.Sami. 술어 트랜지션을 사용한 배우 프로그램 가시화 Journal of Visual Programming. 1992년.
  • - Gul Agha, Ian Mason, Scott Smith 및 Carolyn Talcott: 배우 계산 재단 1993년 1월 기능 프로그래밍 저널
  • 칼 휴이트와 칼 매닝입니다대규모 위기관리 협상 아키텍처 AAAI-94 협력적 문제해결 갈등관리 모델 워크숍워싱턴 주 시애틀1994년 8월 4일
  • - John Darlington과 Y. K. Guo: 객체 지향 정보 시스템에 관한 리니어 로직 국제 회의에서의 배우 공식화.스프링거-벨라그.1994.
  • 칼 휴이트와 칼 매닝입니다ICMAS '96의 복수 기관 시스템을 위한 합성 인프라 절차일본 교토1996년 12월 8일 ~ 13일
  • S. 프롤룬드분산 객체 조정: 동기 MIT 프레스를 위한 액터 기반 접근법.1996년 11월
  • W. Kim. ThAL: 효율적이고 확장 가능한 동시 컴퓨팅을 위한 행위자 시스템 박사 논문.일리노이 대학교 어바나 샴페인의1997.
  • - 마우로 가스파리와 지안루이지 자바타로:행위자 대수학, 기술 보고서 UBLCS-97-4, 볼로냐 대학교, 1997년 5월
  • 우고 몬타나리와 캐롤린 탈콧입니다배우와 Pi-에이전트가 함께 살 수 있을까요?이론 컴퓨터 사이언스 전자 노트1998.
  • - M. 가스파리와 G. 자바타로:개방형 객체 기반 시스템을 위한 행위자 공식 방법 대수학, 1999년
  • N. 자말리, P.Thati, 그리고 G.Agha. 에이전트 앙상블을 커스터마이즈 및 제어하기 위한 액터 기반의 아키텍처.IEEE Intelligent Systems.14(2) 1999.
  • P. Thati, R. Ziaei, G.아그하. 개방형 객체 기반 분산 시스템을 위한 행위자 5월 테스트 이론 공식 방법.2002년 3월
  • P. Thati, R. Ziaei, G.아그하. 대수적 방법론과 소프트웨어 기술에 일치하는 이름이 없고 지역성을 가진 비동기 계산에 대한 테스트를 수행할 수 있습니다.스프링거 벨락.2002년 9월LNCS 2422
  • - 굴 아그하와 프라산나 타티.배우의 대수적 이론과 단순한 객체 기반 언어에 대한 적용, OO에서 FM(Dahl Festschrift) LNCS 2635까지.스프링거-벨라그.2004.
  • 칼 휴이트.논리 프로그래밍의 반복적인 종말과 왜 그것이 재탄생될 것인가, 그리고 왜: AI 연구와 응용 프로그램으로부터의 교훈.기술 보고서 SS-06-08AAAI 프레스2006년 3월 b.
  • Carl Hewitt 약속이란? 물리, 조직 및 소셜 COIN@AAMAS. 2006a.