Cache-coherent multiprocessor system and a method for detecting failures in a cache-coherent multiprocessor system

A method for detecting failures in a cache-coherent multiprocessor system comprising:

• a first processing unit and a second processing unit,
• a shared memory resource accessible by the first processing unit and the second processing unit, the shared memory resource being divided into a shared region, a first region assigned to the first processing unit, and a second region assigned to the second processing unit,
• a first cache related to the first processing unit,
• a second cache related to the second processing unit,
• a coherency unit, and
• a monitor unit,
• said method comprising:
• securing, by the coherency unit, the cache-coherency of the cache-coherent multiprocessor system,
• determining, by the coherency unit, that a first copy of data stored in the first cache is altered,
• updating, by the coherency unit, an original copy of the data stored in the shared region to match the altered first copy of data in response to the first copy being altered,
• updating, by the coherency unit, a second copy of the data stored in the second cache to match the altered first copy of data and the updated original copy of the data in response to the first copy being altered, and
• generating, by the monitor unit, an error signal, when the coherency unit affects the first region due to a memory access from the second processing unit and when the coherency unit affects the second region due to a memory access from the first processing unit.

A non-transitory, tangible computer-readable storage medium having stored thereon a computer program for detecting failures in a cache-coherent multiprocessor system comprising:

• a first processing unit and a second processing unit,
• a shared memory resource accessible by the first processing unit and the second processing unit, the shared memory resource being divided into a shared region, a first region assigned to the first processing unit, and a second region assigned to the second processing unit,
• a first cache related to the first processing unit,
• a second cache related to the second processing unit,
• a coherency unit, and
• a monitor unit,
• the computer program comprising a set of instructions, which, when executed, cause the cache-coherent multiprocessor system to perform the method comprising:
• securing, by the coherency unit, the cache-coherency of the cache-coherent multiprocessor system,
• determining, by the coherency unit, that a first copy of the at least one shared region stored in the first cache is altered,
• updating, by the coherency unit, an original copy of the data stored in the shared region to match the altered first copy of data in response to the first copy being altered,
• updating, by the coherency unit, a second copy of the data stored in the second cache to match the altered first copy of data and the updated original copy of the data in response to the first copy being altered, and
• generating, by the monitor unit, an error signal, when the coherency unit affects the first region due to a memory access from the second processing unit and when the coherency unit affects the second region due to a memory access from the first processing unit.