Abstract: A method for a method for testing the validity of shared data in a multiprocessing system is disclosed. The method comprises receiving at a first central processing unit a list of fetch and store instructions associated with blocks in a shared memory location. The list includes a data value, a central processing unit identifier and a relative order associated with the instructions. In addition, one of the data values associated with one of the instructions was stored by a memory-to-memory, memory-to-register or register-to-memory operation. Further, one of the central processing unit identifiers associated with one of the instructions is an identifier corresponding to one of a plurality of central processing units that have access to the shared memory location including the first central processing unit. A fetch operation is performed at a block in the shared memory location from the first central processing unit.

Abstract: A method for a method for testing the validity of shared data in a multiprocessing system is disclosed. The method comprises receiving at a first central processing unit a list of fetch and store instructions associated with blocks in a shared memory location. The list includes a data value, a central processing unit identifier and a relative order associated with the instructions. In addition, one of the data values associated with one of the instructions was stored by a memory-to-memory, memory-to-register or register-to-memory operation. Further, one of the central processing unit identifiers associated with one of the instructions is an identifier corresponding to one of a plurality of central processing units that have access to the shared memory location including the first central processing unit. A fetch operation is performed at a block in the shared memory location from the first central processing unit.

Abstract: The invention relates to system and method for verifying a superscalar computer architecture. The system comprises a test program and an opcode biasing service comprising a bias table, a classification information structure, and a program opcode list. The system also comprises a configuration file describing the superscalar computer architecture. The configuration file stores bias definitions and opcodes grouped into classes based upon inherent rules of the superscalar computer architecture and is stored in a memory location accessible to the test program. The system also comprises an opcode biasing service application programming interface (API) operable for facilitating communication between the test program and opcode biasing service. The invention also includes a method and a storage medium for implementing opcode biasing services.