33 results about "Program tracing" patented technology

A method monitors non-faulty application traces of a computer application with the runtime environment during fault-free activities to create non-faulty runtime signatures for the computer application. Once obtained, the method stores the non-faulty runtime signatures. The method then detects a faulty application trace of the computer application and compares the faulty application trace with the non-faulty runtime signatures by comparing a call graph of the faulty application trace with call graphs of non-faulty application traces of the application signatures to identify differences between the two (e.g., fault attributes). Then the invention outputs the fault attributes to allow the user to identify a fault cause.

A debugger inserts instrumentation hooks in a multi-threaded computer program that allow collecting a program trace and that provide timestamps that correspond to the program trace. When a breakpoint in a first thread is encountered, a timestamp corresponding to the breakpoint is retrieved. Execution of the other threads may continue until the debugger is able to halt their execution. Once the execution of all threads has been halted, the program trace for each thread is traced backwards to a point where the timestamp is less than the breakpoint timestamp. Instructions are then executed, one by one, until the execution time of the instructions plus the timestamp is approximately the same as the breakpoint timestamp. The instruction in the program trace display is then highlighted to indicate the instruction that was likely being executed when the breakpoint in the first thread is encountered.

Recording a replay-able trace of execution of a multi-threaded process includes identifying a trace memory model that defines one or more orderable events that are to be ordered across a plurality of threads of the multi-threaded process. The plurality of threads are executed concurrently across one or more processing units of one or more processors. During execution of the plurality of threads, a separate replay-able trace is recorded for each thread independently. Recording includes, for each thread, recording initial state for the thread, recording at least one memory read performed by at least one processor instruction executed by the thread that takes memory as input, and recording a least one orderable event performed by the thread with a monotonically increasing number that orders the event among other orderable events across the plurality of threads.

In a system for statically analyzing a specified computer, a verification condition generator converts the program into a logical equation, called a verification condition, and inserts program flow control labels into the sub-equations of the verification condition. The flow control labels identify conditional branch points in the specified computer program. A theorem prover is applied to the logical equation to determine truth of the logical equation, and when the truth of the logical equation cannot be proved, the theorem prover generates at least one counter-example identifying one of the conditions, one or more variable values inconsistent with that condition, and any of the flow control labels for conditional branch points of the program associated with the identified variable values. A post processing module converts each counter-example into an error message that includes a program trace when the counter-example identifies one or more of the flow control labels.

Hardware-assisted program tracing is facilitated by a processor that includes a root instruction address register, a program trace signature computation unit and a call signature register. When a program instruction having an address matching the root instruction address register is executed, a program trace signature is captured in the call signature register and capture of branch history is commenced. By accumulating different values of the call signature register, for example in response to an interrupt generated when the root instruction is executed, software that performs program tracing can obtain signatures of all of the multiple execution paths that lead to the root instruction, which is also specified by software in order to set different root instructions for program tracing. In an alternative implementation, a storage for multiple call signatures is provided in the processor and read at once by the software.

The invention discloses an intelligent teaching method and system based on a mobile terminal. The method comprises the following steps: a parent user program, a teacher user program and a student user program on the mobile terminal are independently loaded or stored, and each student user, each parent user and each teacher user independently track and record the learning situation of the student through the user programs on the mobile terminal, wherein the learning situation of the user not only comprises objective data including examinations, appraisal and the like but also comprises certain subjective assessment, such as characteristics of personality, teamwork characteristics and the like. Recorded mass data is subjected to data mining and analysis processing through a background program to obtain the knowledge level summary of the student and learning path guidance.

The invention discloses a method and a device used in program tracking and an electronic device, as well as a traffic control method and device and the electronic device. The method used in the program tracking comprises the steps of receiving a calling request which is sent by a calling party and is corresponding to a special program; according to the calling request, and generating a tracking identifier; and executing each level of subprogram included in the special program, generating tracking data of the subprogram for at least one subprogram after the subprogram is executed, and storing corresponding records of the tracking identifier and the tracking data of the subprogram. By adopting the method provided by the invention, a non-OSGi (Open Service Gateway initiative) application program, when tracking and recording a function operating condition of the OSGi subprogram, can separate a tracking processing logic and a service processing logic of the subprogram, and the transformation at a source code level on each subprogram is prevented; and thus, the effect of not affecting the robustness and the reliability of non-OSGi application program service processing is achieved.

