[发明专利]一种多中断嵌入式程序的高可靠性设计方法

权利要求书

1.一种多中断嵌入式程序的高可靠性设计方法，其特征在于通过解决多中断嵌入式程序中的异步随机访问冲突，防止程序运行结果的不确定性，提高程序设计可靠性；

解决多中断嵌入式程序中的异步随机访问冲突通过下述方式实现：

首先识别多中断嵌入式程序的临界区；

然后，在同一时刻避免多个处理角色同时访问临界区的原则，对临界区进行访问控制；所述的处理角色包括中断处理程序和主程序两种类型；

所述的临界区可以通过如下步骤确定：

步骤1，搜索多中断嵌入式程序中所涉及到的所有全局变量、硬件接口，将搜索的结果作为公共资源；

步骤2，将步骤1中的所有公共资源按照下述定义分为三类：

第一类，所有处理角色均只对其进行读操作；

第二类，只有一个处理角色对其进行写操作，其他处理角色仅仅对进行读操作；

第三类，多于一个处理角色对其进行写操作；

步骤3，对于第一类资源，无临界区定义；

对于第二类资源，当读取公共资源作为条件、并用于是否进行后续操作判断时，需要将读取部分和后续操作部分同时作为临界区，其中用于判断的公共资源定义为该临界区的焦点资源；

对于第三类资源，在更改公共资源的时候需要将写操作的全部过程作为临界区，其中用于判断的公共资源定义为该临界区的焦点资源；

所述的对临界区的访问控制包括以下步骤：

步骤(1)，比较需要关闭的中断集合Sm和当前已经关闭的中断集合Sc之间的差异；

步骤(2)，求集合差∑＝Sm-Sc，在进入临界区前，关闭集合∑中所有中断；

步骤(3)，进入临界区，访问临界区，退出临界区；

步骤(4)，打开步骤(2)中集合∑中所定义的所有中断。

2.根据权利要求1所述的方法，其特征在于，步骤3中对第二类资源中的所述的当读取公共资源作为条件、并用于是否进行后续操作判断时，其中的条件包括单独条件判断分支和循环退出条件两种类型。

3.根据权利要求1所述的方法，其特征在于：所述的Sm包括所有对临界区所对应的焦点资源进行更改操作的中断。