Objective Caml - Четверг, 2 сентября 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 2 сентября 2010< ^ >

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

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

GMT+4
[01:01:20] ygrek вышел(а) из комнаты
[01:44:58] zert вышел(а) из комнаты
[05:22:02] Typhon вышел(а) из комнаты: Replaced by new connection
[05:22:05] Typhon вошёл(а) в комнату
[06:19:08] Typhon вышел(а) из комнаты
[09:26:23] iNode вышел(а) из комнаты
[09:49:24] ygrek вошёл(а) в комнату
[10:04:35] Typhon вошёл(а) в комнату
[10:17:28] arhibot вошёл(а) в комнату
[10:20:15] iNode вошёл(а) в комнату
[11:13:30] zert вошёл(а) в комнату
[11:32:35] ermine вошёл(а) в комнату
[11:54:34] georgia вошёл(а) в комнату
[11:54:55] georgia изменил(а) имя на tеngiz
[11:58:26] <tеngiz> а чо тут афторитетно  сидеть и молчать да?
[12:03:33] tеngiz запретили входить в комнату: клоун
[12:16:06] ygrek вышел(а) из комнаты
[12:32:30] ermine вышел(а) из комнаты
[12:32:47] ermine вошёл(а) в комнату
[12:43:22] ermine вышел(а) из комнаты
[12:43:23] ermine вошёл(а) в комнату
[12:54:12] ermine вышел(а) из комнаты
[12:54:17] ermine вошёл(а) в комнату
[13:02:06] arhibot вышел(а) из комнаты
[13:14:52] serp256 вышел(а) из комнаты
[15:16:37] <f[x]> defun.ru приказал долго жить
[15:16:59] <f[x]> http://paste.org.ru/?odbqke
[15:18:24] <Typhon> f[x]: так там, по-моему, последнее время было всё тоже, что есть в fprog.ru/planet , не? (правда в последнем хаскиль-фанбоев сильно больше, по-моему)
[15:20:08] <f[x]> там ссылкопомойка была
[15:20:12] <f[x]> и пастилка
[15:20:17] <f[x]> :)
[15:20:26] <f[x]> вообщем приведённый выше код липнет после ctrl-c
[15:21:27] f[x] подозревает сигнал приходит во время io и как следствие io mutex остаётся залоченный и print_endline из обработчика сигнала deadlock'ается на своём же мутексе
[15:26:49] <f[x]> гипотеза подтвержается тем что если в обработчике писать в stderr (другой мутекс) то всё ок
[15:26:56] f[x] в печали
[15:27:30] <f[x]> хотя по идее достаточно просто использовать рекурсивные мутексы
[15:42:27] <f[x]> ктсати в обработчике print_endline можно убрать, достаточно exit - он проходит все channel'ы и закрывает/flush'ит - тоже виснет
[15:42:47] <f[x]> и рекурсивные мутексы конечно не спасают в общем случае
[15:47:39] <f[x]> у кого-нибудь повторяется ещё? буду багу рисовать в трекер
[15:55:44] <Typhon> ha ha ha ha ha ha ha
ha ha ha ha ha ha ha
^C
ha ha ha ha ha ha ha
signal received, exiting
(typhon@cuprum ~/kamlo/prj)>>=
[15:56:05] <Typhon> freebsd, ocaml 3.11.2, компелировал ocamlopt'ом
[15:57:46] <f[x]> хм!
[15:58:09] <f[x]> а что там за thread'ы?
[15:58:41] <f[x]> у меня linux
[16:07:21] <f[x]> 3.10.2 opensolaris - висит
[16:11:35] Kakadu вошёл(а) в комнату
[16:15:04] <Typhon> 3.11.2 на рхел4 -- висит (ctrl+z, kill -9 помогают от)
[16:15:22] <f[x]> Typhon: архитектура какая? (на всякий случай)
[16:15:37] <f[x]> и версия bsd и ldd на бинарник покажи пожалуйста
[16:16:55] <Typhon> http://paste.in.ua/1122/
[16:32:22] <f[x]> Typhon: а проверь такое на bsd ->
let () =
  let ok = match Sys.argv with [|_;"ok"|] -> true | _ -> false in
  Sys.set_signal Sys.sigint (Sys.Signal_handle (fun _ ->
    (if ok then prerr_endline else print_endline) "signal received, sleep 1 second";
    Thread.delay 1.));
  while true do print_endline "ha ha ha ha ha ha ha" done
[16:32:29] <f[x]> ocamlopt -thread unix.cmxa threads.cmxa io.ml -o io
[16:32:36] <f[x]> ./io ok и ./io bad
[16:32:53] <f[x]> на openbsd печатает signal received и висит, странно
[16:37:49] <Typhon> ./io bad -- ha ha ha ha ha ha ha
^C
ha ha ha ha ha ha ha
signal received, sleep 1 second
и висит :(
[16:38:04] <Typhon> ./io ok -- ждет секунду и флудит дальше
[16:38:37] <f[x]> т.е. репродьюсится
[16:40:22] <f[x]> в принципе это вероятностное, так что может в первый раз просто "повезло"
[16:44:03] <f[x]> PR#5141
[16:45:39] <f[x]> Typhon: спасибо
[17:31:13] iNode вышел(а) из комнаты
[17:31:45] Kakadu вышел(а) из комнаты
[17:56:32] iNode вошёл(а) в комнату
[19:00:48] komar вошёл(а) в комнату
[19:05:47] komar вышел(а) из комнаты
[19:06:09] komar вошёл(а) в комнату
[19:42:02] Kakadu вошёл(а) в комнату
[20:13:04] Typhon вышел(а) из комнаты
[20:18:04] komar вышел(а) из комнаты
[21:17:06] ygrek вошёл(а) в комнату
[21:17:21] ygrek вышел(а) из комнаты
[21:17:52] ygrek вошёл(а) в комнату
[21:31:52] arhibot вошёл(а) в комнату
[21:44:28] digital_curse вошёл(а) в комнату
[22:01:22] Typhon вошёл(а) в комнату
[23:29:35] <arhibot> http://www.amazon.com/Modern-Compiler-Implementation-Andrew-Appel/dp/0521607647/ref=sr_1_3?s=books&ie=UTF8&qid=1283455545&sr=1-3 а никто ничего про эту книгу не скажет?
[23:41:58] arhibot вышел(а) из комнаты
[23:42:26] arhibot вошёл(а) в комнату
[23:46:16] arhibot вышел(а) из комнаты
[23:46:32] arhibot вошёл(а) в комнату
[23:51:39] <Typhon> dmz в жежешке рекомендовал
[23:51:44] <Typhon> судя по всему интереснее, чем драгон бук
[23:52:10] <Typhon> драгон бук, честно говоря, скучноват по началу. поэтому у меня пока на полке пылится
[23:54:17] <Typhon> arhibot, http://dmzlj.livejournal.com/108935.html
[23:55:50] ermine вышел(а) из комнаты
[23:56:02] <arhibot> Typhon: спс, это видел