Властивість програми або функції, яка дозволяє їй бути викликаною та виконуваною кількома потоками (завданнями) одночасно без ризику порушення її внутрішнього стану та з гарантією коректного результату для кожного виклику.
Властивість програмного коду, яка полягає в можливості його безпечного переривання та подальшого відновлення виконання без помилок, що особливо важливо в багатопотокових та асинхронних системах.