Design, verification and applications of a new read-write lock algorithm

Annual ACM Symposium on Parallelism in Algorithms and Architectures

Volumn , Issue , 2012, Pages 48-57

  Shirako, Jun ^a   Vrvilo, Nick ^a   Mercer, Eric G ^b   Sarkar, Vivek ^a  

^a RICE UNIVERSITY   (United States)

^b BRIGHAM YOUNG UNIVERSITY   (United States)

Author keywords

Model checking; Mutual exclusion; Read write locks

Indexed keywords

ATOMIC OPERATION; CRITICAL SECTIONS; DEADLOCK FREEDOM; JAVA PATHFINDER; MICRO-BENCHMARK; MODEL CHECKER; MULTIPLE PLATFORMS; MUTUAL EXCLUSIONS; PARALLEL TASK; SHARED RESOURCES; SYNCHRONIZATION PRIMITIVE; TERMINATION DETECTION; VERIFICATION AND APPLICATION;

CONCURRENCY CONTROL; MODEL CHECKING; PARALLEL PROGRAMMING; SYNCHRONIZATION;

ALGORITHMS;

EID: 84864116910     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2312005.2312015     Document Type: Conference Paper

References (18)

1. T. E. Anderson. The performance of spin lock alternatives for shared-memory multiprocessors. In Proc. IEEE Int'l. Parallel and Distributed Processing Symp. (IPDPS), January 1990.
2. T. Craig. Building FIFO and priority-queueing spin locks from atomic swap. In Technical Report TR 93-02-02. University of Washington, Dept. of Computer Science, 1993.
3. D. Dice. Brief announcement: A partitioned ticket lock. In SPAA '11: Proceedings of the 23rd annual ACM symposium on parallelism in algorithms and architectures, New York, NY, USA, 2011. ACM.
4. M. Frigo, C. E. Leiserson, and K. H. Randall. The implementation of the Cilk-5 multithreaded language. In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, pages 212-223, New York, NY, USA, 1998. ACM. (Pubitemid 128454798)
5. Y. Guo, R. Barik, R. Raman, and V. Sarkar. Work-first and help-first scheduling policies for async-finish task parallelism. In IPDPS '09: Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing, pages 1-12, Washington, DC, USA, May 2009. IEEE Computer Society.
6. Habanero Java (HJ) Project. http://habanero.rice.edu/hj, 2009.
7. M. Herlihy, V. Luchangco, M. Moir, and W. N. Scherer III. Software transactional memory for dynamic-sized data structures. In PODC '03: Proceedings of the twenty-second annual symposium on Principles of distributed computing, pages 92-101, New York, NY, USA, 2003. ACM Press.
8. K. Kim, T. Yavuz-Kahveci, and B. A. Sanders. Precise data race detection in a relaxed memory model using heuristic-based model checking. In Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, ASE '09, pages 495-499, Washington, DC, USA, 2009. IEEE Computer Society.
9. J. R. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2006.
10. R. Lublinerman, J. Zhao, Z. Budimlić, S. Chaudhuri, and V. Sarkar. Delegated Isolation. In OOPSLA '11: Proceedings of the 26th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, 2011.
11. J. Mellor-Crummey and M. Scott. Algorithms for Scalable Synchronization on Shared Memory Multiprocessors. ACM Transactions on Computer Systems, 9(1):21-65, February 1991.
12. NASA Ames Research Center. JPF developer guide: On-the-fly partial order reduction. http://babelfish.arc.nasa.gov/trac/jpf/wiki/devel/partial-order- reduction, 2009.
13. T. Peierls, J. Bloch, J. Bowbeer, D. Lea, and D. Holmes. Java Concurrency in Practice. Addison-Wesley Professional, 2006.
14. W. Pugh. JSR-133: Java memory model and thread specification. http://www.jcp.org/en/jsr/detail?id=133, August 2004.
15. V. Sarkar, W. Harrod, and A. E. Snavely. Software Challenges in Extreme Scale Systems. January 2010. Special Issue on Advanced Computing: The Roadmap to Exascale.
16. J. Shirako et al. Phasers: a unified deadlock-free construct for collective and point-to-point synchronization. In ICS '08: Proceedings of the 22nd annual international conference on Supercomputing, pages 277-288, New York, NY, USA, 2008. ACM.
17. S. Taşirlar and V. Sarkar. Data-Driven Tasks and their Implementation. In ICPP'11: Proceedings of the International Conference on Parallel Processing, Sep 2011.
18. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model checking programs. Automated Software Engg., 10:203-232, April 2003.