第七讲进程间同步与互斥.ppt

第二章

WindowsCE体系结构与功能;教学目的;项目4：多线程-PDA下多任务实现;教学重点

同步与互斥的概念

教学难点

进程的通信;进程的互斥;生活中的实例;临界资源criticalresource;临界区criticalsection;2.2.4同步

产生的原因：多线程、分时共享技术的使用；

作用：对多线程共享资源的访问加以保护；

必要性：造成数据损坏或者死锁。

WindowsCE的同步机制

Mutex

Event

Semaphore

CriticalSection

InterlockedFunctions

同步对象的状态

通知(Signaled)：阻塞线程转为就绪态，等待调度执行

未通知(Non-Signaled)：表示该同步对象被一个或多个线程占有，不能被其它等待的线程占有;同步的基本原理：当某个同步对象的状态变为通知状态时，等待在它上面的阻塞线程会得到通知，并且转为就绪态，等待调度执行。

同步对象的使用

由句柄(Handle)表示，一个32位的指针

句柄的指向表示该对象的一个数据结构

可以有名字也可以没有名字

若跨进程使用同步对象，一般要命名。

等待函数（见P42）

WaitForSingleObject

等待单个同步对象

WaitForMultipleObjects

等待多个同步对象;2.2.4.1Mutex

MutualExclusion，互斥

同时只有一个线程可以占有Mutex对象

当共享资源同时只能被一个线程访问,使用Mutex进行同步

相关函数

CreateMutex

创建一个有名或无名的Mutex对象

bInitialOwner参数指定该Mutex是否为创建的线程所占有

ReleaseMutex

释放对Mutex对象的占有

;2.2.4.2Semaphore

信标或信号灯

带有引用计数的Mutex，即带有计数n，表示同时最多可以有n个线程占有该信号灯

若共享资源同时被固定数量的线程使用，则选用Semaphore进行同步

相关函数

CreateSemaphore

创建信号灯

参数IMaximumCount指定最多可有多少个线程占有该信号灯对象

参数IInitialCount为信号灯指定初始计数

;

ReleaseSemaphore

使用此函数释放信号灯对象，则IInitialCount指定的初始值增加IReleaseCount

当有线程使用ReleaseSemaphore函数释放Semaphore对象时，该初始值增加1；当有线程使用等待函数占有信号灯时，该初始值减1

若信号灯的计数大于0，则信号灯处于通知状态；若计数小于0，处于未通知状态

;事件Event;2.2.4.3Event

当一个线程需要通知其它线程某个时间发生，则使用事件(Event)同步??象

此同步对象使用比较广泛。在WindowsCE驱动程序中，中断处理线程就是使用事件同步对象来等待中断发生。

相关函数

CreateEvent

参数bInitialState参数指定Event的初始状态。若为True则新创建的Event最开始就是通知状态

参数bManualReset用来指定Event是否为人工重置。人工的话，等待该Event的所有线程均变为就绪态，而Event还处于通知状态，调用ResetEvent；自动的话，等待该Event的线程中只有一个线程变为就绪态，然后自动变为未通知状态。

SetEvent

ResetEvent

PulseEvent;用户态下的同步方法

CriticalSection

互锁函数-InterlockedFunctions

因为没有对应WindowsCE内核对象，所以用户态下的同步对象不能跨进程

运行效率比内核同步对象高

2.2.4.4CriticalSection

应用程序分配的一个数据结构

用来把一段代码标记为临界区，从而保证此区域内部代码的访问是串行的

相关函数(见P47)

使用临界区时，一般为每一个共享资源分配一个临界区变量。同时把尽可能少的代码放在临界区中;2.2.4.5互锁函数

可对变量和指针进行原子的读/写操作

相关函数

InterlockedIncrement

InterlockedDecrement

InterlockedExchange

InterlockedTestExchange

InterlockedCompareExchange

InterlockedCompareExchangePointer

InterlockedExchangePointer

InterlockedExchangeAdd;进程间通信;管道Pipe;2.2.5进程间通信

进程通信的由来

WindowsCE具有内存保护机制，不允许应用程序间有计划的共享数据

若并