Objective Caml - Воскресенье, 22 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 22 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:24:14] ygrek вышел(а) из комнаты
[00:31:12] arhibot вышел(а) из комнаты
[00:33:06] ygrek вошёл(а) в комнату
[00:50:49] komar вышел(а) из комнаты: Replaced by new connection
[00:50:50] komar вошёл(а) в комнату
[01:00:01] gds вышел(а) из комнаты
[01:05:39] ygrek вышел(а) из комнаты
[01:25:52] Typhon вошёл(а) в комнату
[01:55:49] ermine вышел(а) из комнаты
[02:09:30] Kakadu вышел(а) из комнаты
[02:14:44] zert вышел(а) из комнаты
[02:16:25] komar вышел(а) из комнаты: Replaced by new connection
[02:16:27] komar вошёл(а) в комнату
[02:27:02] komar вышел(а) из комнаты: Replaced by new connection
[02:27:04] komar вошёл(а) в комнату
[02:43:08] ftrvxmtrx вышел(а) из комнаты
[02:46:52] ftrvxmtrx вошёл(а) в комнату
[02:51:54] ftrvxmtrx вышел(а) из комнаты
[02:54:14] ftrvxmtrx вошёл(а) в комнату
[03:16:15] komar вышел(а) из комнаты: Replaced by new connection
[03:16:16] komar вошёл(а) в комнату
[03:28:08] ftrvxmtrx вышел(а) из комнаты
[03:28:51] Typhon вышел(а) из комнаты
[03:32:55] komar вышел(а) из комнаты: Replaced by new connection
[03:32:55] komar вошёл(а) в комнату
[03:45:53] komar вышел(а) из комнаты: Replaced by new connection
[03:45:53] komar вошёл(а) в комнату
[03:55:20] komar вышел(а) из комнаты: Replaced by new connection
[03:55:21] komar вошёл(а) в комнату
[04:10:33] komar вышел(а) из комнаты: Replaced by new connection
[04:10:33] komar вошёл(а) в комнату
[04:14:03] ftrvxmtrx вошёл(а) в комнату
[04:59:50] ftrvxmtrx вышел(а) из комнаты
[05:14:50] komar вышел(а) из комнаты: Replaced by new connection
[05:14:50] komar вошёл(а) в комнату
[05:14:54] ftrvxmtrx вошёл(а) в комнату
[06:23:58] Digimmortal вошёл(а) в комнату
[06:53:49] komar вышел(а) из комнаты: Replaced by new connection
[06:53:49] komar вошёл(а) в комнату
[08:01:36] Digimmortal вышел(а) из комнаты: Replaced by new connection
[08:01:38] Digimmortal вошёл(а) в комнату
[08:03:06] Digimmortal вышел(а) из комнаты
[08:03:13] Digimmortal вошёл(а) в комнату
[08:24:14] Digimmortal вышел(а) из комнаты
[09:59:06] komar вышел(а) из комнаты: Replaced by new connection
[09:59:06] komar вошёл(а) в комнату
[10:18:47] gds вошёл(а) в комнату
[10:24:52] ygrek вошёл(а) в комнату
[12:01:34] <gds> ygrek: один знакомый хотел бы узнать общий дизайн / архитектуру mldonkey (да и я не прочь уже).  Сможешь как-нибудь описать его?  В жэжэшную ru_lambda смогу запостить, если захочешь (разумеется, с правильным авторством).  Потому что софтина нетривиальная (не ввод-обработка-вывод, грубо говоря; а кучи протоколов, сетевое взаимодействие, хеши всякие), и человеку интересно, как на окамле решают подобные проблемы с точки зрения общей архитектуры.
[12:11:00] ygrek вышел(а) из комнаты
[12:16:44] komar вышел(а) из комнаты: Replaced by new connection
[12:16:45] komar вошёл(а) в комнату
[12:40:40] ermine вошёл(а) в комнату
[12:41:00] komar вышел(а) из комнаты: Replaced by new connection
[12:41:02] komar вошёл(а) в комнату
[12:42:59] arhibot вошёл(а) в комнату
[13:22:49] komar вышел(а) из комнаты: Replaced by new connection
[13:22:50] komar вошёл(а) в комнату
[13:27:31] komar вышел(а) из комнаты: Replaced by new connection
[13:27:31] komar вошёл(а) в комнату
[14:31:24] komar вышел(а) из комнаты: Replaced by new connection
[14:31:25] komar вошёл(а) в комнату
[14:42:47] komar вышел(а) из комнаты: Replaced by new connection
[14:42:49] komar вошёл(а) в комнату
[14:55:06] komar вышел(а) из комнаты: Replaced by new connection
[14:55:14] komar вошёл(а) в комнату
[14:59:58] komar вышел(а) из комнаты
[15:01:10] komar вошёл(а) в комнату
[15:01:25] komar вышел(а) из комнаты
[15:02:37] komar вошёл(а) в комнату
[15:05:30] komar вышел(а) из комнаты: Replaced by new connection
[15:05:35] komar вошёл(а) в комнату
[15:07:23] Typhon вошёл(а) в комнату
[15:27:26] zert вошёл(а) в комнату
[15:30:36] ygrek вошёл(а) в комнату
[15:38:25] Kakadu вошёл(а) в комнату
[16:20:17] ygrek вышел(а) из комнаты
[16:41:08] arhibot вышел(а) из комнаты: Replaced by new connection
[16:41:09] arhibot вошёл(а) в комнату
[16:46:27] ftrvxmtrx вышел(а) из комнаты
[17:00:42] ftrvxmtrx вошёл(а) в комнату
[17:14:15] ftrvxmtrx вышел(а) из комнаты
[17:26:14] Typhon вышел(а) из комнаты: Replaced by new connection
[17:26:33] Typhon вошёл(а) в комнату
[17:28:16] <ermine> тишина?
[17:29:52] <Kakadu> мертвые с косами стоят
[17:30:23] <ermine> Kakadu: ну как модуль поживает?
[17:31:26] <Kakadu> я понял что с течением времени ядро на виртуалке перестало компилироваться и мне стало плохо и стращно и я разрешил себя взять в город чтобы таскать сумки с рынка. Сейчас сижу смотрю на make xconfig свонго будущего 2.6.29 ядра на дебиане
[17:34:17] <ermine> лучше было бы сходить на речку поплескаться и позагорать
[17:35:02] komar вышел(а) из комнаты: Replaced by new connection
[17:35:03] komar вошёл(а) в комнату
[17:45:34] <Kakadu> ermine: ерунду болтаешь)
[17:48:04] ftrvxmtrx вошёл(а) в комнату
[17:51:10] <ermine> Kakadu: ну правильнее было бы на велике проехать 300 км за день
[17:53:30] komar вышел(а) из комнаты: Replaced by new connection
[17:53:31] komar вошёл(а) в комнату
[18:30:29] ftrvxmtrx вышел(а) из комнаты
[18:34:53] ftrvxmtrx вошёл(а) в комнату
[19:05:28] komar вышел(а) из комнаты: Replaced by new connection
[19:05:28] komar вошёл(а) в комнату
[19:06:36] Kakadu вышел(а) из комнаты
[19:09:04] Kakadu вошёл(а) в комнату
[19:33:25] <Typhon> http://sourceforge.net/projects/cothreads/ а это кто-то смотрел, насколько оно живое?
[19:46:56] Kakadu вышел(а) из комнаты
[20:01:50] <gds> zheng li вообще клёвый (кадастр по сути навеян в том числе его идеями, он насчёт списков показывал объекты и около), однако либа его -- хрен знает.
Мне stm не нравится по сути.  Почему -- потому что я базами данных занимаюсь на одной из работ, где приходится чотко думать о блокировках, конкурентности, и субедешечьная семантика с её "может блокирует, может нет, а может откатим и запустим транзакцию заново" хоть и позволяет не думать об этом в целом, но порой сказывается на производительности и вообще доступности, и я предпочитаю такие штуки явно указывать (например, отсортированный список блокируемых ресурсов для избежания дедлоков).
С другой стороны, stm -- это, в целом, есть смысл оформлять через манатки, и это даже можно сделать, чтобы некоторые действия ввода-вывода откатывались при откате присвоения.  Но кого это волнует...
[20:06:18] <Typhon> вот я как раз по stm выполз на cothreads сейчас :-)
[20:08:51] <gds> при куче блокировок (в худшем случае, то есть) они отвратительно себя ведут, вызывают перевычисления.  А так -- удобны.  Между message passing и stm я выбрал первое, так как там хотя бы всё понятно и можно проследить.  Независимо от константы к O().
[20:10:38] Kakadu вошёл(а) в комнату
[20:11:29] komar вышел(а) из комнаты: Replaced by new connection
[20:11:29] komar вошёл(а) в комнату
[20:16:13] ftrvxmtrx вышел(а) из комнаты
[20:18:06] ftrvxmtrx вошёл(а) в комнату
[21:18:17] ygrek вошёл(а) в комнату
[21:43:29] ygrek вышел(а) из комнаты
[21:52:20] komar вышел(а) из комнаты: Replaced by new connection
[21:52:20] komar вошёл(а) в комнату
[22:00:42] komar вышел(а) из комнаты: Replaced by new connection
[22:00:42] komar вошёл(а) в комнату
[22:01:27] ygrek вошёл(а) в комнату
[22:08:54] <ygrek> Last Update 2009-07-17
[22:12:14] <ygrek> gds: насчёт mldonkey - там всё достаточно просто и олдскульно, для протоколов явные fsm'ы выписаны, p2p плагины реализованы через классическое позднее связывание на record'ах, сетевое i/o через явный буфер даваемый потребителю и уведомления типа DRAINED, WRITE_DONE, CLOSED, etc
[22:12:43] <ygrek> не уверен что это идиоматический способ как решать такие задачи на камле (тем более сейчас есть lwt)
[22:13:47] <ygrek> т.е. на мой вкус немного всё слишком низкоуровнево, но работает
[22:36:26] arhibot вышел(а) из комнаты
[23:00:14] <gds> ygrek: благодарю за описание.  Публиковать его не буду лично.
Однако прочитал, всё понял, интересующемуся человеку передал, он прочитал, тоже пасипка и симпаффка!1111
[23:02:58] ermine вышел(а) из комнаты
[23:09:20] ftrvxmtrx вышел(а) из комнаты