32、分布式算法：组互斥与最大匹配近似

最新推荐文章于 2025-11-06 10:58:53 发布

gamma

最新推荐文章于 2025-11-06 10:58:53 发布

阅读量12

点赞数

CC 4.0 BY-SA版权

分类专栏：计算与组合学前沿探析文章标签：分布式算法组互斥最大匹配近似

本文链接：https://blog.youkuaiyun.com/gamma/article/details/154115217

计算与组合学前沿探析专栏收录该内容

71 篇文章 ¥499.90

订阅专栏¥69.90

会员秒杀 ¥9.9 重磅福利

超级会员免费看

分布式算法：组互斥与最大匹配近似

1. 组互斥算法

1.1 算法概述

提出了两种无锁算法，即 (n, m)-HCGME 和 (n, m)-SAHCGME，用于解决异步共享内存模型下的组互斥问题。除了对希望参加当前论坛的哲学家进行平滑准入的方法外，(n, m)-SAHCGME 在执行过程中满足组互斥和无锁自由的机制与 (n, m)-HCGME 基本相同。

1.2 代码片段分析

以下是部分代码片段：

15: then begin
16: chair := i;
17: door := f end
18: end else then begin
19: ticket(i) := ticket(chair);
20: forum(i) := f;
21: transit(i) := 0 end;
22: talkingi;
** talking region **
23: exiti:
24: if chair = i then begin
25: door := close;
26: for each j ̸= i do begin
27: waitfor transit(j) = 0 or checkdw(j) = 1;
28: waitfor f ̸= forum(j) or ticket(j) = 0 end;
29: chair := 0;
30: door := 0;
31: for each j ̸= i do
32: waitfor checkdw(j) = 0 end;
33: forum(i) := 0;
34: ticket(i) := 0 ;
35: