DISTRIBUTING COMPUTING SYSTEM IMPLEMENTING A NON-SPECULATIVE HARDWARE TRANSACTIONAL MEMORY AND A METHOD FOR USING SAME FOR DISTRIBUTED COMPUTING

摘要

A distributed computation system comprising computation units and memory shared between computation units, comprises a hardware module for detecting conflicts of access of computation units to shared memory; each hardware module for detecting conflicts configured to: store a probabilistic data structure, indicative of the addresses of shared memory involved in the current transactions; receive at least one message indicative of request for access, by one computation unit to an address of shared memory; determine, from a probabilistic data structure, whether the address is already involved in a current transaction, and transmit a message indicating presence or absence of access conflicts; receive a message indicative or confirmative of reservation or releasing of an address of shared memory, and update the probabilistic data structure for the reserved addresses and the released addresses to be considered, as being/not being involved in a current transaction. A method for using the system is provided.

主权项

1. A distributed computation system comprising a plurality of computation units and at least one shared memory shared between said computation units, also comprising at least one hardware module for detecting conflicts of access of said computation units to said shared memory; wherein said or each said hardware module for detecting conflicts comprises:
at least one hardware Bloom filter configured for temporarily storing a first probabilistic data structure, indicative of at least one address of said shared memory for which an access request has been received; at least one second hardware Bloom filter, of the counting type, configured for storing a second probabilistic data structure, indicative of all the addresses of said shared memory involved in all the transactions already in progress; at least one hash function module configured for addressing said first and second Bloom filters; and a logic circuit configured to:
receive a message indicative of a request for access, by one said computation unit, to at least one address of said shared memory; update the first probabilistic data structure stored in the first hardware Bloom filter for it to be indicative of said address; determine, from the probabilistic data structures stored in said first and second Bloom filters, whether said address is already involved in a current transaction; generate and transmit to said computation unit a message indicating presence or absence of access conflicts; and toreceive at least one message indicative or confirmative of a reservation or of a releasing of at least one said address of said shared memory, and update said second probabilistic data structure stored in the second hardware Bloom filter for the reserved addresses and the released addresses to be considered, respectively, as being/not being involved in a current transaction.