В некоторых статьях об алгоритмах некоторые используют слово lockfree, а некоторые — lockless. В чем разница между lockless и lockfree? Спасибо!
Обновить
http://www.intel.com/content/dam/www/public/us/en/documents/guides/intel-dpdk-programmers-guide.pdf
раздел 5.2 -- "Без блокировки кольцевого буфера в Linux*", это пример использования слова "без блокировки"
Алгоритм является свободным от блокировок, если он удовлетворяет тому, что, когда потоки программы выполняются достаточно долго, по крайней мере один из потоков достигает прогресса (для некоторого разумного определения прогресса). Все алгоритмы ожидания не требуют блокировок.
В общем, алгоритм блокировки без блокировки может выполняться в четыре этапа: завершение собственной операции, помощь мешающей операции, прерывание мешающей операции и ожидание. Завершение собственной операции осложняется возможностью одновременной помощи и аборта, но неизменно является самым быстрым путем к завершению. например Неблокирующие алгоритмы
Программирование без блокировки — это набор методов для безопасного манипулирования общими данными без использования блокировок. Существуют алгоритмы без блокировки, доступные для передачи сообщений, обмена списками и очередями данных и других задач. Программирование без блокировки довольно сложно. например Все чисто функциональные структуры данных по своей сути не блокируются, поскольку они неизменяемы.
Lock-free — более формальная вещь (ищите lock-free алгоритмы). Суть его для структур данных в том, что если два потока/процесса обращаются к структуре данных и один из них умирает, то второй все равно гарантированно завершает операцию.
Lockless — это реализация — это означает, что алгоритм не использует блокировки (или, используя более формальное название — взаимное исключение).
Следовательно, алгоритм без блокировки также не имеет блокировки (потому что, если один поток заблокируется, а затем умрет, другой будет ждать вечно), но не наоборот - есть алгоритмы, которые не используют блокировки (например, они используют сравнение и обмен). ), но все же может зависнуть, если другой процесс умрет. Упомянутый выше кольцевой буфер dpdk является примером блокировки без блокировки.
