自動故障回復を行なうコンピューターネットワークアルゴリズム

自动故障恢复的计算机网络算法

基本信息

批准号：
11780229
负责人：
角川裕次
金额：
$ 1.28万
依托单位：
Hiroshima University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2000
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11780229/
关键词：
自己安定分散システム分散アルゴリズム

项目摘要

本研究では、高信頼性ネットワークソフトウエアの開発を目指したものである。故障などが生じてシステムが異常な状況になっても、自動的な回復をするプログラム(解法)は、自己安定分散アルゴリズムと呼ばれている。本研究は、自己安定分散アルゴリズムの正しさを検証する手法について研究を行った。今年度は、以下の二点の進展を得た。1.機械的検証法の研究自己安定分散アルゴリズムは、どのような種類の故障からも自動回復可能でなければならないが、本当にその性質が満たされているかの検証は困難である。短いアルゴリズムであっても手作業による検証には手間と時間がかかり、また間違いを犯しやすい。この問題を解決するために、自己安定アルゴリズムの正当性を機械的に検証するシステムを開発した。利用者は、ファイルにまずアルゴリズムを記述し、そしてアルゴリズムが満たすべき仕様(回復すべきシステムの正常な状態)を記述する。そして、検証システムはそのファイルを読込んで、可能なシステムの振る舞い全てをシミュレーションによって調べ、システムの仕様に合致するかを検査する。このシステムは昨年度より引き続いて開発を行っており、今年度は仕様記述の検討を行い、機能拡張を行った。2.対話的検証システムの開発昨年度は、自己安定分散アルゴリズムの可視化シミュレータの開発を行ったが、今年度はこれを拡張した。上述した検証システムと統合して対話的に自己安定分散アルゴリズムを検証可能とするシステムを開発し、開発途中の自己安定分散アルゴリズムの誤りを分かりやすく見つけることを可能とした。

这项研究旨在开发高度可靠的网络软件。即使发生故障并且系统变得异常，也会自动恢复的程序（解决方案）称为自稳定分布式算法。这项研究对验证自稳定算法正确性的方法进行了研究。今年，我们已经取得了两个进步点：1。关于机械验证方法自稳定分布式算法的研究必须能够自动从任何类型的失败中恢复，但是很难验证是否真正满足其特性。即使使用简短的算法，手动验证也需要时间和精力，并且很容易犯错。为了解决这个问题，我们开发了一个系统，该系统可以机械地验证自稳定算法的有效性。用户首先在文件中写入算法，然后描述算法应满足算法的规格（系统的正常状态要恢复）。然后，验证系统读取文件，并通过模拟检查所有可能的系统行为，以确定其是否符合系统规格。自去年以来，该系统一直在开发，今年我们已经审查了规格并扩展了功能。 2。去年的交互式验证系统的开发，我们开发了一个自稳定分布式算法的可视化模拟器，但是今年我们扩展了这一点。开发了一个系统，该系统与上述验证系统集成在一起，以实现自稳定分布式算法的交互式验证，从而可以轻松理解开发过程中自稳定分布式算法中的错误。