Принципы работы системы поощрений в ресторанах 
Простой вопрос: Сколько должна длится школьная перемена? 
Зимний рассвет 
Успеть за восемнадцать минут 
Как не выглядеть смешно на корпоративе 
Белым-бело 
домой на Рождество 
Елки в ГУМе 
Автограф в 2025 году... - о нём (окончание)
31.08.2011 —
Колибри обижается.
Refcount strikes back
dz — 01.09.2011
Помощь клуба? Под кат имеет смысл глядеть, если refcount gc - не
пустой звук.Дано: "короткий" GC в Фантоме - на счётчиках ссылок. (Я знаю его ограничения, это нормально.) Недавно в нём была поймана бага вида races, и крайне злая.
- дано - объект и его поле. Поле хранит пойнтер на другой объект.
- при записи в поле происходит декремент рефкаунтера предыдущего значения поля (если оно не нулевое) - что логично. Ссылку потеряли - каунтер декрементим.
- при чтении поля надо бы каунтер инкрементить, но тут и возникает race. По шагам:
1. тред 2 читает значение поля.
-- свитч треда
2. тред 1 стирает поле и декрементит каунтер. объект весело идёт в могилу.
-- тайм пассез, свитч треда
3. тред 2 пытается проинкрементить и взрывает чей-то мозг, потому что объект давно уже склеили с пустым местом и кому-то выделили это место. Ну, короче, нехорошо получается.
Напрашивается спинлок вокруг рефкаунтера, но закрывать спинлок на каждое считывание поля - это просто беда. Оч. дорого.
Есть ещё идея - все декременты и инкременты делать отложенно - класть пойнтер на объект в очередь инкремента и декремента, и потом отрабатывать их в порядке "сначала все инкременты". Это гарантирует, насколько я вижу, непотерю объекта, да и выполнить эти операции можно в idle time, условно бесплатно. Но нагрузка в сумме всё равно получится немалая, да и это приведёт к тому, что пиковое потребление памяти вырастет, или же придётся, всё равно, делать разгрузку очереди не только в idle time.
Может, есть ещё идеи, которые мне не видны навскидку? Простая оптимизация - делать инкремент инлайн, а декремент отложенно - увы, ни фига не гарантирует.
Впрочем, только что осознал, что и схема с очередями не гарантирует - всё равно нужна атомарность по считыванию пойнтера и инкременту, ядри её в корень. (просто схлопывание очередей может оказаться в позиции 2 выше и вызвать ту же проблему.)
Или есть путь без?
PS: Если вам кажется, что atomic inc - это ответ на вопрос, то вы невнимательно прочитали вопрос.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
30.08.2011 —
Ливия
Архив записей в блогах:
У меня осталось очень противоречивое впечатление от предпоследнего сезона "Черной лагуны" (отзыв на предыдущий сезон - здесь ), адаптацией которой является отечественная "Закрытая школа". С одной стороны, он все также динамичен, а в чем-то даже еще более динамичен, чем предыдущие ...
Тут на днях, по ходу записи «Гражданина Гордона» для Первого канала, куда забросила меня тяжелая полемическая судьбина, одноименный гражданин Гордон исполнил привычную уже в последние недели арию: «Выборы прошли. Результат утвержден. ...
Прочитала тут, что брахманы в Индии не едят чеснок и лук. Вот точно. У меня была знакомая брахманша, которая тоже это не ела. Девушка была удивительной красоты, но с особенностями. Приехала в Москву из маленького сибирского городка, без протекции поступила на иняз, через два года учёбу ...
Согласно разным рейтингам, Вена регулярно попадает в топ городов по удобству для жизни. Например, The Economist регулярно ставит Вену на первое место ( последний в 2019 был ).
Я ...
Одно из лучших видео сегодняшнего дня,на мой взгляд.Мастер класс от президента Румынии,который опускает Орбана.Если вы ещё не знали,мильчакова отправили на концерт ...
