Aktyor modeli o'rta tarix - Actor model middle history

Yilda Kompyuter fanlari, Aktyor modeli, birinchi bo'lib 1973 yilda nashr etilgan (Hewitt va boshq. 1973 yil ), ning matematik modeli bir vaqtda hisoblash. Ushbu maqola aktyor modelining o'rta tarixi haqida xabar beradi, unda asosiy mavzular dastlabki tatbiq etish, dastlabki dasturlar va birinchi isbot nazariyasi va denotatsion modelni ishlab chiqish bo'lgan. Bu maqolaning davomi Aktyor modeli dastlabki tarix kontseptsiyalarning asosiy rivojlanishiga taalluqli bo'lgan aktyor modelining dastlabki tarixi haqida xabar beradi. Maqola Keyinchalik aktyor modeli ushbu maqolada keltirilganlardan keyingi o'zgarishlar haqida hisobot.

Aktyor tizimlarining xossalarini isbotlash

Karl Xewitt [1974] aktyor induktsiyasi printsipini e'lon qildi, bu:

  1. Deylik, aktyor x mulkka ega P u yaratilganda
  2. Keyinchalik, agar shunday bo'lsa, deylik x mulkka ega P u xabarni qayta ishlasa, unda u xususiyatga ega bo'ladi P u keyingi xabarni qayta ishlaganda.
  3. Keyin x har doim mulkka ega P.

Doktorlik dissertatsiyasida Aki Yonezava Actor tizimlarining xususiyatlarini, shu jumladan undan foydalanadigan xususiyatlarni isbotlash bo'yicha keyingi texnikani ishlab chiqdi. migratsiya. Rass Atkinson va Karl Xevitt birgalikda resurslarning qo'riqchilari bo'lgan Serializatorlarning xususiyatlarini isbotlash texnikasini ishlab chiqdilar. Gerri Barberning doktorlik dissertatsiyasi ma'lumotli ofis tizimlarining o'zgarishi haqida fikr yuritishga bag'ishlangan.

Axlat yig'ish

Axlat yig'ish (foydalanilmayotgan omborni avtomatik ravishda qayta tiklash) aktyor modelini ishlab chiqishda muhim mavzu bo'ldi.

Piter Bishop doktorlik dissertatsiyasida tarqatilgan tizimlarda axlat yig'ish algoritmini ishlab chiqdi. Har bir tizim boshqa tizimlarga ko'rsatgichlar havolalarining ro'yxatlarini saqlab turdi. Tsiklik tuzilmalar o'zlarining manzillari bo'lgan boshqa tizimlarga bosqichma-bosqich ko'chib yurish orqali yig'ilib, tsiklli tuzilma butunlay axlat yig'uvchi omborni qayta tiklashi mumkin bo'lgan yagona tizimda joylashgan.

Genri Beyker doktorlik dissertatsiyasida real vaqtda axlat yig'ish algoritmini ishlab chiqdi. Asosiy g'oya yig'ish ishlari olib borilayotganda uzoq pauzalar bo'lmasligi uchun yig'ish faoliyatini qurilish faoliyati bilan o'zaro bog'lash edi. Qarang qo'shimcha axlat yig'ish.

