Leslie Lamport, winner of the Association for Computing Machinery's A.M. Turing Award, explains how he came formalize precise semantics of memory when multiple processes interact to share data, resulting in the abstraction of regular and atomic registers. This clip is taken from an interview conducted with Lamport by Roy Levin for the ACM and Computer History Museum on August 12, 2016 in Mountain View, CA. Video of the full interview is available as part of Lamport’s ACM profile at amturing.acm.o....
19 авг 2024