AB
Заблуждаетесь
Size: a a a
2020 December 10
LL
Alexander Beniaminov
Заблуждаетесь
Не заблуждаюсь
LL
selective receive есть только в gen:callAB
В нем нет selective receive, но в нем с помощью transition postpone и state_timeout можно смоделировать поведение selective receive
AB
и выше я цитировал документацию erlang
AB
и не стоит говориить, что gen_statem это "тот же самый
gen_server, только с парой приятных штучек". Можно было так сказать про gen_fsm и то с некоторой натяжкойLL
Alexander Beniaminov
В нем нет selective receive, но в нем с помощью transition postpone и state_timeout можно смоделировать поведение selective receive
Ну
То есть
postpone это не совсем selective receive, сообщения принимаются и кладутся в отдельную очередь до востребования. То есть
selective часть придётся самому делатьAB
Какой вы странный, я говорю, что можно СМОДЕЛИРОВАТЬ поведение selective receive.
AB
и в чистом erlang selective receive - это не конструкция языка, а прием использующий receive after 0 receive
LL
Alexander Beniaminov
Какой вы странный, я говорю, что можно СМОДЕЛИРОВАТЬ поведение selective receive.
А, я видимо неправильно прочитал, да...
IA
ну это в итоге O(n) ?
LL
ну это в итоге O(n) ?
Если
n это количество сообщений пришедших с последнего опроса очереди, то даIA
дороговастенько
LL
дороговастенько
А по-другому не получится. Суть в том что
Если бы было несколько
selective receive это довольно редкий кейс. Если бы было несколько
mailbox-ов, то это усложнило бы посылку сообщений или их получение в <количество mailbox-ов> разŹR
А по-другому не получится. Суть в том что
Если бы было несколько
selective receive это довольно редкий кейс. Если бы было несколько
mailbox-ов, то это усложнило бы посылку сообщений или их получение в <количество mailbox-ов> разОдин параметр добавился бы
ŹR
Для посылки
ŹR
Ну для чтения ясно, что был бы кейс
ŹR
Но это считай бизнеслогика
IA
Но это считай бизнеслогика
и новый beam
AB
Есть задача о Санта Клаусе. На чистом erlang или elixir она решается относительно легко, но вот решить ее в рамках ОТП может быть сложнее