The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

В ядре Linux 6.8 исправлены две серьёзные проблемы в bcachefs, opennews (??), 07-Фев-24, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


106. "В ядре Linux 6.8 исправлены две серьёзные проблемы в bcachef..."  +/
Сообщение от Аноним (106), 08-Фев-24, 11:30 
Как же вы достали.
Во первых есть расширение на уровне компиляторов.
Во вторых - никто не мешает организовать это на уровне макроса-структур и менеджера памяти.
В третьих, 90% проблем ловится статическим анализом, а то что не ловится - проблема в логике от которой не защитит НИКАКОЙ яп.  
Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

142. "В ядре Linux 6.8 исправлены две серьёзные проблемы в bcachef..."  +/
Сообщение от Аноним (-), 08-Фев-24, 14:58 
> Как же вы достали.
> Во первых есть расширение на уровне компиляторов.
> Во вторых - никто не мешает организовать это на уровне макроса-структур и
> менеджера памяти.

В третьих в линухе даже и круче есть - там подобие деферов сделали, это даже более крутой и универсальный механизм. Только вот он не замена блокировок в том виде каком это ФС актуально. В ФС происходит несколько параллельных, независимых действ, в практически независимых сегментах кода (e.g. ядерном треде или wq) и надо чтобы они сообща - не наломали дров, наехав друг другу на хвост.

> В третьих, 90% проблем ловится статическим анализом, а то что не ловится
> - проблема в логике от которой не защитит НИКАКОЙ яп.

Отладка сложного кода с нетривиальными параллельными взаимодействиями вообще не универсальный топик без серебряных пуль. Скажем какой-нибудь тред GC - по сути почти отдельная программа в каком-то роде. Работает независимо от всего остального, логически декорелирован - чтобы кодер не спятил случайно от уровня сложности действа - но он не должен столкнуться при своей работе с иной активностью, потенциально происходящей в его регионах интереса по другим поводам. И тут оказывается что совсем без блокировок - ну вот упс. И если кто думает что файлушники их любят или делают это по приколу - да вот фиг.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру