METHOD TO VERIFY AN IMPLEMENTED COHERENCY ALGORITHM OF A MULTI PROCESSOR ENVIRONMENT

摘要

A method to verify an implemented coherency algorithm of a multi processor environment on a single processor model is described, comprising the steps of:generating a reference model reflecting a private cache hierarchy of a single processor within a multi processor environment,stimulating the private cache hierarchy with simulated requests and/or cross invalidations from a core side and/or from a nest side,augmenting all data available in the private cache hierarchy with two construction dates and two expiration dates, set based on interface events,wherein multi processor coherency is not observed if the cache hierarchy ever returns data to the processor with an expiration date that is older than the latest construction date of all data used before.Further a single processor model and a computer program product to execute said method are described.