Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Mô hình và Thuật toán phục hồi lỗi ngược cho phần mềm phân tán
Tóm tắt
Phục hồi lỗi ngược là một trong những kỹ thuật quan trọng của độ tin cậy phần mềm. Do sự lan truyền lỗi, việc phục hồi trong phần mềm phân tán cần có sự hợp tác giữa các tiến trình để đạt được phục hồi nhất quán. Tuy nhiên, các kỹ thuật hiện có để đạt được điều này thường gặp phải những nhược điểm như giảm cấp độ đồng thời hoặc hiệu ứng domino. Dựa trên một mô hình chính thức của hệ thống phân tán, một giao thức phục hồi ngược không có hai nhược điểm này được chỉ định trong bài báo này. Thuật toán của giao thức được chứng minh một cách nghiêm ngặt và việc thực thi của nó được đề xuất.
Từ khóa
#phục hồi lỗi ngược #độ tin cậy phần mềm #hệ thống phân tán #hiệu ứng domino #hợp tác tiến trìnhTài liệu tham khảo
B. Randellet al., Reliability issues in computing system design,Computing Surveys,10:2 (1978).
B. Randell, System structure for software fault tolerance,IEEE Trans. SE-1:2 (1975).
P. Jalote and R. H. Campbell, Fault Tolerance Using Communicating Sequential Processes, FTCS- 14, 1984.
P. Jalote and R. H. Compbell, Atomic actions for fault tolerances using CSP,IEEE Trans. SE-12:1 (1986).
S. T. Grigory, and J. C. Knight, A New Linguistic Approach To Backward Error Recovey, FTCS- 15, 1985.
P. M. Merlin and B. Randell, Consistent State Restoration In Distributed Systems, FTCS- 8, 1978.
W. G. Wood, Recovery Control of Communicating Processes in a Distributed System, FTCS- 11, 1981.
K. Zielinsky, Model of error propagation in systems of communicating processes,Science of Computing Programming,6 (1986), 191–205.
D. L. Russell, State restoration in systems of communicating processes,IEEE Trans. SE-6:2 (1980).
K. H. Kim, An Implementation of a Programmer Transparent Scheme for Coordination Concurrent Processes in Recovery, COMPSAC 1980.
A. Ciuffoletti, Error Recovery in Systems of Communication Process, 7th Intern, Conf. on Softw. Eng., 1984.
D. Briaticoet al., A Distributed Domino- Effect Free Recovery Algorithm, IEEE 1984 Conf. on Reliability in Distributed Software and Database Systems.
B. Randell, Fault Tolerance and System Structuring, from Reliable Computer Systems, Springer- Verlag, 1985.