Система управления проектами: отечественные приложения для задач
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 —
Ливия
Архив записей в блогах:
На фоне убедительных дипломатических побед РФ развивает успех, сокрушая противника : Если Запад осуществит свои угрозы и введет ограничения на операции через систему SWIFT, реакция России будет неминуемой и жесткой. Об этом заявил премьер-министр Дмитрий Медведев на совещании по вопрос ...
Люди, вы смотрите этот фильм?Я вчера посмотрев несколько минут фильма была в шоке ...
Тепер користувачі карт Приватбанку відправляти і отримувати можуть не більше 100 переказів на місяць. З жовтня 2021 року Приватбанк вносить корективи щодо лімітів на перекази з картки на картку Visa/Mastercard через усі канали. Дане нововведення значно ускладнює роботу торговим інтернет ...
no_rss id:87534 ЕГИПЕТ, ШАРМ с захватом Католического Рождества и Нового года!!
вылет 22 декабря на 11 ночей (до 2 января включительно)
BLUE REEF 3*, завтрак + ужин, 311$
DOLPHINA COUNTRY CLUB 3*, завтрак + ужин, 399$
TROPICANA TIVOLI 4*, завтрак + ужин, 502$
SHARM ELYSEES 3*, все ...
Именно так в переводе на русский называется новенькая статья по палеогенетике. В " The mixed genetic origin of the first farmers of Europe " исследовали не так уж и много образцов - всего 15, зато с высоким качеством. Это останки 13 первых земледельцев и 2 охотников-собирателей ...
