Синхронизация без ожидания: различия между версиями

Фич и др. [7] показали, что любой алгоритм без препятствий может быть преобразован в алгоритм, который в любой реальной системе окажется <math>практически</math> алгоритмом без ожидания. Термин «практически» здесь применен по той причине, что гарантия прогресса в случае алгоритма без ожидания зависит от частичной синхронности, существующей в любой реальной системе, однако преобразованный алгоритм технически не является алгоритмом без ожидания, так как этот термин определен в контексте полностью асинхронной системы. Тем не менее, алгоритм, полученный в результате преобразования Фич и др. алгоритма без препятствий, гарантирует прогресс для удачных транзакций, даже если другие транзакции не достигли успеха.