一個並行 C 程式語言除錯器之設計

Abstract

重覆執行並行程式，儘管輸入不變，也可能造成不同的結果，這使得除錯遠比循序程 式困難。在這篇論文中，我們介紹了並行程式的特性及除錯此類程式的主要問題所在 ，並分析了四種已有的除錯方法，擷取他們的優點，當作我們設計的目標。最後我們 設計一個除錯方法，來找出並行程式的錯誤，此並行程式是用交通大學所發展的並行 C 程式語言寫的，並將在一個多處理機作業系統上執行。此除錯器將經由規範並掌握 旗號運算的次序及定時鬧鐘來完全控制並行程式的不確定性。本論文陳述了我們的設 計計方法，可能的除錯指令，以及所需要的作業系統支援。