进程互斥bakery算法改进思想.docVIP

进程互斥bakery算法改进思想摘 要： 本文简要地介绍了bakery算法进程互斥思想，指出它存在的三个缺点。然后在满足进程互斥设计三要点的前提下，提出快速互斥算法，并且对它的性能和优点给出证明，指出快速算法能够很好地解决bakery算法的缺点。 关键词： bakery算法 快速算法 进程互斥 空闲让进 有限等待 1.进程互斥算法的应用背景 如今，互联网上有大量的资源供用户使用，这些资源很多都是临界资源。互联网上大量进程都要使用这些临界资源。由于临界资源共享时要互斥访问，这就使得这些进程在访问临界资源时要互斥进入自己的临界区。 进程互斥进入临界区算法设计时要注意三点：（1）互斥访问（mutual exclusion）［１］［２］［３］，即是每次只能有一个进程进入自己的临界区，同一时间不能两个或两个以上进程进入临界区。（2）空闲让进（progress），即是当没有进程在临界区执行，有一些进程要进入临界区时，只有那些不在remainder section中执行的进程有权决定谁进入临界区，并且这决定不能无限推迟。（3）有限等待（bounded waiting），即是进程从申请进入临界区到进入临界区这段时间是一段有限的时间，进程不能无限等待进入。 互联网上共享临界资源进程只有遵循以上三点，进程执行的结果才不会出错。也只有在遵循以上三点的基础上，互联网上的应用程序才能为用户提供可靠的资源访问。 目前，对进程互斥分布式算法设计主要分为三类，即（1）permission-based（e.g.Lamport，Ricart-Agrawala，Singhal，Maekawa ），思想是每一个进程在进入临界区之前要得到所有其他进程的准许。（2）token-based （Suzuki-Kazami，Raymond ，Naimi-Trehel，Neilsen-Mizuno，Chang，Singhal and Liu ），思想是整个系统有一个token，只有得到token的进程才能进入临界区。（3）Quorum based，思想是所有进程中，部分进程决定某进程是否可以进入临界区。 2.bakery算法设计的思想 Bakery算法是一种简单的处理n个进程互斥进入临界区的算法。它基于面包店里普遍使用的一种算法。顾客进入面包店的时候首先得到一个服务号码，得到最小号码的顾客首先得到服务。基于这一思想，bakery算法处理N个进程互斥时对共享变量的读写采用原子操作来实现，每个进程都拥有一个属于自己的共享变量。这个共享变量指示本进程在等待进入临界区的位置，只有当本变量指示等待队列的头部时，本进程才优先进入临界区。只有本进程才可以对属于自己的共享变量读写，别的进程只能读。Bakery算法代码如图1。 在本算法中，不同顾客可能得到同一个号码。为此，我们有定义1。 定义1：有二元组（number［i］，i）和（number［j］，j），当number［i］＜number［j］或者number［i］=number［j］并且i＜j时，有（number［i］，i）＜（number［j］，j）。 定义1的意思是：顾客i的服务号码number［i］＜顾客j的服务号码number［j］时，或者顾客i和顾客j的服务号码相等，但i＜j时，顾客i先服务。在图1中，Bakery算法满足下面三个申明。 申明（1）（进程互斥） □［?坌0…N-1 i，j，i!=j：：Z（i，j）］，where Z（i，j）：┐（πid［i］ on CS∧id［j］ on CS） 申明（2）（空闲让进） ［?坌0…N-1 i：：P（i）］→［?坌0…N-1 i：：Q（i）］ where P（i）：πid［i］ on CS→πid［i］ at b1 Q（i）：πid［i］ at a1→πid［i］ on CS 申明（3）（有限等待） max（Time（i）boundwait）=（N-1）*（T1+T2）其中Time（i）boundwait为进程i从申请进入临界区到进入临界区的等待时间。 T1为执行a2：num［i］=max（num［0］，num［1］，…，num［N-1］）+1所用时间； T2为执行临界区代码所用时间。 3.用快速算法对bakery算法的改进 bakery算法解决了n个进程互斥问题，满足进程互斥时三要点。但bakery算法存在以下实际的缺点。 （1）总是有进程在临界区时，进程申请进入临界区的服务号将无限变大（unbounded number）。 （2）使用的共享变量多，两个共享数组有2N个共享变量，在分布式环境下使得进程之间信息交换量增大。 （3