A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Translating Active Objects into Colored Petri Nets for Communication Analysis
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
Active objects combine the asynchronous communication of actors with object-oriented programming by means of asynchronous method calls and synchronization on futures. ...
However, the combination of asynchronous calls and synchronization introduces communication cycles which lead to a form of communication deadlock. ...
asynchronous message sending with the call and reply structure of method calls. ...
doi:10.1007/978-3-319-68972-2_6
fatcat:bc2mrul5ovfb5lc2vig5dxa2ty
Deadlock detection in distribution object systems
2001
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The inherent parallel nature of distributed systems may cause liveness problems, such as deadlocks and livelocks. An increasing number of distributed systems is built using object middleware. ...
The behaviour of a distributed system is largely determined by the use of synchronization primitives and threading policies of the underlying middleware. ...
Acknowledgements We are indebted to Cecilia Mascolo and Christian Nentwich for the valuable help they provided in improving the presentation of this paper. ...
doi:10.1145/503209.503216
dblp:conf/sigsoft/KavehE01
fatcat:plrq7oemgngdlb45tgzrzybfb4
Deadlock detection in distribution object systems
2001
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
The inherent parallel nature of distributed systems may cause liveness problems, such as deadlocks and livelocks. An increasing number of distributed systems is built using object middleware. ...
The behaviour of a distributed system is largely determined by the use of synchronization primitives and threading policies of the underlying middleware. ...
Acknowledgements We are indebted to Cecilia Mascolo and Christian Nentwich for the valuable help they provided in improving the presentation of this paper. ...
doi:10.1145/503271.503216
fatcat:5y6cmdgxabggrf6ewbcwrx7eem
Using Model Checking to Detect Deadlocks in Distributed Object Systems
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
We demonstrate how the use of synchronization primitives and threading policies in distributed object middleware can lead to deadlocks. ...
We identify that object middleware only has a few built-in synchronization and threading primitives. ...
A deadlock is detected by looking for states with ingoing but no outgoing transitions. In the case of a deadlock detected, the LTSA will provide us with a trace of actions leading to the deadlock. ...
doi:10.1007/3-540-45254-0_11
fatcat:squf6qdzo5bn3izhjxv75o4bbi
A Survey of Active Object Languages
2017
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
A group of active objects has a thread pool with threads generated by (external) asynchronous method calls and extended as a stack of (internal) synchronous method calls. ...
Synchronous calls are only permitted inside the COG of the caller object, and the caller may decide whether to call any local method synchronously or asynchronously. ...
doi:10.1145/3122848
fatcat:ovdeu5o3mbanlectgc6r7kv5he
Deadlock Analysis of Concurrent Objects: Theory and Practice
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a framework for statically detecting deadlocks in a concurrent object language with asynchronous invocations and operations for getting values and releasing the control. ...
Our approach is based on the integration of two static analysis techniques: (i) an inference algorithm to extract abstract descriptions of methods in the form of behavioral types, called contracts, and ...
Acknowledgment We wish to thank Stephan Schroevers for proof reading this paper and the anonymous referees for useful suggestions and comments. ...
doi:10.1007/978-3-642-38613-8_27
fatcat:hn7lp4bsbfdgpcliaxisq5ygyq
Deadlock Detection for Actor-Based Coroutines
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The actor-based language studied in this paper features asynchronous method calls and supports coroutines which allow for the cooperative scheduling of the method invocations belonging to an actor. ...
We model the local behavior of an actor as a well-structured transition system by means of predicate abstraction and derive the decidability of the occurrence of deadlocks caused by the coroutine mode ...
In [7] , a sound technique is proposed that translates a system of asynchronously communicating active objects into a Petri net and applies Petri net reachability analysis for deadlock detection. ...
doi:10.1007/978-3-319-95582-7_3
fatcat:fzptspiq4vcgnj7i7twwm6m45u
A Run-Time System for Dynamic Grain Packing
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
These features can improve the scalability of parallel applications with excessive parallelism. ...
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system, that extracts parallelism, supports explicit parallelism and dynamically serialises parallel ...
Deadlock may occur with cyclic inter-grain communication -when asynchronous method calls are changed to synchronous (Fig.1a ) -and in inter-grain synchronous calls when packing cross referencing objects ...
doi:10.1007/3-540-48311-x_119
fatcat:lu5uf5twijhnfnwmqc7xe7aqqm
Modern concurrency abstractions for C#
2004
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Polyphonic C is an extension of the C language with new asynchronous concurrency constructs, based on the join calculus. ...
We describe the design and implementation of the language and give examples of its use in addressing a range of concurrent programming problems. ...
(Of course, calls involving a chord that is never fired may be deadlocked, and our translation must implement those deadlocks. ) We say that an object is active when there are enough calls in the queues ...
doi:10.1145/1018203.1018205
fatcat:eivshr6sdvdgjnxp6zt77ts7ry
Modern Concurrency Abstractions for C#
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Polyphonic C is an extension of the C language with new asynchronous concurrency constructs, based on the join calculus. ...
We describe the design and implementation of the language and give examples of its use in addressing a range of concurrent programming problems. ...
(Of course, calls involving a chord that is never fired may be deadlocked, and our translation must implement those deadlocks. ) We say that an object is active when there are enough calls in the queues ...
doi:10.1007/3-540-47993-7_18
fatcat:bd6hgjz4ffawhdfrphd5yftz2q
Detecting Deadlocks in Formal System Models with Condition Synchronization
2019
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We present a novel notion of deadlock for synchronization on arbitrary boolean conditions and a sound, fully automatic deadlock analysis. ...
We analyze synchronization on boolean conditions on the fields of an object instead of targeting specific synchronization primitives. ...
Acknowledgments This work is supported by FormbaR, part of AG Signalling/DB RailLab. ...
doi:10.14279/tuj.eceasst.76.1070
dblp:journals/eceasst/Kamburjan18
fatcat:5lg7db6mtfblflfuc5u54hfy6a
Transparent First-class Futures and Distributed Components
2010
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper contributes with first a static representation for futures, second a means to detect local deadlocks in a component system with first class futures, and finally extensions to interface definitions ...
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awaited. ...
As an interesting related work, [8] provides a language with futures that features "uniform multi-active objects": roughly, each method invocation is asynchronous because each object is active; each ...
doi:10.1016/j.entcs.2009.12.036
fatcat:jypyuflewjci3cycjar4c4hxxi
Termination detection for active objects
2012
The Journal of Logic and Algebraic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We investigate deadlock detection for a modeling language based on active objects. To detect deadlock in an Actor-like subset of Creol we focus on the communication between the active objects. ...
L(ret) ::= 0 Method call. An anonymous method call to method m in object o is translated to the generation of a message (⊥ : o, m), where o is the callee and m the method name. ...
Acknowledgement We thank the anonymous referees for their constructive suggestions and comments which helped us to improve the paper. ...
doi:10.1016/j.jlap.2012.03.009
fatcat:qhro6g5g25ffdhg3qw5xek3rsm
gluepy: A Simple Distributed Python Programming Framework for Complex Grid Environments
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
some models based on active objects suffer. ...
To make parallelism manageable, we introduce an implicit serialization semantics on objects to relieve programmers from explicit synchronization, while avoiding the recursion deadlock problems from which ...
Acknowledgements This research was partially funded by "New IT Infrastructure for the Informationexplosion Era" of the MEXT Grant-in-Aid for Scientific Research on Priority Areas. ...
doi:10.1007/978-3-540-89740-8_17
fatcat:jcivd2wodnfevcmzem27erytay
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We give two different notions of deadlock for systems based on active objects and futures. ...
One is based on blocked objects and conforms with the classical definition of deadlock by Coffman, Jr. et al. ...
In programming languages like Erlang [3] and Scala [13] asynchronous method calls by active objects have successfully been introduced to better combine object-orientation with distributed programming ...
doi:10.1007/978-3-642-35861-6_7
fatcat:ixj4scil5vd43ncdyw2iplzyfq
« Previous
Showing results 1 — 15 out of 3,451 results