gmane.comp.lang.perl.perl-mongers.moscow

Re: HTTPD на короутинах

Alexandr Gomoliako — 2012-05-25T22:57:58

Приведу примеры, вдруг кто-то поймет.

Корутины, файберы, etc.:

    my $x = 1;
    my $y = func1($x);
    func2($y);

Чем отличается func1 от func2? Абсолютно не видно, при этом одна из
них делает yield, а другая нет. Это очень быстро приводит к
неправильным предположениям о работе программы. И не видно даже, что
тестировать. Это те самые последствия сложности кода, которые в итоге
приведут к ошибкам.

При этом тоже самое с обычным event loop'ом не даст вам сделать
неправильных предположений, потому что continuation задается явно:

    my $x = 1;
    func1 $x, sub {
        my $y = shift;
        func2($y);
    };

Т.е. видно, только func1 уходи

Re: HTTPD на короутинах

Alexandr Gomoliako — 2012-05-25T22:26:53

Да ок, не всем дано :)

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T22:09:46

Оставайтесь со своими тараканами, мой господин :)

А мы пойдём дальше.

26 мая 2012 г., 2:04 пользователь Alexandr Gomoliako <zzz< at >zzz.org.ua>написал:

Re: HTTPD на короутинах

Alexandr Gomoliako — 2012-05-25T22:04:59

За программирование без догмы.

Мне не нравится, что слепо берете говеннейшие проекты и сразу говорите
"приятная штука". Программирование все-таки серъезная наука. Тут не
должно быть нравится, не нравится, так у других и т.д.

А на счет коро, то мне никаким образом в голову не ложится, как
implicit continuation у корутин может быть проще, чем explicit
continuation с обычными колбэками, когда четко ясно что за чем
выполняется. Но по сложности вам объяснять что-то нереально, уже
пробовал. Это как топик, о которым никто ничего не слышал. Благо она
всегда приводит к плохим последствия

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T20:20:39

Иван, это не так немного. Но  я вам сочуствую. вы попали под батхёрт
Александра :)

26 мая 2012 г., 0:12 пользователь Ivan Petrov <i.petro.77.00< at >gmail.com>написал:

Re: HTTPD на короутинах

Ivan Petrov — 2012-05-25T20:12:58


кооперативная многозадачность на сегодня чуть ни единственный способ
решить проблему 10К

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T20:07:36

Кстати, если брать чисто нативный код, то там поддержка файберов дешёвая.
setjump/longjump сохраняют только регистры процессора. Ну и плюс учёт
кэш-миссов.

26 мая 2012 г., 0:03 пользователь Akzhan Abdulin
<akzhan.abdulin< at >gmail.com>написал:

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T20:03:44

Спасибо за чёткий ответ. Совсем позабылось, что в Ruby и в node-fibers
поддержка из коробки.

В таком случае я бы Coro использовать не стал.

26 мая 2012 г., 0:00 пользователь Vladimir Timofeev <vovkasm< at >gmail.com>написал:

Re: HTTPD на короутинах

Vladimir Timofeev — 2012-05-25T20:00:38

25 мая 2012 г., 15:43 пользователь Ivan Petrov
<i.petro.77.00< at >gmail.com> написал:

Проверил сейчас Corona, вроде работает на "Hello, world!", на чем-то
сложном долго проверять.
Даже не свалилось при LIBEV_FLAGS=8 - это включение kqueue на FreeBSD
в дефолтовом цикле у libev.

