Процеси
У Elixir весь код виконується всередині процесів.
За замовчуванням функція виконується в тому самому процесі, з якого її викликали. Коли потрібно явно запустити певну функцію в новому процесі, скористаймося spawn/1:
spawn(fn -> 2 + 2 end)
# => #PID<0.125.0>
spawn/1 створює новий процес, який виконує передану функцію без аргументів і повертає ідентифікатор процесу (PID). Новий процес буде живим, доки виконується функція, а потім тихо завершиться.
Процеси Elixir не варто плутати з процесами операційної системи. Процеси Elixir використовують набагато менше памʼяті та процесорного часу. Цілком нормально мати застосунки Elixir, у яких працюють сотні процесів Elixir.
Повідомлення
Процеси не діляться інформацією безпосередньо один з одним. Щоб обмінюватися даними, процеси надсилають і отримують повідомлення.
Можна надіслати повідомлення будь-якому процесу за допомогою send/2. Перший аргумент send/2 - це PID одержувача, а другий аргумент - саме повідомлення.
Повідомлення може бути будь-якого типу. Часто воно складається з атомів і кортежів. Якщо потрібно отримати відповідь, варто включити PID відправника кудись у повідомлення. PID поточного процесу можна отримати за допомогою self().
send/2 не перевіряє, чи повідомлення було отримано одержувачем, ані чи одержувач ще живий. Повідомлення потрапляє до поштової скриньки одержувача, і його буде прочитано лише тоді, коли одержувач явно попросить отримати повідомлення.
Повідомлення можна прочитати з поштової скриньки за допомогою макроса receive/1. Він приймає блок do, який уміє зіставляти повідомлення зі зразком.
receive do
{:ping, sender_pid} -> send(sender_pid, :pong)
:do_nothing -> nil
end
receive/1 візьме одне повідомлення з поштової скриньки, яке відповідає будь-якому із заданих зразків, і виконає вираз, заданий для цього зразка. Якщо в поштовій скриньці немає повідомлень або жодне з повідомлень не відповідає жодному зі зразків, receive/1 чекатиме на одне з них.
Цикл отримання
Якщо потрібно отримати більше ніж одне повідомлення, потрібно викликати receive/1 рекурсивно. Поширений прийом - реалізувати рекурсивну функцію, наприклад, з назвою loop, яка викликає receive/1, щось робить із повідомленням, а потім викликає саму себе, щоб чекати на нові повідомлення. Якщо потрібно передати якийсь стан від одного виклику receive/1 до іншого, це можна зробити, передавши аргумент у цю функцію loop.
Ідентифікатори процесів
Ідентифікатори процесів - це окремий тип даних. Вони виконують роль адрес поштових скриньок: якщо у нас є PID процесу, ми можемо надіслати повідомлення цьому процесу. PID зазвичай створюються опосередковано, як повернене значення функцій, що створюють нові процеси, як-от spawn.
Навчальна вправа
