[发明专利]支持多处理系统中的可重新配置同步的架构和服务

权利要求书

1.一种多处理器系统中的同步方法，所述方法包括：

提供多个同步机制作为库服务，用于使供可在一个或多个处理器核心上执行的多个并行可执行任务访问的数据同步；

对包括所述并行可执行任务的应用软件的设计信息和运行时间信息进行分析；

基于所述分析标识出访问共享变量的并行可执行任务的软件体系结构模式；

基于所述分析将所述软件体系结构模式中的每一个与所述同步机制中的一个或多个相关联；

生成同步表的同步表表项，其标识出所述共享变量、所述并行可执行任务用于访问所述共享变量的软件体系结构模式，以及与所述软件体系结构模式相关联的所述一个或多个同步机制；以及

使用在所述同步表中标识用于访问所述共享变量的所述一个或多个同步机制来访问所述共享变量；

其中访问所述共享变量包括：

在所述同步表中定位所述共享变量；

在所述同步表中标识出分配给所述共享变量的所述一个或多个同步机制；

等待直到授权访问所述共享变量；

通过调用分配的一个或多个同步机制来保护所述共享变量中的数据；

根据所述分配的一个或多个同步机制来调整任务执行；以及

在完成对所述共享变量的访问后释放对所述共享变量的数据保护。

2.如权利要求1所述的方法，其中：

所述同步表包括同步类型表和同步管理表；

所述同步类型表记录所述共享变量的标识符以及关于访问所述共享变量的所述任务的软件体系结构模式的信息；并且

所述同步管理表记录所述同步类型表中记录的共享数据集的标识符、用于控制对所述共享变量的访问的所述同步机制、以及用于管理所述同步机制的实施的附加管理信息。

3.如权利要求2所述的方法，其中所述同步类型表包括针对每个共享变量的数据记录，并且其中每个记录都包括：

所述共享变量之一的所述标识符；

为一个共享变量提供数据的可执行提供程序函数的所述标识；

调度所述可执行提供程序函数的任务的标识符；

使用来自所述一个共享变量的数据的可执行使用程序函数的标识；

调度所述可执行使用程序函数的任务的标识符；以及

关于调度所述可执行提供程序函数的所述任务和调度所述可执行使用程序函数的所述任务是否由同一个处理器核心执行的指示。

4.如权利要求2所述的方法，其中关于访问共享变量的任务的所述软件体系结构模式的信息通过对所述任务的静态依赖性分析而确定。

5.如权利要求2所述的方法，其中所述同步管理表包括针对每个共享变量的数据记录，其中每个记录都包括：

用于分配给调度为所述共享变量提供数据的可执行函数的任务的所述同步机制的标识符；

用于分配给使用来自所述共享变量的数据的可执行函数的任务的所述同步机制的标识符；以及

可以用于限制可能并行活动的同步机制的数量的抢占上限计数。