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

ocaml@conference.jabber.ru

Среда, 27 ноября 2013< ^ >

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

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

GMT+4
[00:23:47] Typhon вошёл(а) в комнату
[00:52:46] Typhon вышел(а) из комнаты
[02:40:00] strobegen вышел(а) из комнаты
[05:08:24] f[x] вошёл(а) в комнату
[05:18:29] f[x] вышел(а) из комнаты
[05:58:50] f[x] вошёл(а) в комнату
[06:11:27] dlebedev вошёл(а) в комнату
[06:12:49] mrm вошёл(а) в комнату
[06:36:31] strobegen вошёл(а) в комнату
[07:00:44] tilarids вышел(а) из комнаты
[07:11:37] tilarids вошёл(а) в комнату
[08:26:53] tilarids вышел(а) из комнаты: Machine going to sleep
[09:21:07] <f[x]> а вот сразу видно что никто слайды с oud2013 не читал
[09:21:30] <f[x]> там русским по pdf'у написано что camlp4 будут выносить из core ocaml distribution
[09:22:02] <f[x]> и думают выносить-ли ocamlbuild str num graphics
[09:37:29] tilarids вошёл(а) в комнату
[09:58:27] f[x] вышел(а) из комнаты
[10:39:23] ermine вошёл(а) в комнату
[11:10:03] tilarids вышел(а) из комнаты: Machine going to sleep
[11:54:52] dlebedev вышел(а) из комнаты: Replaced by new connection
[11:54:52] dlebedev вошёл(а) в комнату
[11:59:57] Typhon вошёл(а) в комнату
[12:44:17] Kakadu вошёл(а) в комнату
[13:45:03] mrm вышел(а) из комнаты
[14:11:05] f[x] вошёл(а) в комнату
[14:17:31] <Kakadu> Люди, я так и не понял почему мне нужны критические секции.....
[14:21:12] <f[x]> gds же всё объяснил с трибуны
[14:21:21] <gds> щас ещё объясню.
[14:21:29] <gds> но без картинок :[
[14:25:19] <gds> Kakadu: камло умеет исполнять один камлопоток в один момент времени.  Погромист вызвал кутэшную функцию.  В каком-то камлопотоке, ясен хрен.  Эта функция крутит себе евентлуп.  Умничка.  Но рантайм знает, что камлопоток выполняется, и другие потоки ждут своей очереди.  Пока гуй не завершится, пока снова в камло не попадёт управление, например.
На самом деле, ситуацию можно улучшить.  Как только дело доходит до "ждём, что пользователь скажет" (а это плюсовый код), рантайму можно сказать "эй, я тут сишное кручу, хип менять не буду, поэтому давай, жги, если есть ждущие потоки".  И он будет крутить их.
А когда приходит событие от пользователя, нужно выполнить колбэк.  Вот тут самое время сказать рантайму "сейчас хочу выполнять камлокод -- давай закругляй там остальные треды, чтобы мы одновременно в хип не срали, и дай мне возможность выполнить колбэк".
[14:26:43] <gds> и это не "критические секции".
[14:27:51] <Kakadu> Да, это совсем не они
[14:28:09] <Kakadu> меня просто демотиватор демотивировал
[14:28:14] <gds> это мутекс такой.  Какой тред его захватил, тот тред с камлокодом и выполняется.
[14:28:30] <gds> стандартная схема!1111
[14:31:16] <f[x]> ocaml@cjr
[14:35:42] f[x] вышел(а) из комнаты
[14:58:28] dlebedev вышел(а) из комнаты
[15:00:30] klapaucius вошёл(а) в комнату
[15:18:53] Kakadu вышел(а) из комнаты
[15:27:00] Kakadu вошёл(а) в комнату
[19:09:39] Typhon вышел(а) из комнаты
[19:31:12] Kakadu вышел(а) из комнаты
[19:33:23] Kakadu вошёл(а) в комнату
[19:43:35] f[x] вошёл(а) в комнату
[20:16:28] f[x] вышел(а) из комнаты
[20:42:47] tilarids вошёл(а) в комнату
[20:44:07] tilarids вышел(а) из комнаты: Machine going to sleep
[21:15:40] Kakadu вышел(а) из комнаты
[21:18:17] Kakadu вошёл(а) в комнату
[21:32:33] Kakadu вышел(а) из комнаты
[21:56:35] Typhon вошёл(а) в комнату
[21:57:36] tilarids вошёл(а) в комнату
[22:18:55] Kakadu вошёл(а) в комнату
[22:42:35] ermine вышел(а) из комнаты
[22:54:33] komar вышел(а) из комнаты: Replaced by new connection
[22:54:33] komar вошёл(а) в комнату