根據程序不同特徵,分別給出了針對過程、針對非結構化控制流、針對組合數據類型以及針對併發程序的不同研磨辦法。
討論基於交替計算模式的併發程序執行行為的可信*問題。
在多道程序處理系統中,用於修飾或説明兩個或多個併發程序可以使用的一組代碼、數據、文件、頁面、段等。
但是併發下推系統以全局變量模擬同步,不適應於當前廣泛使用的基於事件驅動的併發程序。
從名字裏我們就可以知道,這個東東是用來簡化併發程序設計的。
本文描述了在並行和併發程序設計中函數的不可重入*導致的一些潛在問題。
FSP是一類描述併發程序形式化規約的進程代數記法。
通過事件圖來產生用於併發程序的測試用例。