29.12.3.3 The mutex_instances Table — MySQL 9.2

29.12.3.3 Таблица mutex_instances

Таблица mutex_instances перечисляет все мьютексы, наблюдаемые Performance Schema во время работы сервера. Мьютекс — это механизм синхронизации, используемый в коде для обеспечения того, что только один поток в данный момент может получить доступ к некоторому общему ресурсу. Ресурс считается “защищенным” мьютексом.

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

Работа, выполняемая при удержании мьютекса, называется “критической секцией”, и несколько запросов выполняют эту критическую секцию сериализованно (по одному за раз), что может быть узким местом.

В таблице mutex_instances содержатся следующие столбцы:

NAME

Имя инструмента, связанное с мьютексом.
OBJECT_INSTANCE_BEGIN

Адрес в памяти инструментированного мьютекса.
LOCKED_BY_THREAD_ID

Когда поток в данный момент заблокировал мьютекс, LOCKED_BY_THREAD_ID — это THREAD_ID потока блокировки, в противном случае это NULL.

В таблице mutex_instances есть следующие индексы:

Первичный ключ по (OBJECT_INSTANCE_BEGIN)
Индекс по (NAME)
Индекс по (LOCKED_BY_THREAD_ID)

TRUNCATE TABLE запрещено для таблицы mutex_instances.

Для каждого инструментированного в коде мьютекса Performance Schema предоставляет следующую информацию.

Таблица setup_instruments содержит имя точки инструментирования с префиксом wait/synch/mutex/.
При создании кодом мьютекса в таблицу mutex_instances добавляется строка. Столбец OBJECT_INSTANCE_BEGIN — это свойство, которое однозначно идентифицирует мьютекс.
При попытке потоком заблокировать мьютекс, таблица events_waits_current отображает строку для этого потока, указывая, что он ожидает мьютекса (в столбце EVENT_NAME), и указывая, на какой мьютекс ожидает (в столбце OBJECT_INSTANCE_BEGIN).
При успешном блокировании потоком мьютекса:
- events_waits_current показывает, что ожидание мьютекса завершено (в столбцах TIMER_END и TIMER_WAIT)
- Событие завершенного ожидания добавляется в таблицы events_waits_history и events_waits_history_long
- mutex_instances показывает, что мьютекс теперь принадлежит потоку (в столбце THREAD_ID).
При разблокировании потоком мьютекса, mutex_instances показывает, что мьютекс больше не принадлежит ни одному потоку (столбец THREAD_ID имеет значение NULL).
При уничтожении объекта мьютекса соответствующая строка удаляется из mutex_instances.

Используя запросы к обеим таблицам, приложение мониторинга или DBA могут обнаружить узкие места или тупики между потоками, которые включают мьютексы:

events_waits_current, чтобы увидеть, на какой мьютекс ожидает поток
mutex_instances, чтобы увидеть, какой другой поток в данный момент владеет мьютексом