The first computer science journal that he ever looked at, actually I wasn't even aware that there was such a thing as computer science because that was in 1972. But anyway, so they had this algorithm that's solving mutual exclusion. Mutual exclusion is the problem that if you have a bunch of processes running and say some process was to use the printer, well, if you had two processes trying to print at the same time, it's not going to work. That's called mutual exclusion. And the problem was recognized as being important and introduced by Edsford Dykstra and think it was since 1965.
Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Leave us a comment
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!