Filters








3,451 Hits in 7.6 sec

Translating Active Objects into Colored Petri Nets for Communication Analysis [chapter]

Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu
2017 Lecture Notes in Computer Science  
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

Nima Kaveh, Wolfgang Emmerich
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  
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

Nima Kaveh, Wolfgang Emmerich
2001 Software engineering notes  
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]

Nima Kaveh
2001 Lecture Notes in Computer Science  
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

Frank De Boer, Kiko Fernandez-Reyes, Albert Mingkun Yang, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah
2017 ACM Computing Surveys  
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]

Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
2013 Lecture Notes in Computer Science  
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]

Keyvan Azadbakht, Frank S. de Boer, Erik de Vink
2018 Lecture Notes in Computer Science  
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]

JoãoLuís Sobral, AlbertoJosé Proença
1999 Lecture Notes in Computer Science  
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#

Nick Benton, Luca Cardelli, Cédric Fournet
2004 ACM Transactions on Programming Languages and Systems  
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]

Nick Benton, Luca Cardelli, Cédric Fournet
2002 Lecture Notes in Computer Science  
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

Eduard Kamburjan
2019 Electronic Communications of the EASST  
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

Antonio Cansado, Ludovic Henrio, Eric Madelaine
2010 Electronical Notes in Theoretical Computer Science  
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

Frank S. de Boer, Immo Grabe, Martin Steffen
2012 The Journal of Logic and Algebraic Programming  
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]

Ken Hironaka, Hideo Saito, Kei Takahashi, Kenjiro Taura
2008 Lecture Notes in Computer Science  
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]

Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias Lee, Martin Steffen, Gianluigi Zavattaro
2013 Lecture Notes in Computer Science  
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