最近一个项目中用到了peterson算法来做临界区的保护,简简单单的十几行代码,就能实现两个线程对临界区的无锁访问,确实很精炼.但是在这不是来分析peterson算法的,在实际应用中发现peterson算法并不能对临界区进行互斥访问,也就是说两个线程还是有可能同时进入临界区.但是按照代码的分析,明明可以实现互斥访问的呀,这是怎么回事呢? 首先用一个测试程序来检验一下.临界区是对一个全局变量的自加一运算,两个线程各加一百万次,最后结果应该是两百万.由于自加一运算不是原子的,如果两个线程同时进入临界

进来Bear正在学习巩固并行的基础知识,所以写下这篇基础的有关并行算法的文章. 在讲述两个算法之前,需要明确一些概念性的问题, Race Condition(竞争条件),Situations  like  this,  where  two  or  more processes  are  reading or writing some shared data and the final result depends on who runs precisely when, are called

转自http://blog.csdn.net/l294265421/article/details/46674847 假设有两个进程需要互斥的访问某一个临界区. Peterson算法的形式如下: enterRegion(process);// process表示进程号 // 临界区 leaveRegion(process); 具体实现如下(Java实现): 有两个全局变量: // 用于表示轮到哪个进程 private int turn; // 用于表示进程进入临界区的意愿,下标对应进程号 pri

同步 两个或两个以上随时间变化的量在变化过程中保持一定的相对关系. 互斥 对一组并发进程,一次只有一个进程能够访问一个给定的资源或执行一个给定的功能. 互斥技术可以用于解决诸如资源争用之类的冲突,还可以用于进程间的同步,使得它们可以合作.典型例子便是生产者/消费者模型. 同步互斥的实现思路主要有两种: 软件方法(这里讲的) 信号量 使用POSIX线程库(pthread_),来创建线程,管理线程,实现同步互斥. POSIX(可移植操作系统)线程是线程的POSIX标准,定义了创建和操作线程的一套AP

转自:http://blog.csdn.net/speedme/article/details/17595821 1. 背景 首先,看个例子,进程P1,P2共用一个变量COUNT,初始值为0                                                 因为P1,P2两个进程的执行顺序是随机的,可能顺序执行也可能是并发的,由图可见,不同的执行顺序,COUNT的值会不同,这是不允许的.      像这种情况,及多个进程并发访问和操作同一数据且执行结果与访问发生的特

1. 背景        首先,看个例子,进程P1,P2共用一个变量COUNT,初始值为0                                                 因为P1,P2两个进程的执行顺序是随机的,可能顺序执行也可能是并发的,由图可见,不同的执行顺序,COUNT的值会不同,这是不允许的.      像这种情况,及多个进程并发访问和操作同一数据且执行结果与访问发生的特定顺序有关,称为竞争条件.   2.临界区域问题      为了避免上述情况的发生于是就引入了临界区

如何更好理解Peterson算法? 1 Peterson算法提出的背景 在我们讲述Peterson算法之间,我们先了解一下Peterson算法提出前的背景(即:在这个算法提出之前,前人们都做了哪些工作)这对于我们之后理解Peterson算法有很大的裨益. Peterson 算法是基于双线程互斥访问的LockOne与LockTwo算法而来.LockOne算法使用一个 flag 布尔数组,LockTwo 使用一个 turn的整型量,都实现了互斥,但是都存在死锁的可能.Peterson 算法把这两种算

#define FALSE 0 #define TRUE 1 #define N 2 /*进程数量 */ int turn; /* 现在轮到谁 */ int interested[N]; /*所有值初始化为0 (FALSE) */ void enter_region(int process) /*进程是0还是1 */ { int other; /* 其他进程号*/ other = - process; /*另一方进程*/ interested[process] = TRUE; /* 表明所感兴趣

一. 进程互斥的实现方式 1. 软件方式: 保护临界区, 自己编写代码来实现对进程的控制. Dekker算法Peterson算法Lamport算法等 2. 硬件方式: 使用特殊指令保护临界区. 开关中断指令测试并加锁指令交换指令忙等待, 自旋锁 二. Lamport面包店算法 解决多线程并发访问同一个共享资源的互斥问题 这个思想来自于面包店, 医院等, 需要排队取号的场所. 顾客进入面包店前,首先抓取一个号码,然后按号码从小到大的次序依次进入面包店购买面包. 前提: 面包店按由小到大的次序发放号

paip.提升性能----java 无锁结构(CAS, Atomic, Threadlocal, volatile, 函数式编码, 不变对象) 1     锁的缺点 2     CAS(CompareAnd Swap/Set)操作automic数据类型AtomicLong,AtomicReference(Java提供的CAS操作) 3     Threadlocal 4     内存屏障(MemoryBarries)和(javavolatile)代替传统lock. 5     . Disrupt

转载地址:https://my.oschina.net/hosee/blog/673628?p=%7b%7bcurrentPage+1%7d%7d 本文就将系统性的串联起那些知识点,方便复习和回顾.本文适合已经有操作系统基础的同学,一起回顾知识,本文并不详细讲解每个算法,本文意在知识串联. 通过一个例子来串联所有的知识点: 写了一个C语言程序: #include main() {   puts("Hello World!\n"); } 目的是希望在屏幕中看到Hello World的字样

