Software-controlled fault tolerance
نویسندگان
چکیده
منابع مشابه
Software Fault Tolerance
Simple checking is based on the observation that for certain mathematical functions f , the task of determining, given inputs x and y, whether or not f(x) = y is easier than the task of, on input x, computing f(x). So, a checker for function f is a program which, given inputs x and y, returns the correct answer to the question, “Does f(x) = y?” The checker may be randomized, in which case, for ...
متن کاملSoftware Fault Tolerance
A fault-tolerant software unit is composed of N~2 diverse member units, usually developed by N separate teams, and an execution environment. The development process employs diversity requirements, communication protocols, and inter-team isolation rules to promote the greatest possible independence of team efforts and diversity among their products. The principal models, specification, building,...
متن کاملSomersault Software Fault-Tolerance
software fault-tolerance, process replication failure masking, continuous availability, topology The ambition of fault-tolerant systems is to provide application transparent fault-tolerance at the same performance as a non-fault-tolerant system. Somersault is a library for developing distributed fault-tolerant software systems that comes close to achieving both goals. We describe Somersault and...
متن کاملApproaches to Software Fault Tolerance
A personal and rather discursive account is given of the background to the start of work in the early 1970s at Newcastle on software fault tolerance, and of how work has developed to encompass forward as well as backward error recovery, and parallel and distributed software as well as sequential programs. A major theme of the paper is that of the links between this work and that carried out els...
متن کاملSoftware Implemented Hardware Fault Tolerance
This technical report contains the text of Nahmsuk Oh’s thesis “Software Implemented Hardware Fault Tolerance.” FUNDING This work was supported in part by the Ballistic Missile Defense Organization, Innovative Science and Technology (BMDO/IST) Directorate and administered through the Department of the Navy, Office of Naval Research under Grant Nos. N00014-92-J-1782 and N00014-95-1-1047 Copyrigh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Architecture and Code Optimization
سال: 2005
ISSN: 1544-3566,1544-3973
DOI: 10.1145/1113841.1113843