livelock


Also found in: Encyclopedia, Wikipedia.
Translations

livelock

n (Comput) Blockierung der Systemaktivität, wenn zwei Prozesse simultan auf eine Quelle zugreifen, → Livelock m (spec)
References in periodicals archive ?
Structure verification--Structure verification aims at verifying the structure consistency of a workflow, including deadlock, livelock, lack of synchronization, misuse of modelling objects and constructors, active end, dead activity.
In order to ensure the correctness of a typical distributed system, in addition to deadlock freedom, the properties, like safety, liveness, and livelock freedom also, must be verified.
SolidAC is a subset of Solidify, containing a module browser, RTL compilers, source code debugger and waveform display, and a set of automatic checks such as dead code, deadlock, livelock, clock crossing, constant signals, FSM checks, X propagation issues, array over-bound, reset, tri-state buses, and pragma.
Both Saphirus and CMR Design Automation will sell the complete Solidify line, which includes the Solidify property checking engine, SolidAC[TM] for automated checking of common design issues such as clock domain crossing, dead code, finite state machine (FSM) deadlock and livelock, case statement pragmas, reset propagation, bus contention, X assignment propagation, and array out-of-bounds, and SolidPC[TM] for AMBA protocol verification.