Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,734,698,118 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

livelock

   Also found in: Dictionary/thesaurus 0.01 sec.

livelock

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.

(parallel)livelock - /li:v'lok/ When two or more processes continuously change their state in response to changes in the other process(es) without doing any useful work.

This is similar to deadlock in that no progress is made but differs in that neither process is blocked or waiting for anything.

A human example of livelock would be two people who meet face-to-face in a corridor and each moves aside to let the other pass, but they end up swaying from side to side without making any progress because they always move the same way at the same time.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? 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.
Averant Announces Sales Channel Expansion by Business Wire
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).
World Wide Web Consortium Publishes First Public Working Draft of Web ... by Business Wire
More than thirty checks are made including deadlock conditions, livelock conditions, equivalent states and inferred latches.
Sun chooses Summit Design analysis tools; StateAlert and StateScore ... by Business Wire
More results
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.