Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Компьютерлік ғылымда, алғаш рет 1973 жылы жарияланған Actor моделі – бір мезгілде есептеудің математикалық моделі. Бұл мақалада Actor моделінің орташа тарихы баяндалады, онда негізгі тақырыптар бастапқы іске асырулар, бастапқы қолданыстар және алғашқы дәлелдеу теориясы мен денотациялық модельдің дамуы болды. Бұл мақала Actor моделінің ерте тарихы туралы мақаланың жалғасы болып табылады, ол модельдің негізгі тұжырымдамаларын әзірлеуге қатысты мәселелерді қарастырады. "Actor моделінің кейінгі тарихы" мақаласында осы мақалада баяндалғаннан кейінгі дамулар туралы айтылады.
In computer science, the Actor model, first published in 1973 , is a mathematical model of concurrent computation. This article reports on the middle history of the Actor model in which major themes were initial implementations, initial applications, and development of the first proof theory and denotational model. It is the follow on article to Actor model early history which reports on the early history of the Actor model which concerned the basic development of the concepts. The article Actor model later history reports on developments after the ones reported in this article.
Қоқыс жинау
Қоқыс жинау (қолданылмаған жадты автоматты түрде қайтару) Actor моделін дамытуда маңызды мәселе болды. Питер Бишоп өз докторлық диссертациясында үлестірілген жүйелерде қоқыс жинау алгоритмін жасады. Әрбір жүйе басқа жүйелерге және олардан келетін көрсеткіштердің тізімдерін сақтап тұрды. Циклдық құрылымдар акторларды (объектілерді) басқа жүйелерге көшіру арқылы жиналды, олардың мекенжайлары циклдық құрылым толығымен бір жүйеде орналасқанға дейін сақталды, онда қоқыс жинағыш жадты қайтаруға мүмкіндік алды. Генри Бейкер өз докторлық диссертациясында нақты уақыт қоқыс жинау алгоритмін жасады. Негізгі идеясы – жинау кезінде ұзақ үзілістер болмауы үшін жинау процесін құрылым құру процесімен біріктіру. Ілемелі қоқыс жинауды қараңыз. Генри Либерман мен Карл Хьюитт [1983] акторлардың (объектілердің) өмір сүру мерзіміне негізделген нақты уақыт қоқыс жинауын жасады. Негізгі идея – акторларды (объектілерді) буынға бөлу, сондықтан қоқыс жинау кезінде тек соңғы буындарды тексеру қажет. Буындық қоқыс жинауды қараңыз.
Garbage collection (the automatic reclamation of unused storage) was an important theme in the development of the Actor model. In his doctoral dissertation, Peter Bishop developed an algorithm for garbage collection in distributed systems. Each system kept lists of links of pointers to and from other systems. Cyclic structures were collected by incrementally migrating Actors (objects) onto other systems which had their addresses until a cyclic structure was entirely contained in a single system where the garbage collector could recover the storage. Henry Baker developed an algorithm for real time garbage collection in his doctoral dissertation. The fundamental idea was to interleave collection activity with construction activity so that there would not have to be long pauses while collection takes place. See incremental garbage collection. Henry Lieberman and Carl Hewitt [1983] developed a real time garbage collection based on the lifetimes of Actors (Objects). The fundamental idea was to allocate Actors (objects) in generations so that only the latest generations would have to be examined during a garbage collection. See generational garbage collection.
Актерлік бағдарламалау тілдері
Генри Либерман, Дэн Териолт және тағы басқалар Act1 актерлік бағдарламалау тілін жасады. Кейіннен Дэн Териолт өзінің магистрлік диссертациясы үшін Act2 тілін әзірледі. Бұл алғашқы концепциялық тілдер өте тиімсіз болды және қолданбаларға жарамды емес еді. Кен Кан докторлық диссертациясында Ani тілін жасады, оны бірнеше анимациялар жасау үшін пайдаланды. Билл Корнфельд докторлық диссертациясында ғылыми қоғамдық метафора үшін Ether бағдарламалау тілін жасады. Уильям Атас және Нанет Боден [1988] Cantor актерлік бағдарламалау тілін ғылыми есептеулер үшін жасады. Жан Пьер Бриот [1988, 1999] Smalltalk 80 тілін актерлік есептеулер үшін кеңейту құралдарын жасады. Кристин Томлинсон, Марк Шеевел, Грег Лавендер, Грег Мередит және т.б. [1995] MCC-де Rosette-тегі InfoSleuth агенттері үшін актерлік бағдарламалау тілін жасады. Карл Хьюит, Беппе Аттарди және Генри Либерман [1979] хабар алмасудағы делегациялау туралы ұсыныстар жасады. Бұл объектіге бағытталған параллель бағдарламалау тілдеріндегі мұрагерлік аномалиясы туралы дауға әкеп соқты [Сатоши Мацуока және Аки Йонезава 1993, Джузеппе Милиция және Владимиро Сассоне 2004].
Henry Lieberman, Dan Theriault, et al. developed Act1, an Actor programming language. Subsequently for his masters thesis, Dan Theriault developed Act2. These early proof of concept languages were rather inefficient and not suitable for applications. In his doctoral dissertation, Ken Kahn developed Ani, which he used to develop several animations. Bill Kornfeld developed the Ether programming language for the Scientific Community Metaphor in his doctoral dissertation. William Athas and Nanette Boden [1988] developed Cantor which is an Actor programming language for scientific computing. Jean Pierre Briot [1988, 1999] developed means to extend Smalltalk 80 for Actor computations. Christine Tomlinson, Mark Scheevel, Greg Lavender, Greg Meredith, et al. [1995] at MCC developed an Actor programming language for InfoSleuth agents in Rosette. Carl Hewitt, Beppe Attardi, and Henry Lieberman [1979] developed proposals for delegation in message passing. This gave rise to the so called inheritance anomaly controversy in object oriented concurrent programming languages [Satoshi Matsuoka and Aki Yonezawa 1993, Giuseppe Milicia and Vladimiro Sassone 2004].
Актер жүйелерінің денотациялық моделі
Докторлық диссертациясында Уилл Клингер Актер жүйелері үшін алғашқы денотациялық модельді жасады. Актер моделінің денотациялық семантикасына қараңыз.
In his doctoral dissertation, Will Clinger developed the first denotational model of Actor systems. See denotational semantics of the Actor model.