Dennis Shasha and Marc Snir. Ecient and correct execution of parallel programs that share memory. ACM 10(2):282-312, April 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Hiding the Java Memory Model with Compilers - Lee Self-citation (Shasha Snir) (Correct)
....speci ed by the thread. An interleaving represents a possible execution ordering of a parallel program. But, a possible execution ordering of a parallel program does not necessarily corresponds to an interleaving. First, we de ne the interleaving semantics of the execution of a parallel program [18]. ######### ### ############ ######### # ######## ####### ### ############ ######### ## ### ###### ## ## ######### ## ### ####### ## ## ## ### ########## ## ### ####### ######################## ### ########## ## ### ##### ## ## ############# ##### ###### #### ### #### ###### ### ....
....a subset correctness violation, but not #### #####. The examples shown in Figure 1 and Figure 2 also violate ###### ###########. 2.2 Delay Set Analysis A framework called ##### ### ######## is used to enforce sequential consistency. Delay set analysis was originally proposed by Shasha and Snir [18]. The analysis nds a minimal set of execution orderings that guarantees sequential consistency. We use these delays as constraints during compiler transformations. Let # be the order enforced by the source program (i.e. program ordering) between operations. Throughout this discussion, ....
[Article contains additional citation context not shown here]
Dennis Shasha and Marc Snir. Ecient and correct execution of parallel programs that share memory. ### ############ ## ########### ######### ### #######, 10(2):282-312, April 1988.
Basic Compiler Algorithms for Parallel Programs - Jaejin Lee And (1999) (16 citations) (Correct)
No context found.
Dennis Shasha and Marc Snir. Ecient and correct execution of parallel programs that share memory. ACM 10(2):282-312, April 1988.
Coherence Buffer: An Architectural Support for.. - Sarojadevi, Nandy.. (2002) (Correct)
No context found.
Dennis Shasha and Marc Snir. Ecient and Correct Execution of Parallel Programs that Share Memory. ACM Transactions on Programming Languages and Systems, 10(2):282-312, April 1988.
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