Fault in the Future
International audience In this paper we consider the problem of fault handling inside an object-oriented language with asynchronous method calls whose results are returned inside futures. We present an extension for those languages where futures are used to return fault notifications and to coordina...
Main Authors: | , , |
---|---|
Other Authors: | , , , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://inria.hal.science/hal-01582997 https://inria.hal.science/hal-01582997/document https://inria.hal.science/hal-01582997/file/978-3-642-21464-6_1_Chapter.pdf https://doi.org/10.1007/978-3-642-21464-6_1 |
Summary: | International audience In this paper we consider the problem of fault handling inside an object-oriented language with asynchronous method calls whose results are returned inside futures. We present an extension for those languages where futures are used to return fault notifications and to coordinate error recovery between the caller and callee. This can be exploited to ensure that invariants involving many objects are restored after faults. |
---|