互斥的软件实现：Peterson算法和Dekker算法

Peterson算法:是一个实现互斥锁的并发程序设计算法，可以控制两个线程访问一个共享的单用户资源而不发生访问冲突。
算法代码及注释如下：

bool flag[2];			//表示临界区状态及哪个进程正在占用临界区
int turn;   			//表示能进入临界区的进程序号

void P0()
{
	while (1)
	{
		flag[0] = true;			//P0请求资源
		turn = 1;			//赋予P0访问权限
		while (flag[1] && turn == 1);	//等待进程P1释放资源及权限
		//请求成功，使用资源
		/*
		临界区代码段
		*/
		flag[0] = false;		//释放请求
	}
}

void P1()			//原理及注释同P0
{
	while (1)
	{
		flag[1] = true;
		turn = 0;
		while (flag[0] && turn == 0);
		//请求成功，使用资源
		/*
		临界区代码段
		*/
		flag[1] = false;
	}
}

Peterson算法满足互斥、空闲让进。有限等待3条同步机制准则。

Dekker互斥算法：解决并发进程互斥与同步的软件实现方法。

算法代码及注释如下：

bool flag[2];//表示临界区状态及哪个进程想要占用临界区
int turn;   //表示能进入临界区的进程序号

void P0()
{
	while (1)
	{	
		flag[0] = true;				//P0请求使用资源
		while (flag[1])				//查询P1是否在使用资源
		{
			if (turn == 1)			//查询P1是否具有权限进入临界区
			{
				flag[0] = false;	//如果P1有权限则P0取消请求
				while (turn == 1);	//等待P1释放资源
				flag[0] = true;		//继续请求
			}
			//请求成功，使用资源
			/*
			临界区代码段
			*/
			turn = 1;			//使用完成后把权限赋给P1
			flag[0] = false;
		}
	}
}

void P1()						//原理及注释同P0
{
{
	while (1)
	{
		flag[1] = true;
		while (flag[0])
		{
			if (turn == 0)
			{
				flag[1] = false;
				while (turn == 0);
				flag[1] = true;
			}
		//请求成功，使用资源
		/*
		临界区代码段
		*/
		turn = 0;
		flag[1] = false;
		}
	}
}

Peterson算法比Dekker算法更简单一些。