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.