?

да там чувак из зала заявил, что в эликсире никак низзя сделать race condition

а я знаю как сделать! ура!

как?

так любое же несинхронизированное взаимодействие

аха

ну так сделай кривой дизайн

можно счетчик в генсервер засунуть и устроить RC

в ерланге возможно все! если ты хочешь. даже рейз кондишен

везде можно все

ты еще здесь?

даже в хаскеле

в ерланге возможно все! если ты хочешь. даже рейз кондишен

если не дунуть - чуда не произойдет! ))

если не дунуть, то и ерланг не зайдет

зашел)

на самом деле достаточно просто не уметь конкурентность и можно накосячить в генсервере и будет RC

если не дунуть - чуда не произойдет! ))

не, не, не... Сим-салябим нужно! )))

https://habrahabr.ru/post/281737/#comment_9734722

зашел)

но со стороны всегда кажется, что ты дунул

да там чувак из зала заявил, что в эликсире никак низзя сделать race condition

речь была о том, что есть дизайн языка и отп. согласно которым надо писать приложения.

дизайн языка и OTP тут не причем

просто неверная работа с состоянием и упс

а если надо сделать херню, то ты всегда можешь начать пересылать списки из миллиона элементов между процессами, вызывать ГС из ГС и динамически формировать атомы из строк

просто неверная работа с состоянием и упс

наверное сейчас я должен начать переубеждать в чем то

да нет, нет там никаких гигантских списков

мне книжку подарили, и я доволен

ща приведу пример

Пишем генсервер у которого состояние счетчик - целое. и два обработчика - один читает счетчик, другой пишет. Два процесса параллельно читают счетчик, добавляют к нему единицу и пишут обратно. В данном случае вероятна ситуация, когда после всего этого счетчик будет увеличен на единицу, а не на два, как ожидается.

но со стороны всегда кажется, что ты дунул

это смотря с какой стороны посмотреть)

Пишем генсервер у которого состояние счетчик - целое. и два обработчика - один читает счетчик, другой пишет. Два процесса параллельно читают счетчик, добавляют к нему единицу и пишут обратно. В данном случае вероятна ситуация, когда после всего этого счетчик будет увеличен на единицу, а не на два, как ожидается.

два обработчика есть что?

две функции increment и decrement

handle_call(:increment....

а вторая тоже call?

ага

ну и. каким образом оно испортится, если они будут последовательно выполнены?

а как именно "последовательно"?

_cast ... _call все дело в волшебных пузырьках ))) (с)Швэпс-с-с...

либо тут явное не понимание того, как ГС работает

легко, первый процесс читает и второй сразу за ним. оба прочитают одинаковое значение - n, после чего оба друг за другом пишут n + 1

либо предлагается считать значение из ГС, в своем процессе изменить и записать обратно

такое вполне вероятно

две функции increment и decrement

вот это, кстати, как раз не работает

легко, первый процесс читает и второй сразу за ним. оба прочитают одинаковое значение - n, после чего оба друг за другом пишут n + 1

не

это абсолютно сериализованный доступ

легко, первый процесс читает и второй сразу за ним. оба прочитают одинаковое значение - n, после чего оба друг за другом пишут n + 1

надо , похоже, книжку более внимательно почитать

это ж пример из shared-memory языков

о том, как работают ГСы. и на основе чего

в джаве такое раз плюнуть

вот это, кстати, как раз не работает

почему не работает?

а вот если у тебя в интерфейсе get и put - вот тут можно сделать RC

вот да. если ты в левом процессе сделал гет. прибавил и сделал put, то да

но это по дизайну ССЗБ

почему не работает?

потому что твои ++ и — выполняются последовательно в контексте ГС

вот да. если ты в левом процессе сделал гет. прибавил и сделал put, то да

ну так я об этом и говорю

понятно, что это ошибка, но получается RC.

ну это типа как я взял си, и за пределами массива данные записал

вот да. если ты в левом процессе сделал гет. прибавил и сделал put, то да

для таких случаев есть агенты, кстати

ну это типа как я взял си, и за пределами массива данные записал

я так не думаю, в си за предели массива - это undefined behaviour, а тут вполне себе ясно что происходит

понятно, что это ошибка, но получается RC.

ну то есть, ты понимаешь, что это не правильно, и все равно так делаешь?

вот я могу понять, если б ты сказал, что у тебя подобное происходит с ETS

ну то есть, ты понимаешь, что это не правильно, и все равно так делаешь?

Я так разве делаю? Это было к вопросу о принципиальной возможности сделать RC в эликсире

но когда ты сам дизайнишь приложение таким образом, то это твоя ошибка, а не ОТП

тут принципиальное буквоедство, как я понял

Я-то так никогда не сделаю ибо собаку съел на мьютаксах и прочем синхронизационном говне

был у меня коллега один

он как-то привязался к тому, что я назвал функции - чистыми

а они не чистые!

ERROR: S client not available

:)

они побочные эффекты имеют

Не я не буквоед

как так то бля? я вот смотрю на текст функции. и у меня в мозгу нейронная БД меняется. всё! побочный эффект

но зачем называть чистыми нечистые функции??? ?

ты буквоед

приходи, пожалуйста, на доклады Гошников

и задавай вопросы

Зачем?

о том, как они с рейсами справляются

да так же - сериализация посредством каналов

Я так разве делаю? Это было к вопросу о принципиальной возможности сделать RC в эликсире

в общем, если ты целенаправленно RC не делаешь, то у тебя его и не будет

Просто там на конфе докладчик по эликсиру сказал, что RC могут быть в бизнес логике, а мужик из зала заявил, что это невозможно. Ну мне немного стало обидно за докладчика

считай, что это мессадж объясняемая форма лочки данных

Просто там на конфе докладчик по эликсиру сказал, что RC могут быть в бизнес логике, а мужик из зала заявил, что это невозможно. Ну мне немного стало обидно за докладчика

это я заявил

А, вот почему ты обиделся :)

но да. согласен. был не прав

если ты хочешь, чтоб было, то можешь сделать

я не обиделся

просто там парни сидят с нулем знаний вообще

Правильный ответ: в эликсире намного сложнее сделать RC, чем например в D

если ты хочешь, чтоб было, то можешь сделать

можешь, даже если не хочешь

и им так с порога "тут хз от куда могу произойти рейз кондишены"

хз откуда ни в каком языке не могут

никто не знает, от куда они берутся, но происходят. даже если не хочешь

и тут бы я может быть сказал бы, что у меня RC никогда не было

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

а иначе ведь не убедительно будет

У меня тоже, я в многопоточье сразу все синхронизирою, а вот дедлоки бывали

в эликсире я пока только один способ дедлока знаю, надеюсь он один-единственный

какой?

какой?

два gen_server:call(...., infinity) друг к другу