[发明专利]依DMB操作用加载/存储操作实施加载撷取/存储释放指令

说明书

提供用于将精简指令集运算(RISC)中使用的加载撷取与存储释放语意简化的系统及方法。将该语意转译成用于实施复杂机器指令的微操作、或低阶指令，可避免必须实施复杂的新存储器操作。当数据存储器屏障确保居前指令是在执行后续指令之前先进行及完成时，搭配加载与存储操作使用一或多个数据存储器的屏障操作可提供充分定序。

技术领域

本揭露关于运算环境中的存储器操作定序(memory operation ordering)。

背景技术

在无锁定运算中，有两种可供线程(threads)操纵共享存储器的方式，这两种方式可互相竞争资源，或可采协同方式将信息自一条线程传递至另一线程。撷取与释放语意用于达成采协同方式将信息自一条线程传递至另一线程。撷取与释放语意提供用于确保将存储器操作正确定序以避免错误的结构化系统。存储释放(store release)指令确保所有在前的指令都已完成，而加载撷取(load acquire)指令确保所有在后的指令都将只在其完成之后才会完成。为了适当地使用撷取与释放语意将存储器操作定序，存储释放与加载撷取指令的复杂组合是必要的。

发明内容

本文中所揭示的是用于将精简指令集运算(reduced instruction setcomputing；RISC)中使用的加载撷取与存储释放语意简化的系统及方法。具体实施例是用来就本文中所揭示的指令将存储器操作定序。典型的带撷取指令的加载仅要求带撷取的加载之后的存储器操作是在带撷取的加载之后才予以定序，带撷取的加载之前未先对该指令施加任何定序(两者是关于带撷取的加载及关于后续指令)。在一具体实施例中，带撷取的加载包含搭配加载操作所使用的数据存储器屏障，其保证在自该带撷取的加载后的指令进行的所有存取之前，先将该带撷取的加载前且包括该带撷取的加载的所有存取全部定序。

类似的是，传统的带释放指令的存储在自带释放的存储进行的存取与所有居前指令(但非后续指令)的存取之间施加定序。然而，在一具体实施例中，带释放的存储开始时的数据存储器屏障在居前存取与带释放的存储相关联存取之间提供强式定序。

在一具体实施例中，一种系统包含执行计算机可执行指令以进行操作的处理器。该指令可包括进行存储器操作定序的带撷取指令的加载，其中，该带撷取指令的加载包含加载操作，后面跟着数据存储器的屏障操作。

在另一具体实施例中，一种方法包含在处理器中执行指令。该方法可包括用于进行存储器操作定序的带撷取指令的加载，其中，执行该带撷取指令的加载包含执行加载操作，后面跟着数据存储器的屏障操作。

在一具体实施例中，一种系统包含执行计算机可执行指令以进行操作的处理器。该指令可包括进行存储器操作定序的带释放指令的存储，其中，该带释放指令的存储包含第一数据存储器的屏障操作，后面跟着存储操作，后面跟着第二数据存储器的屏障操作。

在一具体实施例中，一种方法包含在处理器中执行指令。该方法可包括用于进行存储器操作定序的带释放指令的存储，其中，执行该带释放指令的存储包含执行第一数据存储器的屏障操作，后面跟着执行存储操作，后面跟着执行第二数据存储器的屏障操作。

附图说明

图1为一方块图，其根据本文所述的各项态样绘示筛选存储器操作的系统的一具体实施例。

图2为一方块图，其根据本文所述的各项态样绘示筛选存储器操作的系统的一具体实施例。

图3为一方块图，其根据本文所述的各项态样绘示筛选存储器操作的系统的一具体实施例。

图4为一方块图，其根据本文所述的各项态样绘示筛选存储器操作的系统的一具体实施例。

图5绘示用于执行带撷取指令的加载的方法的一具体实施例的流程图。

图6绘示用于执行带释放指令的存储的方法的一具体实施例的流程图。