Automatic scalable atomicity via semantic locking

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn 2015-January, Issue , 2015, Pages 31-41

  Golan Gueta, Guy ^a   Ramalingam, G ^b   Sagiv, Mooly ^c   Yahav, Eran ^d  

^a YAHOO RESEARCH   (United States)

^b MICROSOFT RESEARCH   (United States)

^c TEL AVIV UNIVERSITY   (Israel)

^d TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Automatic synchronization; Semantics; Transactions

Indexed keywords

ABSTRACT DATA TYPES; ALGORITHMS; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; LOCKS (FASTENERS); PARALLEL PROGRAMMING; PROGRAM COMPILERS; SEMANTICS; SPECIFICATIONS; SYNCHRONIZATION;

AUTOMATED APPROACH; AUTOMATIC SYNCHRONIZATION; CLIENT PROGRAMS; CONCURRENT PROGRAM; DEADLOCK FREEDOM; JAVA COMPILERS; SYNTHESIS ALGORITHMS; TRANSACTIONS;

CONCURRENCY CONTROL;

EID: 84939147595     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2688500.2688511     Document Type: Conference Paper

References (23)

1. gee.cs.oswego.edu/dl/jsr166/dist/jsr166edocs/jsr166e/ConcurrentHashMapV8.html.
2. www.devdaily.com/java/jwarehouse/apache-tomcat-6.0.16/java/org/apache/el/util/ConcurrentCache.java.shtml.
3. http://www.jgroups.org.
4. guava-libraries.code.google.com/p/guava-libraries/.
5. Wala. http://wala.sourceforge.net.
6. BERNSTEIN, P. A., HADZILACOS, V., and GOODMAN, N. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
7. CAO MINH, C., CHUNG, J., KOZYRAKIS, C., and OLUKOTUN, K. STAMP: Stanford transactional applications for multi-processing. In IISWC (2008).
8. CASCAVAL, C., BLUNDELL, C., MICHAEL, M., CAIN, H. W., WU, P., CHIRAS, S., and CHATTERJEE, S. Software transactional memory: Why is it only a research toy? Queue 6, 5 (Sept. 2008), 46-58.
9. GOLAN-GUETA, G., RAMALINGAM, G., SAGIV, M., and YAHAV, E. Concurrent libraries with foresight. In PLDI (2013).
10. GUDKA, K., HARRIS, T., and EISENBACH, S. Lock inference in the presence of large libraries. In ECOOP. 2012.
11. HARRIS, T., LARUS, J., and RAJWAR, R. Transactional memory, 2nd edition. Synthesis Lectures on Computer Architecture 5, 1 (2010).
12. HAWKINS, P., AIKEN, A., FISHER, K., RINARD, M., and SAGIV, M. Concurrent data representation synthesis. In PLDI (2012).
13. HERLIHY, M., LEV, Y., LUCHANGCO, V., and SHAVIT, N. A provably correct scalable concurrent skip list. In OPODIS (2006).
14. HERLIHY, M., and SHAVIT, N. The Art of Multiprocessor Programming. Morgan Kauffman, Feb. 2008.
15. HERLIHY, M. P., and WING, J. M. Linearizability: A correctness condition for concurrent objects. TOPLAS 12 (1990).
16. KORLAND, G., SHAVIT, N., and FELBER, P. Noninvasive concurrency with java stm. In MULTIPROG (2010).
17. KOSKINEN, E., PARKINSON, M., and HERLIHY, M. Coarse-grained transactions. In POPL (2010), pp. 19-30.
18. LHOTÁK, O., and HENDREN, L. Scaling java points-to analysis using spark. In Proceedings of the 12th international conference on Compiler construction (2003), CC'03.
19. MCCLOSKEY, B., ZHOU, F., GAY, D., and BREWER, E. Autolocker: synchronization inference for atomic sections. In POPL (2006).
20. NIELSON, F., and NIELSON., H. R., and HANKIN, C. Principles of Program Analysis. Springer-Verlag New York, Inc., 1999.
21. SCHWARZ, P. M., and SPECTOR, A. Z. Synchronizing shared abstract types. ACM Trans. Comput. Syst. 2, 3 (Aug. 1984), 223-250.
22. SHACHAM, O., BRONSON, N., AIKEN, A., SAGIV, M., VECHEV, M., and YAHAV, E. Testing atomicity of composed concurrent operations. In OOPSLA (2011).
23. SALCIANU, A., and RINARD, M. Purity and side effect analysis for Java programs. In VMCAI (2005), pp. 199-215.