Е
не зря же средство в языке до сих пор есть
так обратная совместимось же
Size: a a a
2020 April 20
G
не зря же средство в языке до сих пор есть
зря
RM
в atomic_flag метод test_and_set нужно проверять как if(!test_and_set()) { true } ?
RM
Он по сути ставит true состояние, но возвращает прежнее
RM
Так что, если вернул false, значит он свободен щас
RM
Впринципе
RM
готово
RM
тестовый вариант
RM
Работает как описывал выше
RM
Конечно, есть варнинги на goto методы
RM
но без них пришлось бы много работы лишней выполнять
RM
Реализация простая
RM
Есть N потоков, которые гуляют и выполняют что хотят
RM
а есть контейнер который является неблокирующим
RM
Контейнер хранит в себе список задач (задачи могут быть помещены например из TCP потока, прилетел пакет - реализовал задачу и пихнул в контейнер)
RM
Любой из потоков берет задачу из queue, выполняет ее и остлеживает ее состояние
RM
Если в какой то из функции где используется общая память (где нужно блокировать потоки), то блокировка не происходит
RM
На скрине выше поток 0 выполнял задачу TaskID: 1 и он вызвал общий метод где есть atomic_flag (это тестовая функция, которая использует флаг блокировки, представим что там был какой нибудь unordered_map)
RM
Так вот, каждый раз когда один из потоков умудряется забрать себе работу функции, где выполняется установка atomic_flag (я сделал чтоб этот поток спал некоторое время, чтоб проверить что будет делать второй поток), тем самым, второй поток где то у себя выполнил свои методы для TaskID: 2, а потом пришел в общую функцию где происходит блокировка, так как нужно что-то поместить в unordered_map к примеру