移動進(jìn)程作為程序語言庫函數(shù)的研究.pdf

1、許多系統(tǒng)具有豐富的資源，可以被視作一個富有的環(huán)境。在進(jìn)程演算的意義下，不同的后臺進(jìn)程決定了不同的環(huán)境。環(huán)境的能力可以被定義為這些后臺進(jìn)程所能提供的能力。一個自身具有一定能力來完成任務(wù)的進(jìn)程，和一個雖然自己沒有這樣的能力，但卻能在環(huán)境中搜索到這種能力，并利用環(huán)境提供的能力來完成相同任務(wù)的進(jìn)程，應(yīng)該是一樣的。這與傳統(tǒng)的進(jìn)程等價關(guān)系不同。我們試圖在這種情形下，研究進(jìn)程等價，并探索環(huán)境對于用戶進(jìn)程的影響。
　　本文介紹了一種從高級程序語言

2、到π-演算的翻譯方法。π-演算在此作為一種底層的機(jī)器語言。我們運用這一翻譯思想，為程序語言定義了一組庫函數(shù)進(jìn)程。這些進(jìn)程即作為系統(tǒng)的后臺進(jìn)程，為其他用戶進(jìn)程提供服務(wù)。
　　庫函數(shù)對系統(tǒng)的影響可以通過進(jìn)程等價關(guān)系的改變體現(xiàn)。在這種情形下，一些非常簡單的進(jìn)程（換言之，程序）通過強(qiáng)大的環(huán)境提供的能力，可能與一些非常復(fù)雜的進(jìn)程等價。因此，這種在富有環(huán)境下處理移動進(jìn)程等價的方式可以有助于研究如何降低用戶進(jìn)程的復(fù)雜程度以及環(huán)境對其中的進(jìn)程所產(chǎn)