公开(公告)号：EP0514024A3

公开(公告)日：1994-05-04

申请号：EP92303551.3

申请日：1992-04-21

申请人： SUN MICROSYSTEMS, INC.

发明人： Frailong, Jean-Marc ,  Sindhu, Pradeep ,  Cekleov, Michel ,  Powell, Michael ,  Jenson, Eric

IPC分类号： G06F9/38

CPC分类号： G06F9/3004 ,  G06F9/30054 ,  G06F9/30079 ,  G06F9/30087 ,  G06F9/3834 ,  G06F12/0833

摘要： An improved memory model and implementation is disclosed. The memory model includes a Total Store Ordering (TSO) and Partial Store Ordering (PSO) memory model to provide a partial order for the memory operations which are issued by multiple processors. The TSO memory model includes a FIFO Store Buffer for Store, and Atomic Load-Store operations. The Load operations are not placed in the FIFO Store Buffer. The Load operation checks for a value stored in the same location in the FIFO Store Buffer; if no such value is found, then requested value is returned from memory. The PSO model also includes a Store Buffer for Store, and Atomic Load-Store operations. However, unlike the TSO model, the Store Buffer in the PSO model is not FIFO. The processors in the PSO model may issue the Store and Atomic Load-Store in a certain order; however, such operations may be executed by memory out of the order issued by the processors. The execution order is assured only by address matching and the STBAR operation. Two Store operations separated by a STBAR operations guarantees memory will execute the operations in an order issued by the processors. Load operations in the PSO model are not placed in the Store Buffer. The Load operation first checks for a value stored in the same location in the Store Buffer; if no such value is found, then the requested value is returned from memory.

摘要翻译： 公开了改进的存储器模型和实现。 存储器模型包括总存储订购（TSO）和部分存储订购（PSO）存储器模型，以提供由多个处理器发出的存储器操作的部分订单。 TSO存储器模型包括用于存储的FIFO存储缓冲区和原子加载存储操作。 加载操作不在FIFO存储缓冲区中。 加载操作检查存储在FIFO存储缓冲区中相同位置的值; 如果没有找到这样的值，则从存储器返回所请求的值。 PSO模型还包括一个Store Store for Store和Atomic Load-Store操作。 但是，与TSO模型不同，PSO模型中的存储缓冲区不是FIFO。 PSO模型中的处理器可以按照特定顺序发布Store和Atomic Load-Store; 然而，这些操作可能会由处理器发出的命令执行。 执行顺序仅通过地址匹配和STBAR操作来保证。 由STBAR操作分隔的两个存储操作保证存储器将按照处理器发出的顺序执行操作。 PSO模型中的加载操作未放置在存储缓冲区中。 加载操作首先检查存储在存储缓冲区中相同位置的值; 如果没有找到这样的值，则从存储器返回所请求的值。

公开(公告)号：EP0514024A2

公开(公告)日：1992-11-19

申请号：EP92303551.3

申请日：1992-04-21

申请人： SUN MICROSYSTEMS, INC.

发明人： Frailong, Jean-Marc ,  Sindhu, Pradeep ,  Cekleov, Michel ,  Powell, Michael ,  Jenson, Eric

IPC分类号： G06F9/38

CPC分类号： G06F9/3004 ,  G06F9/30054 ,  G06F9/30079 ,  G06F9/30087 ,  G06F9/3834 ,  G06F12/0833

摘要： An improved memory model and implementation is disclosed. The memory model includes a Total Store Ordering (TSO) and Partial Store Ordering (PSO) memory model to provide a partial order for the memory operations which are issued by multiple processors. The TSO memory model includes a FIFO Store Buffer for Store, and Atomic Load-Store operations. The Load operations are not placed in the FIFO Store Buffer. The Load operation checks for a value stored in the same location in the FIFO Store Buffer; if no such value is found, then requested value is returned from memory. The PSO model also includes a Store Buffer for Store, and Atomic Load-Store operations. However, unlike the TSO model, the Store Buffer in the PSO model is not FIFO. The processors in the PSO model may issue the Store and Atomic Load-Store in a certain order; however, such operations may be executed by memory out of the order issued by the processors. The execution order is assured only by address matching and the STBAR operation. Two Store operations separated by a STBAR operations guarantees memory will execute the operations in an order issued by the processors. Load operations in the PSO model are not placed in the Store Buffer. The Load operation first checks for a value stored in the same location in the Store Buffer; if no such value is found, then the requested value is returned from memory.

摘要翻译： 公开了一种改进的存储器模型和实现。 存储器模型包括总存储订单（TSO）和部分存储订购（PSO）存储器模型，以提供由多个处理器发出的存储器操作的部分顺序。 TSO存储器模型包括用于存储的FIFO存储缓冲区和Atomic Load-Store操作。 加载操作不放在FIFO存储缓冲区中。 加载操作检查存储在FIFO存储缓冲区中相同位置的值; 如果没有找到这样的值，则从内存返回请求的值。 PSO模型还包括Store Store for Store和Atomic Load-Store操作。 然而，与TSO模型不同，PSO模型中的存储缓冲区不是FIFO。 PSO模型中的处理器可以按照一定的顺序发布Store和Atomic Load-Store; 然而，这些操作可以由处理器发出的顺序由存储器执行。 只有通过地址匹配和STBAR操作来确保执行顺序。 由STBAR操作分开的两个存储操作保证存储器将按照处理器发出的顺序执行操作。 PSO模型中的加载操作不会放置在存储缓冲区中。 加载操作首先检查存储在存储缓冲区中相同位置的值; 如果没有找到这样的值，则从内存中返回所请求的值。

公开(公告)号：EP0514024B1

公开(公告)日：2000-06-28

申请号：EP92303551.3

申请日：1992-04-21

申请人： SUN MICROSYSTEMS, INC.

发明人： Frailong, Jean-Marc ,  Sindhu, Pradeep ,  Cekleov, Michel ,  Powell, Michael ,  Jenson, Eric

IPC分类号： G06F9/38

CPC分类号： G06F9/3004 ,  G06F9/30054 ,  G06F9/30079 ,  G06F9/30087 ,  G06F9/3834 ,  G06F12/0833