@inproceedings{b1bf3ce5a8b7493ba912128e485eade1,
title = "A nested invocation suppression mechanism for active replication fault-tolerant CORBA",
abstract = "Active replication is a common approach to building highly available and reliable distributed software applications. The redundant nested invocation (RNI) problem arises when servers in a replicated group issues nested invocations to other server groups in response to a client invocation. Automatic suppression of RNI is always a desirable solution, yet it is usually a difficult design issue. If the system has multithreading (MT) support, the difficulties of implementation increase dramatically. Intuitively, to design a deterministic thread execution control mechanism is a possible approach. Unfortunately, some modern operating systems implement threads on the kernel level for execution fairness. For the kernel thread case, modification on thread control implies modifying the operating system kernel. This approach loses system portability which is one of the important requirements of CORBA or middleware. In this work, we propose a mechanism to perform the auto-suppression of redundant nested invocation in an active replication fault-tolerant (FT) CORBA system. Besides the mechanism design, we discuss the design correctness semantic and the correctness proof of our design.",
keywords = "Application software, Automatic control, Buildings, Control systems, Fault tolerance, Kernel, Middleware, Multithreading, Operating systems, Yarn",
author = "Deron Liang and Fang, {Chen Liang} and Chyouhwa Chen and Fengyi Lin",
note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; null ; Conference date: 04-12-2002 Through 06-12-2002",
year = "2002",
doi = "10.1109/APSEC.2002.1182981",
language = "???core.languages.en_GB???",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
publisher = "IEEE Computer Society",
pages = "117--125",
editor = "Pornsiri Muenchaisri and Paul Strooper",
booktitle = "9th Asia-Pacific Software Engineering Conference, APSEC 2002",
}