Remote cache invalidation

A method, comprising:

• mapping, by a processor, memory pages for a coprocessor;
• unmapping, by the processor, a page that was mapped for the coprocessor;
• sending, by the processor based on the unmapping and execution of a remote invalidate instruction, a cache invalidate command to coprocessor;
• and
• invalidating, by the coprocessor in response to the cache invalidate command, one or more cache lines of coprocessor cache, wherein the invalidating is performed without executing any instructions on the coprocessor.

A non-transitory computer-readable medium having instructions of a hardware description programming language stored thereon that, when processed by a computing system, program the computing system to generate a computer simulation model, wherein the model represents a hardware circuit that includes:

• coprocessor circuitry that includes:
• coprocessor cache circuitry;
• and
• cache invalidation control circuitry;
• primary processor circuitry that includes:
• an execution pipeline;
• and
• primary processor cache circuitry;
• wherein:
• the primary processor circuitry is configured to:
• map memory pages for the coprocessor circuitry;
• unmap a page that was mapped for the coprocessor circuitry;
• and
• based on the unmap and execution of a remote invalidate instruction by the execution pipeline, send a cache invalidate command to the coprocessor circuitry;
• and
• the cache invalidation control circuitry is configured to, in response to the cache invalidate command, invalidate one or more cache lines in the coprocessor cache circuitry, where the cache invalidation control circuitry is configured to perform the invalidation without executing any instructions on the coprocessor circuitry.