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 ответов

10 просмотров

В 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
> Убрал тред с клиентом который с обратной стороны...

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

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

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

Есть какой-нибудь для Delphi/FPC T*Compression(Decompression)Stream на базе LZ4/Zstd/любой другой быстрый(и хорошо сжимающий) алгоритм А ещё лучше в pure pascal А ещё лучше од...
notme
48
А чем вам питонисты не угодили?😂
.
79
type TObj = object procedure Init; virtual; end; TObj1 = object(TObj) procedure Init; override; end; procedure TObj1.Init; begin inherited; end; procedur...
Alexander 👋
29
Такой вопросец - есть функция function MySuperDuperConcat(const a: array of AnsiString): AnsiString; Как мне в её теле сделать вот так? Result:=Concat(a); А не грустный вариан...
notme
15
Всем привет. Поделитесь, пожалуйста, опытом. Есть форма, на которой имеется dbgrid и кнопки: добавить, редактировать, удалить. Если нет записей в dbgrid, то кнопки редактирова...
Евгений
5
type TExtensions<GExtender>=class function GetExtension<GEntityExtenderType>:GEntityExtenderType; end; function TExtensions<GExtender>.GetExtension<GEntityExtenderType...
zamtmn
8
Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
86
Всем привет, препод задал вопрос, подскажите пожалуйста, какой адрес инкапсулирует указатель?
Свинка Пеппа
7
Почему никто ещё не написал квантовую виртуальную машину на Windows?
КТ315
7
Вот смотрите у меня есть два стрима сейчас fs, cs: TStream; fs := TFileStream.Create('filename'); cs := TCompressionStream.Create(compression_level, fs); Я хочу сделать так: ...
notme
5
Карта сайта