A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Using program analysis to identify and compensate for nondeterminism in fault-tolerant, replicated systems
2004
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.
Fault-tolerant replicated applications are typically assumed to be deterministic, in order to ensure reproducible, consistent behavior and state across a distributed system. Real applications often contain nondeterministic features that cannot be eliminated. Through the novel application of program analysis to distributed CORBA applications, we decompose an application into its constituent structures, and discover the kinds of nondeterminism present within the application. We target the
doi:10.1109/reldis.2004.1353026
dblp:conf/srds/SlemberN04
fatcat:ac3yhkjpwrhwbcwb5d2yu36o3u