Peterson算法实现互斥锁

背水

已于 2024-04-18 22:05:02 修改

阅读量527

点赞数 9

文章标签： linux 操作系统 peterson

于 2024-04-04 11:14:09 首次发布

本文链接：https://blog.csdn.net/2303_77275067/article/details/137127070

版权

本文探讨了在分时操作系统中，由于并发访问同一资源可能导致的竞争条件问题。通过介绍Peterson算法，展示了如何在C语言中实现临界资源的互斥访问。文章通过‘吃蛋糕’的情景模拟，对比了没有锁的代码导致的错误结果，以及使用Peterson算法后的正确分配。同时，还讨论了将Peterson算法应用于多线程互斥锁的原理。

摘要由CSDN通过智能技术生成

1.背景

看下面的代码，定义一个整型变量counter，并初始化为0。每当向缓冲区增加一项时，递增counter；每当从缓冲区移走一项时，递减counter。

while (true)
{
	while (counter == BUFFER_SIZE)
		;/*do nothing*/
	buffer[in] = next_produced;
	in = (in + 1) % BUFFER_SIZE;
	counter++;
}
while (true)
{
	while (counter == 0)
		;/*do nothing*/
	next_consumed = buffer[out];
	out = (out + 1) % BUFFER_SIZE;
	count--;
}

在代码角度看，程序没有问题，但是我们的系统是分时操作系统，有时间片，比如执行到counter++,结果已经在寄存器上了，但是此时时间片到了，每来得及写入counter的内存，就执行counter--，这时就会出现错误。像这样，多个进程并发地访问同一个资源，并且执行结果与特定的顺序有关，称为竞争条件。

具体Peterson算法请观看我的另一篇文章

2.代码

这里我采用“吃蛋糕”的情景来模拟，即一共有15块蛋糕，每次每个人只能吃一块（每减少一个记录剩余量），即蛋糕是临界资源。创建两个进程eat0和eat1分别来模拟吃蛋糕，两个人吃蛋糕会有1秒钟的延迟。采用C语言模拟算法，因为蛋糕是临界资源，所以两个进程之间存在竞争关系。

2.1没有锁的代码

#include<unistd.h>
#include<stdio.h>
#include<pthread.h>
static int cakes = 15;//总蛋糕数块数
static int count=0;//被吃的蛋糕总数
void* eat0(void* arg)
{
    while(cakes>0)
    {
        sleep(1);
        cakes--;
        count++;
        printf("吃一块蛋糕