Predictive log-synchronization

Proceedings of the 2006 EuroSys Conference

Volumn , Issue , 2006, Pages 305-315

  Shalev, Ori ^a   Shavit, Nir ^b  

^a TEL AVIV UNIVERSITY   (Israel)

^b SUN MICROSYSTEMS   (United States)

Author keywords

Concurrent; Monitor; Prediction; Synchronization

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; CONCURRENT ENGINEERING; DATA STRUCTURES; SYNCHRONIZATION; VERIFICATION;

CONCURRENT PROGRAMMING; PROGRAM VERIFICATION; SEQUENTIAL CODES;

SOFTWARE DESIGN;

EID: 34748828555     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1217935.1217965     Document Type: Conference Paper

References (21)

1. FRASER, K. Practical lock freedom. PhD thesis, Cambridge University Computer Laboratory, 2003. Also available as Technical Report UCAM-CL-TR-579.
2. FREDMAN, M. L., AND TARJAN, R. E. Fibonacci heaps and their uses in improved network optimization algorithms. J. ACM 34 3 (1987), 596-615.
3. HARRIS, T. Exceptions and side-effects in atomic blocks. In Proceedings of the 2004 Workshop on Concurrency and Synchronization in Java programs (Jul 2004), pp. 46-53. Proceedings published as Memorial University of Newfoundland CS Technical Report 2004-01.
4. HARRIS, T., FRASER, K., AND PRATT, I. A practical multi-word compare-and-swap operation. In Proceedings of the 16th International Symposium on Distributed Computing (2002), pp. 265-279.
5. HERLIHY, M., LUCHANGCO, V., MOIR, M., AND SCHERER, W. Software transactional memory for dynamic data structures. In Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing (2003).
6. HERLIHY, M., LUCHANGCO, V., MOIR, M., AND SCHERER, W. N. Software transactional memory for dynamic-sized data structures. In PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computing (New York, NY, USA, 2003), ACM Press, pp. 92-101.
7. HERLIHY, M., AND MOSS, J. E. B. Transactional memory: architectural support for lock-free data structures. In Proceedings of the 20th annual international symposium on Computer architecture (1993), ACM Press, pp. 289-300.
8. HERLIHY, M. P., AND WING, J. M. Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12, 3 (1990), 463-492.
9. LAMPORT, L. HOW to make a correct multiprocess program execute correctly on a multiprocessor. IEEE Trans. Comput. 46, 7 (1997), 779-782.
10. MARATHE, V. J., SCHERER, W. N., AND SCOTT, M. L. Design tradeoffs in modern software transactional memory systems. In In Proceedings of the 7th Workshop on Languages, Compilers, and Run-time Support for Scalable Systems (LCR'04) (2004).
11. MARATHE, V. J., SCHERER, W. N., AND SCOTT, M. L. Adaptive software transactional memory. In To Appear in the Proceedings of the 19th International Symposium on Distributed Computing (DISC'05) (2005).
12. MCKENNEY, P. E., AND SLINGWINE, J. D. Read-copy update: Using execution history to solve concurrency problems. In Parallel and Distributed Computing and Systems (Las Vegas, NV, October 1998), pp. 509-518.
13. MOIR, M. HybridTM: Integrating hardware and software transactional memory. Tech. Rep. Archivist 2004-0661, Sun Microsystems Research, August 2004.
14. OYAMA, Y., TAURA, K., AND YONEZAWA, A. Executing parallel programs with synchronization bottlenecks efficiently. In Proceedings of International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications (PDSIA) (July 1999), pp. 182-204.
15. RIANY, Y., SHAVIT, N., AND TOUITOU, D. Towards a practical snapshot algorithm. Theoretical Computer Science 269, 1-2 (2001), 163-201.
16. ROSENBLUM, M., AND OUSTERHOUT, J. K. The design and implementation of a log-structured file system. ACM Trans. Comput. Syst. 10, 1 (1992), 26-52.
17. SCHERER, W. N., AND SCOTT, M. L. Advanced contention management for dynamic software transactional memory. In PODC '05: Proceedings of the twenty-fourth annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing (New York, NY, USA, 2005), ACM Press, pp. 240-248.
18. SHALEV, O., AND SHAVIT, N. The log-synchronizer: an alternative to monitors and software transactional memory. Unpublished manuscript, September 2005.
19. SHAVIT, N., AND TOUITOU, D. Software transactional memory. Distributed Computing 10, 2 (February 1997), 99-116.
20. WELC, A., HOSKINO, A. L., AND JAGANNATHAN, S. Preemptioti-based avoidance of priority inversion for Java. In Proceedings of the International Conference on Parallel Processing (2004), IEEE Computer Society, pp. 529-538.
21. WELC, A., JAGANNATHAN, S., AND HOSKING, A. L. Transactional monitors for concurrent objects. In Proceedings of the European Conference on Object-Oriented Programming (2004), vol. 3086 of Lecture Notes in Computer Science, Springer-Verlag, pp. 519-542.