Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Type System for Borrowing Permissions Karl Naden Robert Bocchino
 

Summary: A Type System for Borrowing Permissions
Karl Naden Robert Bocchino
Jonathan Aldrich
Carnegie Mellon University, Pittsburgh, PA, USA
{kbn,rbocchin,jonathan.aldrich}@cs.cmu.edu
Kevin Bierhoff
Two Sigma Investments, New York, NY, USA
kevin.bierhoff@cs.cmu.edu
Abstract
In object-oriented programming, unique permissions to object ref-
erences are useful for checking correctness properties such as con-
sistency of typestate and noninterference of concurrency. To be us-
able, unique permissions must be borrowed -- for example, one
must be able to read a unique reference out of a field, use it for
something, and put it back. While one can null out the field and
later reassign it, this paradigm is ungainly and requires unneces-
sary writes, potentially hurting cache performance. Therefore, in
practice borrowing must occur in the type system, without requir-
ing memory updates. Previous systems support borrowing with
external alias analysis and/or explicit programmer management

  

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences