Keyinchalik aktyor modeli - Actor model later history - Wikipedia

Bu maqola endi muvaffaqiyatli bo'ldi import qilingan ga Vikikitoblar nomi ostida Keyinchalik aktyor modeli. Agar bu sahifa bo'lishi mumkin bo'lsa qayta yozilgan entsiklopedik maqolada, iltimos, buni amalga oshiring va ushbu xabarni o'chirib tashlang va / yoki Vikibuokka {{vikibuklar}}.

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 keyingi tarixi haqida xabar beradi, unda asosiy mavzular modelning asosiy kuchini o'rganish, kompozitsion masalalarni o'rganish, me'morchilikni rivojlantirish va Ochiq tizimlarga tatbiq etish edi. Bu maqolaning davomi Aktyor modeli o'rta tarix dastlabki isbot nazariyasi va denotatsion modelning dastlabki tatbiq etilishi, dastlabki qo'llanilishi va rivojlanishi to'g'risida hisobot beradi.

Aktyor modelining kuchi

Tekshiruvlar aktyor modelining asosiy kuchiga aylandi. Karl Xevitt [1985] ning ishlatilishi sababli bahslashdi Hakamlar aktyor modeli undan kuchliroq ekanligi mantiqiy dasturlash (qarang bir vaqtda hisoblashda noaniqlik ).

Bir oila Prolog -birgalikdagi o'zgaruvchilarni birlashtiruvchi va xabarlar uchun ma'lumotlar tuzilmasi oqimlaridan foydalangan holda bir vaqtning o'zida xabar uzatish tizimlari ishlab chiqilgan Keyt Klark, Erve Geyler, Stiv Gregori, Vijay Sarasvat, Udi Shapiro, Kazunori Ueda, va boshqalar. Ushbu mualliflarning ba'zilari ushbu tizimlar matematik mantiqqa asoslangan deb da'vo qilishgan. Biroq, aktyor modeli singari, Prologga o'xshash bir vaqtda tizimlar xabarlarni uzatishga asoslangan edi va natijada xabarlarni oqimlarda tartiblashda noaniqlik ta'sirida bo'lib, ular aktyorlarga yuborilgan xabarlarni kelish tartibida noaniqlikka o'xshash edi. Binobarin, Karl Xevitt va Gul Og'a [1991] Prologga o'xshash bir vaqtda tizimlar na deduktiv, na mantiqiy degan xulosaga kelishdi. Ular deduktiv emas edilar, chunki hisoblash qadamlari oldingilaridan deduktiv ravishda kuzatilmadi va mantiqiy emas edi, chunki matematik mantiqning biron bir tizimi keyingi hisob-kitob vaziyatlari haqidagi faktlarni oldingilaridan chiqarishga qodir emas edi.

Tarkibiylik

Kompozitsiya tizimlarni quyi tizimlardan tuzish bilan bog'liq. Kompozitsiya masalalari oldingi hisoblash nazariyalari uchun jiddiy cheklovlar ekanligi isbotlangan, jumladan lambda hisobi va Petri to'rlari. Masalan, ikkita lambda ifodasi lambda ifodasi emas va ikkita Petri to'ri Petri to'ri emas va bir-biriga ta'sir qila olmaydi.

Gul Og'a doktorlik dissertatsiyasida aktyor modelidagi kompozitsion masalalarga to'xtaldi. Aktyor konfiguratsiyalar bor qabulxonalar tashqaridan xabarlarni qabul qilishi mumkin va boshqa aktyor konfiguratsiyalari qabulchilarining manzillariga ega bo'lishi mumkin. Shu tarzda ikkita aktyor konfiguratsiyasi subfiguratsiyalari bir-biri bilan bog'lanishlari mumkin bo'lgan boshqa konfiguratsiyaga kiritilishi mumkin. Aktyor konfiguratsiyasining afzalligi shundaki, ular bir nechta aktyorlarga ega bo'lishi mumkin (ya'ni tashqaridan xabarlarni qabul qiluvchi, ular bir nechta manbalardan xabarlar olish uchun so'rov o'tkazmasliklari kerak (qarang. qarang) bir nechta kanallardan xabar olish bilan bog'liq muammolar ).

Ochiq tizimlar

Carl Hewitt [1985] buni ta'kidladi ochiqlik dasturiy ta'minot tizimini ishlab chiqishda asosiy muammoga aylandi. Quyidagi muammolarni hal qilish uchun ochiq tarqatilgan tizimlar talab qilinadi:

Monotonlik

Biror narsa ochiq tarqatilgan tizimda nashr etilgandan so'ng uni qaytarib olish mumkin emas.

Plyuralizm

Ochiq taqsimlangan tizimning turli xil quyi tizimlariga heterojen, bir-birining ustiga chiqadigan va ehtimol qarama-qarshi ma'lumotlar kiradi. Ochiq taqsimlangan tizimlarda haqiqatning markaziy hakami yo'q.

Cheklangan nondeterminizm

Asenkron ravishda har xil quyi tizimlar paydo bo'lishi va tushishi mumkin va ochiq taqsimlangan tizimning quyi tizimlari o'rtasida aloqa aloqalari kirib chiqishi mumkin. Shuning uchun operatsiyani bajarish uchun vaqtni oldindan chegaralab bo'lmaydi (qarang cheksiz nondeterminizm ).

Mos kelmaslik

Yirik taqsimlangan tizimlar, o'zlarining odam foydalanuvchilarining axborot tizimining o'zaro aloqalari to'g'risidagi ma'lumotlariga mos kelmasligi muqarrar

Karl Xevitt va Jef Inman [1991] tarqatilgan sun'iy intellektda paydo bo'lgan muammolarni hal qilish uchun Ochiq tizimlar uchun semantikani ishlab chiqishda ishladilar. Carl Hewitt va Carl Manning [1994] ochiq tizimlar uchun ishtirok semantikasini ishlab chiqish to'g'risida xabar berishdi.

Kompyuter arxitekturasi

Tadqiqotchilar Caltech Chak Zayts boshchiligida Kosmik kub birinchi aktyor arxitekturalaridan biri bo'lgan xabar. Keyinchalik MIT tadqiqotchilari Bill Dally boshchiligida J mashinasi.

Aktyor semantikasini algebra va chiziqli mantiq bilan bog'lashga urinishlar

Kohei Honda va Mario Tokoro 1991, Xose Meseguer 1992, Ugo Montanari va Kerolin Talkott 1998, M. Gaspari va G. Zavattaro 1999 aktyor semantikasini algebra bilan bog'lashga urinishdi. Shuningdek, Jon Darlington va Y. K. Guo 1994 yilda chiziqli mantiqni aktyor semantikasi bilan bog'lashga urinishgan.

Biroq, yuqoridagi rasmiyatchiliklarning hech biri xizmat ko'rsatish kafolatlarining hal qiluvchi xususiyatiga taalluqli emas cheksiz nondeterminizm ).

So'nggi o'zgarishlar

Aktyor modelidagi so'nggi o'zgarishlar bir nechta manbalardan kelib chiqqan.

