Coordination of Parallel Processes in the Actor Model of Computation
Name
MIT-LCS-TR-173.pdf
Size
4.85 MB
Format
Adobe PDF
Checksum (MD5)
edfb3637b60432f8f3fc2166920dddb1
Author(s)
Goodman, Nathan
Advisor(s)
Hewitt, Carl
Date Issued
December 1976
Series/Report no.
MIT-LCS-TR-173
Abstract
Two algorithms for the mutual exclusion problem are described and proven to operate correctly. The algorithms are unique in that they use very simple synchronization primitives yet are fair and retain their fairness even if the number of parallel processes in the computer system increases unboundedly over time. One of the algorithms uses simple cells of read/write storage as the primitive; the algorithm is similar to the classic algorithms for this problem proposed by Dijkstra and Knuth, but is generalized to handle an arbitrary number of processes.
Persistent DSpace Link
