Method and system for maintaining consistency of a cache memory accessible by multiple independent processes

Abstract

The invention concerns a method and a system for maintaining consistency of a cache memory, accessible by multiple independent processes. The processes can share common data. The processes perform simultaneous data searching operations optionally followed by providing the data to the processes, a removal of same or an insertion of new data. The searching, removal and insertion operations, are comprehensively executed once they have been initiated by the independent processes. They are executed excluding one another when they must operate on common data. The removal or insertion operations are each completely reversible. In that context, the invention provides that the operations for providing, removing or inserting the data have a finite or bound duration of execution so as to prevent any locking. In particular, the insertion operation, which includes a step of releasing an input when a partition of the cache memory is full, if it requires browsing through the entire partition to make a selection, is however possibly interrupted if the maximum browsing time is reached. In that case, the most appropriate input, among the already browsed inputs, is released. The inputs of said partition are browsed exhaustively, which results from storing the last consulted address of the partition after each release.