一种实时分区操作系统的多余度同步调度方法.docxVIP

一种实时分区操作系统的多余度同步调度方法 摘要： 实时分区操作系统是一种常用的操作系统类型，其可优化实时应用程序的性能。然而，多余度同步是在实时分区操作系统中优化性能的重要因素之一。本文介绍了实时分区操作系统的多余度同步调度方法，主要分为静态和动态两种方法。静态方法在系统内的多余度上没有变化，如在周期性任务中进行统计，并根据任务字符集的交错进行调度。而动态方法则是根据系统在运行时的多余度变化进行调度，在多余度较高时增加周期性任务的执行频率，以提高任务响应速度。本文还介绍了时间窗口算法、分析可通过性和实现方面的问题。 引言： 随着实时应用程序的广泛应用，实时分区操作系统也逐渐成为一种常用的操作系统类型。实时分区操作系统通过使用分区技术，将内存空间划分为多个区域，以优化实时应用程序的性能。在实时操作环境中，操作系统需要保证在硬实时条件下及时响应应用程序的要求，保持高效性和可靠性。可靠性的保证通常可以通过多余设计技术来实现，例如使用多余运算、数据备份等技术。然而，多余度同步是在实时分区操作系统中优化性能的重要因素之一。 实时分区操作系统中的多余度同步调度方法主要有两种：静态方法和动态方法。静态方法通过在系统内固定多余度上进行统计，并根据任务字符集的交错进行调度。动态方法则是在系统多余度变化时进行相应的调度，随着多余度的增加，增加周期性任务的执行频率，以提高任务响应速度。本文将分别对这两种方法进行详细介绍，并讨论时间窗口算法、分析可行性及与实现方面的问题。 静态方法： 静态方法最初是由 Dohi[1]在 1986 年提出的。其基本思想是通过在系统内固定的多余度上进行统计，并根据任务字符集的交错进行调度。为了 使系统具有较好的实时性能，方法采用了具有周期性的任务，并且具有许多不同的重要度，从最高到最低。因此，该方法能够保证在任何给定时刻，系统实时响应最高优先级的任务。 该方法使用一个优先级队列来动态适应实时系统的执行。队列是根据任务的重要度和执行时刻的交错相应构建的。在队列中，最高优先级的任务始终被放置在队列的前端，而在分区内的任务是根据他们的重要程度 根据他们的排名来放置的。当某个任务死去后，其他任务将被推到前端，以等待执行。基于这种方法，系统性能可以达到一定的提升，但具有静态的缺点，即不便于系统多余度的变化。 动态方法： 动态方法是在系统的多余度变化时相应地进行调度，在多余度较高时增加周期性任务的执行频率，以提高任务响应速度。很多研究人员已提出多种基于多余度同步的动态调度方法，例如基于周期性任务、基于优先级类别和基于多级中断等方法。下面将主要介绍基于周期性任务的动态方法。 基于周期性任务的方法是由 Curry[2]在 1991 年提出的。其基本思想是为周期性任务在各个时间片中分配任务最小化总定时策略调和平均负载。该算法使用任务周期性目标 函数来调度周期性任务，以实现负载平衡和系统的最小时间。其主要实现步骤如下： 计算周期性任务的运行时间; 对周期性任务进行排列; 分配任务的开始时间; 更新剩余的多余度。 按照这种方式计算每个周期性任务的最小可保障浮点运行时间，以确保最小化整个系统的执行时间和最大化周期性任务的执行次数。该算 法已经被广泛使用，但是由于其难以处理多种互相关联的任务和资源分配问题，在实现上存在一定的困难。 时间窗口算法： 时间窗口算法是设计实时嵌入式系统时使用的一种流程。它基于角色来划分系统，并将任务分类为周期性和非周期性任务。该方法使用一个称为任务优先级表的数据结构来排序和管理不同优先级的任务。该表将任务排列在不同的队列中，并基于多个时间窗口为任务添加多余度。窗口大小根据经验公式计算，并基于不同的任务划分。 根据该算法，任务优先级被定义为任务的重要性和系统单位时间相应的满足条件程度的指标。更高的优先级意味着任务更重要。该算法已被高度评价，在不同的实时嵌入式系统中得到广泛应用，但是在实践中需要考虑任务划分的问题，以确保算法的可行性和正确性。 分析可通过性： 实时分区操作系统的设计必须首先考虑系统的可通过性，并在设计算法时借鉴现有的可通过性分析方法和技术。可通过性分析是指对系统 的关键任务进行测试和验证，并确定系统是否满足硬实时和软实时要求。在实时分区操作系统中，可通过性分析需要考虑所分配的资源、时间和 执行过程中的东西。 在分析过程中，一些错误或假设可能导致系统失败，因此，应该尽可能地减少这些问题。到目前为止，可通过性分析的方法主要是基于模拟，即使用模拟时间来测试系统的可通过性。因此，理论分析对实际实现也起着重要的作用。 实现方面的问题： 在设计实时分区操作系统时，需要考虑以下实现方面的问题： И多余度的确定。必须尽可能准确地定义和计算系统的多余度; 分配优先级。对于具有不同的重要性和执行规则的任务，应分配适当的优先级。