Почему двигатель 9 л.с. считается универсальным решением для уборки снега 
Снасть для ловли на балансир: от удильника до поводка - гид бывалого рыболова 
Откуда торчит ее рука? 
Путешествия по периметру: Рябово 
"Отверженные" Гюго 
Меню «питерского» ресторана Палкинъ времен Николая II 
Несколько месяцев назад тут обсуждалась эффективность сбережений в золоте. 
Королевское платье 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 —
Ливия
Архив записей в блогах:
Современные родители Шарлотта Казираги и Гад Эльмалех на прогулке с сыном Рафаэлем в Париже Гордый папа Гад ...
Протираю глаза и не могу понять - как такое может быть? Мы тут все в столице боремся с хамами на детских площадках и варварами на газонах, а у них там им наоборот послабления делают.... Верховный суд России отменил норму закона Удмуртской Республики об ответственности за парковку на ...
Сегодня телескоп Gaia провел свои последние наблюдени я. Это связано с тем, что он исчерпал запасы азота, который использовался для его наведения. В ближайшие недели Gaia пройдет серию технологических тестов, после чего будет уведена на орбиту захоронения и отключена. Основное ...
На самом деле, цветёт уже всё, но на момент съемки, яблони и груши-дикарки уже вовсю цвели, а черёмуха только набирала цвет. Поэтому черёмуху и иргу продемонстрирую в другой раз. А пока — белоснежный яблоневый цвет и слегка окрашенные золотистым вечерние фотозарисовки цветения груш.
...
Пригласили на съёмки, тема была громкая: резонансные ДТП. Собственно, я пришёл, чтобы обсудить ДТП в Брянске , о котором не раз уже писал. Считаю, что главные виновники в нём - это власти Брянска, местное ГАИ и подрядная организация, проводившая ...
