Objective Caml - Понедельник, 7 февраля 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 7 февраля 2011< ^ >

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

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

GMT+3
[00:00:56] Kakadu вышел(а) из комнаты
[00:08:06] <arhibot> оно криво рисует :(
[00:11:28] Typhon вошёл(а) в комнату
[00:31:22] arhibot вышел(а) из комнаты
[01:28:40] gds вышел(а) из комнаты
[01:38:09] ermine вышел(а) из комнаты
[02:26:46] ygrek вышел(а) из комнаты
[02:52:24] Typhon вышел(а) из комнаты
[07:14:58] komar вышел(а) из комнаты
[07:22:56] iNode вышел(а) из комнаты
[07:46:24] iNode вошёл(а) в комнату
[08:55:52] zert вошёл(а) в комнату
[09:01:08] gds вошёл(а) в комнату
[09:29:20] iNode вышел(а) из комнаты
[10:37:33] serp256 вошёл(а) в комнату
[10:40:57] ygrek вошёл(а) в комнату
[10:50:47] <gds> а ещё есть такая вебня: http://www.impredicative.com/ur/demo/
[10:53:05] <f[x]> fail по определению (новый язык для веба, как будто-бы кому-то нужен новый язык, гг)
[10:54:16] <gds> зато статическая типизация, зависимые типы и чорт в ступе.
[10:56:18] Kakadu вошёл(а) в комнату
[10:56:54] <f[x]> ну да, теоретическая подготовка к fail'у впечатляющая :)
[10:57:44] f[x] юзает хостинг с тулзой конфигурирования на sml'е написанной этим же товарищем
[10:59:06] <gds> и как, глючное решето, небось?
[11:01:04] <f[x]> не, нормально, документация вменяемая
[11:01:21] <f[x]> идея вообще зачётная
[11:07:55] <gds> а чем отличается от прочих конфигураторов, и вообще, чем хороша?  А то у меня тоже, видимо, будет нужда что-то брать либо что-то велосипедить, так хоть знать надо.
[11:09:24] <f[x]> если у тебя root и ты знаешь весь софт который ставишь - то это не для тебя
[11:09:56] <f[x]> это для shared хостинга с 100500 пользователей которые не знают что такое apache например
[11:10:27] <f[x]> даётся dsl где описываются веб, ftp, домен, почта итд сервисы исопльзуемые юзером
[11:10:57] <f[x]> все конфиги всех пользователей объединяются и генерится общий конфиг для апача, для bind'а, etc
[11:11:51] <gds> прикольно.  Надо посмотреть, ибо у меня что-то между "знаю весь софт" и "есть неграмотные пользователи".  Оно опенсорс?  Как называется / где брать?
[11:12:08] <f[x]> поинт в том что не всякий софт позволяет легко разграничивать сетап системный и пользовательский, а с помощью такой тулзы получается ещё и ограничить отстрел ног у юзеров
[11:12:57] <f[x]> но в минусах что надо учить "новый язык" - хотя с хорошей документацией всё сводится к копипасте примеров в 99% случаев
[11:14:05] <f[x]> http://wiki.hcoop.net/DomTool
[11:14:15] <gds> у меня тоже была именно такая идея -- записывать конфиги в виде дсл, который транслировать в код, генерящий конфиги и все дела.  Вот же гад, реализовал раньше.
[11:14:31] <f[x]> :)
[11:20:26] serp256 вышел(а) из комнаты
[11:23:00] ermine вошёл(а) в комнату
[11:24:05] serp256 вошёл(а) в комнату
[11:31:49] iNode вошёл(а) в комнату
[12:13:47] iNode вышел(а) из комнаты
[12:20:58] Kakadu вышел(а) из комнаты
[12:24:54] ygrek вышел(а) из комнаты
[12:58:24] Typhon вошёл(а) в комнату
[13:09:34] iNode вошёл(а) в комнату
[13:49:34] ftrvxmtrx вышел(а) из комнаты
[13:50:09] ftrvxmtrx вошёл(а) в комнату
[13:52:46] ftrvxmtrx вышел(а) из комнаты
[13:53:28] ftrvxmtrx вошёл(а) в комнату
[14:37:54] komar вошёл(а) в комнату
[15:26:55] ftrvxmtrx вышел(а) из комнаты
[15:29:13] Kakadu вошёл(а) в комнату
[15:29:59] ftrvxmtrx вошёл(а) в комнату
[15:37:19] ftrvxmtrx вышел(а) из комнаты
[15:39:05] ftrvxmtrx вошёл(а) в комнату
[15:53:15] ftrvxmtrx вышел(а) из комнаты
[15:53:19] ftrvxmtrx вошёл(а) в комнату
[15:57:00] ftrvxmtrx вышел(а) из комнаты
[15:57:11] ftrvxmtrx вошёл(а) в комнату
[15:57:37] ftrvxmtrx вышел(а) из комнаты
[15:57:50] ftrvxmtrx вошёл(а) в комнату
[16:43:29] zert вышел(а) из комнаты
[16:48:56] zert вошёл(а) в комнату
[17:06:48] iNode вышел(а) из комнаты
[17:30:22] gds вышел(а) из комнаты
[18:48:29] ftrvxmtrx вышел(а) из комнаты
[18:49:14] ftrvxmtrx вошёл(а) в комнату
[19:17:30] ftrvxmtrx вышел(а) из комнаты
[19:18:32] ftrvxmtrx вошёл(а) в комнату
[19:25:16] Kakadu вышел(а) из комнаты
[19:34:45] gds вошёл(а) в комнату
[19:55:35] ftrvxmtrx вышел(а) из комнаты
[20:09:46] gds вышел(а) из комнаты
[20:10:02] gds вошёл(а) в комнату
[20:12:03] ftrvxmtrx вошёл(а) в комнату
[20:17:52] iNode вошёл(а) в комнату
[20:40:18] serp256 вышел(а) из комнаты
[20:41:44] zert вышел(а) из комнаты
[20:59:15] ffinder вошёл(а) в комнату
[21:00:32] Typhon вышел(а) из комнаты: Replaced by new connection
[21:00:35] Typhon вошёл(а) в комнату
[21:04:26] <ffinder> f[x]: fail по определению (новый язык для веба, как будто-бы кому-то нужен новый язык, гг)
ну если бы кто-то выкатил статически типизированный эрланг, с опциональными мутабельными массивами... тут и думать нечего что надо было бы брать и немедленно
[21:06:53] <ermine> уже пытались слабать компилятор для статической типизации ырланка, кстати, с участием камла
[21:07:14] <ermine> только у ырланка проблемы не только с типизацией
[21:18:23] <gds> ermine: позволю спросить..  проблемы -- с самим эрлангом?
[21:18:43] Typhon вышел(а) из комнаты
[21:20:16] <ermine> gds: вопрос какой-то невнятный :)
[21:24:20] ffinder вышел(а) из комнаты
[21:32:44] ffinder вошёл(а) в комнату
[21:33:59] <ffinder> ermine: только у ырланка проблемы не только с типизацией
ясно что не только, но пока он единственный в своей нише, termite shceme не считается
[21:41:03] <ermine> ну тогда проблемы в размерах ниши, что туда всякую лажу пытаются впихнуть типа сайтов
[21:41:18] <ffinder> смотря с чем сравнивать
[21:41:32] <ffinder> если python против эрланка то питон просто сосет
[21:42:03] <ffinder> в эрланке хотя бы GIL нету
[21:46:16] <ermine> зато механизм манипуляции памятью полон мистицизма
[21:49:09] serp256 вошёл(а) в комнату
[21:50:07] <ffinder> ну и где же там мистика?
[21:50:39] <ffinder> у каждого процесса своя куча, бинари больше 64 (или 80 байт) выделяется в общей памяти
[21:50:59] <ermine> ты пробовал поиграться с ключами памяти командной строки ырланка?
[21:51:09] <ffinder> не, а что?
[21:51:27] <ermine> поиграй и объясни как они работают :)
[21:52:23] <ffinder> мне пока не надо, а если вдруг понадобиццо, то в английском мейллисте есть ульф вигер и даже джо армстронг - можно прямо и спросить
[21:53:33] <ermine> тогда ты колдун, если это сработает
[21:53:43] <ffinder> ну и да, есть исходники VM на сях, если прижмет - их можно читать
[21:53:58] <ffinder> я например со скуки немного посмотрел чего там внутри
[21:57:04] <ermine> для ежикописателей этого оказалось недостаточно
[22:01:28] ftrvxmtrx вышел(а) из комнаты
[22:01:42] ftrvxmtrx вошёл(а) в комнату
[22:19:15] ftrvxmtrx вышел(а) из комнаты
[22:20:36] ftrvxmtrx вошёл(а) в комнату
[22:31:14] arhibot вошёл(а) в комнату
[22:33:43] <arhibot> ffinder: да что уж там в русской гугло группе Бьёрн Густавсон пробегает время от времени
[22:36:10] <arhibot> ermine: а что ежикописатели?
[22:39:47] <ermine> arhibot: вопроса не поняла
[22:40:08] <arhibot> (07.02.2011 21:57:04) ermine: для ежикописателей этого оказалось недостаточно
[22:40:44] <ermine> и?
[22:41:09] <ermine> ну перефразируй свой странный вопрос
[22:41:14] <arhibot> у них были проблемы с памятью какие-то?
[22:41:37] <ermine> и сейчас есть
[22:42:05] <ermine> непонятно почему памяти так много отжирается и как регулировать это с помощью ключиков
[22:42:41] <arhibot> а где можно прочитать о проблеме?
[22:43:08] <ffinder> почему много памяти на какой задаче?
[22:43:13] <ermine> нигде, это internal делишки
[22:44:08] <ermine> ffinder: ну как размер выбедяемого блока памяти зависит от размера ростера? например :)
[22:44:34] <arhibot> ermine: а не связано ли это с мнезией?
[22:45:10] <ermine> arhibot: ну вот ты уже начал уклоняться в мистицизм
[22:45:21] <arhibot> ну мнезия это не мистицизм
[22:45:29] <arhibot> мнезия это известный глюкодром
[22:45:55] <ermine> ругаться любой дурак умеет
[22:46:00] <ffinder> ростер это из еджабберда который?
[22:46:19] <ermine> так речь ж была про ежик
[22:46:30] <ermine> ежиком все называют ejabberd
[22:46:37] <arhibot> ermine: не зря же те кто хотели, уже мигрировали с мнезии на другие базы
[22:47:22] <ffinder> а вообще как влияет: есть внутренний хип, если он заполнен - то включается сборка мусора, и создается новый хип, и туда копируются объекты из старого
[22:47:25] <ermine> arhibot: по-моему ты очень поверхностно относишься к этому вопросу
[22:47:37] <arhibot> ок
[22:48:52] <ermine> ffinder: да бубны пробовали разные, включая зиповать state процесса (в нем хранится ростер) и так далее, лень перечислять
[22:49:25] <ermine> да и не помню уже деталей, щас никаких ключей памяти не юзаем и просто пристреливаем слишком распухшие процессы
[22:49:50] <ermine> а они распузают из-за несрабатывающих таймаутов в send
[22:50:31] <ermine> хотя лично у меня еще вызывает тот вопрос, что собсно такого хранится в mbox сотнямы тысячами
[22:50:57] <ffinder> а там кроме сообщений вроде же ничего и быть не может
[22:51:17] <ffinder> просто если ресив их не выбивает все - они там навеки останутся
[22:51:30] <ermine> ну это понятно
[22:51:42] <ermine> но в таких жутких количествах?
[22:52:06] <ermine> в бэктрейсе ничего странного не видно, но всё же
[22:52:15] <ffinder> ну а если в конце матчить с _?
[22:52:23] <ffinder> чтобы нифига не оставалось
[22:53:07] ffinder ёжега в глаза не видел и теоретизирует
[22:53:24] <arhibot> ffinder: _ тут явно не причем
[22:53:57] <ermine> в синтерических условиях в ежике ничего странного не проявляется
[22:55:20] <ermine> а мнезия конечно сакс, но пока ничего лучшего местами не придумали
[22:55:34] <ffinder> ну если ты говоришь что сотни тысяч сообщений в мейлбоксе остаются, то значит они по паттерну не выбираются, иначе нужно думать что баг в ВМ
[22:55:59] <ffinder> иных вариантов просто не могу представить
[22:56:44] <ermine> ну, наивно как-то
[22:58:00] <ffinder> твои варианты?
[22:58:37] <ermine> ffinder: положим, ты в сокет гонишь данные, сначала получая их из другого процесса. Положим, у тебя сокет почему-то заткнулся и в сеть ничего не уходит. Вопрос: сколько в mbox будет записей?
[22:59:55] Typhon вошёл(а) в комнату
[23:00:18] <ffinder> а, ты вот про что
[23:01:04] <ffinder> я почему-то про прием сообщений думал (перепутал)
[23:08:36] ygrek вошёл(а) в комнату
[23:11:45] <ffinder> The underlying TCP/IP stack might actually accept the data even with a send_timeout  set, but won't be able to send it as the other endpoint is down. The  knowledge of the closed port first arrives later on, when the stack  realizes it never got an ACK. There is a raw entry type for Sockets, defined in inet.  It allows you to set OS-specific socket options. It may be possible to  coerce the OS into being more aggressive at detecting the loss of a  connection.
[23:12:38] serp256 вышел(а) из комнаты
[23:13:45] serp256 вошёл(а) в комнату
[23:17:44] <ffinder> Matthias suggested to use the undocumented:
gen_tcp:connect(Host, Port, [{send_timeout, 0}])
[23:18:18] <ffinder> вот вроде решение, чтобы буфер не засерался
[23:19:17] <ffinder> блин, тут жеж про connect
[23:20:43] gds вышел(а) из комнаты
[23:25:52] <ermine> ты еще посмотри, кто аффтар того патча
[23:35:59] ygrek вышел(а) из комнаты
[23:37:59] ffinder вышел(а) из комнаты
[23:39:22] arhibot вышел(а) из комнаты
[23:49:40] ftrvxmtrx вышел(а) из комнаты
[23:49:56] ftrvxmtrx вошёл(а) в комнату
[23:49:57] ftrvxmtrx вышел(а) из комнаты
[23:50:14] ftrvxmtrx вошёл(а) в комнату