![]() 904,556,464 visitors served. |
|
![]() Dictionary/ thesaurus | ![]() Medical dictionary | ![]() Legal dictionary | ![]() Financial dictionary | ![]() Acronyms | ![]() Idioms | ![]() Encyclopedia | ![]() Wikipedia encyclopedia | ? |
livelock |
0.04 sec. |
|
An endless loop in program execution. It occurs when a process repeats itself, because it continues to receive erroneous information. It can also occur when a process that calls another process is itself called by that process, and there is no logic to detect this situation and stop the operation. A livelock differs from a "deadlock," in that processing continues to take place, rather than just waiting in an idle loop. See deadly embrace.
|
|
? Mentioned in | ? References in periodicals archive | |
|---|---|---|
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. Statistically, choreography can be shown to be free from deadlocks (when processes stop because each is waiting for one of the others), livelocks (when processes continually react to each other and stop doing useful work) and leaks (interference from unauthorized participants). More than thirty checks are made including deadlock conditions, livelock conditions, equivalent states and inferred latches. |
| Free Tools: |
For surfers:
Browser extension |
Word of the Day |
Help
For webmasters: Free content NEW! | Linking | Lookup box | Double-click lookup | Partner with us |
|
|---|