Automatic scalable atomicity via semantic locking-Reference-Cited by-同舟云学术

Automatic scalable atomicity via semantic locking

Published:2015-01-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
language:
Short-container-title:

Author:

Golan-Gueta Guy¹,Ramalingam G.²,Sagiv Mooly³,Yahav Eran⁴

Affiliation:

1. Yahoo Labs, Israel

2. Microsoft Research, India

3. Tel Aviv University, Israel

4. Technion, Israel

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2688500.2688511

Reference21 articles.

1. gee.cs.oswego.edu/dl/jsr166/dist/jsr166edocs/ jsr166e/ConcurrentHashMapV8.html. 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. www.devdaily.com/java/jwarehouse/apache-tomcat- 6.0.16/java/org/apache/el/util/ConcurrentCache.java.shtml.

3. guava-libraries. code.google.com/p/guava-libraries/. guava-libraries. code.google.com/p/guava-libraries/.

4. Wala. http://wala.sourceforge.net. Wala. http://wala.sourceforge.net.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity;Proceedings of the ACM on Programming Languages;2023-06-06

2. Veracity: declarative multicore programming with commutativity;Proceedings of the ACM on Programming Languages;2022-10-31

3. Wait-free Dynamic Transactions for Linked Data Structures;Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'19;2019

4. Lock-Free Transactional Transformation for Linked Data Structures;ACM Transactions on Parallel Computing;2018-09-19

5. Transactional data structure libraries;ACM SIGPLAN Notices;2016-08