本文详细解析了Dekker算法的工作原理及其代码实现过程，并对比介绍了Peterson算法，旨在帮助读者理解两种经典的解决多线程同步问题的算法。
Dekker
使用代码描述：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
bool
flag[2];
flag[0] =
false
;
flag[1] =
false
;
bool
turn = 0;
flag[0] =
true
;
while
(flag[1]) {
if
(turn) {
flag[0] =
false
;
while
(turn);
flag[0] =
true
;
}
}
...
turn = 1;
flag[0] =
false
;
|
代码说明：
第 9 行，P0 宣称自己要进入临界区了。
第 10 行，虽然 P0 已经宣布自己要进入临界区，但这还不够，因为 P1 可能也已经宣布。
第 11 行，两人都宣布要进入临界区，那要看谁已经进入。不管谁先进入临界区了它都要对 turn 进行相应设置，P0 退出临界区时使 turn=1 以表明 P1 对临界区可用了； P1 退出临界区时使 turn=0 以表明 P0 对临界区可用了。
第 12 行，发现 P1 进入，P0 就暂时宣布自己不想进入临界区。
第 13 行，一直在侦测 P1 是不是从临界区出来了，如果没出来，那么 P0 就忙等待。
第 14 行，P1 已经从临界区出来，P0 可以再次宣称自己要进入临界区。注意，这里仍然要返回到第 10 行的循环再次判断一下 P1 是否又宣称自己进入临界区且又占据了临界区资源。如果 P1 已经完全退出的话，那 P0 就安心的进入临界区。
第 20 行，P0 从临界区出来后，要标志一下 trun，以表明自己从临界区出来了。
第 21 行，表明自己暂时不想再进去临界区。
第 24 行，做其余的代码功能。
P1 的代码和 P0 是同理的，P1 进程代码如下：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
flag[1] =
true
;
while
(flag[0]) {
if
(turn != 1) {
flag[1] =
false
;
while
(turn != 1);
flag[1] =
true
;
}
}
...
turn = 0;
flag[1] =
false
;
Peterson、Filter（适用多线程）
并行计算加速比理论模型：
Amdahl定律
Gustafson定律
|
扫一扫
1956
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
