должен

safety & liveness

это всё равно что сказать что инт не гарантиует прогресс в другом потоке, поэтому его нельзя в лок фри использовать

нет не должен

инт должен гарантировать прогресс другого потока?

причем тут int?

а причем тут спинлок? У него вообще в определении нет ничего про другие потоки

ну и вообще спинлок из-за того что обеспечивает safety и пускает в критическую секцию один поток не дает гарантию локфри очевидно, а в каслупе может крутиться несколько потоков и совершать какой-то постепенный прогресс, говорить что локфри написан на спинлоках это просто 1) путает новичка 2) как-то невежественно и странно

спин локи можно использовать как для реализации лок фри так и нет

не понимаю что вас тут не устраивает

относительно быстрая - просто там потоки будут создаваться некоторые и т.д.

К БД, файловой системе, сети, обращений нет

1. Развивает мозги
2. Если выигрываешь какую-нибудь классную олимпиаду, вузы открывают свои двери. Если выиграл всеросс — то любой вуз тебя возьмёт без ЕГЭ (надо на порог определенный сдать)
3. Доп подготовка к ЕГЭ
4. Олимпиады в студенческой жизни открывают много всяких дверей, особенно на стажировки по всякие Яндексы и Гуглы

не устраивает, потому что мы путаемся в определениях (я сказал что для меня спинлок это юзерспейсный мьютекс и если вы залезите почитаете где-нибудь определения там написано что спинлоки обеспечивают гарантию взаимного исключения или Safety), а это никаким образом не связано с локфри и просто реально путает новичка, потому что под спинлоком он понимает нечто другое, а потом появится рой, который пишет обычный Test And Set Spinlock с методами lock/unlock и говорит что он сделал локфри очередь

спин лок это не юзерспейный мьютекс, может в этом проблема

но он обеспечивает гарантию взаимного исключения....

достаточно прочитать определение спин лока, чтобы понять, что он вообще никак не противоречит лок фри, и конечно он не гарантирует никаких там прогрессов каких-то других потоков или их отсутствия

я прочитал

юзер спейсный мьютекс может быть пассивной блокировкой, а спин лок нет

что такое пассивная блокировка?