The invention provides a device and a method for tracing cracks of a rock sample. The device comprises a tracer and a support platform, wherein the tracer comprises a transparent container with the Y-coordinate and the X-coordinate, the support platform is connected with the transparent container by bearings, and the transparent container can rotate relative to the support platform. The method comprises the following steps of installing the rock sample, tracing points, and imaging; or installing the rock sample, scanning and carrying out image processing. The device for tracing the cracks of the rock sample has the advantages of simpleness in manufacturing, high precision, convenience in operation and maintenance, and realization in programmed tracing; the method for tracing the cracks of the rock sample has the advantages of high working efficiency and convenience.

Embodiments of the invention provide an application program tracing method and device, and relates to the field of browsers. The method comprises the following steps: obtaining, by a component management server, calling request information which is sent by a browser and is used for calling application programs, wherein the calling request information comprises related information of a target application program; sending the calling request information to a bridging service module by the component management server; and recording the target application program by the bridging service module, and sending the calling request information to the target application program through the component management server so as to call the target application program. The invention aims at providing a tracing method and device for calling application programs, so as to improve the problem that the existing tracing method for calling application programs is low in controllability and extendibility due to being limited by the application programs.

A method for reducing the total energy consumption of dyeing machines in a dyeing/finishing plant is provided. The method involves an energy monitoring system, a dyeing program tracing system, an energy data system, an alarm system and an energy execution system. The energy monitoring system comprises a plurality of detectors. The dyeing program tracing system is connected with the dyeing machines in the dyeing/finishing plant. The energy data system is preset with energy supply capacity response curve data, energy need data and response curve data of the dyeing/finishing plant. The alarm system can provide alarm signals when detecting abnormality in energy consumption of all the dyeing machines. The energy execution system comprises a central control computing and is connected with the energy monitoring system, the dyeing program tracing system, the energy data system and the alarm system via a local network in the dyeing/finishing plant. The energy execution system has the production modes for reception and transfer of data of each system, real-time analysis of energy consumption data of the plant and execution of optimal energy utilization, thereby minimizing the energy consumption.

The invention discloses a program tracking method and device supporting a micro-service architecture and a medium. The method comprises the steps that a first micro-service node acquires a pre-configured program tracking parameter; program tracking data of the first micro-service node is generated according to the program tracking parameter; and if the first micro-service node calls the second micro-service node, the second micro-service node is indicated to continue program tracking so as to generate program tracking data of the second micro-service node. According to the application, programtracking can be carried out on the currently working micro-service nodes, and if calling between the micro-service nodes occurs, the currently working micro-service nodes can indicate the called micro-service nodes to continue to carry out program tracking, therefore, program tracking data with continuity and integrity meeting requirements on the whole calling link can be recorded, and the service function problem can be conveniently positioned.

A method, apparatus, and computer program product is provided for tracking state data of objects during a session, and saving the data to a database. The tracking may be performed by a reusable set of computer program code accessible by a plurality of user interface applications. Temporary data may be stored as insert objects, update objects, and delete objects and maintained during a session of a user interface application. The temporary data may be updated as additional data is manipulated by the user interface application, but does not need to be tracked by the user interface application. The user interface application indicates if data is to be deleted, or is current (e.g., new or modified). Upon completion of the session, calls are made to update the database based on the temporary data.

The invention discloses a program tracking method and system based on a linux shared memory data mirror image. The method comprises the steps that after a tracked program creates an original internalvariable space of the program in a system, a shared memory space is created through shmget and shmat system functions of linux, and the shared memory space serves as a copy of the original internal variable space; when the tracked program modifies the data content of the variable in operation, the data content of the variable copy in the shared memory space is synchronously modified; a debugging tool finds out and is connected with the shared memory space through shmget and shmat system functions and reads the data content of the variable copy in the shared memory space when a debugging tracking instruction is received. According to the method and the system, the debugging process does not influence the variable numerical value in the program and the running result of the original program,the debugging is very flexible, and the variable of the tracked program can be checked and tracked in real time.