35 results about "Reverse execution" patented technology

A method of backstepping through a program execution includes dividing the program execution into a plurality of epochs, wherein the program execution is performed by an active core, determining, during a subsequent epoch of the plurality of epochs, that a rollback is to be performed, performing the rollback including re-executing a previous epoch of the plurality of epochs, wherein the previous epoch includes one or more instructions of the program execution stored by a checkpointing core, and adjusting a granularity of the plurality of epochs according to a frequency of the rollback.

Performing reverse execution debugging of an application. The method includes identifying a snapshot of application state for an application in an application framework. The method further includes emulating execution of the application, using bytecode, in a forward direction from the snapshot to an end point, causing generation of historical execution state at various points along the emulation of the application. The method further includes collecting the historical execution state. The method further includes using the collected historical execution state, emulating reverse execution of the application by substituting collected historical execution state, when needed, to restore previous state needed as a result of emulation of reverse execution of the application.

The invention relates to a method for debugging a program of running software of an airborne system, which is characterized in that it comprises the following steps: a) setting up marks (31) for the program by arranging marks along the execution path, so as to divide the execution path into Adjacent function intervals; b) execute (32) the program normally; c) capture (33) the program execution state through the flag state vector; d) when an error is detected: search (36) the defective one according to the flag state vector A function interval, reverse execution (41) of the program in the defective function interval; determining and correcting (42) the error.

The invention discloses a coal mining system capable of automatically assembling and disassembling drill rod groups. The coal mining system comprises a twist drill type coal cutter and an automatic drill rod group assembling and disassembling platform, wherein the automatic drill rod group assembling and disassembling platform comprises a bottom plate, a sliding table, a side slip driving device and a drill rod group positioning component; the bottom plate is fixedly arranged on a main engine frame of the twist drill type coal cutter; the sliding table is connected to the bottom plate in a sliding mode with a single degree of freedom and is driven to slide in a reciprocating mode through the side slip driving device; the drill rod group positioning component is arranged on the sliding table; after a drill rod group is positioned on the automatic drill rod group assembling and disassembling platform, the drill rod group can be conveyed between a main engine spindle of the twist drill type coal cutter and a connected drill rod group, and a main engine is controlled to push, so that the assembly of the drill rod group can be finished; the sliding table can return to be in an original position after the drill rod group is assembled, and then a next drill rod group is mounted. The drill rod group can be disassembled through reverse execution, the labor intensity of workers can be reduced, and the drill rod groups can be accurately positioned, so that the process of assembling and disassembling drill rods is smooth, the time consumption is saved, and the coal mining efficiency is improved.

The present invention provides a kind of DNS dynamic scheduling method based on mimetic domain name server, comprising: step 1.1, initializing C cur ; Step 1.2, from C h Select k physical servers to form candidate set H k , from H k Select executive c in the sub-pool of executives to join C cur ; Step 1.3, if H k If there is no candidate physical server, go to step 1.5; otherwise go to step 1.4; step 1.4, from H k According to the preset security gain algorithm, determine the executor c’ that maximizes the system security gain in the executor sub-pool, and add C cur , execute step 1.6; step 1.5, traverse all other execution bodies in the execution body sub-pool where the current execution body is located, and determine the execution body c' that maximizes the system security gain among all the remaining execution bodies according to the preset security gain algorithm , join C cur ; Step 1.6, repeat step 1.3 until C cur The number of executive bodies reaches m. The invention selects the online execution body based on the security gain, so as to maximize the system security gain.

The invention relates to an intelligent pillow which comprises an electric control device and a mechanical structure portion (a pillow support). The electric control device can adjust the height of the pillow automatically according to sleeping positions of a human body. The electric control device is composed of a forward sampling amplitude comparison circuit, a reverse sampling amplitude comparison circuit, a forward execution control circuit, a reverse execution control circuit, a motor driving circuit, a forward shut-down integrated switch, a reverse shut-down integrated switch, a vibration sensor circuit, a motor, and a position display and control circuit. A lifting plate is arranged at the middle position inside a casing of a pillow support structure, a pillow supporting plate is arranged on the lower portion of the casing, the motor is arranged on the lateral side inside the casing, and the motor is connected with a rotating rod through a coupler and a gearbox. A bevel gear is fixedly arranged at a terminal of the rotating rod and matched with a bevel gear wheel arranged at the bottom of the casing. The intelligent pillow can adjust the height of the pillow automatically along with the sleeping positions of the human body, can nurse the necks of people in sleep, and enables the necks to keep a normal physiological curvature. Therefore, comfortableness and quality of sleeping are improved, and a cervical disease and a spinal disease are prevented.

A numerical controller that controls a machine based on a program includes a manual program execution instruction unit that gives instructions for advancing and reversing execution of the program in a manual manner, a program manual execution unit that sequentially executes the program, and a block information notification unit that identifies a block in the program the execution of which is about to be started, based on execution status of the program reported from the program manual execution unit, and that makes notification in accordance with an attribute of the identified block.