Википедия
Линеаризу́емость в многопоточном программировании — это свойство программы, при котором результат любого параллельного выполнения процедур эквивалентен некоторому последовательному выполнению. В этом случае для пользователя, вызывающего операции линеаризуемой программы, эффект выполнения каждой операции мгновенен.
Как было показано, линеаризуемость является локальным и неблокируемым свойством. Локальность означает, что если доказана линеаризуемость операций для нескольких программ в отдельности также будут линеаризуемы. В линеаризуемой программе запущенные операции не требуют для своего завершения запуска других операций. Это свойство неблокируемости. Кроме того, линеаризуемость упрощает доказательство свойств программ, которые используют линеаризуемые операции, так как поведение линеаризуемой программы сводится к последовательным выполнениям.
Свойство линеаризуемости во многом сходно с такими свойствами как сериализуемость , атомарность , последовательная согласованность . В отличие от них, линеаризуемость предполагает наличие спецификации, тогда как эти свойства накладывают ограничения только на саму программу. В некоторых источниках термин атомарность используется как синоним линеаризуемости, в других же означает самолинеаризуемость .
Часто под неформальным понятием потоковой безопасности понимают именно линеаризуемость.
Понятие линеаризуемости впервые появилось в статье Херлихи (Herlihy) и Винг (Wing) 1987 года как модель консистентности для систем с объектной организацией общей памяти . В отличие от всех остальных систем, здесь программы не могут напрямую использовать общие переменные, а только через специальные функции-методы . Для этих систем линеаризуемость совпадает со строгой консистентностью .
Задача проверки линеаризуемости — это частный случай задачи функционального тестирования , в которой проверяется, удовлетворяет ли программа функциональным требованиям к ней, заданным в виде спецификации. Но в отличие от общего случая, здесь спецификация требуется только для последовательных выполнений.