6 results about "Liveness" patented technology

The invention provides a code repair verification, knowledge base construction and active defense method and related device.According to the scheme, a first code is subjected to dependency analysis, and a related code method, a related application program interface and a related data entity which have dependency relations with the first code are obtained from three aspects; according to the method, accurate and comprehensive dependency analysis is realized, the three-dimensional influence matrix is constructed on the basis, the target test case related to the first code can be accurately selected according to the three-dimensional influence matrix to perform code testing, original full-amount testing is replaced with an accurate testing mode, computing resource consumption during testing is effectively reduced, and the testing efficiency is improved. And the verification time is shortened. Meanwhile, by means of an active knowledge packaging mode, the reuse rate of knowledge and the updating speed of the knowledge base can be effectively increased, similar defects can be actively checked when developers submit codes, active defense is achieved, and repeated occurrence of the similar defects is effectively avoided.

Systems and methods for computing forward and reverse paths and checking the liveness, keep-alive status, or continuity of the forward and reverse paths are provided. A method (90), according to one implementation, includes the step of creating (92) one or more messages related to a computation of a forward path from a head-end node (12, 32) to a tail-end node (14, 34) and a computation of a reverse path from the tail-end node (14, 34) to the head-end node (12, 32). The method (0) also includes the step of adding (94) a data object to the one or more messages, the data object including an intent to check the liveness of the forward path and reverse path.

Various aspects of the subject technology relate to systems, methods, and machine-readable media for enhancing liveness in a blockchain. Various aspects may include running a first consensus protocol. Aspects may also include detecting a liveness attack in the first consensus protocol. Aspects may also include suspending, when the liveness attack is detected, acceptance of new blocks in the first consensus protocol. Aspects may also include broadcasting a preferred block and identifying a highest accepted block in the set of nodes from running the first consensus protocol based on the preferred block. Aspects may also include transitioning from the first consensus protocol to the second consensus protocol and running the second consensus protocol until a consensus value or a new accepted block is decided. Aspects may also include reinstating and resuming running the first consensus protocol based on the new accepted block.

This invention discloses a global register activity analysis and context switching optimization method for atomic task flows, belonging to the fields of embedded system software optimization, compiler backend technology, and real-time operating system kernel design. The method first transforms the directed acyclic graph describing the task execution logic into a linear execution sequence, and then calculates the active interval (the time span from generation to last use) of each data variable by traversing this sequence. Subsequently, using a zero-copy register forwarding algorithm, by detecting data dependencies between adjacent tasks, physical register safety gaps, and interface alignment conditions, the physical registers carrying the data are locked and redundant memory loading instructions are eliminated during the code generation stage. Finally, by calculating the intersection of the set of registers actually modified by the task flow and the set of registers saved by the callers according to the target architecture ABI specification, a minimum context switching set (Cmin) code is dynamically generated, saving only the necessary registers.

Various aspects of the subject technology relate to systems, methods, and machine-readable media for enhancing liveness in a blockchain. Various aspects may include running a first consensus protocol. Aspects may also include detecting a liveness attack in the first consensus protocol. Aspects may also include suspending, when the liveness attack is detected, acceptance of new blocks in the first consensus protocol. Aspects may also include broadcasting a preferred block and identifying a highest accepted block in the set of nodes from running the first consensus protocol based on the preferred block. Aspects may also include transitioning from the first consensus protocol to the second consensus protocol and running the second consensus protocol until a consensus value or a new accepted block is decided. Aspects may also include reinstating and resuming running the first consensus protocol based on the new accepted block.

A liveness monitoring architecture to deterministically ascertain the functional status of nodes in a high-availability (HA) environment to more efficiently recover from a split-brain condition is disclosed.