Debugging shared memory errors
AssigneeUndo Ltd.
InventorsGeoffrey Finn Grimwood, Lee Marshall, Marco Barisione, Mark Williamson, Gregory Edward Warwick Law
Life of this patent
Estimating the term…
Abstract
There is provided a method for debugging errors in a shared memory. The method comprises executing instrumented machine code of a plurality of processes to generate a recorded execution of each of the plurality of processes for deterministic replay of the recorded execution. The method further comprises logging accesses to the shared memory by each of the plurality of processes in a shared memory log for debugging errors in the shared memory by analysing the recorded executions and the shared memory log. The shared memory log is accessible by each of the plurality of processes.
Claims17
A method for debugging errors in a shared memory, the method comprising:
- executing instrumented machine code of a plurality of processes to generate a recorded execution of each of the plurality of processes for deterministic replay of the recorded execution;
- logging accesses to the shared memory by each of the plurality of processes in a shared memory log for debugging errors in the shared memory by analysing the recorded executions and the shared memory log;
- and
- wherein the shared memory log is accessible by each of the plurality of processes.
A computer system comprising:
- a memory storing processor readable instructions;
- a processor arranged to read and execute instructions stored in the memory;
- wherein the processor readable instructions are arranged to cause the processor to carry out a method comprising:
- executing instrumented machine code of a plurality of processes to generate a recorded execution of each of the plurality of processes for deterministic replay of the recorded execution;
- logging accesses to the shared memory by each of the plurality of processes in a shared memory log for debugging errors in the shared memory by analysing the recorded executions and the shared memory log;
- and
- wherein the shared memory log is accessible by each of the plurality of processes.
A non-transitory computer readable medium comprising processor readable instructions, wherein the processor readable instructions are arranged to cause a processor to carry out a method comprising:
- executing instrumented machine code of a plurality of processes to generate a recorded execution of each of the plurality of processes for deterministic replay of the recorded execution;
- logging accesses to the shared memory by each of the plurality of processes in a shared memory log for debugging errors in the shared memory by analysing the recorded executions and the shared memory log;
- and
- wherein the shared memory log is accessible by each of the plurality of processes.
Dependencies are inferred from the claim text.