4,867 Hits in 3.3 sec

Ownership Types for Object Synchronisation [chapter]

Yi Lu, John Potter, Jingling Xue
2012 Lecture Notes in Computer Science  
This paper exploits object structures, provided by ownership types, to enable a structured synchronisation scheme which guarantees safety and allows more concurrency within structured tasks.  ...  Shared-memory concurrent programming is difficult and error prone because memory accesses by concurrent threads need to be coordinated through synchronisation, which relies on programmer discipline and  ...  Ownership Types and Aliasing In an ownership type system, every object has a fixed owner, either world, for root objects, or another object; we say that an object is strictly inside its owner.  ... 
doi:10.1007/978-3-642-35182-2_3 fatcat:oar77yjddvalxjly7wafclrrka

Structural Lock Correlation with Ownership Types [chapter]

Yi Lu, John Potter, Jingling Xue
2013 Lecture Notes in Computer Science  
This paper proposes structural lock correlation, a new model for establishing structural connections between locks and the memory locations they protect, in an ownership-based type and effect system.  ...  Concurrent object-oriented programming languages coordinate conflicting memory accesses through locking, which relies on programmer discipline and suffers from a lack of modularity and compiletime support  ...  Unlike early papers on ownership types [23, 7, 5, 20] , we do not use ownership to encapsulate objects, with owners as access monitors for the objects they own.  ... 
doi:10.1007/978-3-642-37036-6_22 fatcat:63ibb3x23zenvdwpmi7kokw63a

Bestow and atomic: Concurrent programming using isolation, delegation and grouping

Elias Castegren, Joel Wallin, Tobias Wrigstad
2018 Journal of Logical and Algebraic Methods in Programming  
This paper extends this work by the introduction of two programming constructs; one for decoupling isolation and synchronisation and one for constructing higher-level atomicity guarantees from lower-level  ...  synchronisation.  ...  In fact, it may not even leak outside of the object that created it (similar to ownership types [11] ).  ... 
doi:10.1016/j.jlamp.2018.06.007 fatcat:d6wltdyrdbh6pl3utpxucql3cm

Verification of Shared-Reading Synchronisers

Afshin Amighi, Marieke Huisman, Stefan Blom
2018 Electronic Proceedings in Theoretical Computer Science  
Synchronisation classes are an important building block for shared memory concurrent programs.  ...  For synchronisation classes controlling exclusive access to a shared resource, such as locks, a technique has been proposed to reason about their behaviour.  ...  O'Hearn developed required rules to reason about threads exchanging exclusive ownership of a memory location through a synchronisation construct [17] .  ... 
doi:10.4204/eptcs.272.9 fatcat:ik6lv4tzyratpgztfdz6ek66nq

Welterweight Java [chapter]

Johan Östlund, Tobias Wrigstad
2010 Lecture Notes in Computer Science  
To account for the importance of concurrency, WJ models Java's thread-based concurrency and lock-based synchronisation. The design of WJ is distilled from recent work on concurrent Java-like systems.  ...  We believe that the calculus is a good starting point for extensions. We illustrate the potential of the calculus with a version of WJ extended with deep ownership.  ...  Acknowledgements We thank Sylvain Lebresne for comments on the presentation.  ... 
doi:10.1007/978-3-642-13953-6_6 fatcat:b4axdf7ncrf7zdgojdaxmc3tsm

Ownership Types: A Survey [chapter]

Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad
2013 Lecture Notes in Computer Science  
Rather than simply protecting the fields of an object from external access, ownership types protect also the objects stored in the fields, thereby enabling an object to claim (exclusive) ownership of and  ...  Ownership types were devised nearly 15 years ago to provide a stronger notion of protection to object-oriented programming languages.  ...  Thanks to Marwan Abi-Antoun, Jonathan Aldrich, Peter Müller, and the anonymous reviewers for their detailed comments.  ... 
doi:10.1007/978-3-642-36946-9_3 fatcat:inhsxhjizzfrvizsdz5blacu4i

Actors without Borders: Amnesty for Imprisoned State

Elias Castegren, Tobias Wrigstad
2017 Electronic Proceedings in Theoretical Computer Science  
In concurrent systems, some form of synchronisation is typically needed to achieve data-race freedom, which is important for correctness and safety.  ...  still synchronised.  ...  Combining bestowed objects with linear types is straightforwand and allows for both ownership transfer and bestowed sharing between actors in the same system.  ... 
doi:10.4204/eptcs.246.4 fatcat:frpvt622mbdbdhrdd7ooe5qiuy

Eliminating invalidation in coherent-cache parallel graph reduction [chapter]

