Abstract
分散式共用記憶體系統是一建構在一個具有多個處理單元，每個處理單元有各自的記憶體，而且沒有真正的共用記憶體的分散式系統上。但是卻在邏輯層面上讓每個處理單元可以存取所有在此系統中的記憶體。此篇論文即是設計一個方法，在分散式系統上提供分散式共用記憶體的功能。使得在分散式系統上發展程式能與傳統的共用記憶體系統一樣方便。保持記憶體的一致性是建構一個分散式共用記憶體最主要的難題所在。這個問題表面上看起來與在一個緊密結合系統(Tightly Coupled Sy stem) 上去解決Multicache的一致性相似。以前的方法缺點在於每一次修改資料時，均須等待所有擁有此份資料拷貝的處理單元的回應才算真正的執行完這個修改動作。這在分散式系統上是非常沒有效率的。觀察傳統的程式，通常都會有區域性的特性。據此，我們並不太須要強制每一次修改均須等待其它處理單元的回應。而且，如果要求程式在存取共用資料之前，必先發出一個同步動作，那麼我們就可以不必對於每一次修改動作均要求其一致性，而只須保持同步動作的一致性即可。我們稱只保持每一同步動作的一致性則稱之為弱一致性 (Weak Coherence) 。在此篇論文中，我們利用了邏輯時鐘(Logical Clock) 和分散式快照 (DistributedSnapshot) ，提出了一個新的方法在分散式系統上提供了俱有弱一致性的分散式共用記憶體。此方法放鬆了一致性的限制，故比以前的解法俱有彈性。而且對於分散式系統的基本特性，即共用時鐘的缺乏及訊息傳遞的延遲，有了較好的處理。在以前的解法中通常避開了這些困難。