US 10,761,970 B2 · Computerized method and systems for performing deferred safety check operations

Abstract

The invention is notably directed to a computer-implemented method for performing safety check operations. The method comprises steps that are implemented while executing a computer program, which is instrumented with safety check operations. As a result, this computer program forms a sequence of ordered instructions. Such instructions comprise safety check operation instructions, in addition to generic execution instructions and system inputs. System inputs allow the executing program to interact with an operating system, which manages resources for the computer program to execute. A series of instructions are identified while executing the computer program. Namely, a first instruction is identified in the sequence, as one of the safety check operation instructions, in view of its subsequent execution. After having identified the first instruction, a second instruction is identified in the sequence. The second instruction is identified as one of the generic computer program instructions. Execution of the second instruction identified is started, irrespective of a completion status of the first instruction. Next, and after having identified the second instruction, a third instruction is identified in the sequence. The third instruction is identified as one as one of the system inputs. There, completion of execution of the first instruction (the safety check operation instruction) is required prior to completing execution of the third instruction (the system input). The invention is further directed to related computerized systems and computer program products.

Claims13

Dependent claims

A computer-implemented method for performing safety check operations, the method comprising:

executing a computer program instrumented with safety check operations, so as to form a sequence of ordered instructions that comprise safety check operation instructions, in addition to generic execution instructions of the program and system inputs for the executing program to interact with an operating system managing resources for said program to execute;
and
while executing the computer program:
identifying in the sequence a first instruction, as one of said safety check operation instructions, and deferring execution of the first instruction for subsequent execution thereof by enqueuing the first instruction in a queue comprising at least one previously enqueued safety check operation instruction;
after having identified the first instruction, identifying in the sequence a second instruction as one of said generic computer program instructions and starting execution thereof, irrespective of a completion status of the first instruction;
and
after having identified the second instruction, identifying in the sequence a third instruction as one of said system inputs for the executing computer program to interact with an operating system and requiring completion of execution of the first instruction prior to completing execution of the third instruction, the method further comprising:
executing part or all of safety check operation instructions enqueued, and
forcing execution of said part or all of safety check operation instructions enqueued in the queue upon detecting that said queue is full.

6 more elements

A computerized system, comprising:

a memory, storing a computer program and an operating system configured to manage resources for said program to execute, wherein the computer program is instrumented with safety check operations, so as to form a sequence of ordered instructions that comprise safety check operation instructions, in addition to generic execution instructions of the program and system inputs for the program to interact with the operating system, in operation;
one or more processors configured to execute each of the operating system and said computer program;
and
a reference monitor, the latter configured to, while the computer program executes:
identify in the sequence a first instruction, as one of said safety check operation instructions, and deferring execution of the first instruction for subsequent execution thereof by enqueuing the first instruction in a queue comprising at least one previously enqueued safety check operation instruction;
after having identified the first instruction, identify in the sequence a second instruction as one of said generic computer program instructions and instruct to start execution thereof, irrespective of a completion status of the first instruction;
and
after having identified the second instruction, identify in the sequence a third instruction as one of said system inputs for the executing computer program to interact with an operating system and instruct to require completion of execution of the first instruction prior to allow an execution of the third instruction to complete,
wherein the reference monitor is implemented as a computer program stored on the memory and executable by the one or more processors, the reference monitor configured to run in one of:
a kernel mode;
and
a user mode.

9 more elements

Dependencies are inferred from the claim text.

Computerized method and systems for performing deferred safety check operations

Life of this patent

Computerized method and systems for performing deferred safety check operations

Life of this patent

Abstract

Claims13