Психология ставок: почему азарт притягивает и как сохранять трезвый подход 
Мимоходом 
А в Ленинградскую область прилетели попугаи. Не верите? 
пишут 
Дальнобойщик купил на обочине в деревне варенье 
Константин Райкин. "Удивлять и удивляться" 
А если... 
Эту песню тянули полвека назад. 
МИР В СЕРДЦЕ
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 —
Ливия
Архив записей в блогах:
К 12 часам прибыл на Чистые пруды в лагерь ОкупайАбай. Было тихо и спокойно. Сразу для сомневающихся - мусор тщательно собирается и кладется в мешки. Пьяных нет. Работает буфет - бесплатный, на народные пожертвования. Книжная лавка, тоже ...
Убедительная победа «Единой России» в самарском СИЗО Южноуральские заключенные — за «Единую Россию» В камерах решили: «Единая Россия» двигает молодежь вперед! Казанские заключенные делают верный выбор ... и другие новости сайта ...
Столичная милиция ведет розыск выходца из Чечни, подозреваемого в самовольном уходе из исправительной колонии, а также в жестоком избиении охранника торгового центра "Европейский". Хулиган оказался осужденным членом банды налетчиков со ...
Все-таки Douglas - самый щедрый магазин у нас. У некоторых не только пробников не допросишься, так еще и бесплатная доставка от 1500-2000 крон. А тут и сумма для бесплатной доставки ниже, и столько пробников, прям душа радуется открывать их коробочки. Заказала крем для глаз и масло для ...
Пичкали нас Пришвиным. Зачем- то вбивали Достоевского с Толстым... А вот о повести Лескова: "На краю света" мне например ничего не было известно. А там: 1) критика православия и религиозной культуры вообще. 2) приключения. 3) Что такое честь и данное слово. 4) интеллигентность ...
