嵌入式软件开发技术和工具 chp6 行为同步.pptVIP

第6章 行为同步 mabo124@ 2009-2-7 6.1 用于行为同步的通信手段 6.2 行为同步 行为同步 一个任务的运行过程需要和其他任务的运行配合，才能得到预定的效果。任务之间的这种动作配合和协调关系称为“行为同步”。 行为同步的结果体现为任务之间的运行按某种预定的顺序来进行，故又称为“顺序控制”。 特点 在一次同步的过程中，其中一个任务（或ISR）为“控制方”，它使用OS提供的某种通信手段发出控制信息；另一个任务为“被控制方”，它通过通信手段得到控制信息后即进入就绪状态，根据优先级高低，或者立即进入运行状态，或者随后某个时刻进入运行状态。 被控制方的运行状态受到控制方发出的信息的控制，即被控制方的运行状态由控制方发出的信息来“同步”。 用于行为同步的通信方式 二值信号量 计数信号量 事件标志组 消息邮箱 消息队列 一个简单的信号量 小 结 当同步信号不需要传输具体内容时,可选择信号量手段 当同步过程需要传输具体内容时,可选择消息类手段 当满足”任何时候同步信息的生产速度都比同步信息的消费速度慢”时,可选择简单的通信手段 ISR与任务之间的同步 两个任务之间的单向同步 任务之间的双向同步 多个任务相互同步 “逻辑或”的同步控制 * * 内容 系统中的多个任务在运行时，经常需要互相无冲突地访问同一个共享资源，或者需要互相支持和依赖，甚至有时还要互相加以必要的限制和制约，才保证任务的顺利运行。因此，操作系统必须具有对任务的运行进行协调的能力，从而使任务之间可以无冲突、流畅地同步运行，而不致导致灾难性的后果。 与人们依靠通信来互相沟通，从而使人际关系和谐、工作顺利的做法一样，计算机系统是依靠任务之间的良好通信来保证任务与任务的同步的。 例如，两个任务：任务A和任务B，它们需要通过访问同一个数据缓冲区合作完成一项工作，任务A负责向缓冲区写入数据，任务B负责从缓冲区读取该数据。显然，当任务A还未向缓冲区写入数据时（缓冲区为空时），任务B因不能从缓冲区得到有效数据而应该处于等待状态，只有等任务A向缓冲区写入了数据之后，才应该通知任务B去取数据。 例如，任务A和任务B共享一台打印机，如果系统已经把打印机分配给了任务A，则任务B因不能获得打印机的使用权而应该处于等待状态，只有当任务A把打印机释放后，系统才能唤醒任务B使其获得打印机的使用权。如果这两个任务不这样做，那么也会造成极大的混乱 。 总之，多个任务共享同一资源或有工作顺序要求时，在正式工作之前要互相打招呼 。 黄宏：别走啊！ 宋丹丹：我自己的腿，我爱走就走，你管不着！ 黄宏：腿是你自己的，但手是咱俩的呀！ 事件 任务间的同步依赖于任务间的通信。在μC/OS-II中，是使用信号量、邮箱（消息邮箱）和消息队列这些被称作事件的中间环节来实现任务之间的通信的。 宋丹丹 黄宏 1/0 收信方 发信方 共享资源 收信方 发信方 共享资源 1→0 信号量 先请求信号量 后请求信号量 任务1先获得信号量并使用共享资源， 而任务2只能等待信号量 收信方 发信方 共享资源 0→1→0 信号量 发送信号量 请求信号量 任务1释放信号量后，任务2可获得 信号量并使用共享资源 信号量及其操作 在使用信号量之前，应用程序必须调用函数OSSemCreate( )来创建一个信号量，OSSemCreate( )的原型为： ? OS_EVENT *OSSemCreate ( INT16U cnt //信号量计数器初值 )； ? 函数的返回值为已创建的信号量的指针。 任务通过调用函数OSSemPend( )请求信号量，函数OSSemPend( )的原型如下： ? void OSSemPend ( OS_EVENT *pevent, //信号量的指针 INT16U timeout, //等待时限 INT8U *err)； //错误信息 ? 参数pevent是被请求信号量的指针。 为防止任务因得不到信号量而处于长期的等待状态，函数OSSemPend允许用参数timeout设置一个等待时间的限制，当任务等待的时间超过timeout时可以结束等待状态而进入就绪状态。如果参数timeout被设置为0，则表明任务的等待时间为无限长。 任务获得信号量，并在访问共享资源结束以后，必须要释放信号量，释放信号量也叫做发送信号量，发送信号量需调用函数OSSemPost ( )。OSSemPost ( )函数在对信号量的计数器操作之前，首先要检查是否还有等待该信号量的任务。如果没有，就把信号量计数器OSEventCnt加一；如果有，则调用调度器OS_Sched( )去运行等待任务中优先级别最高的任务。 函数OSSemPost ( )的原型为： ? INT8U