Дано: Таблица 1 (Т1), Таблица 2 (Т2), Хранимка 1 (Х1), Хранимка 2 (Х2)
Задача: избежать взаимных блокировок.

Решение: 
Х1:


Х2:


Говнокод форева, но! Избегаю ли я мертвых блокировок?

И как можно избежать их(блокировок), если Х1 лочит сначала T1 а потом Т2, а Х2 наоборот Т2 а потом Т1

По существу ответить не могу, могу лишь хинтануть.
Для того, чтобы избегать взаимных блокировок, необходимо захватывающим процессам обеспечить одинаковую последовательность захвата сущностей.

На сколько я могу оценить приведенный вами псевдокод, для обеспечения репитабл рид необходимо удержание шаред лока на разделяемом ресурсе. Шаред лок же не блокирует другие шаред локи. В связи с этим, полагаю, описанные вами процедуры, хоть и будут удерживать какую-то блокировку, но не должны друг друга блокировать в принципе. Тем более уж намертво. То, что приводит к блокировке и дедлоку, скорее всего, скрыто за "[[[Something]]]", потому никак не подлежит оценке

Это сообщение отредактировал(а) Zloxa - 6.10.2014, 16:56

Да... я тоже решил как-то прийти к этому решению... буду переписывать часть кода =)