Add to ORKGThis extended abstract overviews work on a type system for lock-free programming based on compare-and-swap. The type system prevents atomicity violations in lock-free programs, where insertion and removal of objects from a linked structure would be subject to data-races breaking linearity of ownership. The type system has successfully been applied to a small number of lock-free data structures.Structured AliasingUpscaleUPMAR
A type system with linearity is useful for checking software protocols and resource management at co...
The significant benefit of lock (or wait)-freedom for real-time systems is that by avoiding locks th...
Abstract. Object ownership is an approach to controlling aliasing in programming languages. Proposal...
This extended abstract overviews work on a type system for lock-free programming based on compare-an...
Linear references are guaranteed to be free from aliases. This is a strong property that simplifies ...
A linear reference is a reference guaranteed to be unaliased. Thisis a powerful property that simpli...
The compare-and-swap register (CAS) is a synchronization primitive for lock-free algorithms. Most us...
Object-oriented programming languages allow inter-object aliasing. Although necessary to construct l...
Concurrent object-oriented programming languages coordinate conflicting memory accesses through lock...
Aliasing is a vital concept of programming, but it comes with a plethora of challenging issues, such...
AbstractThe compare-and-swap register (CAS) is a synchronization primitive for lock-free algorithms....
Linear type systems allow destructive operations such as object deallocation and imperative updates ...
An essential part of programming for multi-core and multi-processor includes ef cient and reliable m...
Ownership types provide a statically enforceable notion of object-level encapsulation. We extend own...
We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and ...
A type system with linearity is useful for checking software protocols and resource management at co...
The significant benefit of lock (or wait)-freedom for real-time systems is that by avoiding locks th...
Abstract. Object ownership is an approach to controlling aliasing in programming languages. Proposal...
This extended abstract overviews work on a type system for lock-free programming based on compare-an...
Linear references are guaranteed to be free from aliases. This is a strong property that simplifies ...
A linear reference is a reference guaranteed to be unaliased. Thisis a powerful property that simpli...
The compare-and-swap register (CAS) is a synchronization primitive for lock-free algorithms. Most us...
Object-oriented programming languages allow inter-object aliasing. Although necessary to construct l...
Concurrent object-oriented programming languages coordinate conflicting memory accesses through lock...
Aliasing is a vital concept of programming, but it comes with a plethora of challenging issues, such...
AbstractThe compare-and-swap register (CAS) is a synchronization primitive for lock-free algorithms....
Linear type systems allow destructive operations such as object deallocation and imperative updates ...
An essential part of programming for multi-core and multi-processor includes ef cient and reliable m...
Ownership types provide a statically enforceable notion of object-level encapsulation. We extend own...
We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and ...
A type system with linearity is useful for checking software protocols and resource management at co...
The significant benefit of lock (or wait)-freedom for real-time systems is that by avoiding locks th...
Abstract. Object ownership is an approach to controlling aliasing in programming languages. Proposal...