Reducing STM overhead with access permissions

Authors:
Nels E. Beckman;Yoon Phil Kim;Sven Stork;Jonathan Aldrich
Affiliations:
Carnegie Mellon University;Carnegie Mellon University;Carnegie Mellon University and Universidade de Coimbra, Coimbra, Portugal;Carnegie Mellon University
Venue:
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Year:
2009

Citing 16
Cited 4

Typestate: A programming language concept for enhancing software reliability

IEEE Transactions on Software Engineering
Transactional memory: architectural support for lock-free data structures

ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
Escape analysis for Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Escape analysis for object-oriented languages: application to Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Simple Ownership Types for Object Containment

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Comprehensive synchronization elimination for Java

Science of Computer Programming - Special issue on static analysis (SAS'99)
Software transactional memory for dynamic-sized data structures

Proceedings of the twenty-second annual symposium on Principles of distributed computing
Language support for lightweight transactions

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Optimizing memory transactions

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Compiler and runtime support for efficient software transactional memory

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
A flexible framework for implementing software transactional memory

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Atomicity via source-to-source translation

Proceedings of the 2006 workshop on Memory system performance and correctness
Enforcing isolation and ordering in STM

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Modular typestate checking of aliased objects

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Verifying correct usage of atomic blocks and typestate

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Checking interference with fractional permissions

SAS'03 Proceedings of the 10th international conference on Static analysis

Safe nondeterminism in a deterministic-by-default parallel language

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lowering STM overhead with static analysis

LCPC'10 Proceedings of the 23rd international conference on Languages and compilers for parallel computing
STM with transparent API considered harmful

ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I
Substructural typestates

Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Verified data abstraction. Data abstraction has long been recognized as a methodology to decompose the verification problem into data structure implementation and the algorithm that uses the data structure [3, 8]. Today we are close to being in ...