Fault tolerant concurrent C: a tool for writing fault tolerant distributed programs

Cmelik, Robert F.; Gehani, Narain; Roome, William D.

doi:10.1109/ftcs.1988.5297

Cited by 26 publications

(4 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…There are works that aim to provide application fault tolerance at the language level [7,20]. Szentiványi et al [22] uses aspect-oriented programming features for building fault-tolerant applications.…”

Section: Related Workmentioning

confidence: 99%

Language level checkpointing support for stream processing applications

Jacques-Silva

Gedik

Andrade

et al. 2009

2009 IEEE/IFIP International Conference on Dependable Systems &Amp; Networks

View full text Add to dashboard Cite

Many streaming applications demand continuous processing of live data with little or no downtime, therefore, making high-availability a crucial operational requirement. Fault tolerance techniques are generally expensive and when directly applied to streaming systems with stringent throughput and latency requirements, they might incur a prohibitive performance overhead. This paper describes a flexible, light-weight fault tolerance solution in the context of the SPADE language and the System S distributed stream processing engine. We devised language extensions so users can define and parameterize checkpoint policies easily. This configurable fault tolerance solution is implemented through code generation in SPADE, which reduces the overall application fault tolerance costs by incurring them only for the parts of the application that require it. In this paper we focus on the overall design of our checkpoint mechanism and we also describe an incremental checkpointing algorithm that is suitable for on-thefly processing of high-rate data streams.

show abstract

Section: Related Workmentioning

confidence: 99%

Language level checkpointing support for stream processing applications

Jacques-Silva

Gedik

Andrade

et al. 2009

2009 IEEE/IFIP International Conference on Dependable Systems &Amp; Networks

View full text Add to dashboard Cite

show abstract

“…For example, ordered atomic multicast provides atomic and consistently ordered message delivery to a group of processes, which can be useful for writing real-time and fault-tolerant distributed applications [Birman et al 1991;Cristian et al 1985;Melliar-Smith et al 1990;Peterson et al 1989]. Other abstractions of this type include group RPC [Cheriton 1986;Cmelik et al 1988;Cooper 1990], membership [Cristian 1991;Kopetz et al 1991;Mishra et al 1992], distributed transactions [Bernstein et al 1987], and protocols related to multimedia applications [Keller and Effelsberg 1993;Yavantkar 1992]. Such abstractions logically form a distribution support layer-that is, a layer that provides execution guarantees regarding the distributed state of the application-that occupies a place in the system hierarchy between the application and traditional operating system functionality.…”

Section: Introductionmentioning

confidence: 99%

Coyote

Bhatti

Hiltunen

Schlichting

et al. 1998

ACM Trans. Comput. Syst.

101

View full text Add to dashboard Cite

Communication-oriented abstractions such as atomic multicast, group RPC, and protocols for location-independent mobile computing can simplify the development of complex applications built on distributed systems. This article describes Coyote, a system that supports the construction of highly modular and configurable versions of such abstractions. Coyote extends the notion of protocol objects and hierarchical composition found in existing systems with support for finer-grain microprotocol objects and a nonhierarchical composition scheme for use within a single layer of a protocol stack. A customized service is constructed by selecting microprotocols based on their semantic guarantees and configuring them together with a standard runtime system to form a composite protocol implementing the service. This composite protocol is then composed hierarchically with other protocols to form a complete network subsystem. The overall approach is described and illustrated with examples of services that have been constructed using Coyote, including atomic multicast, group RPC, membership, and mobile computing protocols. A prototype implementation based on extending x-kernel version 3.2 running on Mach 3.0 with support for microprotocols is also presented, together with performance results from a suite of microprotocols from which over 60 variants of group RPC can be constructed.

show abstract

“…For example, ordered atomic multicast provides atomic and consistently ordered message delivery to a group of processes, which can be useful for writing real-time and fault-tolerant distributed applications [6,12,27,35]. Other high-level protocols of this type include group RPC [8,9,10], membership [11,25,28], distributed transacThis work supported in part by the Office of Naval Research under grant N00014-91-J-1015.…”

Section: Introductionmentioning

confidence: 99%

A system for constructing configurable high-level protocols

Bhatti

Schlichting

1995

SIGCOMM Comput. Commun. Rev.

View full text Add to dashboard Cite

New distributed computing applications are driving the development of more specialized protocols, as well as demanding greater control over the communication substrate. Here, a network subsystem that supports modular, finegrained construction of high-level protocols such as atomic multicast and group RPC is described. The approach is based on extending the standard hierarchical model of the x-kernel with composite protocols in which micro-protocol objects are composed within a standard runtime framework. Each micro-protocol realizes a separate semantic property, leading to a highly modular and configurable implementation. In contrast with similar systems, this approach provides finer granularity and more flexible inter-object communication. The design and prototype implementation runing on Mach are described. Performance results are also given for a micro-protocol suite implementing variants of group RPC.

show abstract

Fault tolerant concurrent C: a tool for writing fault tolerant distributed programs

Cited by 26 publications

References 9 publications

Language level checkpointing support for stream processing applications

Language level checkpointing support for stream processing applications

Coyote

A system for constructing configurable high-level protocols

Contact Info

Product

Resources

About