Memory address collision detection of ordered parallel threads with bloom filters
AssigneeIntel Corporation
InventorsEnrique De Lucas, Pedro Marcuello, Oren Ben-Kiki, Ilan Pardo, Yuval Yosef
Life of this patent
Estimating the term…
Abstract
A semiconductor chip is described having a load collision detection circuit comprising a first bloom filter circuit. The semiconductor chip has a store collision detection circuit comprising a second bloom filter circuit. The semiconductor chip has one or more processing units capable of executing ordered parallel threads coupled to the load collision detection circuit and the store collision detection circuit. The load collision detection circuit and the store collision detection circuit is to detect younger stores for load operations of said threads and younger loads for store operations of said threads.
Claims4
A semiconductor chip comprising:
- first and second inputs to respectively receive an address of a load operation and a store operation of an accessing thread and said accessing thread's order number;
- a load bloom filter circuit coupled to said first input to receive the address of the load operation and a store bloom filter circuit coupled to said second input to receive the address of the store operation, the load bloom filter circuit and the store bloom filter circuit each having storage locations that individually identify whether they have been previously accessed and provide an order number of a previous accessing thread if so;
- and
- a circuit to:
- for the store operation, record the address of the store operation in a storage location of the store bloom filter circuit and present the address of the store operation to the load bloom filter circuit to determine if any younger thread performed a load from the address, and
- for the load operation, record the address of the load operation in a storage location of the load bloom filter circuit and present the address of the load operation to the store bloom filter circuit to determine if any younger thread performed a store to the address.
Dependencies are inferred from the claim text.