How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
暂无分享,去创建一个
[1] James H. Anderson,et al. Atomic Semantics of Nonatomic Programs , 1988, Inf. Process. Lett..
[2] 永田 守男,et al. Verifying Properties of Parallel Programs : An Axiomatic Approach , 1976 .
[3] Kourosh Gharachorloo,et al. Proving sequential consistency of high-performance shared memories (extended abstract) , 1991, SPAA '91.
[4] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[5] Leslie Lamport,et al. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.
[6] P. M. Melliar-Smith,et al. Synchronizing clocks in the presence of faults , 1985, JACM.
[7] Edward A. Ashcroft,et al. Proving Assertions about Parallel Programs , 1975, J. Comput. Syst. Sci..
[8] Anoop Gupta,et al. Memory consistency and event ordering in scalable shared-memory multiprocessors , 1990, [1990] Proceedings. The 17th Annual International Symposium on Computer Architecture.
[9] Leslie Lamport,et al. The mutual exclusion problem: part I—a theory of interprocess communication , 1986, JACM.
[10] Shai Ben-David,et al. The global time assumption and semantics for concurrent systems , 1988, PODC '88.
[11] Leslie Lamport,et al. win and sin: predicate transformers for concurrency , 1990, TOPL.
[12] Roy Friedman,et al. A Correctness Condition for High-Performance Multiprocessors , 1998, SIAM J. Comput..
[13] Roy Friedman,et al. A correctness condition for high-performance multiprocessors (extended abstract) , 1992, STOC '92.
[14] Frank D. Anger,et al. On Lamport's interprocessor communication model , 1989, TOPL.
[15] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.
[16] Leslie Lamport,et al. The mutual exclusion problem: partII—statement and solutions , 1986, JACM.
[17] Leslie Lamport. A New Approach to Proving the Correctness of Multiprocess Programs , 1979, TOPL.
[18] Shai Ben-David,et al. On Global-Time and Inter-process Communication , 1990 .