AV
Ваще не в тему
Size: a a a
2020 December 15
AV
Т.е. в тему, но данную проблему он не решает никак
DZ
*хочется крайне странного, хочется тегировать запросы информацией о том, какие таблицы / строки в каких таблицах лочит запрос. Для транзакций собирать список того, что залочат все запросы.
Потом автоматом собирать все транзакции в коде, в которых есть пересечение по залоченным таблицам и проверять, что нет дедлоков. Я нормальный?
Потом автоматом собирать все транзакции в коде, в которых есть пересечение по залоченным таблицам и проверять, что нет дедлоков. Я нормальный?
чот я вспоминаю, как делал что-то похожее - но там запросы группировались таким образом, что бы дедлоки в принципе не могли возникать
DZ
была репликация из KV базы в Oracle
AV
У меня обычно всё аккуратненько, но вот практика показала, что не всегда
AV
Один раз правда было т.к. я не правильно понимал что будет лочить запорос вида
update foo from bar where foo.id=bar.id and ...AV
Это вообще был ад, у там в логах прилетал иногда deadlock, в котором 5-7 транзакций перемешивались, и надо было этот узел развязать, чтобы понять. Зато я придумал как сделать тесты, которые будут проверять не лочит ли запрос лишнее
AV
Не реализовал, конечно
DZ
тогда в моём случае было проще, так это был просто поток update/insert/delete в разные таблицы. в полноценном sql в один запрос можно что угодно засунуть, даже игру life на рекурсивных CTE запросах
AV
Ну вот это вот
AV
до life конечно не доходит, но идёт к тому
AV
Хм, а что для NonEmpty нет nubOrd?
AV
для list хотя бы в containers есть
AA
ох, для нонэмпти столько всего нет
в
напомните пожалуйста, а можно как-то поменять порядок тайппараметров для отдельной функции тайпкласса?
YS
Если можно - скажите
AV
напомните пожалуйста, а можно как-то поменять порядок тайппараметров для отдельной функции тайпкласса?
сделать новую
YS
Я бы тогда не изобретал
as вместо coerceYS
сделать новую
Значит нельзя(
AV
Ну можно применять не поочереди, но это в каждом месте