Závodiště problém - Racetrack problem
Problém závodní dráha je konkrétní příklad typu spor . Problém závodní dráhy je chyba v systému nebo procesu, kdy výstup a / nebo výsledek procesu neočekávaně a kriticky závisí na posloupnosti nebo načasování dalších událostí, které probíhají v kruhovém vzoru. Všimněte si, že tento problém se sémanticky liší od rasového stavu kvůli kruhové povaze problému.
Termín pochází z myšlenky dvou signálů, které navzájem krouží v kruhovém pohybu, aby nejprve ovlivnily výstup. Problémy s dostihovou dráhou mohou nastat v elektronických systémech, zejména v logických obvodech, a v počítačovém softwaru, zejména ve vícevláknových nebo distribuovaných programech.
Viz také
externí odkazy
- Analyzátory hladu a kritické rasy pro Adu
- Příspěvek „ Algoritmy pro optimální přiřazení stavu asynchronních stavových strojů “ od Roberta M. Fuhrera , Billa Lina a Stevena M. Nowicka
- Příspěvek „ Nový rámec pro řešení problému přiřazení státu pro specifikace založené na událostech “ od Luciana Lavagna , Cho W. Moon , Roberta K. Braytona a Alberta Sangiovanni-Vincentelliho
- Článek „ Bezpečný programátor: Zabraňte podmínkám závodu - může být proti vám použito sporu o zdroje “ David A. Wheeler
- Kapitola „ Vyhněte se rasovým podmínkám “ (Zabezpečené programování pro Linux a Unix HOWTO)
- Závodní podmínky, bezpečnost a neměnnost v Javě , s ukázkovým zdrojovým kódem a porovnáním s C kódem, Chiral Software