c
O01eg
Тут, возможно, через линейные типы можно
Тут, возможно, через линейные типы можно
Minoru
а разве линейные типы это не borrow checking?
Size: a a a
2021 May 25
c
portnov
Minoru: "на уровне языка" я имел ввиду чтобы в типе было видно, что у тебя залочено, что нет, и доступные методы были ограничены так, что неположенное залочить нельзя
Minoru: "на уровне языка" я имел ввиду чтобы в типе было видно, что у тебя залочено, что нет, и доступные методы были ограничены так, что неположенное залочить нельзя
c
O01eg
Но вообще мутексы могут быть не только статическими, но и динамическими
Но вообще мутексы могут быть не только статическими, но и динамическими
c
O01eg
Minoru: нет
Minoru: нет
c
Akon32
portnov: сложно это. мьютексы могут блокироваться в разных функциях.
portnov: сложно это. мьютексы могут блокироваться в разных функциях.
c
O01eg
Akon32: обязать функции принимать нужны аргументы
Akon32: обязать функции принимать нужны аргументы
c
portnov
пока у меня в голове получается, что надо что-то очень похожее на эффекты
пока у меня в голове получается, что надо что-то очень похожее на эффекты
c
O01eg
типа есть контекст с заблоченными мютексами
типа есть контекст с заблоченными мютексами
c
Akon32
в итоге всё сойдётся к 1 потоку. или к 1й функции.
в итоге всё сойдётся к 1 потоку. или к 1й функции.
c
portnov
lock :: mutex -> LockingT (mutex : mutexes) IO ()
lock :: mutex -> LockingT (mutex : mutexes) IO ()
c
O01eg
у контекста есть метод lock куда передаётся следующий мутекс на блокировку и который проверяет, что в уже заблоченных есть только этот же рекурсивный мутекс, или подходящий по приоритету
у контекста есть метод lock куда передаётся следующий мутекс на блокировку и который проверяет, что в уже заблоченных есть только этот же рекурсивный мутекс, или подходящий по приоритету
c
Minoru
portnov: звучит как ReaderT pattern, позволяющий функции видеть только те локи, которые она может лочить. Уже залоченные штуки функция должна получать через аргументы (чтобы избежать попытки залочить повторно)
portnov: звучит как ReaderT pattern, позволяющий функции видеть только те локи, которые она может лочить. Уже залоченные штуки функция должна получать через аргументы (чтобы избежать попытки залочить повторно)
c
portnov
ну можно и так трактовать
ну можно и так трактовать
c
Minoru
а в STM дедлоки возможны?
а в STM дедлоки возможны?
c
portnov
withLock :: mutex a -> (a -> LockingT (mutex a : mutexes) IO b) -> LockingT mutexes IO b
withLock :: mutex a -> (a -> LockingT (mutex a : mutexes) IO b) -> LockingT mutexes IO b
c
portnov
во
во
c
portnov
Minoru: кажется да
Minoru: кажется да
c
portnov
Minoru: хотя я подозреваю что там есть какой-нибудь детектор. Редко использовал STM на всю катушку, но даже с обычными MVar неоднократно натыкался на то, что рантайм весьма эффективно детектит дедлоки (и роняет софтину вместо зависания)
Minoru: хотя я подозреваю что там есть какой-нибудь детектор. Редко использовал STM на всю катушку, но даже с обычными MVar неоднократно натыкался на то, что рантайм весьма эффективно детектит дедлоки (и роняет софтину вместо зависания)
c
Minoru
а как withLock решает проблему взятия локов в неправильном порядке?
а как withLock решает проблему взятия локов в неправильном порядке?