用纯软件来代替Mutex互斥锁

用操作系统为我们提供的同步原语来进行保护。同步原语包括：互斥锁、条件变量、信号量等，被保护的代码称作“临界区”。

这是非常正规的流程，我们基本上也都是这么做的。

那有没有想过，这些同步原语对代码的执行效率会产生多大的影响?是否可以不使用操作系统提供的这些机制，而是用其它纯软件的方法也能达到保护临界区的目的呢?

这篇文章我们介绍一下 Peterson(皮特森)算法，也许实用性不强，但是可以给我们带来一些思考，提高我们的编程元技能。

二、Peterson 算法简介

这个算法主要用来解决临界区的保护问题。我们知道，一个临界区必须保证 3 个条件：

1. 互斥访问: 在任意一个时刻，最多只能有一个线程可以进入临界区;
2. 空闲让进：当没有线程正在执行临界区的代码时，必须在所有申请进入临界区的线程中，选择其中的一个，让它进入临界区;
3. 有限等待：当一个线程申请进去临界区时，不能无限的等待，必须在有限的时间内获得许可进入临界区。也就是说，不论其优先级多低，不应该饿死在该临界区入口处。

Peterson算法是一个实现互斥锁的并发程序设计算法，可以控制两个线程访问一个共享的用户资源而不发生访问冲突。

Peterson 算法是基于双线程互斥访问的 LockOne 与 LockTwo 算法而来。

1. LockOne 算法使用一个 flag 布尔数组来实现互斥;
2. LockTwo 使用一个 turn 的整型量来实现互斥;

这 2 个算法都实现了互斥，但是都存在死锁的可能。Peterson 算法把这两种算法结合起来，完美地用软件实现了双线程互斥问题。

（编辑：济源站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!