Quellverzeichnis products/Sources/formale Sprachen/C/Linux/scripts/atomic/fallbacks/

acquire         add_negative         add_unless         andnot         cmpxchg         dec         dec_and_test         dec_if_positive         dec_unless_positive         fence         fetch_add_unless         inc         inc_and_test         inc_not_zero         inc_unless_negative         read_acquire         release         set_release         sub_and_test         try_cmpxchg         xchg

Wurzel Suchen Beweissystem der NASA Beweissystem Isabelle NIST Cobol Testsuite Cephes Mathematical Library Wiener Entwicklungsmethode Haftungshinweis Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert. Bemerkung: Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.