Objective Caml - Среда, 30 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 30 марта 2011< ^ >

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

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

GMT+4
[00:09:35] Kakadu вошёл(а) в комнату
[00:13:43] Kakadu вышел(а) из комнаты
[00:14:43] <ygrek> совсем детский сад развели
[00:15:04] <ygrek> кстати опера имхо с памятью как раз очень экономно обращается
[00:15:24] <ygrek> вот пси да, после двух недель аптайма - rss 500М, я этого не понимаю
[00:21:27] ygrek вышел(а) из комнаты: Replaced by new connection
[00:21:30] ygrek вошёл(а) в комнату
[01:30:53] arhibot вышел(а) из комнаты
[01:46:09] ygrek вышел(а) из комнаты
[02:20:13] ftrvxmtrx вышел(а) из комнаты
[02:20:30] ftrvxmtrx вошёл(а) в комнату
[03:18:28] ftrvxmtrx вышел(а) из комнаты: offline
[03:18:33] ftrvxmtrx вошёл(а) в комнату
[05:33:34] iNode вышел(а) из комнаты
[06:31:49] komar вышел(а) из комнаты: Replaced by new connection
[06:31:50] komar вошёл(а) в комнату
[08:58:55] bobry вышел(а) из комнаты: Replaced by new connection
[08:58:56] bobry вошёл(а) в комнату
[09:31:45] f[x] вышел(а) из комнаты
[11:31:40] ermine вошёл(а) в комнату
[11:43:49] f[x] вошёл(а) в комнату
[11:45:36] <f[x]> http://build.ygrek.org.ua/hudson/job/ocaml/26/changes#detail1
[11:48:10] ygrek вошёл(а) в комнату
[12:05:20] <gds> "Support inlining of functions containing structured constants.  These structured constants are shared between all inlinings."
то есть, если раньше была функция let f x = (x = [1;2;3]), то она не инлайнилась, а теперь будет?
[12:05:35] <f[x]> угу
[12:09:09] <gds> мне нравится.  Вообще, побольше надо бы инлайнить, обычно это к добру.  А в пределе, хочется чтобы
let f x = (x, x) in
let g x = let (x, _) = f x in x
вообще умело доводиться до let g x = x (то есть, чтобы не выделяло память там, где это не нужно).
(кстати, может уже умеет?..  как-нибудь проверю.)
[12:20:00] ygrek вышел(а) из комнаты
[12:23:09] <f[x]> основной код g :
    movq    %rax, %rbx
          [alloc]
    leaq    8(%r15), %rax
    movq    $2048, -8(%rax)
    movq    %rbx, (%rax)
    movq    %rbx, 8(%rax)
    movq    (%rax), %rax
[12:26:28] <gds> то есть, инлайнит, но при этом и выделяет, и пишет в память дважды, и читает один раз?
[12:26:56] <f[x]> угу
[12:27:03] <f[x]> тупой как пробка
[12:27:23] <f[x]> интересно, какой-нибудь peephole на это натравить - что получится
[12:27:57] <f[x]> (хотя ничего интересного не получится)
[12:28:14] <gds> имхо мало что, так как выделение происходит таки, а вот неинициализированные [-8;0;+8](%rax) -- это может привести к биде.
[12:28:58] <f[x]> да, надо более умный - чтобы и не выделял, но случай слишком частный
[12:33:01] <gds> в идеале бы добавить проход в компиляторе, который убивал бы ненужные выделения памяти -- решение более общее.
[12:50:36] Typhon вошёл(а) в комнату
[13:45:20] Typhon вышел(а) из комнаты
[13:47:06] Typhon вошёл(а) в комнату
[14:52:45] <Typhon> """hrm, isn't there something like Godwin's Law that as soon as somebody
brings in a reference to xah lee, somebody else has to call somebody a
Nazi, and then somebody else has to invoke the spirit of john harrop
when he was an ocaml instead of F# bigot, etc. etc.?""" http://groups.google.com/group/pilud/msg/2137d941ba5b175a?pli=1
[14:58:30] ygrek вошёл(а) в комнату
[15:17:33] Typhon вышел(а) из комнаты
[15:28:29] ygrek вышел(а) из комнаты
[16:35:47] zert вошёл(а) в комнату
[18:35:26] Typhon вошёл(а) в комнату
[18:38:06] Kakadu вошёл(а) в комнату
[18:46:07] <gds> на четвёртый день до индейца Зоркого Глаза допёрло: либо полиморфных вариантных типов немного, они не очень пересекаются, и не очень, как бы сказать, параметризованы, либо везде писать явные аннотации типов.
[18:51:46] Kakadu вышел(а) из комнаты
[18:52:30] Kakadu вошёл(а) в комнату
[19:34:03] Kakadu вышел(а) из комнаты
[20:18:23] Kakadu вошёл(а) в комнату
[22:02:31] arhibot вошёл(а) в комнату
[22:03:13] arhibot вышел(а) из комнаты
[22:25:27] Typhon вышел(а) из комнаты
[22:26:34] Typhon вошёл(а) в комнату
[23:10:03] ermine вышел(а) из комнаты
[23:11:48] ygrek вошёл(а) в комнату
[23:39:29] ygrek вышел(а) из комнаты
[23:39:52] ygrek вошёл(а) в комнату
[23:49:04] ygrek вышел(а) из комнаты
[23:49:30] ygrek вошёл(а) в комнату