ENSURING CONSISTENCY OF AN INSTRUCTION CACHE WITH A STORE CACHE CHECK AND AN EXECUTION BLOCKING FLUSH INSTRUCTION IN AN INSTRUCTION QUEUE

A method of ensuring instruction cache consistency in a processor includes executing a flush instruction whenever a program executed by the processor stores data to a given data address and, subsequently, executes another instruction requiring a data fetch from the same address. According to this method, a write cache prevents any addressed instruction from residing in the write cache and the instruction cache at the same time. Thus, when an instruction having a store address not already present in the write cache is retired to the write cache, the write cache instructs the instruction cache to invalidate any data stored therein having a same address. The flush instruction prevents execution of any other instructions after the store at least until the store to the memory address has been allocated to a write cache of the processor, thus enabling the write cache to invalidate the subsequent instruction at the same address in the instruction cache. The method insures instruction cache consistency without the need to check every store against the instruction cache.