@techreport{oai:ipsj.ixsq.nii.ac.jp:00035487, author = {桧垣, 博章 and 島, 健司 and 立川, 敬行 and 滝沢, 誠 and Hiroaki, Higaki and Kenji, Shima and Takayuki, Tachikawa and Makoto, Takizawa}, issue = {40(1996-DPS-076)}, month = {May}, note = {非同期分散システムにおける、新しいチェックポイント設定手法およびロールバック回復手法について述べる。本論文で提案するチェックポイント取得手順は、任意のプロセスによる手順実行開始が可能であり、このために特別のメッセージを必要としない。また、本論文で提案するロールバック回復手順は、.任意のプロセスによる手順実行開始が可能であり、一貫した広域状態を定めるチェックポイントへ、必要なプロセスのみをロールバックさせる。このロールバックは、各プロセスごとに非同期的に実行される。提案する手法は、この非同期的な実行によって発生し得るライブロックの問題を解決している。以上により、システムの可用性を保ったままでこれらの手順を実行することができる。, This paper proposes a novel algorithm for taking checkpoints and rolling back the processes for recovery in asynchronous distributed systems. The algorithm has the following properties: (1) Multiple processes can simultaneously initiate checkpointing. (2) No additional message is transmitted for taking checkpoints. (3) A set of local checkpoints taken by the multiple processes denotes a consistent global state. (4) Multiple processes can initiate simultaneously rollback recovery. (5) The minimum number of processes are rolled back. (6) Each process is rolled back independently of the other processes. Therefore, the system is kept highly available by the algorithm.}, title = {非同期分散システムにおけるチェックポイント設定とロールバック回復}, year = {1996} }