David F. Bacon
- 1.ACETTA, M., BARON, R., BOLOSKY, W., GOLUB, D., RASHID, R., TEVANIAN, A., AND YOUNG, M. Mach: A new kernel foundation for UNIX development. In Proceedings of the Summer Useniz Conference (July 1986).Google Scholar
- 2.ALLEN, R., AND KENNEDY, K. Automatic translation of Fortran programs to vector form. ACM Transadions on Programming Languages and Systems 9, 4 (October 1987). Google ScholarDigital Library
- 3.HOARB, C. Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs, N.J., 1985. Google ScholarDigital Library
- 4.JEFFERSON, D. R. Virtual time. Transactions on Programming Languages and Systems 7, 3 (July 1985), 404--425. Google ScholarDigital Library
- 5.KUCK, D., KUHN, R., PADUA, D., L#.ASURB, B., AND WOLF#-, M. Dependence graphs and compiler optimization. In Proceedings of the 8th A CM Conference on Principles of Programming Languages (January 1981), ACM. Google ScholarDigital Library
- 6.KUNG, H. T., AND ROBINSON, J. T. On optimistic methods for concurrency control. ACM Trans. Database Syst 6, 2 (June 1981), 213-226. Google ScholarDigital Library
- 7.LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. A GM #1, 7 (July 1978), 558-565. Google ScholarDigital Library
- 8.STROM, R. E., BACON, D. F., GOLDBBRG, A., LOWRY, A., YBLLIN, D., AND YEMINI, S. A. Hermes: A Language for Distributed Computing. Prenflee Hall, January 1991. Google ScholarDigital Library
- 9.STROM, R. E., AND YZMINI, S. A. Optimistic recovery in distributed systems. A CM Transactions on Computer Systems 3, 3 (August 1985), 204-226. Google ScholarDigital Library
- 10.STROM, R. E., AND YEMINI, S. A. Synthesizing distributed and parallel programs through optimistic transformations, in Current Advances in Distributed Computing and Communications, Y. Yemini, Ed. Computer Science Press, Rockville, MD, 1987, pp. 234-256.Google Scholar
- 11.TINKER, P., AND KATZ, M. Parallel execution of sequential Scheme with ParaTran. in Lisp and Functional Programming Conference (1988), pp. 28-39. Google ScholarDigital Library
- 12.UNITED STATES DEPARTMENT OF DEFENSE. Reference Manual for #he Ada Programming Language, ANSI/MIL-STD-1815-1983 ed., February 1983.Google Scholar
Index Terms
- Optimistic parallelization of communicating sequential processes
Recommendations
Distributed optimistic concurrency control with reduced rollback
Concurrency control algorithms have traditionally been based on locking and timestamp ordering mechanisms. Recently optimistic schemes have been proposed. In this paper a distributed, multi-version, optimistic concurrency control scheme is described ...
Infinite Resources for Optimistic Concurrency Control
NetCompute '18: Proceedings of the 2018 Morning Workshop on In-Network ComputingOptimistic concurrency control (OCC) is inefficient for high-contention workloads. When concurrent transactions conflict, an OCC system wastes CPU resources verifying transactions, only to abort them. This paper presents a new system, called Network ...
Comments