唯一類型取代STM STM

Question

論壇post使用唯一性類型代替STM。我不明白這是什麼意思。如何唯一性類型假設處理STM正試圖處理的問題，例如多個線程正在更新相同的變量？

我看過維基百科關於uniqueness types和linear types的文章，它仍然不清楚論壇帖子的含義。

Answer 1

設計數據被多個線程同時共享和變異的系統很難。使

途徑更容易併發包括：

• STM - 通過STM，數據仍然可以共享和多線程突變，但同時突變檢測，由於使用的交易。
• 唯一性類型 - 使用唯一性類型時，最多隻能存在對某個對象的一個​​引用。因此，根據定義，不可能同時改變相同的數據（至少需要兩個引用，每個線程一個）。
• 不可變性 - 避免完全併發的突變問題，只共享不可變的數據。
• 參與者 - 參與者依賴異步消息，並序列化他們收到的消息，從而避免併發修改。