How are referees from the actor model implemented in Erlang?

I know that Erlang uses the Actor model to support concurrency, and Erlang processes are the same as for Actors: they send messages that are immutable and so on. But, according to Karl Hewitt, one important thing in the actor’s model is indeterminism and arbitrators (given the arbiter, you can enter several artifacts at the same time (for example, I0 and I1), but only one of the possible results (for example, O0 or O1) will come out on the other end).

So, I wonder how Erlang implemented this concept? And what is used as an Arbiter in the implementation of the Erlang concurrency model / actor model?

+4
source share
1 answer

(., , https://en.wikipedia.org/wiki/Indeterminacy_in_concurrent_computation), , , , , , , ( ) . I.e., - , , -, . ( , - - , .)

Erlang : , , , , . , Erlang. , , (), , Erlang VM . ( , .)

+8

Source: https://habr.com/ru/post/1660240/


All Articles