Детально я все это щупал года 1.5 - 2 назад. Тогда было так (целевая
платформа FreeBSD):
* Coro - сплошные core-дампы на FreeBSD, получались только простейшие
вещи из документации, шаг вправо, шаг влево - core.
* Corona - не работала вообще
* EV - основной цикл в kqueue не работал, приходилось делать его в
select, а уже в него вставлять embedded loop на kqueue для основной
работы. (А

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T19:52:51

Александр, вы за что бьётесь, не понимаю?

Я решаю стоящие передо мной задачи, например.

2012/5/25 Alexandr Gomoliako <zzz< at >zzz.org.ua>

Re: HTTPD на короутинах

Alexandr Gomoliako — 2012-05-25T18:22:29

"When SMP was introduced to Unix kernels, it was done by extending the
semantics of cooperative threading to multiple processors. Once you
get that right, because you have to do real locking to make it work,
you can start adding __real preemption__ while you are at it. "

Re: HTTPD на короутинах

Андрей П. Ковбович — 2012-05-25T17:53:47

"It's noteworthy that traditional Unix kernels are cooperative;"
http://c2.com/cgi/wiki?CooperativeThreading

25 мая 2012 г., 20:20 пользователь Alexandr Gomoliako <zzz< at >zzz.org.ua> написал:

Re: HTTPD на короутинах

Alexandr Gomoliako — 2012-05-25T17:34:16

Это не имеет ничего общего с continuations, с помощью которых
"сопрограммы" реализуются.

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T17:30:34

Зачем мне ссылка на continuations? Де факто сопрограммы обычно с их помощью
и реализуются.

25 мая 2012 г., 21:26 пользователь Alexandr Gomoliako <zzz< at >zzz.org.ua>написал:

Re: HTTPD на короутинах

Alexandr Gomoliako — 2012-05-25T17:26:51

Ну ясно, т.е. вы понятия не имеете и судя по всему не только вы,
почему так. Я вам советую почитать про CPS (continuation passing
style).

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T17:24:18

Нет, это мой личный критерий. Когда приложение становится неудобным в стиле
набора обратных вызовов, имеет смысл переписать его в стиле сопрограмм.
Код становится проще и читаемее.

Но, судя по всему, это не только мой критерий.

25 мая 2012 г., 21:19 пользователь Alexandr Gomoliako <zzz< at >zzz.org.ua>написал:

Re: HTTPD на короутинах

Alexandr Gomoliako — 2012-05-25T17:19:39

Откуда этот критерий взялся? Придумался только что?


"Asynchronous, or event-driven programming relies on the concept of
callbacks): blocks of code whose execution is deferred until an
appropriate event (ex: socket IO) triggers it. While this is not a
complicated concept on its own, in the long run, it seems to result in
complicated, non-linear execution models which are hard to maintain -
we have experienced this firsthand at PostRank and hence made it a
primary concern for Goliath."

Объяснения на основе опыта, это как религия, Ilya Grigorik (я так
понимаю автор Goliath'а) по сути говорит, "понятию не имею, почему не
получилось, пробуем что-то другое". Карго культ это да, хорошая
причина :)

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T17:03:55

Типичный критерий необходимости сопрограмм, - это ветвистое дерево
коллбэков.

25 мая 2012 г., 21:01 пользователь Akzhan Abdulin
<akzhan.abdulin< at >gmail.com>написал:

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T17:01:53

У меня нет никакого желания что-то доказывать. Будут у вас задачи под
сопрограммы, начнёте этим пользоваться. Нет, - и слава Богу.

25 мая 2012 г., 21:00 пользователь Alexandr Gomoliako <zzz< at >zzz.org.ua>написал:

Re: HTTPD на короутинах

Alexandr Gomoliako — 2012-05-25T17:00:01


И что? Это не значит, что это хорошо. Это значит, что не очень много
вменяемых "современных библиотек".

Re: HTTPD на короутинах

Akzhan Abdulin — 2012-05-25T16:27:20

Не знаю, кто с вами разбирался.

Файберы активно используются в программировании уже много лет. Кстати, на
уровне ОС они прекрасно поддерживаются ядром NT, к примеру.

Очень многие современные библиотеки основаны на их использовании, начиная с
async. rails, заканчивая common-node и
Goliath<http://www.igvita.com/2011/03/08/goliath-non-blocking-ruby-19-web-server/>
.


25 мая 2012 г., 20:20 пользователь Alexandr Gomoliako <zzz< at >zzz.org.ua>написал: