Ownership types for flexible alias protection

Clarke, David G.; Potter, John; Noble, James

doi:10.1145/286942.286947

Cited by 204 publications

(278 citation statements)

References 25 publications

Supporting

Mentioning

275

Contrasting

Order By: Relevance

“…First, Scoped Types enforce a per-owner relation [10,18] via techniques based on Confined Types [9,22]. The type system described here refines the system described in [21] which includes a proof of correctness, but no implementation.…”

Section: Fig 1 Overview Of Stars Application Logic Is Written Accomentioning

confidence: 99%

“…In contrast, systems like Islands [13], Ownership Types [10], and their successors restrict the scope of references to enable modular reasoning. The idea of using ownership types for the safety of region-based memory was first proposed by Boyapati et al [5], and required changes to the Java syntax and explicit type annotations.…”

Section: Related Work: Programming With Scoped Memorymentioning

confidence: 99%

See 1 more Smart Citation

Scoped Types and Aspects for Real-Time Java

Andreae

Coady

Gibbs

et al. 2006

ECOOP 2006 – Object-Oriented Programming

Self Cite

View full text Add to dashboard Cite

Abstract. Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and correct. While higher-level programming models (such as the Real-Time Specification for Java) permit real-time programmers to use language features that most programmers take for granted (objects, type checking, dynamic dispatch, and memory safety) the compromises required for real-time execution, especially concerning memory allocation, can create as many problems as they solve. This paper presents Scoped Types and Aspects for Real-Time Systems (STARS) a novel programming model for real-time systems. Scoped Types give programmers a clear model of their programs' memory use, and, being statically checkable, prevent the run-time memory errors that bedevil models such as RTSJ. Our Aspects build on Scoped Types guarantees so that Real-Time concerns can be completely separated from applications' base code. Adopting the integrated Scoped Types and Aspects approach can significantly improve both the quality and performance of a real-time Java systems, resulting in simpler systems that are reliable, efficient, and correct.

show abstract

Section: Fig 1 Overview Of Stars Application Logic Is Written Accomentioning

confidence: 99%

Section: Related Work: Programming With Scoped Memorymentioning

confidence: 99%

Scoped Types and Aspects for Real-Time Java

Andreae

Coady

Gibbs

et al. 2006

ECOOP 2006 – Object-Oriented Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…Ownership types [15] introduce the concept of an object owning its nested objects; an ownership context is the set of objects with a given common owner.…”

Section: Types For Hierarchic Shapesmentioning

confidence: 99%

“…Furthermore, the owner controls access to the owned objects, because an object may only be accessed by its direct owner, or by objects (possibly indirectly) owned by the former object's owner. Therefore, owners are dominators [15], where o 1 dominates o 2 , if any path from the "outside" (or "root" of the object graph) to o 2 goes through o 1 .…”

Section: Types For Hierarchic Shapesmentioning

confidence: 99%

Types for Hierarchic Shapes

Drossopoulou

Clarke

Noble

2006

Programming Languages and Systems

Self Cite

View full text Add to dashboard Cite

Abstract. Heap entities tend to contain complex references to each other. To manage this complexity, types which express shapes and hierarchies have been suggested. We survey type systems which describe such hierarchic shapes, how these types are used for reasoning about programs, and applications in concurrent programming.Most imperative programs create and manipulate heap entities (objects, or records) which contain references to each other forming intricate topologies. This creates complexity, and makes programs difficult to understand and manipulate. Programmers, on the other hand, tend to think in terms of shapes, categorizations and hierarchies.Thus, in the last decade, types describing shapes and hierarchies have been proposed to express programming intuitions, to support verification, and for synchronization and optimizations. We will discuss types for hierarchic shapes in terms of object oriented programming, because, even though the ideas are applicable to any imperative language, most of the related research was conducted in the context of object oriented languages.

show abstract

“…Some approaches [7,8] present new type systems using, for example, ownership types [17] to verify the absence of data races and deadlock. Recent work on generalizing type systems allows reasoning about higher-level atomicity properties of concurrent programs that subsumes data race detection [20,19].…”

Section: Related Workmentioning

confidence: 99%

Transactional Monitors for Concurrent Objects

Welc

Jagannathan

Hosking

2004

ECOOP 2004 – Object-Oriented Programming

View full text Add to dashboard Cite

Abstract. Transactional monitors are proposed as an alternative to monitors based on mutual-exclusion synchronization for object-oriented programming languages. Transactional monitors have execution semantics similar to mutualexclusion monitors but implement monitors as lightweight transactions that can be executed concurrently (or in parallel on multiprocessors). They alleviate many of the constraints that inhibit construction of transparently scalable and robust applications. We undertake a detailed study of alternative implementation schemes for transactional monitors. These different schemes are tailored to different concurrent access patterns, and permit a given application to use potentially different implementations in different contexts. We also examine the performance and scalability of these alternative approaches in the context of the Jikes Research Virtual Machine, a state-of-the-art Java implementation. We show that transactional monitors are competitive with mutualexclusion synchronization and can outperform lock-based approaches up to five times on a wide range of workloads.

show abstract

Ownership types for flexible alias protection

Cited by 204 publications

References 25 publications

Scoped Types and Aspects for Real-Time Java

Scoped Types and Aspects for Real-Time Java

Types for Hierarchic Shapes

Transactional Monitors for Concurrent Objects

Contact Info

Product

Resources

About