Актер моделіндегі оқиғалардың реттілігі және сандық шектеулер
Actor model theory
Актор моделі теориясы: параллель есептеулердегі акторлардың негізгі принциптері, құрылымы, жаңа акторлар жасау, хабар алмасу, және жауап беру механиздері.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Теориялық компьютерлік ғылымда актерлік модель теориясы актерлік модельдің теориялық мәселелерін зерттейді. Актерлер – бір мезгілдегі цифрлық есептеудің актерлік моделіне негіз болатын бастауыш элементтер. Алған хабарламаға жауап ретінде актерлер жергілікті шешімдер қабылдай алады, жаңа актерлер құра алады, хабарламалар жібере алады және келесі хабарламаға қалай жауап беру керектігін анықтай алады. Актерлік модель теориясы актерлік есептеулердің оқиғалары мен құрылымдарының теорияларын, олардың дәлелдеу теориясын және денотациялық модельдерді қамтиды.
In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model. Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an Actor can make local decisions, create more Actors, send more messages, and designate how to respond to the next message received. Actor model theory incorporates theories of the events and structures of Actor computations, their proof theory, and denotational models.
Оқиғалар және олардың реттелгендігі
Актердің анықтамасынан көптеген оқиғалардың болатынын көруге болады: жергілікті шешімдер қабылдау, Актерлерді құру, хабарлама жіберу, хабарламалар алу және келесі алынған хабарламаға қалай жауап беру керектігін анықтау. Дегенмен, бұл мақала тек Актерге жіберілген хабарламаның келуіне байланысты оқиғаларға назар аударады. Бұл мақалада Hewitt [2006] еңбегінде жарияланған нәтижелер келтірілген. Саналатындық заңы: Оқиғалардың саны санаулы ғана болуы мүмкін.
From the definition of an Actor, it can be seen that numerous events take place: local decisions, creating Actors, sending messages, receiving messages, and designating how to respond to the next message received. However, this article focuses on just those events that are the arrival of a message sent to an Actor. This article reports on the results published in Hewitt [2006]. Law of Countability: There are at most countably many events.
Белсенділеуді тапсыру
Активация тәртібі (≈→) – бір оқиғаның екіншісін іске қосатын негізгі тәртіп (бір оқиғадан оны іске қосатын оқиғаға хабар алмасу кезінде энергия ағыны болуы тиіс). Энергияның берілуіне байланысты, активация тәртібі релятивистік түрде өзгермейді; яғни, барлық оқиғалар e1, e2 үшін, егер e1 ≈→ e2 болса, онда e1 уақыты барлық бақылаушылардың релятивистік есептеу жүйелерінде e2 уақытынан бұрын болады. Активация тәртібі бойынша қатаң себеп-салдар заңы: Ешқандай оқиға үшін e ≈→ e болмайды. Активация тәртібі бойынша шекті алдын-ала тұру заңы: Барлық оқиғалар e1 үшін {e | e ≈→ e1} жиыны шекті.
The activation ordering ( ≈→) is a fundamental ordering that models one event activating another (there must be energy flow in the message passing from an event to an event which it activates). Because of the transmission of energy, the activation ordering is relativistically invariant; that is, for all events e1. e2, if e1 ≈→ e2, then the time of e1 precedes the time of e2 in the relativistic frames of reference of all observers. Law of Strict Causality for the Activation Ordering: For no event does e ≈→ e.
Law of Finite Predecession in the Activation Ordering: For all events e1 the set {e|e ≈→ e1} is finite.
Келу тәртібі
Actor x (x→ ) -тің келу реті x-ке хабардың келген оқиғалардың (жалпы) тізбегін көрсетеді. Келу реті хабарларды өңдеу кезіндегі арбитраж арқылы анықталады (көбінесе арбитр деп аталатын цифрлық тізбек қолданылады). Актердің келу оқиғалары оның әлемдік сызығында орналасады. Келу реті Актер моделінің ішкі белгісіздігін білдіреді (параллель есептеулердегі белгісіздікке қараңыз). x актердің келу ретімен байланысты барлық оқиғалар x-тің әлемдік сызығында болғандықтан, актердің келу реті релятивистік тұрақтылыққа ие. Яғни, барлық x актерлер мен e1, e2 оқиғалары үшін, егер e1 x→ e2 болса, онда e1 уақыты барлық бақылаушылардың салыстырмалы анықтамалық жүйелерінде e2 уақытынан ертерек болады. Келу ретіндегі шекті алдын алу заңы: барлық e1 оқиғалары және x актерлер үшін {e|e x→ e1} жиыны шекті.
The arrival ordering of an Actor x ( x→ ) models the (total) ordering of events in which a message arrives at x. Arrival ordering is determined by arbitration in processing messages (often making use of a digital circuit called an arbiter). The arrival events of an Actor are on its world line. The arrival ordering means that the Actor model inherently has indeterminacy (see Indeterminacy in concurrent computation). Because all of the events of the arrival ordering of an actor x happen on the world line of x, the arrival ordering of an actor is relativistically invariant. I. e., for all actors x and events e1. e2, if e1 x→ e2, then the time of e1 precedes the time of e2 in the relativistic frames of reference of all observers. Law of Finite Predecession in Arrival Orderings: For all events e1 and Actors x the set {e|e x→ e1} is finite.
Денотациялық семантика
Клингер [1981] жоғарыда сипатталған Актер оқиғасы моделін қуат домендерін қолдана отырып, Актерлерге арналған денотациялық модель құру үшін пайдаланды. Содан кейін Хьюитт [2006] диаграммаларды келу уақыттарымен толықтырып, түсінуге оңай, техникалық тұрғыдан қарапайым денотациялық модельді жасады.
Clinger [1981] used the Actor event model described above to construct a denotational model for Actors using power domains. Subsequently Hewitt [2006] augmented the diagrams with arrival times to construct a technically simpler denotational model that is easier to understand.