169 похожих чатов

Всем привет Использую две очереди для взаимодействия с внешним сервисом -

одна для запросов, другая для ответов.

pull'
:: MonadSTM m
=> TQueue m (ChainSyncRequest block)
-> TQueue m (ChainSyncResponse block)
-> m (LedgerUpdate block)
pull' outQ inQ = atomically $ do
writeTQueue outQ $ RequestNextReq RequestNext
readTQueue inQ <&> extractUpdate

При использовании получаю сообщение о том, что в этом месте thread blocked indefinitely in an STM transaction.
Не пойму где здесь лок возникает?

7 ответов

19 просмотров

В inQ кто-то пишет?

Так если он не пишет, то вот это тред ждет

Ilya-Oskin Автор вопроса
Danil Berestov
Так если он не пишет, то вот это тред ждет

Да, дело не в дедлоке. Убрал тред с клиентом который с обратной стороны взаимодействовал с этими очередями и всё равно ловлю эту ошибку. Я тогда видимо чего то не понимаю о STM. Я как раз и одидал от readTQueue семантической блокировки до тех пор пока элемент не будет доступен.

Ilya Oskin
Да, дело не в дедлоке. Убрал тред с клиентом котор...

Не хватает минимального воспроизводимого примера, ну или всего кода, который есть

Ilya-Oskin Автор вопроса
Kirill Valyavin
Не хватает минимального воспроизводимого примера, ...

Трейс ошибки указывает сюда https://github.com/ergolabs/cardano-dex-backend/blob/bfd0f26ffdfbc2c18a189f2edf01bcf3ff143b22/ledger-sync/src/Spectrum/LedgerSync.hs#L117

Ilya Oskin
Да, дело не в дедлоке. Убрал тред с клиентом котор...

> Убрал тред с клиентом который с обратной стороны взаимодействовал с этими очередями Так в итоге пишет кто-то в inQ или нет? > Я как раз и одидал от readTQueue семантической блокировки до тех пор пока элемент не будет доступен. Так и есть по идее, но с оговоркой что если элемент точно никогда уже не будет доступен то рантайм пришлет (может прислать, если быть точнее, deadlock detector ничего не гарантирует IIRC) эксепшн

Ilya-Oskin Автор вопроса
aadaa_ftgaa
> Убрал тред с клиентом который с обратной стороны...

После того как убрал клиент никто не пишет

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта