[发明专利]无消歧乱序加载存储队列

说明书

本申请涉及无消歧乱序加载存储队列。在处理器中，一种无消歧乱序加载存储队列方法。该方法包括：实现能够被多个异步核心访问的存储器资源；实现存储退出缓冲器，其中来自存储队列的存储具有按照原始程序顺序的存储退出缓冲器中的条目；在分派来自加载队列的后续加载时，在存储退出缓冲器中搜索地址匹配。该方法还包括：在其中存在多个地址匹配的情况下，通过针对第一匹配扫描存储退出缓冲器来定位正确的转发条目；以及将来自第一匹配的数据转发至后续加载。

本申请是申请日为2013年6月14日申请号为第201380043007.5号发明名称为“无消歧乱序加载存储队列”的中国专利申请的分案申请。

本申请要求2012年6月15日由Mohammad A.Abdallah提交的题为“ADISAMBIGUATION-FREE OUT OF ORDER LOAD STORE QUEUE”的共同待决共同转让的美国临时专利申请序号61/660,528的权益，并且该申请被整体地并入到本文中。

技术领域

本发明总体涉及数字计算机系统，更具体地涉及用于选择指令(包括指令序列)的系统和方法。

背景技术

要求处理器来处理相关或完全独立的多个任务。此类处理器的内部状态通常由在程序执行的每个特定时刻可能保持不同的值的寄存器组成。在程序执行的每个时刻，将内部状态图像称为处理器的架构状态。

当架构代码执行切换成运行另一功能(例如，另一线程、进程或程序)时，然后必须保存机器/处理器的状态，使得新功能可以利用内部寄存器以构建其新状态。一旦新功能已终止，则可以丢弃其状态，并且先前情境的状态将被恢复且该执行又继续。此类切换过程称为情境切换，并且通常包括10个或数百个循环，尤其是在采用大量寄存器(例如， 64、128、256)和/或乱序执行的现代架构的情况下。

在线程感知硬件架构中，硬件支持用于有限数目的硬件支持线程的多个情境状态是正常的。在这种情况下，硬件复制用于每个所支持线程的所有架构状态元素。这消除了在执行新线程时的情境切换的需要。然而，这仍具有多个缺点，即复制用于用硬件中所支持的每个附加线程的所有架构状态元素(即，寄存器)的面积、功率和复杂性。另外，如果软件线程的数目超过明确支持的硬件线程的数目，则仍必须执行情境切换。

这变得常见，因为在要求大量线程的细粒度基础上需要并行性。具有复制情境状态硬件存储的硬件线程感知架构无助于非线程软件代码，并且仅仅减少了用于被线程化的软件的情境切换的次数。然而，那些线程通常是针对粗粒并行性而构造的，并且导致用于发起和同步、离开细粒并行性的沉重软件开销，诸如函数调用和回路并行执行，而没有高效的线程化发起/自动生成。此类所述开销伴随着针对非明确/容易并行化/ 线程化软件代码而使用现有技术编译程序或用户并行化技术进行此类代码的自动并行化的困难。

发明内容

在一个实施例中，将本发明实现为一种无消歧乱序加载存储队列方法。该方法包括：实现能够被多个异步核心访问的存储器资源；实现存储退出缓冲器，其中来自存储队列的存储具有按照原始程序顺序的存储退出缓冲器中的条目；并且在分派来自加载队列的后续加载时，在存储退出缓冲器中搜索地址匹配。该方法还包括：在其中存在多个地址匹配的情况下，通过针对第一匹配扫描存储退出缓冲器来定位正确的转发条目；以及将来自第一匹配的数据转发至后续加载。

前述是概要且因此必要地包含细节的简化、一般化以及省略；因此，本领域的技术人员将认识到的是该概要仅仅是说明性的且并不意图以任何方式是限制性的。单独地由权利要求定义的本发明的其他方面、发明特征以及优点在下面阐述的非限制性详细描述中将变得显而易见。

附图说明

在附图中以示例的方式而不是以限制的方式举例说明本发明，并且在附图中相同的附图标记指示类似元件。

图1示出了根据本发明的一个实施例的加载队列和存储队列。