Uskunani rivojlantirish mahalliy va mahalliy bo'lmagan ulkan bir xillikni rivojlantiradi. Mahalliy bir xillik 64 bitli ko'p yadroli mikroprotsessorlar, ko'p chipli modullar va yuqori mahsuldorlikdagi o'zaro bog'lanish uchun yangi uskunalar yordamida yoqilmoqda. Lokal bo'lmagan parallellik simli va simsiz keng polosali paketli kommunikatsiyalar uchun yangi uskunalar yordamida yoqilmoqda. Ham mahalliy, ham mahalliy bo'lmagan saqlash hajmi tobora o'sib bormoqda. Ushbu qo'shimcha qurilmalar ulkan modellashtirish muammolarini keltirib chiqaradi. Hewitt [Hewitt 2006a, 2006b] ushbu muammolarni hal qilish uchun Actor modelidan foydalanishga harakat qilmoqda.

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 Xewitt. Ochiq tizimlar muammosi Bayt jurnali. Aprel 1985. Qayta nashr etilgan Sun'iy aqlning asosi --- manba kitobi Kembrij universiteti matbuoti. 1990 yil.
• Og'a, Gul (1986), Aktyorlar: Tarqatilgan tizimlarda bir vaqtda hisoblash modeli, MIT Press, hdl:1721.1/6952
• Karl Manning. Sayohatchi: aktyor rasadxonasi ECOOP 1987. Shuningdek, paydo bo'ladi Kompyuter fanidan ma'ruza matnlari, vol. 276.
• Uilyam Atas va Charlz Zayts Multikompyuterlar: xabarlarni uzatuvchi bir vaqtda ishlaydigan kompyuterlar IEEE Computer 1988 yil avgust.
• Uilyam Deyli va Uills, D. Paralellikning universal mexanizmlari PARLE 1989.
• V. Xorvat, A. Chien va V. Dalli. CST bilan ishlash tajribasi: dasturlash va amalga oshirish PLDI. 1989 yil.
• Karl Xewitt. Ochiq axborot tizimlari semantikasi tomon Tarqatilgan sun'iy intellekt bo'yicha 10-Xalqaro seminar ishi. 1990 yil 23-27 oktyabr. Bandera, Texas.
• Akinori Yonezava, Ed. ABCL: Ob'ektga yo'naltirilgan bir vaqtda tizim MIT Press. 1990 yil.
• K. Kan va Vijay A. Sarasvat "Aktyorlar bir vaqtda cheklash (mantiqiy) dasturlashning alohida holati sifatida ", SIGPLAN-da Izohlar, 1990 yil oktyabr. Ta'riflaydi Yanus.
• Karl Xewitt. Ochiq axborot tizimlari semantikasi Sun'iy aql jurnali. 1991 yil yanvar.
• Carl Hewitt va Jeff Inman. DAI Betwixt va Between: "Aqlli agentlar" dan "Ochiq tizimlar ilmi" ga IEEE tizimlari, inson va kibernetika bo'yicha operatsiyalar. 1991 yil noyabr / dekabr.
• Karl Xevitt va Gul Og'a. Himoyalangan shoxning so'zlashuv tillari: ular deduktiv va mantiqiymi? Beshinchi avlod kompyuter tizimlari bo'yicha xalqaro konferentsiya, Ohmsha 1988. Tokio. Shuningdek, MIT-da sun'iy aql, Jild 2. MIT Press 1991 yil.
• Kohei Honda va Mario Tokoro. Asenkron aloqa uchun ob'ekt hisobi ECOOP 91.
• Xose Meseguer. Birgalikning yagona modeli sifatida shartli ravishda qayta yozish mantig'i Uyg'unlik va kompozitsion bo'yicha ikkinchi seminarning tanlangan maqolalarida. 1992 yil.
• Uilyam Deyli, va boshq. Xabarga asoslangan protsessor: samarali mexanizmlarga ega bo'lgan ko'pkompyuterli ishlov berish tuguni IEEE Micro. 1992 yil aprel.
• S. Miriyala, G. Og'a va Y.Sami. Vizualizatsiya aktyorlik dasturlari predikat o'tish tarmoqlari yordamida Vizual dasturlash jurnali. 1992 yil.
• ^- Gul Agha, Yan Meyson, Skott Smit va Kerolin Talkott: Aktyorlarni hisoblash uchun asosFunktsional dasturlash jurnali 1993 yil yanvar.
• Carl Hewitt va Carl Manning. Katta ko'lamli inqirozni boshqarish bo'yicha muzokaralar me'morchiligi AAAI-94 Birgalikda muammolarni hal qilishda nizolarni boshqarish modellari bo'yicha seminar. Sietl (VA). 1994 yil 4-avgust.
• ^- Jon Darlington va Y. K. Guo: Chiziqli mantiqdagi aktyorlarni rasmiylashtirish Ob'ektga yo'naltirilgan axborot tizimlari bo'yicha xalqaro konferentsiya. Springer-Verlag. 1994 yil.
• Carl Hewitt va Carl Manning. Ko'p agentlik tizimlari uchun sintetik infratuzilmalar ICMAS '96 materiallari. Kioto, Yaponiya. 1996 yil 8-13 dekabr.
• S. Frolund. Tarqatilgan ob'ektlarni muvofiqlashtirish: sinxronizatsiya uchun aktyorga asoslangan yondashuv MIT Press. 1996 yil noyabr.
• V. Kim. ThAL: samarali va ko'lamini oshiradigan bir vaqtda hisoblash uchun aktyor tizimi Nomzodlik dissertatsiyasi. Urbana shampanidagi Illinoys universiteti. 1997 yil.
• ^- Mauro Gaspari va Janluidji Zavattaro: Aktyorlar algebrasi, Texnik hisobot UBLCS-97-4, Bolonya universiteti, 1997 yil may
• Ugo Montanari va Kerolin Talkott. Aktyorlar va Pi-agentlar birgalikda yashay oladimi? Nazariy kompyuter fanidagi elektron yozuvlar. 1998 yil.
• ^- M. Gaspari va G. Zavattaro: Aktyorlar algebrasi Ochiq ob'ektlarga asoslangan tizimlarning rasmiy usullari, 1999 y.
• N. Jamali, P. Thati va G. Agha. Agentlik ansambllarini sozlash va boshqarish uchun aktyorlarga asoslangan arxitektura IEEE Intelligent Systems. 14 (2). 1999 yil.
• P. Thati, R. Ziaei va G. Agha. Aktyorlar uchun may oyi sinovlari nazariyasi Ochiq ob'ektlarga asoslangan taqsimlangan tizimlar uchun rasmiy usullar. 2002 yil mart.
• P. Thati, R. Ziaei va G. Agha. Mayinlarni asenkron toshlarni sinash nazariyasi, joylashuvi va nomiga mos kelmasligi Algebraik metodologiya va dasturiy ta'minot texnologiyasi. Springer Verlag. Sentabr 2002. LNCS 2422.
• ^- Gul Agha va Prasanna Tati. Aktyorlarning algebraik nazariyasi va uni oddiy ob'ektga asoslangan tilda qo'llash, OO dan FM (Dahl Festschrift) LNCS 2635. Springer-Verlag. 2004 yil.
• Karl Xewitt. Mantiqiy dasturlashning takroran yo'q bo'lib ketishi va nima uchun u reenkarnatsiya qilinadi Nimaga noto'g'ri yo'l qo'yildi va nima uchun: AI tadqiqotlari va qo'llanilishidan olingan darslar. SS-06-08 texnik hisoboti. AAAI Press. Mart 2006b.
• Karl Xevitt Majburiyat nima? Jismoniy, tashkiliy va ijtimoiy Tangalar @ AAMAS. 2006a.