多处理器计算系统中的存储器一致性保护技术方案

描述了一种在多处理器计算机系统（１００）中保护存储器一致性的方法和设备，具体涉及诸如动态二进制翻译的程序代码变换。示例性多处理器计算系统（１０）设置有存储器（１８）和多个处理器（１３ａ，１３ｂ）以及控制器单元／翻译器单元（１９），被设置为将主题代码（１７）变换为可在多个处理器（１３ａ，１３ｂ）上执行的至少第一和第二目标代码部分（２１ａ，２１ｂ）。控制器单元／翻译单元（１９）包括：地址空间分配单元（１９６），其提供多个虚拟地址空间区域（１８１），并且引导目标代码部分（２１ａ，２１ｂ）使其由此访问存储器（１８）；共享存储器检测单元（１９７），其检测访问可由两个目标代码部分（２１ａ，２１ｂ）访问的共享存储器区域（１８２），和识别访问共享存储器区域（１８２）的第一目标代码部分（２１ａ）中的至少一个指令组（２１１）；以及存储器保护单元（１９８），其选择性地与所识别的指令组（２１１）对共享存储器区域（１８２）的访问相关地应用存储器一致性保护。在一个示例性实施例中，至少第一代码部分（２１ａ）是在第一存储器一致性模型下执行的。检测明确或隐含的存储器（１８２），并且包含访问共享存储器区域（１８２）的指令的第一代码部分（２１ａ）中的块（２１１）服从存储器一致性保护，以便当访问检测的共享存储器区域（１８２）时在第二存储器一致性模型下执行。

【技术实现步骤摘要】
【国外来华专利技术】
本专利技术一般地涉及计算机和计算机系统的领域。更具体地讲，本 专利技术涉及多处理器计算系统中的存储器一致性的保护。
技术介绍
对于高功率计算系统的现代需要已导致了具有两个、四个、八个或更多独立处理器的多处理器计算机架构的发展。这样的多处理器系 统能够同时执行程序代码的多个部分(即同时执行多个处理和/或多个 处理线程)。存在程序代码的执行部分之间共享数据的若千不同的机制，包括例如进程间通信(IPC)的消息传递。然而，大多数现代多处理器计算系统也支持由运行在独立的处理器上的两个或更多程序代码部分可访问的共享存储器的使用。使得共享存储器中存储的数据的任何改变以按顺序的和同步的方式对于多个代码部分中的每一个可见是重要的。因此，每一个不同 类型的多处理器系统具有其自己相应的存储器一致性模型，其指定存 储器操作(尤其是涉及载入、存储和原子操作)的语义，以便限定使 共享存储器的改变对于多个处理器中的每一个可见的方式。多处理器 系统中的程序代码和硬件都应跟随存储器一致性模型，以便实现正确 的操作。相反，存储器一致性失败可导致系统的致命崩溃。于1995年9月，作为Rice University EC本文档来自技高网...

【技术保护点】
一种多处理器计算系统，包括：　存储器，具有存储于其中的多个目标代码部分，包括至少第一目标代码部分和第二目标代码部分；　多个处理器，被设置为执行存储在存储器中的多个目标代码部分；以及　控制器单元，被设置为控制多个处理器对多个 目标代码部分的执行，其中控制器单元包括：　地址空间分配单元，被设置为将用于对存储器寻址的虚拟地址空间分割为多个虚拟地址空间区域，并且控制多个目标代码部分的执行，以便最初根据第一存储器一致性模型通过多个虚拟地址空间区域访问存储器；　 　共享存储器检测单元，被配置为检测在执行相对于存储器中的共享存储器区域的第一目标代码部分时进...

【技术特征摘要】
【国外来华专利技术】...

【专利技术属性】
技术研发人员：M豪森，吉斯利丹科尔，G诺斯，加文巴勒克拉夫，
申请(专利权)人：可递有限公司，
类型：发明
国别省市：GB[英国]