操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore 进程合作:多进程共同完成一个任务 从纸上到实际:生产者− − 消费者实例 共享数据 #define BUFFER_SIZE 10 typedef struct { . . . } item; item buffer[BUFFER_SIZE]; int in = out = counter = 0; 注意:这些都是用户态程序! 生产者进程 while (true

http://blog.jobbole.com/28297/ 本文来自四火的博客(@RayChase),由@_Zhijun 推荐 这篇文章,大部分内容,是周五我做的一个关于如何进行Java多线程编程的Knowledge Sharing的一个整理,我希望能对Java从第一个版本开始,在多线程编程方面的大事件和发展脉络有一个描述,并且提及一些在多线程编程方面常见的问题.对于Java程序员来说,如果从历史的角度去了解一门语言一个特性的演进,或许能有不同收获. 引言 首先问这样一个问题,如果提到Java

这篇文章,大部分内容,是周五我做的一个关于如何进行Java多线程编程的Knowledge Sharing的一个整理,我希望能对Java从第一个版本开始,在多线程编程方面的大事件和发展脉络有一个描述,并且提及一些在多线程编程方面常见的问 题.对于Java程序员来说,如果从历史的角度去了解一门语言一个特性的演进,或许能有不同收获. 引言 首先问这样一个问题,如果提到Java多线程编程,你会想到什么? ● volatile.synchronized关键字? ● 竞争和同步? ● 锁机制? ● 线程安全

原文地址:http://blog.csdn.net/speedme/article/details/17597373 上篇博客中(进程同步之临界区域问题及Peterson算法),我们对临界区,临界资源,锁机制详细解读了下,留下了一个问题,就是锁机制只能判断临界资源是否被占用,所以他解决了互斥问题,但是他不能确定前面的进程是否完成,所以他不能用于同步问题中.下面就为你讲解信号量机制是如何解决这一问题的. 1.信号量机制 信号量机制即利用pv操作来对信号量进行处理.   原文地址:http://bl

一些概念在书上不好找,可以通过谷歌搜索,比如搜索中断向量, site:coursera.org 中断向量   3  下列关于中断和异常的叙述中,哪一个是错误的? x86系列处理器提供的4个处理器特权级别中R0的特权级别最高 中断向量(中断描述符)保存了程序状态字和中断入口程序地址 Page Fault属于I/O中断 启动I/O指令只能在内核态下运行 解析: 1. “中断向量(中断描述符)保存了程序状态字和中断入口程序地址” 是对的 见 https://www.coursera.org/learn

今天学习一下Perterson Algorithm. 这个算法是使用三个变量来实现并发程序的互斥性算法. 具体看一下代码: Peterson算法是一个实现互斥锁的并发程序设计算法,核心就是三个标志位是怎样控制两个方法对临界区的访问,这个算法设计的想当精妙,我刚开始看的时候就被绕了一下. 算法使用两个控制变量flag与turn. 其中flag[n]的值为真,表示ID号为n的进程希望进入该临界区. 标量turn保存有权访问共享资源的进程的ID号. 注意到如果进程P0和P1并发,那么两者中必然会有一个

在很多门课上都接触到race condition, 其中也举了很多方法解决这个问题.于是想来总结一下这些方法. Race condition 它旨在描述一个系统或者进程的输出依赖于不受控制的事件出现顺序或者出现时机.此词源自于两个信号试着彼此竞争,来影响谁先输出.  举例来说,如果计算机中的两个进程同时试图修改一个共享内存的内容,在没有并发控制的情况下,最后的结果依赖于两个进程的执行顺序与时机.而且如果发生了并发访问冲突,则最后的结果是不正确的.  竞争冒险常见于不良设计的电子系统,尤其是逻辑电

并发进程的正确性 独立进程 不和其他进程共享资源或状态 确定性 -> 输入状态决定结果 可重现 -> 能够重现起始条件 调度顺序不重要 并发进程 在多个进程间有资源共享 不确定性 不可重现 并发进程的正确性 执行过程是不确定性和不可重现的 程序错误可能是间歇性发生的 并发的好处 共享资源 加速 模块化 同步问题 时间 A B 3:00 查看冰箱,没有面包 3:05 离开家去商店 3:10 到达商店 查看冰箱,没有面包了 3:15 购买面包 离开家去商店 3:20 到家,把面包放进冰箱 到达商店

第十七讲 同步互斥 进程并发执行 好处1:共享资源.比如:多个用户使用同一台计算机. 好处2:加速.I/O操作和CPU计算可以重叠(并行). 好处3:模块化. 将大程序分解成小程序.以编译为例,gcc会调用cpp,cc1,cc2,as,ld. 使系统易于复用和扩展.程序可划分成多个模块放在多个处理器上并行执行. 原子操作 原子操作是指一次不存在任何中断或失败的操作.要么操作成功完成,或者操作没有执行,不会出现部分执行的状态. 操作系统需要利用同步机制在并发执行的同时,保证一些操作是原子操作. 由