MK
AsyncException(UserInterrupt) называетсяSize: a a a
2020 May 08
IK
да
AV
UserInterrupt в главном треде
AV
Обязательно в главном
AV
По первому ^C RTS сгенерирует исключение, а по второму просто всё прибьёт не спрашивая
IK
Обязательно в главном
Возможно у меня в этом и была проблема, но по-моему я в главном его и пытался поймать
AV
Причем прибьёт просто завершив выполнение потоков без исплючений
AV
поэтому прибивать haskell программы прям-щас хорошо двойным ^C
AV
Обработку сигналов можно заменить на свою отключить базовую и делать что хочешь
IK
как такое вообще адекватно делать если у меня какая-то штука в бесконечном цикле крутится, и я хочу по ^C подождать пока закончится текущая итерация, после сделать еще что-то чтобы все завершить, а потом сдохнуть? В голову приходило только городить что-то из MVar и тому подобного руками. Возможно есть уже какое-то стандратное решение для такого?
AV
А что в главном треде?
AV
Вообще я не видел хороших либ на общий случай
AV
Они или не умеют, что надо или монстры
AV
Общий смысл: ты должен словить исключение в главном треде, после этого уведомить все остальные и подождать их. Как именно уведомить - зависит от твой задачи
AV
Способы уведомления:
1. исключение
2. сигнальная переменная
Способы ожидания:
1. переменная синхронизации
1. исключение
2. сигнальная переменная
Способы ожидания:
1. переменная синхронизации
AV
Со способами ожидания можно сказать: используй async там есть все нужные примитивы
AV
Про уведомление, в принципе если это нормально, если тебя прервут, то исключения проще