《嵌入式系统开发-chapter6-同步、互斥_与通信》由会员分享，可在线阅读，更多相关《嵌入式系统开发-chapter6-同步、互斥_与通信（128页珍藏版）》请在金锄头文库上搜索。
1、嵌入式系统开发,第六章 同步、互斥与通信,主要内容,概述 信号量 邮箱和消息队列 事件 异步信号* 管道*,概述,多任务系统中任务之间/任务与ISR的关系 相互独立 仅竞争CPU资源 竞争除CPU外的其他资源（互斥） 同步 协调彼此运行的步调，保证协同运行的各个任务具有正确的执行次序 通信 彼此间传递数据或信息，以协同完成某项工作,任务能以以下方式与中断处理程序或其他任务进行同步或通信： 单向同步或通信：一个任务与另一个任务或一个ISR同步或通信。 双向同步或通信：两个任务相互同步或通信。双向同步不能在任务与ISR之间进行，因为ISR不能等待。,概述,ISR x,Task y,POST,PEN
2、D,任务与ISR之间的同步（单向）,Task x,Task y,POST,PEND,POST,PEND,任务与任务之间的同步（双向）,任务与任务之间的同步（单向）,Task x,Task y,POST,PEND,在嵌入式多任务系统中，任务间的耦合程度是不一样的： 耦合程度较高：任务之间需要进行大量的通信，相应的系统开销较大； 耦合程度较低：任务之间不存在通信需求，其间的同步关系很弱甚至不需要同步或互斥，系统开销较小。 研究任务间耦合程度的高低对于合理地设计应用系统、划分任务有很重要的作用。,概述,在单处理器平台上，嵌入式操作系统内核提供的同步、互斥与通信机制主要包括： 信号量（semaphor
3、e），用于互斥与同步 事件（组）（event group），用于同步 异步信号（asynchronous signal），用于同步 邮箱（mailbox）、消息队列（message queue），用于消息通信 管道（pipe），提供非结构化数据交换和实现同步,概述,以下一些机制也可用于同步与通信（在单处理器或多处理器系统中）： 全局变量 共享内存 Sockets 远程过程调用（Remote Procedure Call）,概述,第一节 信号量,信号量的种类及用途 互斥信号量 二值信号量 计数信号量 信号量机制的主要数据结构 典型的信号量操作,信号量用于实现任务与任务之间、任务与中断处理程序之间
4、的同步与互斥。 信号量一般分为三种：,信号量的种类及用途,用于解决互斥问题。它比较特殊，可能会引起优先级反转问题。,用于解决同步问题,用于解决资源计数问题,将信号量进行种类细分，可以根据其用途，在具体 实现时做专门处理，提高执行效率和可靠性。,互斥信号量,计数信号量,二值信号量,用互斥信号量保护的代码区称作“临界区”，临界区代码通常用于对共享资源的访问。 互斥信号量的值被初始化成1，表明目前没有任务进入“临界区”，但最多只有一个任务可以进入“临界区”。 第一个试图进入“临界区”的任务将成功获得互斥信号量，而随后试图进入用同一信号量保护的临界区的所有其他任务就必须等待。 当任务离开“临界区”时，
5、它将释放信号量并允许正在等待该信号量的任务进入“临界区”。,互斥信号量,互斥信号量,共享资源可能是一段存储器空间、一个数据结构或I/O设备，也可能是被两个或多个并发任务共享的任何内容。 使用互斥信号量可以实现对共享资源的串行访问，保证只有成功地获取互斥信号量的任务才能够释放它。 互斥信号量是一种特殊的二值信号量，一般它支持所有权、递归访问、任务删除安全和一些避免优先级反转、饥饿、死锁等互斥所固有问题的协议。,互斥信号量状态图,互斥信号量状态图,开启,锁定,初始化 值为1,申请并获得 值为0,释放 值为1,申请(递归)并获得 锁定数加1,释放(递归) 锁定数减1,互斥信号量,所有权：当一个任务通
6、过获取互斥信号量而将其锁定时，得到该互斥信号量的所有权。相反，当一个任务释放信号量时，失去对其的所有权。 当一个任务拥有互斥信号量时，其他的任务不能再锁定或释放它，即任务要释放互斥信号量，必须事前先获取该信号量。,Task1,RoutineA,RoutineB,互斥信号量,嵌套（递归）资源访问 如果Task1调用RoutineA，而RoutineA又调用RoutineB，并且三者访问相同的共享资源，就发生了递归共享资源的访问同步问题。,一个递归的互斥信号量允许嵌套锁定互斥信号量，而不引起死锁。,互斥信号量,嵌套（递归）资源访问 每个获取信号量的调用必须与释放信号量的调用相匹配。当最外层的获取信
7、号量的调用与释放信号量的调用匹配时，该信号量才允许被其它任务访问。 用于同步的信号量不支持嵌套访问，任务如果对同步信号量使用上述操作是错误的，任务会被永久阻塞，并且阻塞条件永远不会解除。,互斥信号量,删除安全： 在一个受信号量保护的临界区，经常需要保护在临界区执行的任务不会被意外地删除。 删除一个在临界区执行的任务可能引起意想不到的后果，造成保护资源的信号量不可用，可能导致资源处于破坏状态，也就导致了其它所有要访问该资源的任务无法得到满足。,互斥信号量,删除安全： 为避免任务在临界区执行时不被意外删除： 提供“任务保护”和“解除任务保护”原语对 同时，为互斥信号量提供“删除安全”选项。在创建信
8、号量的时候使用这个选项，当应用每次获取信号量时隐含地使能“任务保护”功能，当每次释放信号量时隐含地使用“解除任务保护”功能。,各种互斥机制比较,二值信号量,二值信号量主要用于任务与任务之间、任务与中断服务程序之间的同步 用于同步的二值信号量初始值为0，表示同步事件尚未产生； 任务申请信号量以等待该同步事件的发生； 另一个任务或ISR到达同步点时，释放信号量（将其值设置为1）表示同步事件已发生，以唤醒等待的任务。,二值信号量,二值信号量状态图,可获得,不可获得,申请并获得 (值为0),释放 (值为1),初始化 值为0,Task1() 执行一些操作; 将信号量sem1置1; 申请信号量sem2;
9、,Task2() 申请信号量sem1; 执行一些操作; 将信号量sem2置1; ,Task2申请信号量sem1失败，系统切换到Task1,sem1被置1后，Task2得到sem1并抢占Task1,Task2运行到某处时因某种原因被阻塞，系统切换到Task1,用二值信号量实现两个任务之间的双向同步 Task2优先级高于Task1 sem1和sem2的初始值均为0,计数信号量,计数信号量用于控制系统中共享资源的多个实例的使用，允许多个任务同时访问同一种资源的多个实例 计数信号量被初始化为n（非负整数），n为该种共享资源的数目。,计数信号量,计数信号量状态图,可获得,不可获得,初始化 值大于0,申请
10、并获得 值为0,释放 值为1,申请并获得 值减1,释放 值加1,计数信号量,计数信号量使用实例：有界缓冲问题,生产者任务 do 产生一个数据项 申请empty 申请mutex 将新生成的数据项添加到缓冲中 释放mutex 释放full while (1);,消费者任务 do 申请full 申请mutex 从缓冲中移出一个数据项的内容 释放mutex 释放empty 消费新获得的数据项内容 while (1);,计数信号量full：已被填充的数据项数目，取值范围0n，初始值为0 计数信号量empty：空闲数据项数目，取值范围为0n，初始值为n； 互斥信号量mutex：控制生产者任务和消费者任务对
11、有界缓冲的访问，初始值为1。,信号量机制的主要数据结构,信号量机制的主要数据结构,信号量控制块：管理所有创建的信号量，内核在系统运行时动态分配和回收信号量控制块 互斥和二值信号量控制块结构: Binary_Semaphore_Control_Block,wait_queue 任务等待队列 attributes 信号量属性 lock_nesting_behavior试图嵌套获得时的规则 wait_discipline 任务等待信号量的方式 priority_ceiling 优先级天花板值 lock 是否被占有 holder 拥有者 nest_count 嵌套层数,计数信号量控制结构Countin
12、g_Semaphore_Control_Block wait_queue 任务等待队列 attributes 计数信号量属性 maximum_count 最大计数值 wait_discipline 任务等待信号量的方式 count 当前计数值,信号量机制的主要数据结构,信号量内部实现机制实例说明 C/OS-II,事件控制块ECB同步与通信机制的基本数据结构 typedef struct INT8U OSEventType;/事件类型 INT8U OSEventGrp;/等待任务所在的组 INT16U OSEventCnt;/计数器（信号量） void *OSEventPtr;/指向消息或消息队
13、列的指针 INT8U OSEventTblOS_EVENT_TBL_SIZE;/等待任务列表 OS_EVENT;,信号量内部实现机制实例说明 C/OS-II,当一个事件发生后，等待事件列表中优先级最高的任务（即在.OSEventTbl&OSEventGrp中所有被置1的位中优先级数值最小的任务）得到该事件。,信号量内部实现机制实例说明 C/OS-II,当.OSEventTbln中的任何一位为1时，OSEventGrp中的第n位为1。 与任务就绪列表类似！,信号量内部实现机制实例说明 C/OS-II,将一个任务插入到等待事件的任务列表中： pevent-OSEventGrp |= OSMapTb
14、lprio 3; pevent-OSEventTblprio 3 |= OSMapTblprio 与将一个任务插入到就绪列表中的操作类似！,Index Bit mask (Binary) 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 2 0 0 0 0 0 1 0 0 3 0 0 0 0 1 0 0 0 4 0 0 0 1 0 0 0 0 5 0 0 1 0 0 0 0 0 6 0 1 0 0 0 0 0 0 7 1 0 0 0 0 0 0 0,信号量内部实现机制实例说明 C/OS-II,从等待事件的任务列表中使任务脱离等待状态 if (pevent-OSEventT
15、blprio 3 与将任务从就绪列表中清除的操作类似！,信号量内部实现机制实例说明 C/OS-II,在等待事件的任务列表中查找优先级最高的任务 y = OSUnMapTblpevent-OSEventGrp; x = OSUnMapTblpevent-OSEventTbly; prio = (y 3) + x; 与查找优先级最高的就绪任务的操作类似！,信号量内部实现机制实例说明 C/OS-II,空闲事件控制块链表,典型的信号量操作,创建信号量 获取（申请）信号量 释放信号量 删除信号量 清除信号量的任务等待列表 获取有关信号量的各种信息,创建信号量,功能：根据应用传递的参数创建一个信号量 参数
16、：信号量的名字、属性和初始值等。 内核动作： 从空闲信号量控制块链中分配一个信号量控制块，并初始化信号量属性。 创建成功时，为其分配唯一的ID号返回给应用。 如果已创建信号量数量已达到用户配置的最大数量，就返回错误。,创建信号量,信号量的属性包括： 类型 任务等待信号量的方式（即排列的顺序） 与任务删除安全、递归访问以及解决优先级反转的策略相关的参数（只针对互斥信号量）。,创建信号量,信号量的属性,信号量的类型,互斥信号量（MUTEX_SEMAPHORE）,计数信号量（COUNTING_SEMAPHORE）,二值信号量（BINARY_SEMAPHORE）,任务等待信号量的方式,先进先出（FIFO）顺序,优先级（PRIORITY）顺序,优先级反转问题的解决方法（只适用于互斥信号量）,优先级继承算法（INHERIT_PRIO
