テストによって同期・通信誤りを発見するための並行処理プログラムのモデルに関する一考察

概要

論文の詳細を見る
近年、並行処理プログラムが実際の場で多く使われるようになってきた。これに伴い、並行処理プログラムの信頼性向上の方法の一つとして、テストが重要な役割を演じてきている。逐次処理プログラムに比べると、並行処理プログラムは同期や通信などの機構を備えているため動作が複雑である。並行処理プログラムで発見される誤りは、以下のように分類できる。i)プロセス内での誤り-逐次処理プログラムにおいて考えられる誤り。ii)通信に関する誤り-並行に実行されるプロセス間でデータの受渡し時に発生する誤り。iii)同期に関する誤り-並行に実行されるプロセス間で同期の取り方の誤り。これについては、さらに以下のように分類できる。(1)安全性の破壊-相互排除の失敗によるデータの一貫性の喪失。(2)生存性の破壊-並行処理プログラムが意味のある動作を全く行わない。デッドロックとも呼ばれる。(3)公平性の破壊-ある特定のプロセスだけが実行を不当に待たされる。ライブロックとも呼ばれる。本論文では、並行処理プログラム特有の同期・通信に関する誤りを、テストによって発見するための、並行処理プログラムのモデルを提案する。
一般社団法人情報処理学会の論文
1994-09-20

テストによって同期・通信誤りを発見するための並行処理プログラムのモデルに関する一考察

スポンサーリンク

概要

著者

関連論文

スポンサーリンク