Инструмент обнаружения тупика Oracle

Question

Я ищу статический анализатор запросов Oracle и процедур PL/SQL (триггеры, ограничения, ...) - инструмент, который пройдет по нашей схеме БД и укажет на возможные взаимоблокировки. Точно так же, как FindBugs для Java.

Если такой инструмент не существует, хотите ли вы его иметь?

Answer 1

TOAD обладает некоторыми инструментами статического анализа (или, по крайней мере, своего рода кода). Я сомневаюсь, что они смогут найти мертвые замки.

Answer 2

С 10г года, база данных теперь имеет статический PL/SQL анализатор, встроенный в него:

ALTER SESSION SET PLSQL_WARNINGS = 'ENABLE:ALL'; 

Have A Google для PLSQL_WARNINGS, и вы найдете некоторые полезные Ссылки на

Я согласен с Мэтью хотя маловероятно, что вы сможете найти анализатор, который сможет эффективно обнаруживать взаимоблокировки ... в игре слишком много переменных.

Answer 3

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

Наиболее распространенной практикой является установка базы данных в Q & A или производственной среде. А затем контролируйте ту взаимоблокировки, которые на самом деле происходят. Вы можете запускать автоматические модульные тесты для Q & Среда, имитирующая нагрузку.

Answer 4

Тупиковые блоки будут зависеть от транзакций не по статическому коду. В Oracle нет понятия «BEGIN TRANSACTION», поэтому статический анализатор не знает, что такое начальная точка транзакции. Гипотетически, анализатор может быть записан таким образом, что если ему задан исходный оператор SQL или PL/SQL, он может отслеживать все возможные пути выполнения и определять, какие таблицы были подвергнуты операциям update/delete/insert/merge в каком порядке. Затем вы можете «сравнить» два (или более) результата этого и определить, есть ли там, где таблицы обрабатываются в другом порядке (например, TAB_A, затем TAB_B в одном и TAB_B, затем TAB_A в другом). Я подозреваю, что это вызовет много ложных срабатываний.

В Oracle выбор не блокируется (кроме SELECT ... FOR UPDATE). Таким образом, взаимоблокировки возникают только при обновлении данных и только тогда, когда две параллельные транзакции пытаются обновить одни и те же строки.