Как написать претензию застройщику 
Наши сети принесли "Афтепати". 
Анатонны. Задание 19. Идиомы 
Иван Вельц - Весна 
Просто так. 
"Антиномий и Афродита" - двенадцатая часть наброска сценария игрового кино 
Аэоропортное 
Звонок 
15 апреля 1795 г. Присоединение Литвы к Российской империи
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 —
Ливия
Архив записей в блогах:
Предлагаю поиграть в "Неожиданно: гости!". Выходной день. Вы дома, возможно даже сами. Звонок в дверь - гости/слесарь/почтальон/кто угодно. Если вы сразу откроете дверь, то в чём в этот момент вас увидят? Выкладывайте фотографии реальной ...
В качестве пролога кратко расскажу одну забавную историю. Как-то раз один мой приятель, Геннадий пусть будет его имя, очень хорошо обхапался разных полезных витаминов, отколбасился в клубе, снял там тьолку и повез ее драть в какую-то гостиницу. Пока он ее вез, действие витаминов пошло на с ...
как у вас ...
Я не очень люблю такие игры в инстаграме, скажу честно. Но там у меня больше малознакомых знакомых (поэтому сидеть и думать не очень хочется 0_0). А здесь мы общаемся все-таки дольше и качественнее. Поэтому вот вам 12 летних фактов обо мне. 10 — правда, два нет.
Сразу же ...
Продолжаю цитировать книгу Л.Колосова. Знакомство с фашистским генералом. (февраль 1964). — Очень рад видеть вас, синьор генерал. — Генерал в отставке... Меня зовут Джакомо Карбони, может быть, слыхали? Я начинал свою карьеру еще при Бенито Муссолини. Был начальником СИМ. Что это ...
