Design of protocols in Timed CSP for highly reliable and available client-server system

Noriki Ogura, Keizo Saisho, Akira Fukuda

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

2 被引用数 (Scopus)

抄録

In distributed environment, a client-server model is often used because of its easiness of implementation. The reliability of the server on the model determines the reliability of the whole system. By making a backup server, tolerance of server failure can be improved. This method, however, takes long recovery time because a recovery operation includes generally detecting failure, switching to the backup server, starting the server process, and re-executing services executed at failure. Thus, the method cannot be introduced to application area that have constraints on time. The authors aim to implement the highly reliable and the available client-server system which is able to recover failures very short time. In order to shorten recovery time, process level replication is employed. A server process has more than one copies of it on different hosts. Copies are kept its status as same status of the original process as possible. Thus, they can replace original process very fast when a failure occurs. Several protocols, such as updating status of copies and recovering from failures, must be specified in order to implement the proposed system. In this paper, protocols for updating copies and recovering from failures are described formally in Timed CSP, which is the one of process algebraic language, for defining them precisely.

本文言語英語
ホスト出版物のタイトルProceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
編集者 Anon
出版社IEEE Comp Soc
ページ495-502
ページ数8
出版ステータス出版済み - 1997
外部発表はい
イベントProceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97 - Hong Kong, Hong Kong
継続期間: 12 2 199712 5 1997

その他

その他Proceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97
CityHong Kong, Hong Kong
Period12/2/9712/5/97

All Science Journal Classification (ASJC) codes

  • コンピュータ サイエンス(全般)
  • 工学(全般)

フィンガープリント

「Design of protocols in Timed CSP for highly reliable and available client-server system」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル