concurrency - 什么是“确定性并发”？

Question

听说有3种并发。

确定性并发

消息传递并发

共享状态并发

我知道＃2(=角色模型)和＃3(=通用线程)，但不知道＃1。那是什么？

Answer 1

确定性并发是一种并发编程模型，因此用此模型编写的程序具有以下属性:对于给定的一组输入，对于任何执行计划，程序的输出值都相同。这意味着程序的输出仅取决于程序的输入。

有一些方法可以确保此属性。一种方法是所谓的单分配编程，其中不必初始化变量，但最多可以分配一次。读取未初始化的变量将一直停顿，直到为其分配了值(可能是其他线程分配的)。 Mozart编程语言对此提供了支持。

另一种方法是使用所有权分析来确定哪些线程“拥有”不同的引用，并确保没有两个线程在同一“时间”内写入该引用，因此不存在数据争用。