Exceptions in concurrent Eiffel
TL;DR: A mechanism to handle aynchronous exceptions via a limited developer choice, including the notion of a failed or dead object, and necessarily introduce a small number of new exceptions is proposed.
read more
Abstract: We describe the problem of asynchronous exceptions in Eiffel’s Simple Concurrent Object-Oriented Programming (SCOOP). We discuss a range of possible solutions to further enable dependable computing in concurrent Eiffel. We propose a mechanism to handle aynchronous exceptions via a limited developer choice, including the notion of a failed or dead object, and necessarily introduce a small number of new exceptions. We additionally describe a number of mechanisms that were discarded as unsuitable.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Failboxes: Provably Safe Exception Handling
Bart Jacobs,Frank Piessens +1 more
- 30 Jul 2009
TL;DR: A language mechanism called failboxes is proposed that helps fix the unsafe interaction between locks and exceptions and they enable safe cancellation and robust resource cleanup, and the Fail Fast mechanism prevents liveness issues when a thread is waiting on a failed thread.
•Dissertation
How to touch a running system: reconfiguration of stateful components.
Moritz Hammer
- 01 Jan 2009
TL;DR: This work utilizes the formal description of the component model to provide an algorithm for reconfiguration that retains as much flexibility as possible, while avoiding most problems that arise due to concurrency.
17
Cameo: an alternative model of concurrency for Eiffel
TL;DR: The results show that while the new model provides increased parallelism, this comes with the price of increased overhead due to lock management.
Patent
Propagating unobserved exceptions in distributed execution environments
Huseyin S. Yildiz,Massimo Mascaro,Joseph E. Hoag,Igor Ostrovksy +3 more
- 07 Jun 2011
TL;DR: In this article, the authors present methods, systems, and computer program products for propagating unhandled exceptions in distributed execution environments, such as clusters, where a job (e.g., a query) can include a series of computation steps that are executed on multiple compute nodes each processing parts of a distributed data set.
5
References
Object-oriented software construction
Bertrand Meyer
- 01 Jan 1997
TL;DR: In this paper, the authors present a comprehensive reference on all aspects of object technology, from design principles to object-oriented techniques, Design by Contract, Object-Oriented analysis, concurrency, persistence, abstract data types and many more.
1.3K
Concurrent exception handling
TL;DR: This paper discusses the cooperation exception handling model that comes along with a mechanism for multi-party interaction, in order to support the development of robust distributed applications running over a local area network.
22
SCOOP An Investigation of Concurrency in Eiffel
Michael James Compton
- 01 Jan 2000
TL;DR: This is the first research based investigation of the SCOOP concurrency mechanism for Eiffel and also the first publicly-available implementation, and it is shown experimentally that the system is efficient and, for some applications, speed-ups are possible on SMP machines.
20
Related Papers (5)
Phillip J. Brooke,Richard F. Paige +1 more
- 01 Jan 2006
Dennis de Champeaux,Al Anderson,Ed Feldhousen +2 more
- 31 Oct 1992
Jeff McAffer,John Duimovich +1 more
- 01 Apr 1991