循環リンクリストの入れ子のロック
例 4-6 は、前述のリスト構造を修正して循環リストにしたものです。先頭のノードとして識別されるノードはありません。スレッドは適当な 1 つのノードに関連付けられると、そのノードと次のノードに対して操作を行います。この状況ではロック序列は適用できません。明らかに階層 (つまり、リンクをたどる順番) が循環的だからです。
例 4-6 循環リンクリスト
typedef struct node2 {
int value;
struct node2 *link;
pthread_mutex_t lock;
} node2_t;
|
例 4-7 では 2 つのノードをロックし、両方のノードに対してある操作を行なっている C コードを示します。
例 4-7 循環リンクリストの入れ子のロック
void Hit Neighbor(node2_t *me) {
while (1) {
pthread_mutex_lock(&me->lock);
if (pthread_mutex_lock(&me->link->lock)!= 0) {
/* ロック失敗 */
pthread_mutex_unlock(&me->lock);
continue;
}
break;
}
me->link->value += me->value;
me->value /=2;
pthread_mutex_unlock(&me->link->lock);
pthread_mutex_unlock(&me->lock);
}
|