The Part-Time Parliament

Leslie Lamport, 1998, ACM TOCS

About this paperEnglish中文日本語beside Englishbeside 中文beside 日本語

This paper is under a licence that does not allow it to be reproduced, so what is here is its front matter and a short abstract. Read it at the publisher's page.

Nghị viện Bán thời gian

Leslie Lamport

Bài báo này xuất hiện trong ACM Transactions on Computer Systems 16, 2 (tháng 5 năm 1998), 133-169. Các sửa chữa nhỏ được thực hiện vào ngày 29 tháng 8 năm 2000.

Nghị viện Bán thời gian

LESLIE LAMPORT Digital Equipment Corporation

Những khám phá khảo cổ học gần đây trên đảo Paxos cho thấy nghị viện đã hoạt động bất chấp xu hướng di chuyển liên tục của các nhà lập pháp bán thời gian. Các nhà lập pháp duy trì những bản sao nhất quán của biên bản nghị viện, bất chấp những lần rời khỏi phòng họp thường xuyên của họ và sự đãng trí của các sứ giả. Giao thức của nghị viện Paxon cung cấp một phương pháp mới để triển khai cách tiếp cận máy trạng thái trong việc thiết kế các hệ thống phân tán. Các hạng mục và Bộ mô tả chủ đề: C2.4 [Mạng Truyền thông Máy tính]: Hệ thống phân tán—hệ điều hành mạng; D4.5 [Hệ điều hành]: Độ tin cậy—Khả năng chịu lỗi; J.1 [Xử lý Dữ liệu Hành chính]: Chính phủ Các thuật ngữ chung: Thiết kế, Độ tin cậy Các Từ khóa và Cụm từ bổ sung: Máy trạng thái, cam kết ba pha, bỏ phiếu

Bản gửi này gần đây được phát hiện phía sau một tủ hồ sơ trong văn phòng biên tập TOCS. Mặc dù đã có tuổi đời, tổng biên tập cho rằng nó đáng được xuất bản. Vì tác giả hiện đang tiến hành công việc thực địa tại các đảo Hy Lạp và không thể liên lạc được, tôi được yêu cầu chuẩn bị nó để xuất bản.

Tác giả dường như là một nhà khảo cổ học chỉ có mối quan tâm thoáng qua đến khoa học máy tính. Đây là điều đáng tiếc; mặc dù nền văn minh Paxon cổ đại ít được biết đến mà ông mô tả không mấy được các nhà khoa học máy tính quan tâm, hệ thống lập pháp của nó là một mô hình tuyệt vời cho cách triển khai một hệ thống máy tính phân tán trong một môi trường bất đồng bộ.

References

  1. Bernstein, P. A., Hadzilacos, V., and Goodman, N. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, Massachusetts. De Prisco, R., Lampson, B., and Lynch, N. 1997. Revisiting the Paxos algorithm. In
  2. M. Mavronicolas and P. Tsigas (Eds.), Proceedings of the 11th International Workshop on Distributed Algorithms (WDAG 97), Volume 1320 of Lecture Notes in Computer
  3. Science, Saarbruken, Germany, pp. 111–125. Springer-Verlag. Dijkstra, E. W. 1974. Self-stabilizing systems in spite of distributed control. Commun.
  4. ACM 17, 11 (Nov.), 643–644. Dwork, C., Lynch, N., and Stockmeyer, L. 1988. Consensus in the presence of partial synchrony. Journal of the ACM 35, 2 (April), 288–323. Fekete, A., Lynch, N., and Shvartsman, A. 1997. Specifying and using a partitionable group communication service. In Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, pp. 53–62. ACM Press. Fischer, M. J., Lynch, N., and Paterson, M. S. 1985. Impossibility of distributed consensus with one faulty process. Journal of the ACM 32, 2 (April), 374–382. Gray, C. G. and Cheriton, D. R. 1989. Leases: An efficient fault-toerant mechanism for distributed file cache consistency. In Proceedings of the Twelfth ACM Symposium on Operating Systems Principles, New York, pp. 202–210. ACM. Keidar, I. and Dolev, D. 1996. Efficient message ordering in dynamic networks. In Proceedings of the 15 th Annual ACM Symposium on Principles of Distributed Computing. ACM.
  5. Ladin, R., Liskov, B., Shrira, L., and Ghemawat, S. 1992. Providing high availability using lazy replication. ACM Transactions on Computer Systems 10, 4 (Nov.), 360–391. Lamport, L. 1978. Time, clocks, and the ordering of events in a distributed system. Commun.
  6. ACM 21, 7 (July), 558–565. Lamport, L. 1984. Using time instead of timeout for fault-tolerant distributed systems. ACM
  7. Trans. on Programm. Lang. Syst. 6, 2 (April), 254–280. Lampson, B. W. 1996. How to build a highly available system using consensus. In O. Babaoglu and K. Marzullo (Eds.), Distributed Algorithms, Volume 1151 of Lecture Notes in Computer Science, Berlin, pp. 1–17. Springer-Verlag. Oki, B. M. and Liskov, B. H. 1988. Viewstamped replication: A new primary copy method to support highly-available distributed systems. In Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, pp. 8–17. ACM Press. Schneider, F. B. 1990. Implementing fault-tolerant services using the state machine approach:
  8. A tutorial. ACM Computing Surveys 22, 4 (Dec.), 299–319. Skeen, M. D. 1982. Crash recovery in a distributed database system. Ph. D. thesis, University of California, Berkeley.
  9. Received January 1990; Accepted March 1998

Read off the page by the text layer of the PDF using pdftotext version 26.09.0. Translated into Tiếng Việt by gpt-5, against glossary version 7. Translated from the English.