臺灣博碩士論文加值系統

平行程式的發展比傳統循序程式更為複雜。這種複雜度的主要來源為平行
程式執行的不確定性。傳統的除錯器, 無法有效的幫助程式設計者解決此
類問題。在這篇論文中,我們針對平行程式的特性,說明一個平行程式除錯
器的基本需求,同時我們也依此需求,建立了一套平行程式的除錯器。此實
驗系統目前建立在PVM上,適用於以訊息傳遞為通訊模式的應用程式。除錯
器以X視窗為使用者界面,利用高階抽象的表示方式表現程式行為; 程式執
行重現的功能, 補足傳統循序程式除錯器無法將程式行為重現的缺點。事
件軌跡分析器,能夠有系統的幫助程式設計者測試其程式,找出程式中隱藏
的錯誤。我們預期藉由本除錯器, 能夠有效的幫助平行程式設計者發展其
程式。

The development of a parallel program is more difficult than
traditional sequential program. The difficulty is mainly due to
the non-deterministic behavior of parallel programs.
Traditional debugger cannot help programmer to overcome such
difficulties. In this thesis, we design and implement a
debugger for parallel programs which are based on message-
passing communication mode. The user interface is window based.
We use time-process diagram to represent the communication
behavior of parallel program. The debugger also offer a
execution replay facility which allow cyclic debugging strategy
be used for parallel programs. Event trace analyzer helps
programmer to test their programs systematically, and find
potential error. We hope parallel program programmer can debug
their program efficiently by using our debugger.