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 memory (11) and a second attribute to a second data memory (13). The machine code is stored in program memory after reordering and executed by a processor (2) in yet another sequence. The data attributes of the data memories limits reordering of source code instructions and reordering of machine code instructions at execution. An Independent claim is made for a computer system with an execution environment in which source code and machine code can be reordered so that it runs faster. The invention also relates to a corresponding computer program product.