Andrew J. Bennett, Paul H. J. Kelly
1994 Lecture Notes in Computer Science  
They also display a very high rate of synchronisation, making conventional weakly-consistent coherency protocols ine ective at avoiding unnecessary contention for write access to cache lines due to false  ...  For example most objects are created at runtime.  ...  The results of that work can be summarised as follows: { Parallel functional programs perform synchronisations at a far greater rate than more widely-studied program types (e.g. the Splash suite 14]).  ... 
doi:10.1007/3-540-58184-7_116 fatcat:uhbfkfuwmreuho4l7pzff5hmxq

Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library [chapter]

Kasper Svendsen, Lars Birkedal, Matthew Parkinson
2013 Lecture Notes in Computer Science  
We present a case study of formal specification for the C joins library, an advanced concurrent library implemented using both shared mutable state and higher-order methods.  ...  Acknowledgements We would like to thank Mike Dodds, Bart Jacobs, Jonas Braband Jensen, Hannes Mehnert, Claudio Russo, and Aaron Turon for helpful discussions and feedback.  ...  Thus x f p → v asserts the ownership of phantom field f of object x, with fractional permission p, and that this phantom field currently contains the value v.  ... 
doi:10.1007/978-3-642-39038-8_14 fatcat:hc6yzvacrvg3blr6jkt2whlelm

Verification of Concurrent Systems with VerCors [chapter]

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
2014 Lecture Notes in Computer Science  
We discuss in particular how we use the logic to use different implementations of synchronisers in verification, and how we reason about class invariance properties in a concurrent setting.  ...  Acknowledgments This work was supported by ERC grant 258405 for the Ver-Cors project (Amighi, Blom, Huisman, Mostowski, and Zaharieva-Stojanovski), and EU STREP project 287767 CARP (Blom, Darabi, and Huisman  ...  Ownership-Based Types The ownership type system forces all objects in the heap to be organised in a structural way and it applies certain restrictions to the operations applicable to each object reference  ... 
doi:10.1007/978-3-319-07317-0_5 fatcat:pv4mhuu2brgw7cuxaeir2vxyza

Minimal Ownership for Active Objects [chapter]

Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
2008 Lecture Notes in Computer Science  
[18, 55] for ownership types and Nienaltowski's object import [53] .  ...  Active Ownership This section describes our ownership types system for controlled data sharing in active objects.  ... 
doi:10.1007/978-3-540-89330-1_11 fatcat:upvfmkm5evgxtjxl4jtxvldv7i

Towards Gradual Checking of Reference Capabilities [article]

Kiko Fernandez-Reyes and Isaac Oscar Gariano and James Noble and Tobias Wrigstad
2019 arXiv   pre-print
., all the types must be annotated with reference capabilities.  ...  Type qualifiers, such as reference capabilities, can remove data races by restricting sharing of mutable data.  ...  Boyland et al describe a system of capabilities for sharing [5] . Based on this abstract model, we propose a policy that tracks ownership for every local object.  ... 
arXiv:1909.01465v2 fatcat:roatjaqpwvcupnrchfxdnbfaga

Distributing RePast agent‐based simulations with HLA

R. Minson, G. K. Theodoropoulos
2008 Concurrency and Computation  
Within a given FOM the classes of objects, which are to be used in a specific federation, are defined by a name (unique within the hierarchy) and a set of un-typed attributes.  ...  Distributed simulation has received an explosion of interest in the last decade, as a strategic technology for both speeding up simulations as well as linking simulation components of various types at  ...  Conflict Resolution for Shared Variables The scheme thus far described ensures that any object registered to the LocalManager will have its local updates sent to the RTI and will remain synchronised with  ... 
doi:10.1002/cpe.1280 fatcat:wvdks6444ba3tpvmfd4jzedwrm

Proving correctness of highly-concurrent linearisable objects

Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
2006 Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '06  
We study a family of implementations for linked lists using finegrain synchronisation.  ...  This approach enables greater concurrency, but correctness is a greater challenge than for classical, coarse-grain synchronisation.  ...  Acknowledgments We thank Lindsay Groves, Leslie Lamport, Victor Luchangco, Mark Moir, and Alan Mycroft for their insightful comments and discussions.  ... 
doi:10.1145/1122971.1122992 dblp:conf/ppopp/VafeiadisHHS06 fatcat:g2u2iwdnsjbp7eu2y37ho53ncu

OpenGL|D - An Alternative Approach to Multi-user Architecture [chapter]

Karsten Pedersen, Christos Gatzidis, Wen Tang
2018 Lecture Notes in Computer Science  
This means that graphical calls can be streamed to each client rather than relying on for manual synchronisation of application domain specific data.  ...  Synchronising state between multiple connected clients can be a challenging task.  ...  The node ownership system works well for a number of scenarios but transferring ownership (i.e. as part of a trade) still felt overly complex.  ... 
doi:10.1007/978-3-662-56672-5_5 fatcat:gzbnj4lwpbeahi3ivqgjkxok6y
« Previous Showing results 1 — 15 out of 4,867 results