|
|
|
|
|
|
by baryphonic
1164 days ago
|
|
|
David Reed's 1978 PhD thesis describes "pseudo-time," which is a precursor to the work Liskov and Lamport did.[0] (Reed calls his overall system he developed "NAMOS," with pseudo-time being the coordination mechanism.) In fact, the pseudo-time algorithm has some flaws which Liskov described in the mid-80s. I believe Lamport's PAXOS is a sort of pun on NAMOS. [0]https://dl.acm.org/doi/book/10.5555/889815 |
|
|