哲学家进餐问题是这样子的:好几位哲学家围绕着餐桌坐,每一位哲学家要么思考,要么等待,要么就吃饭.为了吃饭,哲学家必须拿起两支筷子(分放于左右两端).不幸的是,筷子的数量和哲学家相等,所以每支筷子必须由两位哲学家共享.图4-1 显现出这种状态.? FAQ 16:我如何避免死锁?…

Win32 的 Mutex 用途和 critical section 非常类似,但是它牺牲速度以增加弹性.或许你已经猜到了,mutex 是 MUTual EXclusion 的缩写.一个时间内只能够有一个线程拥有 mutex,就好像同一时间内只能够有一个线程进入同一个 critical section 一样.虽然 mutex 和 critical section 做相同的事情,但是它们的运作还是有差别的: 锁住一个未被拥有的 mutex,比锁住一个未被拥有的 critical section,需…

同步机制摘要Critical Section Critical section(临界区)用来实现"排他性占有".适用范围是单一进程的各线程之间.它是:  一个局部性对象,不是一个核心对象.  快速而有效率.  不能够同时有一个以上的 critical section 被等待.  无法侦测是否已被某个线程放弃.Mutex Mutex 是一个核心对象,可以在不同的线程之间实现"排他性占有",甚至即使那些线程分属不同进程.它是:  一个核心对象. 如果拥有 mutex 的…

Win32 中最具弹性的同步机制就属 events 对象了.Event 对象是一种核心对象,它的唯一目的就是成为激发状态或未激发状态.这两种状态全由程序来控制,不会成为 Wait...() 函数的副作用.    Event 对象之所以有大用途,正是因为它们的状态完全在你掌控之下.Mutexes 和 semaphores 就不一样了, 它们的状态会因为诸如WaitForSingleObject() 之类的函数调用而变化.所以,你可以精确告诉一个event 对象做什么事,以及什么时候去做.    E…

本章讨论 Win32 同步机制,并特别把重点放在多任务环境的效率上.撰写多线程程序的一个最具挑战性的问题就是:如何让一个线程和另一个线程合作.除非你让它们同心协力,否则必然会出现如第2章所说的"raceconditions"(竞争条件)和"data corruption"(数据被破坏)的情况. 在典型的办公室文化中,协调工作是由管理者来执行的.类似的解决方案,也就是"让某个线程成为大家的老板".当然可以在软件中实现出来,但是每逢它们需要指挥时,就…

同步机制的最简单类型是使用 interlocked 函数,对着标准的 32 位变量进行操作.这些函数并没有提供"等待"机能,它们只是保证对某个特定变量的存取操作是"一个一个接顺序来".稍后我会把这些 interlocked 函数展示出来,因为唯有你自己亲身比较它们和其他同步机制的差异,才能够了解它们的用途.    考虑一下,如果你需要维护一个 32 位计数器的"排他性存取"性质,你该怎么做.你可能会想产生一个 critical section 或…

许多文件中都会提到 semaphores(信号量),因为在电脑科学中它是最具历史的同步机制.它可以让你陷入理论的泥淖之中,教授们则喜欢问你一些有关于信号量的疑难杂 症.你可能不容易找到一些关于 semaphores 的有用例子,但是我告诉你,它是解决各种 producer/consumer 问题的关键要素.这种问题会存有一个缓冲区,可能在同一时间内被读出数据或被写入数据. Win32 中的一个 semaphore 可以被锁住最多 n 次,其中 n 是 semaphore 被产生时指定的.n 常常…

Jeffrey Richter 在他所主持的 Win32 Q&A 专栏(Microsoft Systems Journal,1996/07)中曾经提到过,Windows NT 和 Windows 95 在管理 dangling critical sections 时有极大的不同.在 Windows NT 之中,如果一个线程进入某个 critical section 而在未离开的情况下就结束,该 critical section 会被永远锁住.然而在 Windows 95 中,如果发生同样的事情,…

1.实验原理   由Dijkstra提出并解决的哲学家进餐问题(The Dinning Philosophers Problem)是典型的同步问题.该问题是描述有五个哲学家共用一张圆桌,分别坐在周围的五张椅子上,在圆桌上有五个碗和五只筷子,他们的生活方式是交替地进行思考和进餐.平时,一个哲学家进行思考,饥饿时便试图取用其左右最靠近他的筷子,只有在他拿到两只筷子时才能进餐.进餐完毕,放下筷子继续思考. 2.实验内容: 显示出每个哲学家的工作状态,如吃饭,思考.连续运行30次以上都未出现死锁现象.…

关于Object类中的线程方法: Object类是所有Java类的 父类,在该类中定义了三个与线程操作有关的方法,使得所有的Java类在创建之后就支持多线程 这三个方法是:notify(),notifyAll(),wait(),这几个方法都是用来控制线程的运行状态的. 方法列表如下: notify() : 唤醒在此对象监视器上等待的单个线程 notifyAll() : 唤醒在此对象监视器上等待的所有线程 wait() : 在其他线程时调用此对象的notify()或者notifyAll()方法前,…