代码之家 › 专栏 › 技术社区 › Oliv

如果两个基准之间的不变量必须在所有线程上保持不变,它是否会强制这些基准上的读/写处于临界段?

invariants parallel-processing multithreading c c++

Oliv · 技术社区 · 7 年前

我试图建立一个 两个原子计数器之间的不变量 在一个线程中,同时确保在不使用互斥锁的情况下在另一个线程上读取期间保持该不变量。

不使用锁定策略就可以在线程之间共享不变量吗?

编辑:项不变量可能不够充分。

假设我有两个变量和 b ,在程序执行的某个点上,线程是一个集合一和一由A存储,然后加载 b ,的加载值是由存储的值,而不是稍后存储在中的值 b

1 回复 | 直到 7 年前

gsamaras a Data Head 7 年前

不

a 和 b .

一 和 b 一 和 当不变量被破坏时

一 可能是X现在写入的值,也可能是上一个值。相同代表 b

假设线程X删除了列表中的一个节点,线程Y试图在该点读取,这可能会导致问题,因为有可能X要删除的节点的上一个和下一个节点的指针尚未设置(因此,在线程Y尝试读取列表时,不变量被破坏)。

推荐文章

Zdanovskiy Mihail · Numba使用parallel=True标志集使Python崩溃

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前

Community wiki · SqlConnections,Parallel.For,一个旧的C#应用程序,初始化SqlConnections时随机挂起

1 年前

user1700890 · 了解交互式代理Python API中的线程

2 年前

AntonBoarf · 为什么要将实例变量指定给局部变量?

2 年前

rhymes · 如何让线程操作相同的java列表

3 年前

Ben · 错误:缺少类型说明符-假定为int。注意C++不支持默认初始化

3 年前

SRK7Kyros · 在Python中启动线程时是否使用整个处理器线程?

3 年前

MatiiFine · 在c++[duplicate]中的主源文件外使用std::thread

3 年前

Youssof. K. · 线程1:vector insert上的EXC_BAD_访问(代码=1,地址=0x0)

3 年前