Genri Liberman va Karl Xevitt [1983] Aktyorlar (Ob'ektlar) ning umr ko'rishlari asosida real vaqtda axlat yig'ishni ishlab chiqdilar. Asosiy g'oya aktyorlarni (ob'ektlarni) avlodlarga ajratish edi, shunda axlat yig'ish paytida faqat so'nggi avlodlar tekshirilishi kerak edi. Qarang axlat yig'ish.

Aktyor dasturlash tillari

Genri Liberman, Den Terio, va boshq. aktyor dasturlash tili bo'lgan Act1 ni ishlab chiqdi. Keyinchalik uning magistrlik dissertatsiyasi uchun Dan Theriault Act2 ni ishlab chiqdi. Ushbu kontseptsiya tillarining dastlabki isboti samarasiz va dastur uchun mos emas edi. Doktorlik dissertatsiyasida Ken Kan Anni ishlab chiqdi, u ilgari bir nechta animatsiyalar ishlab chiqardi. Bill Kornfeld uchun Eter dasturlash tilini ishlab chiqdi Ilmiy jamoat metaforasi doktorlik dissertatsiyasida. Uilyam Atas va Nanette Boden [1988] ilmiy hisoblash uchun aktyor dasturlash tili bo'lgan Kantorni ishlab chiqdilar. Jan-Per Briot [1988, 1999] aktyor hisoblashlari uchun Smalltalk 80-ni kengaytirish vositasini ishlab chiqdi. Kristin Tomlinson, Mark Shivel, Greg Lavanta, Greg Meredit, va boshq. [1995] MCC da Rosette-da InfoSleuth agentlari uchun Actor dasturlash tili ishlab chiqildi.

Karl Xevitt, Beppe Attardi va Genri Liberman [1979] xabar yuborishda delegatsiya uchun takliflar ishlab chiqdilar. Bu ob'ektga yo'naltirilgan bir vaqtda dasturlash tillarida merosxo'rlik deb nomlangan anomaliya bahsini keltirib chiqardi [Satoshi Matsuoka va Aki Yonezawa 1993, Juzeppe Milicia va Vladimiro Sassone 2004].

Aktyor tizimlarining denotatsion modeli

Doktorlik dissertatsiyasida Uill Klinger aktyor tizimlarining birinchi denotatsion modelini ishlab chiqdi. Qarang aktyor modelining denotatsion semantikasi.

Adabiyotlar

  • Karl Xyuitt; Piter Bishop va Richard Shtayger (1973). "Sun'iy aql uchun universal modulli aktyor formalizmi". IJCAI. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  • Karl Xevitt, va boshq. Aktyor induksiyasi va meta-baholash Dasturlash tillari asoslari bo'yicha ACM simpoziumining konferentsiya yozuvlari, 1974 yil yanvar.
  • Piter Bishop Modulli ravishda kengaytiriladigan kompyuter tizimlari uchun juda katta manzil maydoni MIT EECS doktorlik dissertatsiyasi. 1977 yil iyun.
  • Aki Yonezava Xabarlarni uzatish semantikasi asosida parallel dasturlar uchun spetsifikatsiya va tasdiqlash usullari MIT EECS doktorlik dissertatsiyasi. 1977 yil dekabr.
  • Genri Beyker. Haqiqiy vaqtda hisoblash uchun aktyor tizimlari MIT EECS doktorlik dissertatsiyasi. 1978 yil yanvar.
  • Ken Kan. Animatsiyaning hisoblash nazariyasi MIT EECS doktorlik dissertatsiyasi. 1979 yil avgust.
  • Karl Xevitt, Beppe Attardi va Genri Liberman. Xabarlarni yuborishda delegatsiya Tarqatilgan tizimlar bo'yicha birinchi xalqaro konferentsiya materiallari Hantsvill, AL. 1979 yil oktyabr.
  • Karl Xevitt va Rass Atkinson. Serializatorlar uchun spetsifikatsiya va isbotlash usullari Dasturiy ta'minot muhandisligi bo'yicha IEEE jurnali. 1979 yil yanvar.
  • Rass Atkinson. Serializatorlarni avtomatik tekshirish MIT doktorlik dissertatsiyasi. 1980 yil iyun.
  • Bill Kornfeld va Karl Xevitt. Ilmiy jamoat metaforasi IEEE tizimlari, inson va kibernetika bo'yicha operatsiyalar. 1981 yil yanvar.
  • Genri Liberman. Bir vaqtning o'zida ko'p narsalarni chalkashtirmasdan o'ylash: 1-harakatdagi parallellik MIT AI memo 626. 1981 yil may.
  • Genri Liberman. 1-aktni oldindan ko'rish MIT AI memo 625. 1981 yil iyun.
  • Jerri Barber. Ma'lumotli ofis tizimlarining o'zgarishi haqida mulohaza yuritish MIT EECS doktorlik dissertatsiyasi. 1981 yil avgust.
  • Bill Kornfeld. Muammoni hal qilishda parallellik MIT EECS doktorlik dissertatsiyasi. 1981 yil avgust.
  • Will Clinger. Aktyor semantikasining asoslari MIT matematikasi doktorlik dissertatsiyasi. 1981 yil iyun.
  • Daniel Theriault. Act-1 tili uchun primer MIT AI memo 672. 1982 yil aprel.
  • Genri Liberman va Karl Xevitt. Ob'ektlarning umr ko'rish vaqtiga asoslangan haqiqiy vaqtdagi axlat yig'uvchi CACM 1983 yil iyun.
  • Daniel Theriault. 2-aktni ishlab chiqish va amalga oshirish masalalari MIT AI texnik hisoboti 728. 1983 yil iyun.
  • Genri Liberman. Asalarichilik uchun ob'ektga yo'naltirilgan simulyator Sun'iy intellekt bo'yicha Amerika assotsiatsiyasi konferentsiyasi, Vashington, D.C., 1983 yil avgust
  • Karl Xevitt va Piter de Yong. Ochiq tizimlardagi tavsif va harakatlar rollarini tahlil qilish Sun'iy intellekt bo'yicha milliy konferentsiya materiallari. 1983 yil avgust.
  • Jan-Per Briot. Ob'ektlardan aktyorlarga: Smalltalk-80-da cheklangan simbiozni o'rganish Rapport de Recherche 88-58, RXF-LITP, Parij, Frantsiya, 1988 yil sentyabr.
  • Uilyam Atas va Nanette Boden Kantor: Ilmiy hisoblash uchun aktyor dasturlash tizimi Ob'ektga asoslangan bir vaqtda dasturlash bo'yicha NSF seminarining materiallari. 1988. SIGPLAN xabarnomalarining maxsus soni.
  • Satoshi Matsuoka va Aki Yonezava. Ob'ektga yo'naltirilgan bir vaqtda dasturlash tillarida meros anomaliyasini tahlil qilish Bir vaqtda ob'ektga yo'naltirilgan dasturlash bo'yicha tadqiqot yo'nalishlari MIT Press. 1993 yil.
  • Darrell Vulk. Rozetadan foydalangan holda InfoSleuth agentlarini ishlab chiqish: aktyorga asoslangan til Aqlli axborot agentliklari bo'yicha CIKM '95 seminarining materiallari. 1995 yil.
  • Jan-Per Briot. Acttalk: Ob'ektga yo'naltirilgan bir vaqtda dasturlash dizayni va tajribasi uchun asos Frantsiya-Yaponiya 2-seminari. 1999 yil.
  • Juzeppe Militsiya va Vladimiro Sassone. Meros anomaliyasi: O'n yildan keyin SAC. Nikosiya, Kipr. 2004 yil mart.