Leslie Lamport  Home/Search
Context Related
| microsoft.com/user...thowtomake.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/u...tml#timeclocks (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A multiprocess program executing on a modern multiprocessor must issue explicit commands to synchronize memory accesses. A method is proposed for deriving the necessary commands from a correctness proof of the underlying algorithm in a formalism based on temporal relations among operation executions. (Update)
Cited by: More
Specifying Concurrent Systems with TLA+ - Lamport (1999) (Correct)
Lazy Caching in TLA - Ladkin, Lamport, Olivier, Roegel (1999) (Correct)
Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (Correct)
Similar documents (at the sentence level):
69.8%: How to Make a Correct Multiprocess Program Execute Correctly on a .. - Lamport (1993) (Correct)
Active bibliography (related documents): More All
0.2: Appendix D - Detailed Proof Of (Correct)
0.1: Reasoning with Non-Atomic Memories - Choy, Singh (1993) (Correct)
0.1: A proof of Bloom's two-writer protocol - Abraham (2003) (Correct)
Similar documents based on text: More All
0.1: Reduction in TLA - Cohen, Lamport (1998) (Correct)
0.1: A Theorem on Atomicity in Distributed Algorithms - Lamport (1988) (Correct)
0.1: On the Complexity of Buffer Allocation in Message Passing.. - Brodsky, Pedersen, Wagner (2003) (Correct)
Related documents from co-citation: More All
7: Introduction to sequential consistency and the lazy caching algorithm (context) - Gerth - 1995
6: Distributed Algorithms (context) - Lynch - 1996
6: The SPARC architecture manual : version (context) - Weaver, Germond - 1994
BibTeX entry: (Update)
Leslie Lamport. How to make a correct multiprocess program execute correctly on a multiprocessor. Technical report, Digital Equipment Corporation, Systems Research Center, February 1993. http://citeseer.ist.psu.edu/lamport96how.html More
@article{ lamport97how,
author = "Leslie Lamport",
title = "How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor",
journal = "IEEE Transactions on Computers",
volume = "46",
number = "7",
pages = "779-782",
year = "1997",
url = "citeseer.ist.psu.edu/lamport96how.html" }
Citations (may not include all citations):606 How to make a multiprocessor computer that correctly execute.. (context) - Lamport - 1979
539 The temporal logic of programs (context) - Pnueli - 1977
157 Proving the correctness of multiprocess programs (context) - Lamport - 1977
130 Memory consistency and event ordering in scalable shared-mem.. (context) - Gharachorloo, Lenoski et al. - 1990
55 A correctness condition for highperformance multiprocessors (context) - Attiya, Friedman - 1992
44 The mutual exclusion problem---part i: A theory of interproc.. - Lamport - 1985
44 The mutual exclusion problem---part ii: Statement and soluti.. - Lamport - 1985
44 Verifying properties of parallel programs: An axiomatic appr.. (context) - Owicki, Gries - 1976
42 Proving sequential consistency of high-performance shared me.. (context) - Gibbons, Merritt et al. - 1991
40 Proving assertions about parallel programs (context) - Ashcroft - 1975
37 ACM Transactions on Programming Languages and Systems (context) - Anger, interprocessor - 1989
35 win and sin: Predicate transformers for concurrency - Lamport - 1990
29 On interprocess communication---part i: Basic formalism (context) - Lamport - 1986
25 A new approach to proving the correctness of multiprocess pr.. (context) - Lamport - 1979
10 On globaltime and inter-process communication - Abraham, Ben-David et al. - 1990
6 Atomic semantics of nonatomic programs - Anderson, Gouda - 1988
1 The global time assumption and semantics for concurrent syst.. (context) - Ben-David - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://research.microsoft.com/users/lamport/pubs/pubs.html#time-clocks): More
Lower Bounds on Consensus - Lamport (2000) (Correct)
High-Level Specifications: Lessons from Industry - Batson, Lamport (2003) (Correct)
Formal Specification of a Web Services Protocol - Johnson (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC