一种实现AUTOSAR中ExclusiveArea到OSResource映射的方法

摘要

本发明公开了一种实现AUTOSAR中ExclusiveArea到OSResource映射的方法通过摒弃了ExclusiveArea与OSResource一对一进行匹配的蛮力、低效的实现方案；将ExclusiveArea与OSResource抽象为一个二分图，利用最大匹配算法求两者之间的映射关系，代码高效；代码实现简单、高效，且完全符合AUTOSAR标准。

主权项

一种实现AUTOSAR中ExclusiveArea到OSResource映射的方法，其特征在于，包括如下步骤11)提取用户配置中关于临界区ExclusiveArea的信息，收集每个运行实体所持有的临界区ExclusiveArea信息，保存于一个列表中，如果不同的运行实体持有相同的临界区ExclusiveArea，则只在列表中保存一个；12)提取用户配置中关于运行实体的载体OSTask的信息，将每个运行实体的载体OSTask保存于另一个列表中；13)将两个列表中的每一个临界区ExclusiveArea与每一个运行实体的载体OSTask进行比较，如果运行实体的载体OSTask包含的某个运行实体持有此临界区ExclusiveArea，那么此运行实体的载体OSTask与此临界区ExclusiveArea相匹配，将运行实体的载体OSTask所持有的操作系统资源OSResource作为一个集合进行保存，将每一个匹配成功的运行实体的载体OSTask所对应的集合求一个交集，将交集中的操作系统资源OSResource与此临界区ExclusiveArea相关联，即构造二分图，在二分图中就将此临界区ExclusiveArea对应的节点与这些操作系统资源OSResource对应的节点相连接；14)步骤13)结束后，已经构成一个二分图，对此二分图使用最大匹配算法求最大匹配，如果最大匹配的值等于用户配置的临界区ExclusiveArea的数量，则用户配置成功，每个临界区ExclusiveArea分别对应于一个不同操作系统资源OSResource；否则说明用户配置不成功。