AF
кто тебе сказал про последнее утверждение?
Size: a a a
2020 June 07
AF
кто тебе сказал про последнее утверждение?
про то что нужна каждлму своя
R
про то что нужна каждлму своя
а есть вариант с общей памятью, чтобы не создавался буфер с сообщениями на каждого потребителя в отдельности?
VO
что-то не пойму, как это работает.
Далее в цикле ожидаем, пока val не станет равно текущему значению l->s.write.
Этот штука ничего не лочит, так как при любом исходном значении
static void rwticket_wrlock(rwticket *l)
{
unsigned me = atomic_xadd(&l->u, (1<<16));
unsigned char val = me >> 16;
while (val != l->s.write) cpu_relax();
}
Сначала мы увеличиваем l->s.write с помощью атомарной функции atomic_xadd (побитовыми операциями добиваемся увеличения поля write). Результат увеличения сохраняем в me и получаем далее в val значение того самого write после атомарного инкретемента.Далее в цикле ожидаем, пока val не станет равно текущему значению l->s.write.
Этот штука ничего не лочит, так как при любом исходном значении
l->s.write условие в цикле не выполняется и мы покидаем lock()нет, в me сохраняем не результат а предыдущее значение.
R
нет, в me сохраняем не результат а предыдущее значение.
тогда опять не понимаю. Вызов lock блокирует сам себя?
VO
я так понял, вызывает переключение контекста, либо дает поработать гипертредингу на короткое время
переключения контекста тут не предусмотренно, говрю же -- тут по сути спинлоки
VO
тогда опять не понимаю. Вызов lock блокирует сам себя?
предполагается что остальная работа идет в других тредах на других ядрах и пока ты тут в цикле пару раз прокрутишься -- с другого ядра лок отпустят и ты побежишь дальше
SK
Понял серьезную проблему с кросспроцессным мьютексом. Если процесс залочет и упадет, то все зависнет.
ты пишешь считай что драйвер. ты не должен косячить!