mirror of
https://github.com/MariaDB/server.git
synced 2026-10-23 18:49:29 +03:00
Replace the contention prone mysql_prlock_t with a simpler rw-lock wrapper from InnoDB, and fix several potential race conditions by making consistent use of lock_operations. This will also omit any PERFORMANCE_SCHEMA instrumentation.