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

ocaml@conference.jabber.ru

Суббота, 19 октября 2013< ^ >

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

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

GMT+4
[00:53:04] ermine вышел(а) из комнаты
[02:39:58] strobegen вышел(а) из комнаты
[04:00:49] tilarids вышел(а) из комнаты: Machine going to sleep
[04:40:49] strobegen вошёл(а) в комнату
[06:45:13] tilarids вошёл(а) в комнату
[09:09:49] tilarids вышел(а) из комнаты: Machine going to sleep
[09:38:44] tilarids вошёл(а) в комнату
[09:51:22] tilarids вышел(а) из комнаты: Machine going to sleep
[10:57:28] ermine вошёл(а) в комнату
[11:10:47] f[x] вошёл(а) в комнату
[11:19:47] f[x] вышел(а) из комнаты
[11:41:54] Kakadu вошёл(а) в комнату
[11:57:45] f[x] вошёл(а) в комнату
[12:00:50] f[x] вышел(а) из комнаты
[12:25:06] <gds> как же я люблю велосипеды.  Доделал свой проверяльщик многопоточного.  Убедился, что первый алгоритм из http://en.wikipedia.org/wiki/Readers-writers_problem корректен (писалка+писалка и писалка+читалка не пересекаются), но становится некорректным при выборочном отламывании мутексов/синхронизаций.  Ну и всякие простые вещи проверил -- "lock m1; lock m2" + "lock m2; lock m1" таки дают дедлок, а программа "взять значение из переменной, увеличить на 1, записать взад", будучи запущенной в двух тредах параллельно, не всегда увеличивает переменную на 2.  И всё это с конкретными трейсами, "как оно доходит до жизни такой".  Если кому надо такое, сообщите.  А пока публично не выкладываю, хочу гламур добавить.  Какие-нибудь красивые хтмлки рисовать, чтобы трейсы понагляднее были, например.
[12:26:04] <gds> и работает шустро: проверка rwlock -- пара секунд (и это при компиляции в байткод).
[12:28:48] <gds> если интересно, описание rwlock-задач -- http://paste.in.ua/8884/
[13:56:00] Kakadu вышел(а) из комнаты
[14:02:19] f[x] вошёл(а) в комнату
[14:10:23] f[x] вышел(а) из комнаты
[14:15:25] ftrvxmtrx вошёл(а) в комнату
[15:11:46] Kakadu вошёл(а) в комнату
[15:56:38] <gds> подумалось забавное применение моей хрени -- задать доступные ресурсы (переменные, семафоры), задать условия, которым должны удовлетворять алгоритмы, и брутфорсить их до полного удовлетворения.
[16:06:25] <ForNeVeR> Автоматический программист?
[16:08:33] <gds> только для скелета многопоточной хрени.  локи всякие там.
[16:10:30] <gds> или вон погляди на второй кусок кода из http://en.wikipedia.org/wiki/Readers-writers_problem -- мне бы не хотелось подобное придумывать своей головой, а потом тестить на бамажке.  3 изменяемые переменные, 5 семафоров.
[16:32:42] Kakadu вышел(а) из комнаты
[16:34:37] Kakadu вошёл(а) в комнату
[16:54:32] komar вышел(а) из комнаты: Replaced by new connection
[16:54:33] komar вошёл(а) в комнату
[17:24:14] komar вышел(а) из комнаты: Replaced by new connection
[17:24:14] komar вошёл(а) в комнату
[18:13:39] tilarids вошёл(а) в комнату
[19:13:21] komar вышел(а) из комнаты: Replaced by new connection
[19:13:21] komar вошёл(а) в комнату
[19:33:42] Kakadu вышел(а) из комнаты
[21:27:29] Kakadu вошёл(а) в комнату
[21:27:40] Kakadu вышел(а) из комнаты
[21:49:49] komar вышел(а) из комнаты: Replaced by new connection
[21:49:49] komar вошёл(а) в комнату
[21:59:24] komar вышел(а) из комнаты: Logged out
[21:59:29] komar вошёл(а) в комнату
[22:11:10] ermine вышел(а) из комнаты