随着计算机与信息技术的快速发展,实时嵌入式系统在人们的现实生活中得到了广泛的应用。在现有的嵌入式系统设计中,通常采用相应的任务模型对系统进行抽象。相对于大部分已有的任务模型,由于同步反应模型允许不同任务间相互通信,因而受到了越来越多的关注。但在同步反应模型中,由于零时语义的存在,可能会导致系统出现数据丢失、读数据出错等现象。针对这一问题,研究者提出了一些缓冲协议,利用缓冲来保存相应的数据,进而达到语义保护的目的。在缓冲协议中,缓冲的使用需要消耗大量的内存,由于嵌入式系统中内存的限制,因此对缓冲使用优化的研究显得至关重要。研究表明,决定任务集缓冲使用效果的因素有两个:首先是缓冲协议,即任务集如何使用缓冲进行语义保护;其次是任务集中任务的相互优先级关系。但是已有的固定优先级分配算法在进行优先级分配时,缺乏对任务之间相互优先级关系的考虑。为了解决上述问题,本文首先研究了同步反应模型中不同的缓冲协议,如单独读任务缓冲协议和动态缓冲协议。其次,本文结合任务调度的相关理论,提出一种更加可靠的缓冲计算方法。该方法能够更加精确地计算缓冲使用的数量,避免因传统缓冲协议对任务调度分析的不足而引起的缓冲浪费。通过对同步反应模型中动态缓冲协议的研究,发现了优先级不同的读任务在缓冲使用方面存在着很大的差异,同时分析了任务之间优先级关系对任务集缓冲使用的影响,并给出相应的优化策略。最后根据所提出的优化策略,提出一种启发式写任务优先的优先级分配算法。该算法主要考虑了任务之间的相互关系和相对优先级等因素,同时按照一定的规则对任务赋优先级。本文最后对该算法进行了正确性分析和规则证明。通过大量的实验数据表明,本文提出的算法显著改善了任务集缓冲使用的个数。