Concurrency in E


Concurrency Overview Why threads are evil.
[画像:Pipelined Send Diagram] Event Loop Philosophy: What would F.A. Hayek (the economist) say?
Semi-Transparency: Distributed programming is different, but not too different.
The Vat: Process-like aggregate of objects. Fails separately.
Distributed Queuing: Message-flow within and between vats.
Reference Mechanics: How do I designate thee? Let me count the ways.
Message Passing: Call-return and the eventually operator.
Vat Turns: Atomic micro-transactions
Partial Ordering: Just enough distributed sequentiality.
EIO: You mean I can't block on a read? What kind of I/O library is that?

Besides local concurrency, this section sets the ground for the next -- distributed programming.


Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.

AltStyle によって変換されたページ (->オリジナル) /