Как несколько потоков могут изменять одни и те же данные вообще без блокировок? Наука о Lock-Free программировании и проблеме ABA
Категории
9 страниц
Компьютерные Науки
Почему мелкий шрифт остается четким и читаемым: математика рендеринга шрифтов, кривых Безье, виртуальной машины хинтинга и субпиксельного сглаживания
Почему можно математически доказать 100% отсутствие багов в программе, ни разу её не запустив? Наука формальной верификации
Почему современные компьютеры за секунды решают NP-полные задачи, которые теоретически должны взрываться экспоненциально: SAT-солверы, CDCL и фазовые переходы
Почему «быстро» ещё не значит «вовремя»: ОС реального времени (RTOS), WCET, планирование RMS против EDF и инверсия приоритетов на Mars Pathfinder
Почему всё останавливается, когда каждый ждёт другого: Теория взаимных блокировок (Deadlock), графы распределения ресурсов, алгоритм банкира и Livelock
Почему старые игровые консоли можно воссоздать программно: Архитектура эмуляторов — интерпретаторы, JIT Dynarec, Fastmem и потактовая точность
Как создать «случайность» по заданному алгоритму?: Наука и криптография непредсказуемости
Почему код выполняется не в том порядке, в котором написан: модели памяти процессоров и компиляторов
