OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Пятница, 26 июля 2013< ^ >

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

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

GMT+4
[00:05:21] komar вышел(а) из комнаты: Logged out
[00:21:38] tilarids вошёл(а) в комнату
[01:21:03] tilarids вышел(а) из комнаты: Machine going to sleep
[05:29:17] zinid вошёл(а) в комнату
[07:46:06] f[x] вошёл(а) в комнату
[09:17:03] ForNeVeR вышел(а) из комнаты
[09:17:23] ForNeVeR вошёл(а) в комнату
[11:21:23] komar вошёл(а) в комнату
[11:47:58] ForNeVeR вышел(а) из комнаты
[12:38:28] tilarids вошёл(а) в комнату
[12:57:20] ForNeVeR вошёл(а) в комнату
[13:04:38] Typhon вошёл(а) в комнату
[13:39:14] f[x] вышел(а) из комнаты
[15:50:52] <ADEpt> отцы, мне нужны безумные идеи :)
[15:51:02] <ADEpt> есть программа понятно на чем
[15:52:05] <ADEpt> у нее есть heap немерянного размера. Задача - понять, отчего распух хип. Задача осложняется тем, что куча струтур данных в программе - это всякие map-ы и эши, которы шарят значения
[15:52:14] <ADEpt> шарят очень сильно
[15:53:35] <ADEpt> в результате всякие идеи типа "посчитаем, сколько же всего весит этот Map" (хоть приблизительно, хоть с помощью черной obj-магии, хоть как еще) не сильно работают, т.к. найдя два map-а по 1 Гб нельзя вот так сразу взять и понять, что в сумме они весят 1.1 Гб, т.к. 90 значений у них одни и те же
[15:54:15] <ADEpt> А почему нельзя вот так взять и понять? А потому, что значения эти - это в основном замыкания
[15:54:48] <ADEpt> И как посчитать их размер - не сильно понятно
[15:56:50] <ADEpt> В идеали мне хочется какой-то инструмент, который умеет как "du" считать "size" и "apparent size". Точнее, apparent я и сам умею, мне бы real size
[15:57:35] <aleksey> перепеши всё с нуля :)
[15:57:59] <ADEpt> (mlvalues.py я видел, но у меня сильно старый gdb, и он не работает)
[15:58:28] <ADEpt> aleksey: я задолбаюсь переписывать все с нуля, так не пойдет :)
[16:00:08] <klapaucius> Просто переписать с нуля - недостаточно. Все то же самое будет. Нужно на Фортране 77 переписывать: нет хипа - нет проблемы.
[16:00:17] <aleksey> а там точно надо в мэпах и хэшах хранить кучу замыканий?
[16:00:23] <ADEpt> угу
[16:00:59] <aleksey> да, представь что ты пишешь на фортране, и замыканий нет :)
[16:02:00] <ADEpt> "Нео, представь, что нет никакой ложки"
[16:02:09] <aleksey> да
[16:02:32] <klapaucius> Если все равно представлять, что пишеш на фортране - то зачем тогда окамл?
[16:02:34] <ADEpt> Я не хочу писать, я хочу понять, почему пухнет хип
[16:02:57] <ADEpt> Я даже не против, чтобы он пух, при условии, что у меня есть объяснение почему
[16:03:06] <ADEpt> А объяснения пока нет
[16:03:23] <klapaucius> Переписать с нуля на хаскеле и воспользоваться профайлером хипа.
[16:03:35] <ADEpt> В смысле, из прикинутого на колене кол-ва фигни в хипе и щедро завышенного его размера получаются цифры в 4-7 раз меньше
[16:05:13] <aleksey> а там чистый камл, или есть сишные биндинги?
[16:07:14] tilarids вышел(а) из комнаты: Machine going to sleep
[16:09:41] <ADEpt> ну, там используются либы, в части из них есть биндинги
[16:31:39] Typhon вышел(а) из комнаты
[16:37:45] Typhon вошёл(а) в комнату
[16:57:45] Typhon вышел(а) из комнаты
[17:00:56] Typhon вошёл(а) в комнату
[17:06:18] tilarids вошёл(а) в комнату
[17:13:38] Typhon вышел(а) из комнаты
[17:25:44] tilarids вышел(а) из комнаты: Machine going to sleep
[17:34:10] Typhon вошёл(а) в комнату
[18:59:41] zinid вышел(а) из комнаты
[19:07:58] Typhon вышел(а) из комнаты
[19:17:39] Typhon вошёл(а) в комнату
[20:02:01] Typhon вышел(а) из комнаты
[20:07:43] Typhon вошёл(а) в комнату
[20:12:40] Typhon вышел(а) из комнаты
[20:50:31] ADEpt вышел(а) из комнаты
[22:31:30] ftrvxmtrx вошёл(а) в комнату
[23:26:20] Typhon вошёл(а) в комнату
[23:42:50] tilarids вошёл(а) в комнату
[23:44:37] Typhon вышел(а) из комнаты
[23:44:56] Typhon вошёл(а) в комнату
[23:52:19] komar вышел(а) из комнаты: Logged out