Checking Interference with Fractional Permissions

@inproceedings{Boyland2003CheckingIW,
  title={Checking Interference with Fractional Permissions},
  author={John Tang Boyland},
  booktitle={SAS},
  year={2003}
}
We describe a type system for checking interference using the concept of linear capabilities (which we call "permissions"). Our innovations include the concept of "fractional" permissions: reads can be permitted with fractional permissions whereas writes require complete permissions. This distinction expresses the fact that reads on the same state do not conflict with each other. One may give shared read access at one point while still retaining write permission afterwards. We give an… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 351 CITATIONS

Reasoning about locks and transactions in concurrent programs

VIEW 12 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Object Propositions

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

AEminium Freeing Programmers from the Shackles of Sequentiality

VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Data-Race-Freedom of Concurrent Programs

  • 2013 20th Asia-Pacific Software Engineering Conference (APSEC)
  • 2013
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Proposal : Object Propositions

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A type system for borrowing permissions

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2003
2019

CITATION STATISTICS

  • 46 Highly Influenced Citations

  • Averaged 19 Citations per year from 2017 through 2019