programming-languages - 唯一性类型代替 STM

  显示原文与译文双语对照的内容

使用唯一性类型代替STM的论坛 post incidates 。 我不明白这是什么意思。 惟一性类型如何处理for尝试处理多个线程更新同一变量的问题。

我曾经看过关于 uniqueness和线性类型的维基百科文章,而且还不清楚论坛文章的含义。

时间: 作者:

设计多个线程同时共享和更改数据的系统是硬的。

使并发更容易的方法包括:

  • 但是,由于--的存在,数据仍然可以被多线程共享和变异,同时由于使用了事务,所以并发突变被检测。
  • 唯一性类型 --具有唯一类型,最多有一个对对象的引用。 因此,按照定义,并发地变异相同的数据是不可能的。
  • 不变性 --避免了并发突变的问题,只共享不可变的数据。
  • 基于角色的参与者的角色依赖于异步消息,并序列化他们接收到的消息,从而避免并发修改。
作者:
...