Efficient and Correct Execution of Parallel Programs that Share Memory

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 10, Issue 2, 1988, Pages 282-312

  Shasha, Dennis ^a   Snir, Marc ^b  

^a NEW YORK UNIVERSITY   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Networks; parallel languages; PRAM; shared memory; shared variables

Indexed keywords

COMPUTER PROGRAMMING - OPTIMIZATION; COMPUTER SYSTEMS, DIGITAL - PARALLEL PROCESSING;

MIMD COMPUTERS; SHARED MEMORY PROGRAMS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0023994389     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/42190.42277     Document Type: Article

References (16)

1. Aho, A., Sethi, R., and Ullman, J. Compilers Principles, Techniques and Tools. Addison-Wesley, Reading, Mass., 1986.
2. Aho, A. V., Garey, M. R., and Ullman, J. D. The transitive reduction of a directed graph. SIAM J. Comput. 1, 2 (Dec. 1972), 131–137.
3. Allen, J. R., and Kennedy, K. Automatic translation of Fortran programs to vector form. COMP TR84-9, Dept. of Computer Science, Rice Univ., Houston, Tex., July 1984.
4. Beeri, C., Bernstein, P. A., and Goodman, N. A model for nested transaction systems. Tech. Rep. CS-86-1, Computer Science Dept., Hebrew Univ., Jerusalem, 1986.
5. Bernstein, P. A., and Goodman, N. Concurrency control in distributed database systems. ACM Comput. Surv. 13, 2 (June 1981), 185–221.
6. Bernstein, P. A., Shipman, D. W., and Rothnie, J. B., Jr. Concurrency control in a system for distributed databases (SDD-1). ACM Trans. Database Syst. 5, 1 (Mar. 1980), 18–51.
7. Collier, W. Principles of architecture for systems of parallel processes. Tech. Rep. TR00.3100, IBM, T. J. Watson Research Center, Yorktown Heights, N.Y., Mar. 1981.
8. Edler, J., Gottlieb, A., Kruskal, C. K., McAuliffe, K. P., Rudolph, L., Snir, M., Teller, P., and Wilson, J. Issues related to MIMD, shared-memory computers: The NYU Ultracomputer approach. In Proceedings of the 12th International Conference on Computer Architecture (Boston, Mass., June). IEEE Press, New York, 1985, pp. 126–135.
9. Gottlieb, A., Grishman, R., Kruskal, C. K., McAuliffe, K. P., Rudolph, L., and Snir, M. The NYU Ultracomputer—Designing a MIMD, shared-memory parallel computer. IEEE Trans, Comput. C-32, 3 (Feb. 1983), 175–189.
10. Kung, H. T., and Papadimitriou, C. H. An optimality theory of concurrency control for databases. In Proceedings of the ACM-SIGMOD International Conference on Management of Data (Boston, May 1979). ACM, New York, 1979, pp. 116–126.
11. Lamport, L. Time, clocks and the ordering of events in a distributed system. Commun. ACM 21, 7 (July 1978), 558–565.
12. Lamport, L. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. C-28, 9 (Sept. 1979), 690–691.
13. Lamport, L. On interprocess communication, parts I and II. Dist. Comput. 1 (Jan. 1986), 77–101.
14. Lynch, N. A., and Fisher, M. J. Semantics of concurrent computations. Theor. Comput. Sci. 13, 1 (Jan. 1981), 17–43.
15. Padua, D. A., and Wolfe, W. J. Advanced compiler optimizations for supercomputers. Commun. ACM 29, 12 (Dec. 1986), 1184–1201.
16. Pfister, G. F., Brantley, W. C., George, D. A., Harvey, S. L., Kleinfelder, W. J., McAuliffe, K. P., Melton, E. A., Norton, V. A., and Weiss, J. The IBM research parallel processor prototype (RP3): Introduction and architecture. In Proceedings of the IEEE 1985 International Conference on Parallel Processing (Boston, June 1985). IEEE Press, New York, 1985, pp. 764–771.