ucos操作系统原理-同步、互斥与通信.ppt

uCOS操作系统原理－ 同步、互斥与通信 概述 信号量 邮箱与消息队列 事件 异步信号 管道 概述(1) 多任务系统中任务之间的关系 相互独立 仅竞争CPU资源 竞争除CPU外的其他资源（互斥） 同步 协调彼此运行的步调，保证协同运行的各个任务具有正确的执行次序 通信 彼此间传递数据或信息，以协同完成某项工作 任务能以以下方式与中断处理程序或其他任务进行同步或通信： 单向同步或通信：一个任务与另一个任务或一个ISR同步或通信。 双向同步或通信：两个任务相互同步或通信。双向同步不能在任务与ISR之间进行，因为ISR不能等待。 概述(2) ISR x Task y POST PEND 任务与ISR之间的同步（单向） Task x Task y POST PEND POST PEND 任务与任务之间的同步（双向） 任务与任务之间的同步（单向） Task x Task y POST PEND 概述(3) 在嵌入式多任务系统中，任务间的耦合程 度是不一样的： 耦合程度较高：任务之间需要进行大量的通信，相应的系统开销较大； 耦合程度较低：任务之间不存在通信需求，其间的同步关系很弱甚至不需要同步或互斥，系统开销较小。 研究任务间耦合程 度的高低对于合理地设计应用系统、划分任务有很重要的作用。 概述 在单处理器平台上，嵌入式操作系统内核提供的同步、互斥与通信机制主要包括： 信号量（semaphore），用于互斥与同步 事件（组）（event group），用于同步 异步信号（asynchronous signal），用于同步 邮箱（mailbox）、消息队列（message queue），用于消息通信 管道（pipe），提供非结构化数据交换和实现同步 概述 以下一些机制也可用于同步与通信（在单处理器或多处理器系统中）： 全局变量 共享内存 Sockets 远程过程调用（Remote Procedure Call） 概述 信号量 信号量的种类及用途 互斥信号量 二值信号量 计数信号量 信号量机制的主要数据结构 典型的信号量操作 信号量用于实现任务与任务之间、任务与中断处理程序之间的同步与互斥。 信号量一般分为三种： 信号量的种类及用途 用于解决互斥问题。它比较特殊，可能会引起优先级反转问题。 用于解决同步问题 用于解决资源计数问题 将信号量进行种类细分，可以根据其用途，在具体 实现时做专门处理，提高执行效率和可靠性。 用互斥信号量保护的代码区称作“临界区”，临界区代码通常用于对共享资源的访问。 互斥信号量的值被初始化成1，表明目前没有任务进入“临界区”，但最多只有一个任务可以进入“临界区”。 第一个试图进入“临界区”的任务将成功获得互斥信号量，而随后试图进入用同一信号量保护的临界区的所有其他任务就必须等待。 当任务离开“临界区”时，它将释放信号量并允许正在等待该信号量的任务进入“临界区”。 互斥信号量 互斥信号量 共享资源可能是一段存储器空间、一个数据结构或I/O设备，也可能是被两个或多个并发任务共享的任何内容。 使用互斥信号量可以实现对共享资源的串行访问，保证只有成功地获取互斥信号量的任务才能够释放它。 互斥信号量是一种特殊的二值信号量，一般它支持所有权、递归访问、任务删除安全和一些避免优先级反转、饥饿、死锁等互斥所固有问题的协议。 互斥信号量状态图 互斥信号量状态图 开启 锁定 初始化 值为1 申请并获得 值为0 释放 值为1 申请(递归)并获得 锁定数加1 释放(递归) 锁定数减1 互斥信号量 所有权：当一个任务通过获取互斥信号量而将其锁定时，得到该互斥信号量的所有权。相反，当一个任务释放信号量时，失去对其的所有权。 当一个任务拥有互斥信号量时，其他的任务不能再锁定或释放它，即任务要释放互斥信号量，必须事前先获取该信号量。 Task1 RoutineA RoutineB 互斥信号量 嵌套（递归）资源访问 如果Task1调用RoutineA，而RoutineA又调用RoutineB，并且三者访问相同的共享资源，就发生了递归共享资源的访问同步问题。 一个递归的互斥信号量允许嵌套锁定互斥信号量，而不引起死锁。 互斥信号量 嵌套（递归）资源访问 每个获取信号量的调用必须与释放信号量的调用相匹配。当最外层的获取信号量的调用与释放信号量的调用匹配时，该信号量才允许被其它任务访问。 用于同步的信号量不支持嵌套访问，任务如果对同步信号量使用上述操作是错误的，任务会被永久阻塞，并且阻塞条件永远不会解除。 互斥信号量 删除安全： 在一个受信号量保护的临界区，经常需要保护在临界区执行的任务不会被意外地删除。 删除一个在临界区执行的任务可能引起意想不到的后果，造成保护资源的信号量不可用，可能导