Execution of computer code out of sequence so that it runs faster, relating particularly to multiprocessor systems, with data attributes declared that define data in such a way that data integrity is preserved.

摘要

Method for control of a computer system (1) in which source code is converted into machine code (15) with an associated reordering of instructions. The source code includes a data declaration that assigns a first attribute to a first data store (11) and a second attribute to a second data store (13). The machine code is stored in a program memory after reordering and executed by a processor (2) in yet another sequence. The data attributes of the data stores limits reordering of source code instructions and reordering of machine code instructions at execution. Independent claims are made for (1) a computer system with an execution environment in which source code and machine code can be reordered so that it runs faster. (2) a computer program product.