Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications
نویسندگان
چکیده
In CORBA-based applications that depend on object replication for fault tolerance, inconsistencies in the states of the replicas of an object can arise when concurrent threads within those replicas perform updates in di erent orders. By imposing a single logical thread of control on every replicated multithreaded CORBA client or server object, and by providing deterministic scheduling of threads and operations across the replicas of each object, the Eternal system achieves consistent object replication. The Eternal system does this transparently, with no modi cation to the application, the ORB, or the concurrency model employed by the ORB.
منابع مشابه
Deterministic Scheduling and Online Recovery for Replicated Multithreaded Transactional Servers
Fault tolerance for middleware platforms has attracted much attention in the last years. A proof of this increasing interest is the recent publication of the FT-Corba standard. Despite the research efforts in this direction, there are still some open questions in this research area. One of them is how to guarantee the determinism of the replicas in the presence of multithreaded executions typic...
متن کاملThe Deterministic Execution Hammer: How Well Does it Actually Pound Nails?
This paper takes a critical look at the benefits provided by state-of-the-art deterministic execution techniques. Specifically, we look at four applications of deterministic execution: debugging, fault-tolerant replication, testing, and security. For each application, we discuss what an ideal system would provide, and then look at how deterministic systems compare to the ideal. Further, we disc...
متن کاملA CORBA Replication Voting Mechanism for Maintaining the Replica Consistent
Nowadays, more and more applications are being developed through distributed object computing middleware, such as CORBA, their requirements for fault-tolerance, especially real time and critical system, become more and more critical. Despite almost ten years have passed since the earliest FT-CORBA standard was promulgated by Object Management Group (OMG), CORBA is still facing many challenges w...
متن کاملReconciling Replication and Transactions for the End-to-End Reliability of CORBA Applications
The CORBA standard now incorporates support for reliability through two distinct mechanisms — replication (using the Fault Tolerant CORBA standard) and transactions (using the CORBA Object Transaction Service). Transactions represent a roll-back reliability mechanism, and handle a fault by reverting to the last committed state, and by discarding operations that were in progress at the time of t...
متن کاملA Type and Effect System for Determinism in Multithreaded Programs
There has been much recent interest in supporting deterministic parallelism in imperative programs. Structured parallel programming models have used type systems or static analysis to enforce determinism by constraining potential interference of lexically scoped tasks. But similar support for multithreaded programming, where threads may be ubiquitously spawned with arbitrary lifetimes, especial...
متن کامل