Operation System - Peterson's Solution算法 解决多线程冲突

Person‘s solution 是用来一种基于软件的解决关键区域问题的算法(critical-section).

它并非完美的,有可能不正确地工作。而且是限制解决两个进程同步的问题。

但是它很简单,很原始,学习起来也是很轻松的。

代码如下:

do {
     flag[i] = true;
     turn = j;
     while (flag[j] && turn == j);
     critical section
     flag[i] = false;
     remainder section
} while (true);

flag[]其实是一个2个变量的数组。这里的i标志一个进程,而j标志另一个进程。

critical section代表是需要互斥进入的一个区间,比如需要修改一些关键的共享数据,这个时候不能让两个进程同时修改,否则就会出现不可预知的结果了。记得好像见过阿里巴巴笔试有这样的题目。

有remainder section并非关键区域,所做的操作是可以并行操作的,结果互不影响。

这里主要的目的就是两个进程互斥地进入critical section。

那么为什么这个算法是可行的呢?

这样的算法可行,需要满足三个条件:

1 Mutual exclusion: 互斥进入

2 Progress : 在非remaider section的进程能在一定时间内进入critical section

3 Bounded waiting: 保证一个进程的等待时间不会过长

分析:

假设1 : 两个进程P1, P2同时执行了do语句:语句执行为:P1 flag[i] = true; P2 flag[j] = true; P1 turn = j; P2 turn = i; P1 while(flag[j] && turn == j) ;

这个时候由于P2已经执行了turn = i语句,所以turn == i,那么P1的语句while(flag[j] && turn == j)的turn ==j就为假了,所以这个时候退出循环,P1进入critical section。

然后P2 while (flag[i] && turn == i);因为这个时候flag[i] 和turn ==i都为真,那么P2就处于等待状态。因为P1和P2是等同的,所以这个情况下,只能有一个进程可以进入critical section的。条件1成立。

如果继续执行,那么就可以分析条件2也是成立的:因为P1进入了critical section之后执行完毕,退出来,那么flag[i] = false,这个语句执行之后,P2 while(flag[i] && turn == i)的flag[i]就为假了。之歌时候P2就可以进入critical section了。

那么继续分析条件3,可以知道P2的等待时间只是P1执行critical section的时间。这个等待时间一般不会过长。

其他情况就更加不会冲突了,可以列举所有语句执行的顺序知道,无论两个进程的语句如何执行,这个算法都是成立的。

--参考资料:Operating System Concepts

Operation System - Peterson's Solution算法 解决多线程冲突,布布扣,bubuko.com

Operation System - Peterson's Solution算法 解决多线程冲突

时间: 2024-11-03 21:45:07

Operation System - Peterson's Solution算法 解决多线程冲突的相关文章

Operation System - Peterson's Solution算法 解决多线程冲突

Person's solution 是用来一种基于软件的解决关键区域问题的算法(critical-section). 它并不是完美的,有可能不对地工作.并且是限制解决两个进程同步的问题. 可是它非常easy,非常原始,学习起来也是非常轻松的. 代码例如以下: do { flag[i] = true; turn = j; while (flag[j] && turn == j); critical section flag[i] = false; remainder section } wh

解决多线程并发问题

1.文件锁 如果对该表的更新或插入的操作,都会经过一个统一的文件,这种方式是可以解决的多进程并发的问题: 实现方式如下: public static function cbInventoryReserve() { $LOCK_FILE_PATH = $_SERVER['DOCUMENT_ROOT']."wmsinventoryapi/inventory/InventoryReserve.php"; $fp = fopen( $LOCK_FILE_PATH, "r"

hdu 4081 Qin Shi Huang's National Road System 次小生成树 算法

Qin Shi Huang's National Road System Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 4180    Accepted Submission(s): 1450 Problem Description During the Warring States Period of ancient China(4

Lasvegas+回溯算法解决3SAT问题(C++实现代码)

转载请注明出处:http://blog.csdn.net/zhoubin1992/article/details/46507919 1.SAT问题描述 命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 完全问题.在定义可满足性问题SAT之前,先引进一些逻辑符号. 一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值指派使得A 为真. 显然, 如果A 为真, 则 CNF 的每个子句中必有一个命题变元为 1 (真) .

C# 防止同时调用=========使用读写锁三行代码简单解决多线程并发的问题

http://www.jb51.net/article/99718.htm 本文主要介绍了C#使用读写锁三行代码简单解决多线程并发写入文件时提示"文件正在由另一进程使用,因此该进程无法访问此文件"的问题.需要的朋友可以参考借鉴 在开发程序的过程中,难免少不了写入错误日志这个关键功能.实现这个功能,可以选择使用第三方日志插件,也可以选择使用数据库,还可以自己写个简单的方法把错误信息记录到日志文件. 选择最后一种方法实现的时候,若对文件操作与线程同步不熟悉,问题就有可能出现了,因为同一个文

Conquer-Divide的经典例子之Strassen算法解决大型矩阵的相乘

在通过汉诺塔问题理解递归的精髓中我讲解了怎么把一个复杂的问题一步步recursively划分了成简单显而易见的小问题.其实这个解决问题的思路就是算法中常用的divide and conquer, 这篇日志通过解决矩阵的乘法,来了解另外一个基本divide and conque思想的strassen算法.矩阵A乘以B等于X, 则Xij = 注意左乘右乘的区别,AB 与BA是不同的.如果r = 1, 直接就是两个数的相乘.如果r = 2, 例如X = [ 1, 2;   3, 4];Y = [ 2,

如何用SingleThreadModel解决多线程安全问题

2.用SingleThreadModel解决多线程安全问题:(视频下载) (全部书籍) 前 面介绍的都是普通的Servlet.对于每一个用户请求,那些Servlet都会用线程的方式给予应答.这样比较节省系统的资源.Sun公司也给出了另外 一种方法,就是这节要介绍的SingleThreadModel的方法.当implement这个接口以后,你的Servlet就变成了另外一种模式工 作.即,每一个新用户的请求,都会生成一个新的Servlet实例来应答.这种方法有两个方面的弊病.一是性能太差,最后会把

C++拾遗--多线程:原子操作解决线程冲突

C++拾遗--多线程:原子操作解决线程冲突 前言 在多线程中操作全局变量一般都会引起线程冲突,为了解决线程冲突,引入原子操作. 正文 1.线程冲突 #include <stdio.h> #include <stdlib.h> #include <process.h> #include <Windows.h> int g_count = 0; void count(void *p) { Sleep(100); //do some work //每个线程把g_c

配置错误定义了重复的“system.web.extensions/scripting/scriptResourceHandler” 解决办法

今天遇到了这个问题, 电脑系统:vs2010 win7系统 iis7 我运行在iis中配置的那个网站后,报错:错误代码 0x800700b7 配置错误定义了重复的"system.web.extensions/scripting/scriptResourceHandler"节 这个问题原因在于window7的IIS默认用的是ASP.NET v4.0应用程序池. 解决方法:把这个网站的应用程序池的.netframework版本改为 v2.0的,如图: 1:选中应用程序池-->在右侧右