Objective Caml - Среда, 14 апреля 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 14 апреля 2010< ^ >

Конфигурация комнаты

Участники комнаты

GMT+4
[00:37:51] ermine вышел(а) из комнаты
[00:48:56] digital_curse вышел(а) из комнаты
[00:49:43] Kakadu вышел(а) из комнаты
[02:22:09] Typhon вышел(а) из комнаты
[07:11:22] digital_curse вошёл(а) в комнату
[08:02:28] olegfink вошёл(а) в комнату
[08:06:56] serp256 вошёл(а) в комнату
[08:20:53] serp256 вышел(а) из комнаты
[08:24:11] iNode вошёл(а) в комнату
[08:31:12] serp256 вошёл(а) в комнату
[08:45:46] serp256 вышел(а) из комнаты
[09:52:26] Typhon вошёл(а) в комнату
[09:58:21] serp256 вошёл(а) в комнату
[10:26:38] Mon вошёл(а) в комнату
[10:40:16] ʇsʎɯ вошёл(а) в комнату
[11:14:33] <Typhon> joint calculus -- звучит круто "косячное исчисление" :)
[11:15:45] <ʇsʎɯ> скорее "косячная алгебра"
[11:16:00] <ʇsʎɯ> алгебра косяков
[11:40:05] ermine вошёл(а) в комнату
[12:11:53] sceptic вышел(а) из комнаты
[13:05:37] valexey_ вошёл(а) в комнату
[13:45:36] valexey_ вышел(а) из комнаты
[14:04:28] valexey_ вошёл(а) в комнату
[14:54:47] Kakadu вошёл(а) в комнату
[14:55:10] <Kakadu> а как выйти из camlp4 toplevel?
[14:55:19] <Kakadu> #quit;; не работает -((
[14:57:02] <ʇsʎɯ> ^D
[14:57:11] <ʇsʎɯ> оно же C-d
[14:57:32] <Kakadu> оно убивает процесс
[14:57:44] <ʇsʎɯ> какой процесс?
[14:57:56] <Kakadu> toplevel
[14:58:08] <ʇsʎɯ> откуда узнал, что убивает?
[14:58:14] <ʇsʎɯ> ты же хотел выйти
[14:58:32] <Kakadu> я хотел выйти, сдулать #load чтонить, и зайти снова
[15:00:26] <ʇsʎɯ> http://caml.inria.fr/pub/docs/tutorial-camlp4/tutorial008.html 8.5
[15:00:35] <ʇsʎɯ> похоже так нельзя
[15:00:54] <Kakadu> черт
[16:49:30] <gds> прислали багрепорт на objsize -- у них там значения с цветом Col_blue в хипе как-то оказались.  Срань господня.  Есть идеи, как такое могло случиться?
[16:51:47] <ʇsʎɯ> а можно подробнее?
[17:00:44] serp256 вышел(а) из комнаты
[17:00:48] <gds> была как-то у меня хакерская задумка :)  В ocaml heap у каждого значения есть двухбитовое поле "цвет", для нужд mark-and-sweep gc оно принимает 4 значения: white, black, gray, blue.  Последнее, как я считал, только во время самой сборки мусора.  Ну я использовал цвет для того, чтобы ходить рекурсивно по значениям, не зацикливаясь (т.е. игнорируя уже посещённые) и делать с ними всякую непотребщину (размер считать, например).  Как -- брал значение, запоминал цвет (сжимал последовательные значения средствами rle и клал в массив), устанавливал цвет в Col_blue, и дальше, при рекурсивном обходе, не заходил повторно в значения с цветом Col_blue.  Потом, закончив грязные делишки, шёл ровно тем же путём, и восстанавливал цвета, чтобы ничего не сломалось у мусорщика.
Теперь же оказалось, что у человека (оксфордского студента) в хипе вполне легально себе живут значения с цветом Col_blue.  Соответственно, весь метод наламывается.
[17:08:29] serp256 вошёл(а) в комнату
[17:15:05] iNode вышел(а) из комнаты
[17:28:57] <ʇsʎɯ> я бы грепнул сорцы окамла и посмотрел где и как ставится Col_blue
[17:29:28] <ʇsʎɯ> потом устроил бы контрольный трейс того, что у этого чела и убедился как оно получается
[17:29:43] <ʇsʎɯ> а потом (скорее всего) придётся использовать другой хак ;)
[19:31:44] Typhon вышел(а) из комнаты
[19:35:56] iNode вошёл(а) в комнату
[19:39:37] ʇsʎɯ вышел(а) из комнаты
[19:47:24] Kakadu вышел(а) из комнаты
[19:50:02] sceptic вошёл(а) в комнату
[19:52:23] serp256 вышел(а) из комнаты
[21:21:20] valexey_ вышел(а) из комнаты
[21:21:41] cool@conference.jabber.ru вошёл(а) в комнату
[21:22:40] cool@conference.jabber.ru вышел(а) из комнаты
[22:02:23] digital_curse вышел(а) из комнаты
[23:57:13] digital_curse вошёл(а) в комнату