Eugene S Rotter

US Patent:

20160092358, Mar 31, 2016

Filed:

Sep 1, 2015

Appl. No.:

14/841783

Inventors:

- Armonk NY, US
Jonathan T. Hsieh - Poughkeepsie NY, US
Matthew G. Pardini - Natick MA, US
Eugene S. Rotter - Wappingers Falls NY, US

International Classification:

G06F 12/08

Abstract:

Embodiments relate to cache coherency verification using ordered lists. An aspect includes maintaining a plurality of ordered lists, each ordered list corresponding to a respective thread that is executed by a processor, wherein each ordered list comprises a plurality of atoms, each atom corresponding to a respective operation performed in a cache by the respective thread that corresponds to the ordered list in which the atom is located, wherein the plurality of atoms in an ordered list are ordered based on program order. Another aspect includes determining a state of an atom in an ordered list of the plurality of ordered lists. Another aspect includes comparing the state of the atom in an ordered list to a state of an operation corresponding to the atom in the cache. Yet another aspect includes, based on the comparing, determining that there is a coherency violation in the cache.

US Patent:

20160092368, Mar 31, 2016

Filed:

Sep 30, 2014

Appl. No.:

14/502153

Inventors:

- Armonk NY, US
Jonathan T. Hsieh - Poughkeepsie NY, US
Matthew G. Pardini - Natick MA, US
Eugene S. Rotter - Wappingers Falls NY, US

International Classification:

G06F 12/08
G06F 3/06

Abstract:

Embodiments relate to cache coherency verification using ordered lists. An aspect includes maintaining a plurality of ordered lists, each ordered list corresponding to a respective thread that is executed by a processor, wherein each ordered list comprises a plurality of atoms, each atom corresponding to a respective operation performed in a cache by the respective thread that corresponds to the ordered list in which the atom is located, wherein the plurality of atoms in an ordered list are ordered based on program order. Another aspect includes determining a state of an atom in an ordered list of the plurality of ordered lists. Another aspect includes comparing the state of the atom in an ordered list to a state of an operation corresponding to the atom in the cache. Yet another aspect includes, based on the comparing, determining that there is a coherency violation in the cache.