Node.JS complexity rant

[lionet]

Создатели целой социальной сети на основе Node.JS подтверждают всё то, что эрлангисты сразу говорили: Node.JS ск сложный и лапшистый:

Цитируя лозунг создателей NodeJS

Comments

[ex_juan_gan]

А, так у них cps вместо синхронизации! Люблю, теоретически. Я б побаловался, чисто опыта набрать.

Но ведь эрланг тоже примерно так устроен, нет?

[lionet]

Нет. В эрланге ты программируешь линейно. Сделал A, затем сделал B. В Node.JS ты программируешь через коллбеки: сделал A, которому скормил коллбек, который позовёт B. Это лапша.

[sheremetyev]

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

[lionet]

1. Конечно, вопрос синтаксиса. И это важно чрезвычайно. Именно из-за синтаксиса мы не программируем на брейнфаке, а хотим более высокоуровневых и, одновременно, простых конструкций.

2. Кафеин не скрывает сложность модели выполнения Node.JS: всё равно нужно помнить, где восклицательные знаки расставлять. А если вдруг забыл - то всё заблокируется напрочь. Нельзя пропустить _ни одного_ восклицательного знака. Во всех тысячах строчек кода. Иначе именно этот пропущенный знак когда-нибудь выстрелит.

[sheremetyev]

Не очень понял насчет заблокируется. Если пропустить восклицательный знак, то код после асинхронного вызова будет выполнен сразу же, а не "потом". А "потом" (после завершения асинхронной операции) не будет выполнено ничего. Например, если в первом примере по ссылке пропустить восклицательный знак, то append() будет вызван с неопределенным параметром.

[lionet]

Речь не только про append. Но и про остальные тыщи API-операций, часть которых лишь часть действительно асинхронна.

Я действительно допустил небрежность в объяснении. Не только восклицательные знаки нужно расставлять, но и избегать синхронных вызовов надо. То есть, ни одна функция, теоретически, не может быть безопасной для соседних потоков. Частью эта проблема решается соглашением о наименовании. Фольклором! А не особенностями VM, которые принципиально не допускают блокировки.

Кроме того, даже использование асинхронных функций сопряжено с граблями!

Например, потерянный коллбек блокировки даст неопределённый порядок применения операций:

node.fs.rename("/tmp/hello", "/tmp/world");
node.fs.stat("/tmp/world", function (status, stats) { ... });Вот здесь stat может выполниться раньше, чем завершится операция rename

[sheremetyev]

Насколько я знаю, синхронные в Node только штук 30 функций для файлового ввода-вывода. Это аналоги соответствующих асинхронных функций, добавленные "для удобства". Пользоваться ими категорически не рекомендуется по понятным причинам. Я считаю их вообще зря добавили и со временем уберут.

Кроме этих функций блокироваться практически больше нечему, если самому вечный цикл не написать. Никакого sleep(), например, нету. Поэтому, как правило, если процессор чем-нибудь занят то он занят полезной работой, а не читает тупо один и тот же адрес в памяти ради синхронизации потоков. Думаю, именно это имеется ввиду когда говорят "because nothing blocks".

[tretiy3]

я не специалист по node.js, но писал, маленько, на twisted.
штука в том, что каждая пользовательская функция/метод синхронна по умолчанию.
в смысле: файл-то он прочитает ассинхронно, но нужно, ведь, не только прочитать, но и распарсить, к примеру. а в такие штуки ассинхронность приходится руками засовывать. в какой-то момент говорить: "стоп - пускай теперь другие поработают". завернуть в колбек не сложно. в питоне для cps есть yield. (говорят в какой-то реализации яваскрипта тоже есть). для обработки ошибок нужно вместе с каждым колбеком вешать errback. и если грамотно составлять эти цепочки, то в целом, жить можно.
только очень сложно дебажить такую монструозную штуку на генераторах. где-то забыл поставить errback и хрен разберешься где падает.

[ko_bx]

Странно как-то это, путать асинхронность ввода/вывода с параллельностью просчетов разных.

Для асинхронности ввода/вывода всем хорош gevent -- пропатч сокеты/потоки/работу с файлами, создавай на каждый "обработчик" по зелёному потоку и всё тут, дальше пиши код в синхронном стиле, а тот сам будет засыпать/просыпаться и так далее.

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

а вы всё это на twisted в один поток делали? (вместе с парсингом и проч.) или я неправильно понял?

[tretiy3]

неточно выразился про ассинхронность.
конечно речь о block/non block коде.
под ассинхронной функцией понимается функция, которая не делает сразу всю свою работу и возвращает управление вызвавшей ее функции как можно быстрее.
Да в один поток, конечно.
И в ноде все в один поток делается.

[ex_juan_gan]

Ну вот; рассеиваются иллюзии. А как же многопоточность в Эрланге поддерживается? Разве не через акторов?

[lionet]

Многопоточность - это штучки-дрючки VM. В эрланге как языке стиль программирования линейный.
V = http:call(),
Z = ldap:call(V),
http:call(Z).

[ex_juan_gan]

Понятно; как и в джаваскрипте - и вопросов не возникает.

[lionet]

В чистом Node.JS так нельзя писать - заблокируется всё нафиг на первом же колле. Надо коллбеки плодить.

[ghostwheel]

дурацкий вопрос: Node.JS создали, чтобы было трудно, но задорно?

[lionet]

Если почитаешь то, что написал создатель Node.JS - то да, примерно так и получается. У него не было знаний и опыта разных подходов к проектированию 24/7 сервисов, поэтому и получилось так.

К сожалению, это надолго.