Personal tools
You are here: Home Fluid Publications Fractions Abstract
Document Actions

Fractions Abstract

by John Boyland last modified 2005-03-07 03:30 PM

Abstract of fractional permissions paper (SAS 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 operational semantics of a simple imperative language with structured parallelism and prove that the permission system enables parallelism to proceed with deterministic results.

 

Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: