Может ли Elixir/Erlang скопировать процесс, включая его память?

Question

Я рассматриваю решение проблемы с использованием эликсира, главным образом из-за способности порождать большое количество процессов дешево.

В моем сценарии я хотел бы создать несколько «оригинальных» процессов, которые загружают определенные, неизменяемые данные в память, а затем делают копии этих процессов по мере необходимости. Копии будут использовать одни и те же базовые данные, но с ними будут выполняться разные задачи только для чтения; например, представьте, что в одном «оригинале» есть текст «Война и мир» в памяти, и каждая копия этого оригинала делает другой анализ в тексте.

Мои вопросы:

• Можно скопировать существующий процесс, содержимое памяти и все, в эликсира/Эрланг VM?
• Если да, то каждая копия потребляет столько же памяти, сколько и оригинал, или же они могут совместно использовать память, так как процессы Unix выполняют стратегию «копировать на запись»? (И в этом случае не будет никакой последующей операции записи.)

Answer 1

процесс

Erlang не имеет конкретный процесс данных отдельно от того, что хранится в переменных (и the process dictionary), так, чтобы сделать копию памяти о процесс, просто создайте новый процесс, передающий все соответствующие переменные в качестве аргументов функции.

В общем, память не разделяется между процессами; все скопировано. Исключениями являются таблицы ETS (хотя данные копируются из таблиц ETS, когда процессы читают его), и двоичные файлы размером более 64 байт. Если вы храните «Войну и мир» в двоичном формате и отправляете ее каждому рабочему процессу (или передаете его вместе, когда вы создаете эти рабочие процессы), тогда процессы будут разделять память, только копируя ее, если они захотят изменить двоичный файл , Дополнительную информацию см. В руководстве по эффективности Erlang chapter on binaries.

Answer 2

Существует не встроенный способ копирования процессов. Самый простой способ сделать это - начать «оригинальный» процесс и «копии» и отправить все соответствующие данные в сообщениях в копии. Процессы не делят данные, поэтому нет более эффективного способа сделать это. Помещение данных в таблицы ETS частично помогает при совместном использовании, поскольку данные в таблицах ETS копируются в процесс, когда они используются, однако вам не нужно иметь все данные в куче процесса.

Answer 3

Вы считаете процессы Erlang/Elixir похожими на процессы Unix. Их совсем нет, мне действительно жаль, что у них не было другого имени, потому что они действительно не являются ни потоками, ни процессами в стандартном смысле Unix. Мне потребовалось некоторое время, чтобы обернуть голову вокруг различий.

Вы должны выбросить все свои предвзятые идеи о процессах, все они ошибаются. Eprocesses имеют следующие характеристики.

• Они дешевые и быстрые. Используйте много, всегда есть больше.

• У них нет ресурсов [1]. (Даже запись в stdout является сообщением другому Eprocess.)

• IPC (или сообщения) очень быстрые с относительно низкими накладными расходами по сравнению со стандартным Unix IPC.

То, что я хотел бы попробовать в вашем случае, чтобы создать сервер, управляемый данные и иметь каждое сообщение анализ работника сервера для фрагментов данных, которые нужны.Совершенно приемлемо, чтобы Eprocess был более или менее менеджером общей памяти .

Для меня самый полезный способ думать об Eprocesses - это объекты с собственным потоком исполнения.

[1] Ну, есть таблица ETS, но лучше всего думать о них как об обмене ресурсами, пока вам не придется.