mirror of
https://github.com/MariaDB/server.git
synced 2025-01-24 15:54:37 +01:00
a5868736ff
Fixes: - Bug #24712: SHOW TABLE STATUS for file-per-table showing incorrect time fields - Bug #24386: Performance degradation caused by instrumentation in mutex_struct - Bug #24190: many exportable definitions of field_in_record_is_null - Bug #21468: InnoDB crash during recovery with corrupted data pages: XA bug? storage/innobase/buf/buf0buf.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1045: buf_page_init_for_read(): Correct the indentation. storage/innobase/buf/buf0flu.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1038: Port r983 from branches/zip: Enclose some more debug code in #ifdef UNIV_SYNC_DEBUG to allow the code to be built with UNIV_DEBUG but without UNIV_SYNC_DEBUG. storage/innobase/dict/dict0dict.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1124: Unify dict_table_get_and_increment_handle_count() with dict_table_get() by adding a second parameter, adjust callers. storage/innobase/ha/ha0ha.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) storage/innobase/ha/hash0hash.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) storage/innobase/handler/ha_innodb.cc: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1028: Merge a change from MySQL AB. ChangeSet 2006/11/10 17:22:43+02:00 aelkin@dsl-hkibras-fe30f900-107.dhcp.inet.fi Bug #24190 many exportable definitions of field_in_record_is_null mysql had several(2) exportable definitions of field_in_record_is_null function. Fixed with adding static. storage/innobase/handler/ha_innodb.cc 2006/11/10 17:22:36+02:00 aelkin@dsl-hkibras-fe30f900-107.dhcp.inet.fi +1 -1 made static Revision r1008: Minor cleanup. ha_innobase::rnd_pos(): Use correct format in DBUG_PRINT statements. buf_page_release(): Remove the local variable buf_fix_count. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) Revision r1124: Unify dict_table_get_and_increment_handle_count() with dict_table_get() by adding a second parameter, adjust callers. Revision r1134: Fix a potential bug in ha_innodb.cc:innobase_query_is_update() where the function can be called with "current_thd == NULL". Minor non-functional fix in log0recv.c Revision r1098: Fix bug #24712: SHOW TABLE STATUS for file-per-table showing incorrect time fields Revision r1109: ha_innodb.cc: Remove unused define MAX_ULONG_BIT. storage/innobase/include/btr0sea.h: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1088: Replace the Latin abbreviation "cf." in comments. storage/innobase/include/buf0buf.ic: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1008: Minor cleanup. ha_innobase::rnd_pos(): Use correct format in DBUG_PRINT statements. buf_page_release(): Remove the local variable buf_fix_count. storage/innobase/include/data0type.ic: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1088: Replace the Latin abbreviation "cf." in comments. storage/innobase/include/dict0dict.h: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1124: Unify dict_table_get_and_increment_handle_count() with dict_table_get() by adding a second parameter, adjust callers. storage/innobase/include/ha0ha.h: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) storage/innobase/include/hash0hash.h: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) storage/innobase/include/sync0rw.h: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) storage/innobase/include/sync0sync.h: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1038: Port r983 from branches/zip: Enclose some more debug code in #ifdef UNIV_SYNC_DEBUG to allow the code to be built with UNIV_DEBUG but without UNIV_SYNC_DEBUG. Revision r1037: Port r972 from branches/zip: Enclose some debug code in #ifdef UNIV_SYNC_DEBUG. The code was previously unused in non-debug builds. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) Revision r1084: Remove the unused constants SYNC_INFINITE_TIME and SYNC_TIME_EXCEEDED. storage/innobase/include/sync0sync.ic: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) storage/innobase/include/univ.i: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1006: Introduce #define UNIV_LIST_DEBUG for enabling the debug code in UT_LIST_REMOVE_CLEAR(). Revision r1088: Replace the Latin abbreviation "cf." in comments. Revision r1083: univ.i: Document the debug flags (UNIV_DEBUG et al). storage/innobase/include/ut0lst.h: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1006: Introduce #define UNIV_LIST_DEBUG for enabling the debug code in UT_LIST_REMOVE_CLEAR(). storage/innobase/lock/lock0lock.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1009: Remove duplicate printing of row lock counts in SHOW INNODB STATUS, and in the remaining print, add a comma so it doesn't get combined with the heap size. Both problems were introduced in r383. storage/innobase/log/log0recv.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1134: Fix a potential bug in ha_innodb.cc:innobase_query_is_update() where the function can be called with "current_thd == NULL". Minor non-functional fix in log0recv.c Revision r1078: Merge r1067:1077 from branches/5.0: innobase_start_or_create_for_mysql(): Remove unnecessary delay now that we moved the setting sync_order_checks_on=TRUE to log0recv.c, to the start of the rollback phase in crash recovery. Fix assertion failure sync0sync.c line 1239 (the latter ut_error in sync_thread_reset_level()) in crash recovery when UNIV_SYNC_DEBUG is enabled. Revision r1080: Merge r1079 from branches/5.0: recv_recovery_from_checkpoint_finish(): Add 1 sec delay before switching on the sync order checks in crash recovery, so that file I/O threads have time to suspend themselves. storage/innobase/row/row0ins.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1124: Unify dict_table_get_and_increment_handle_count() with dict_table_get() by adding a second parameter, adjust callers. storage/innobase/row/row0sel.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1038: Port r983 from branches/zip: Enclose some more debug code in #ifdef UNIV_SYNC_DEBUG to allow the code to be built with UNIV_DEBUG but without UNIV_SYNC_DEBUG. Revision r1124: Unify dict_table_get_and_increment_handle_count() with dict_table_get() by adding a second parameter, adjust callers. storage/innobase/row/row0upd.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1124: Unify dict_table_get_and_increment_handle_count() with dict_table_get() by adding a second parameter, adjust callers. storage/innobase/srv/srv0start.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1038: Port r983 from branches/zip: Enclose some more debug code in #ifdef UNIV_SYNC_DEBUG to allow the code to be built with UNIV_DEBUG but without UNIV_SYNC_DEBUG. Revision r1078: Merge r1067:1077 from branches/5.0: innobase_start_or_create_for_mysql(): Remove unnecessary delay now that we moved the setting sync_order_checks_on=TRUE to log0recv.c, to the start of the rollback phase in crash recovery. Fix assertion failure sync0sync.c line 1239 (the latter ut_error in sync_thread_reset_level()) in crash recovery when UNIV_SYNC_DEBUG is enabled. Revision r1070: Remove another accidentally committed change to srv0start.c. The change was accidentally committed with the merge in r1068. This revision corresponds to r1051 with a properly merged r1067 of branches/5.0. Revision r1068: Merge r1067 from branches/5.0: trx_rollback_for_mysql(), trx_commit_for_mysql(): Protect the creation of trx_dummy_sess with kernel_mutex. This error was introduced in r1046 and r1050. Revision r1069: Remove an accidentally committed change to srv0start.c. The change was accidentally committed with the merge in r1068. storage/innobase/sync/sync0rw.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) storage/innobase/sync/sync0sync.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1038: Port r983 from branches/zip: Enclose some more debug code in #ifdef UNIV_SYNC_DEBUG to allow the code to be built with UNIV_DEBUG but without UNIV_SYNC_DEBUG. Revision r1037: Port r972 from branches/zip: Enclose some debug code in #ifdef UNIV_SYNC_DEBUG. The code was previously unused in non-debug builds. Revision r1039: Port r1034 from branches/zip: Remove some instrumentation and reduce the output of SHOW MUTEX STATUS in non-debug builds. (Bug #24386) storage/innobase/trx/trx0roll.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1049: Merge r1048 from branches/5.0: trx_rollback_for_mysql(): Do not set trx->sess back to NULL. This bug was introduced in r1046. Revision r1047: Merge r1046 from branches/5.0: branches/5.0: trx_rollback_for_mysql(): Ensure that trx->sess is non-NULL when calling trx_general_rollback_for_mysql(). This removes a segmentation fault when rolling back a prepared transaction in XA recovery. (Bug #21468) Revision r1068: Merge r1067 from branches/5.0: trx_rollback_for_mysql(), trx_commit_for_mysql(): Protect the creation of trx_dummy_sess with kernel_mutex. This error was introduced in r1046 and r1050. Revision r1051: Merge r1050 from branches/5.0: trx_rollback_for_mysql(): Fix the comment introduced in r1046. trx_commit_for_mysql(): Use the dummy trx->sess also for committing a prepared transaction in XA recovery, just in case our code would need the session object also in that case (does not seem to need it right now). storage/innobase/trx/trx0trx.c: Applied innodb-5.1-ss1039 and innodb-5.1-ss1134 snapshots. Revision r1009: Remove duplicate printing of row lock counts in SHOW INNODB STATUS, and in the remaining print, add a comma so it doesn't get combined with the heap size. Both problems were introduced in r383. Revision r1068: Merge r1067 from branches/5.0: trx_rollback_for_mysql(), trx_commit_for_mysql(): Protect the creation of trx_dummy_sess with kernel_mutex. This error was introduced in r1046 and r1050. Revision r1051: Merge r1050 from branches/5.0: trx_rollback_for_mysql(): Fix the comment introduced in r1046. trx_commit_for_mysql(): Use the dummy trx->sess also for committing a prepared transaction in XA recovery, just in case our code would need the session object also in that case (does not seem to need it right now).
907 lines
22 KiB
C
907 lines
22 KiB
C
/******************************************************
|
|
The read-write lock (for thread synchronization)
|
|
|
|
(c) 1995 Innobase Oy
|
|
|
|
Created 9/11/1995 Heikki Tuuri
|
|
*******************************************************/
|
|
|
|
#include "sync0rw.h"
|
|
#ifdef UNIV_NONINL
|
|
#include "sync0rw.ic"
|
|
#endif
|
|
|
|
#include "os0thread.h"
|
|
#include "mem0mem.h"
|
|
#include "srv0srv.h"
|
|
|
|
ulint rw_s_system_call_count = 0;
|
|
ulint rw_s_spin_wait_count = 0;
|
|
ulint rw_s_os_wait_count = 0;
|
|
|
|
ulint rw_s_exit_count = 0;
|
|
|
|
ulint rw_x_system_call_count = 0;
|
|
ulint rw_x_spin_wait_count = 0;
|
|
ulint rw_x_os_wait_count = 0;
|
|
|
|
ulint rw_x_exit_count = 0;
|
|
|
|
/* The global list of rw-locks */
|
|
rw_lock_list_t rw_lock_list;
|
|
mutex_t rw_lock_list_mutex;
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
/* The global mutex which protects debug info lists of all rw-locks.
|
|
To modify the debug info list of an rw-lock, this mutex has to be
|
|
acquired in addition to the mutex protecting the lock. */
|
|
|
|
mutex_t rw_lock_debug_mutex;
|
|
os_event_t rw_lock_debug_event; /* If deadlock detection does not
|
|
get immediately the mutex, it may
|
|
wait for this event */
|
|
ibool rw_lock_debug_waiters; /* This is set to TRUE, if there may
|
|
be waiters for the event */
|
|
|
|
/**********************************************************************
|
|
Creates a debug info struct. */
|
|
static
|
|
rw_lock_debug_t*
|
|
rw_lock_debug_create(void);
|
|
/*======================*/
|
|
/**********************************************************************
|
|
Frees a debug info struct. */
|
|
static
|
|
void
|
|
rw_lock_debug_free(
|
|
/*===============*/
|
|
rw_lock_debug_t* info);
|
|
|
|
/**********************************************************************
|
|
Creates a debug info struct. */
|
|
static
|
|
rw_lock_debug_t*
|
|
rw_lock_debug_create(void)
|
|
/*======================*/
|
|
{
|
|
return((rw_lock_debug_t*) mem_alloc(sizeof(rw_lock_debug_t)));
|
|
}
|
|
|
|
/**********************************************************************
|
|
Frees a debug info struct. */
|
|
static
|
|
void
|
|
rw_lock_debug_free(
|
|
/*===============*/
|
|
rw_lock_debug_t* info)
|
|
{
|
|
mem_free(info);
|
|
}
|
|
#endif /* UNIV_SYNC_DEBUG */
|
|
|
|
/**********************************************************************
|
|
Creates, or rather, initializes an rw-lock object in a specified memory
|
|
location (which must be appropriately aligned). The rw-lock is initialized
|
|
to the non-locked state. Explicit freeing of the rw-lock with rw_lock_free
|
|
is necessary only if the memory block containing it is freed. */
|
|
|
|
void
|
|
rw_lock_create_func(
|
|
/*================*/
|
|
rw_lock_t* lock, /* in: pointer to memory */
|
|
#ifdef UNIV_DEBUG
|
|
# ifdef UNIV_SYNC_DEBUG
|
|
ulint level, /* in: level */
|
|
# endif /* UNIV_SYNC_DEBUG */
|
|
const char* cmutex_name, /* in: mutex name */
|
|
#endif /* UNIV_DEBUG */
|
|
const char* cfile_name, /* in: file name where created */
|
|
ulint cline) /* in: file line where created */
|
|
{
|
|
/* If this is the very first time a synchronization object is
|
|
created, then the following call initializes the sync system. */
|
|
|
|
mutex_create(rw_lock_get_mutex(lock), SYNC_NO_ORDER_CHECK);
|
|
|
|
lock->mutex.cfile_name = cfile_name;
|
|
lock->mutex.cline = cline;
|
|
|
|
#if defined UNIV_DEBUG && !defined UNIV_HOTBACKUP
|
|
lock->mutex.cmutex_name = cmutex_name;
|
|
lock->mutex.mutex_type = 1;
|
|
#endif /* UNIV_DEBUG && !UNIV_HOTBACKUP */
|
|
|
|
rw_lock_set_waiters(lock, 0);
|
|
rw_lock_set_writer(lock, RW_LOCK_NOT_LOCKED);
|
|
lock->writer_count = 0;
|
|
rw_lock_set_reader_count(lock, 0);
|
|
|
|
lock->writer_is_wait_ex = FALSE;
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
UT_LIST_INIT(lock->debug_list);
|
|
|
|
lock->level = level;
|
|
#endif /* UNIV_SYNC_DEBUG */
|
|
|
|
lock->magic_n = RW_LOCK_MAGIC_N;
|
|
|
|
lock->cfile_name = cfile_name;
|
|
lock->cline = cline;
|
|
|
|
lock->last_s_file_name = "not yet reserved";
|
|
lock->last_x_file_name = "not yet reserved";
|
|
lock->last_s_line = 0;
|
|
lock->last_x_line = 0;
|
|
|
|
mutex_enter(&rw_lock_list_mutex);
|
|
|
|
if (UT_LIST_GET_LEN(rw_lock_list) > 0) {
|
|
ut_a(UT_LIST_GET_FIRST(rw_lock_list)->magic_n
|
|
== RW_LOCK_MAGIC_N);
|
|
}
|
|
|
|
UT_LIST_ADD_FIRST(list, rw_lock_list, lock);
|
|
|
|
mutex_exit(&rw_lock_list_mutex);
|
|
}
|
|
|
|
/**********************************************************************
|
|
Calling this function is obligatory only if the memory buffer containing
|
|
the rw-lock is freed. Removes an rw-lock object from the global list. The
|
|
rw-lock is checked to be in the non-locked state. */
|
|
|
|
void
|
|
rw_lock_free(
|
|
/*=========*/
|
|
rw_lock_t* lock) /* in: rw-lock */
|
|
{
|
|
#ifdef UNIV_DEBUG
|
|
ut_a(rw_lock_validate(lock));
|
|
#endif /* UNIV_DEBUG */
|
|
ut_a(rw_lock_get_writer(lock) == RW_LOCK_NOT_LOCKED);
|
|
ut_a(rw_lock_get_waiters(lock) == 0);
|
|
ut_a(rw_lock_get_reader_count(lock) == 0);
|
|
|
|
lock->magic_n = 0;
|
|
|
|
mutex_free(rw_lock_get_mutex(lock));
|
|
|
|
mutex_enter(&rw_lock_list_mutex);
|
|
|
|
if (UT_LIST_GET_PREV(list, lock)) {
|
|
ut_a(UT_LIST_GET_PREV(list, lock)->magic_n == RW_LOCK_MAGIC_N);
|
|
}
|
|
if (UT_LIST_GET_NEXT(list, lock)) {
|
|
ut_a(UT_LIST_GET_NEXT(list, lock)->magic_n == RW_LOCK_MAGIC_N);
|
|
}
|
|
|
|
UT_LIST_REMOVE(list, rw_lock_list, lock);
|
|
|
|
mutex_exit(&rw_lock_list_mutex);
|
|
}
|
|
|
|
/**********************************************************************
|
|
Checks that the rw-lock has been initialized and that there are no
|
|
simultaneous shared and exclusive locks. */
|
|
|
|
ibool
|
|
rw_lock_validate(
|
|
/*=============*/
|
|
rw_lock_t* lock)
|
|
{
|
|
ut_a(lock);
|
|
|
|
mutex_enter(rw_lock_get_mutex(lock));
|
|
|
|
ut_a(lock->magic_n == RW_LOCK_MAGIC_N);
|
|
ut_a((rw_lock_get_reader_count(lock) == 0)
|
|
|| (rw_lock_get_writer(lock) != RW_LOCK_EX));
|
|
ut_a((rw_lock_get_writer(lock) == RW_LOCK_EX)
|
|
|| (rw_lock_get_writer(lock) == RW_LOCK_WAIT_EX)
|
|
|| (rw_lock_get_writer(lock) == RW_LOCK_NOT_LOCKED));
|
|
ut_a((rw_lock_get_waiters(lock) == 0)
|
|
|| (rw_lock_get_waiters(lock) == 1));
|
|
ut_a((lock->writer != RW_LOCK_EX) || (lock->writer_count > 0));
|
|
|
|
mutex_exit(rw_lock_get_mutex(lock));
|
|
|
|
return(TRUE);
|
|
}
|
|
|
|
/**********************************************************************
|
|
Lock an rw-lock in shared mode for the current thread. If the rw-lock is
|
|
locked in exclusive mode, or there is an exclusive lock request waiting,
|
|
the function spins a preset time (controlled by SYNC_SPIN_ROUNDS), waiting
|
|
for the lock, before suspending the thread. */
|
|
|
|
void
|
|
rw_lock_s_lock_spin(
|
|
/*================*/
|
|
rw_lock_t* lock, /* in: pointer to rw-lock */
|
|
ulint pass, /* in: pass value; != 0, if the lock
|
|
will be passed to another thread to unlock */
|
|
const char* file_name, /* in: file name where lock requested */
|
|
ulint line) /* in: line where requested */
|
|
{
|
|
ulint index; /* index of the reserved wait cell */
|
|
ulint i; /* spin round count */
|
|
|
|
ut_ad(rw_lock_validate(lock));
|
|
|
|
lock_loop:
|
|
rw_s_spin_wait_count++;
|
|
|
|
/* Spin waiting for the writer field to become free */
|
|
i = 0;
|
|
|
|
while (rw_lock_get_writer(lock) != RW_LOCK_NOT_LOCKED
|
|
&& i < SYNC_SPIN_ROUNDS) {
|
|
if (srv_spin_wait_delay) {
|
|
ut_delay(ut_rnd_interval(0, srv_spin_wait_delay));
|
|
}
|
|
|
|
i++;
|
|
}
|
|
|
|
if (i == SYNC_SPIN_ROUNDS) {
|
|
os_thread_yield();
|
|
}
|
|
|
|
if (srv_print_latch_waits) {
|
|
fprintf(stderr,
|
|
"Thread %lu spin wait rw-s-lock at %p"
|
|
" cfile %s cline %lu rnds %lu\n",
|
|
(ulong) os_thread_pf(os_thread_get_curr_id()),
|
|
(void*) lock,
|
|
lock->cfile_name, (ulong) lock->cline, (ulong) i);
|
|
}
|
|
|
|
mutex_enter(rw_lock_get_mutex(lock));
|
|
|
|
/* We try once again to obtain the lock */
|
|
|
|
if (TRUE == rw_lock_s_lock_low(lock, pass, file_name, line)) {
|
|
mutex_exit(rw_lock_get_mutex(lock));
|
|
|
|
return; /* Success */
|
|
} else {
|
|
/* If we get here, locking did not succeed, we may
|
|
suspend the thread to wait in the wait array */
|
|
|
|
rw_s_system_call_count++;
|
|
|
|
sync_array_reserve_cell(sync_primary_wait_array,
|
|
lock, RW_LOCK_SHARED,
|
|
file_name, line,
|
|
&index);
|
|
|
|
rw_lock_set_waiters(lock, 1);
|
|
|
|
mutex_exit(rw_lock_get_mutex(lock));
|
|
|
|
if (srv_print_latch_waits) {
|
|
fprintf(stderr,
|
|
"Thread %lu OS wait rw-s-lock at %p"
|
|
" cfile %s cline %lu\n",
|
|
os_thread_pf(os_thread_get_curr_id()),
|
|
(void*) lock, lock->cfile_name,
|
|
(ulong) lock->cline);
|
|
}
|
|
|
|
rw_s_system_call_count++;
|
|
rw_s_os_wait_count++;
|
|
|
|
sync_array_wait_event(sync_primary_wait_array, index);
|
|
|
|
goto lock_loop;
|
|
}
|
|
}
|
|
|
|
/**********************************************************************
|
|
This function is used in the insert buffer to move the ownership of an
|
|
x-latch on a buffer frame to the current thread. The x-latch was set by
|
|
the buffer read operation and it protected the buffer frame while the
|
|
read was done. The ownership is moved because we want that the current
|
|
thread is able to acquire a second x-latch which is stored in an mtr.
|
|
This, in turn, is needed to pass the debug checks of index page
|
|
operations. */
|
|
|
|
void
|
|
rw_lock_x_lock_move_ownership(
|
|
/*==========================*/
|
|
rw_lock_t* lock) /* in: lock which was x-locked in the
|
|
buffer read */
|
|
{
|
|
ut_ad(rw_lock_is_locked(lock, RW_LOCK_EX));
|
|
|
|
mutex_enter(&(lock->mutex));
|
|
|
|
lock->writer_thread = os_thread_get_curr_id();
|
|
|
|
lock->pass = 0;
|
|
|
|
mutex_exit(&(lock->mutex));
|
|
}
|
|
|
|
/**********************************************************************
|
|
Low-level function for acquiring an exclusive lock. */
|
|
UNIV_INLINE
|
|
ulint
|
|
rw_lock_x_lock_low(
|
|
/*===============*/
|
|
/* out: RW_LOCK_NOT_LOCKED if did
|
|
not succeed, RW_LOCK_EX if success,
|
|
RW_LOCK_WAIT_EX, if got wait reservation */
|
|
rw_lock_t* lock, /* in: pointer to rw-lock */
|
|
ulint pass, /* in: pass value; != 0, if the lock will
|
|
be passed to another thread to unlock */
|
|
const char* file_name,/* in: file name where lock requested */
|
|
ulint line) /* in: line where requested */
|
|
{
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
ut_ad(mutex_own(rw_lock_get_mutex(lock)));
|
|
#endif /* UNIV_SYNC_DEBUG */
|
|
if (rw_lock_get_writer(lock) == RW_LOCK_NOT_LOCKED) {
|
|
|
|
if (rw_lock_get_reader_count(lock) == 0) {
|
|
|
|
rw_lock_set_writer(lock, RW_LOCK_EX);
|
|
lock->writer_thread = os_thread_get_curr_id();
|
|
lock->writer_count++;
|
|
lock->pass = pass;
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
rw_lock_add_debug_info(lock, pass, RW_LOCK_EX,
|
|
file_name, line);
|
|
#endif
|
|
lock->last_x_file_name = file_name;
|
|
lock->last_x_line = line;
|
|
|
|
/* Locking succeeded, we may return */
|
|
return(RW_LOCK_EX);
|
|
} else {
|
|
/* There are readers, we have to wait */
|
|
rw_lock_set_writer(lock, RW_LOCK_WAIT_EX);
|
|
lock->writer_thread = os_thread_get_curr_id();
|
|
lock->pass = pass;
|
|
lock->writer_is_wait_ex = TRUE;
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
rw_lock_add_debug_info(lock, pass, RW_LOCK_WAIT_EX,
|
|
file_name, line);
|
|
#endif
|
|
|
|
return(RW_LOCK_WAIT_EX);
|
|
}
|
|
|
|
} else if ((rw_lock_get_writer(lock) == RW_LOCK_WAIT_EX)
|
|
&& os_thread_eq(lock->writer_thread,
|
|
os_thread_get_curr_id())) {
|
|
|
|
if (rw_lock_get_reader_count(lock) == 0) {
|
|
|
|
rw_lock_set_writer(lock, RW_LOCK_EX);
|
|
lock->writer_count++;
|
|
lock->pass = pass;
|
|
lock->writer_is_wait_ex = FALSE;
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
rw_lock_remove_debug_info(lock, pass, RW_LOCK_WAIT_EX);
|
|
rw_lock_add_debug_info(lock, pass, RW_LOCK_EX,
|
|
file_name, line);
|
|
#endif
|
|
|
|
lock->last_x_file_name = file_name;
|
|
lock->last_x_line = line;
|
|
|
|
/* Locking succeeded, we may return */
|
|
return(RW_LOCK_EX);
|
|
}
|
|
|
|
return(RW_LOCK_WAIT_EX);
|
|
|
|
} else if ((rw_lock_get_writer(lock) == RW_LOCK_EX)
|
|
&& os_thread_eq(lock->writer_thread,
|
|
os_thread_get_curr_id())
|
|
&& (lock->pass == 0)
|
|
&& (pass == 0)) {
|
|
|
|
lock->writer_count++;
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
rw_lock_add_debug_info(lock, pass, RW_LOCK_EX, file_name,
|
|
line);
|
|
#endif
|
|
|
|
lock->last_x_file_name = file_name;
|
|
lock->last_x_line = line;
|
|
|
|
/* Locking succeeded, we may return */
|
|
return(RW_LOCK_EX);
|
|
}
|
|
|
|
/* Locking did not succeed */
|
|
return(RW_LOCK_NOT_LOCKED);
|
|
}
|
|
|
|
/**********************************************************************
|
|
NOTE! Use the corresponding macro, not directly this function! Lock an
|
|
rw-lock in exclusive mode for the current thread. If the rw-lock is locked
|
|
in shared or exclusive mode, or there is an exclusive lock request waiting,
|
|
the function spins a preset time (controlled by SYNC_SPIN_ROUNDS), waiting
|
|
for the lock before suspending the thread. If the same thread has an x-lock
|
|
on the rw-lock, locking succeed, with the following exception: if pass != 0,
|
|
only a single x-lock may be taken on the lock. NOTE: If the same thread has
|
|
an s-lock, locking does not succeed! */
|
|
|
|
void
|
|
rw_lock_x_lock_func(
|
|
/*================*/
|
|
rw_lock_t* lock, /* in: pointer to rw-lock */
|
|
ulint pass, /* in: pass value; != 0, if the lock will
|
|
be passed to another thread to unlock */
|
|
const char* file_name,/* in: file name where lock requested */
|
|
ulint line) /* in: line where requested */
|
|
{
|
|
ulint index; /* index of the reserved wait cell */
|
|
ulint state; /* lock state acquired */
|
|
ulint i; /* spin round count */
|
|
|
|
ut_ad(rw_lock_validate(lock));
|
|
|
|
lock_loop:
|
|
/* Acquire the mutex protecting the rw-lock fields */
|
|
mutex_enter_fast(&(lock->mutex));
|
|
|
|
state = rw_lock_x_lock_low(lock, pass, file_name, line);
|
|
|
|
mutex_exit(&(lock->mutex));
|
|
|
|
if (state == RW_LOCK_EX) {
|
|
|
|
return; /* Locking succeeded */
|
|
|
|
} else if (state == RW_LOCK_NOT_LOCKED) {
|
|
|
|
/* Spin waiting for the writer field to become free */
|
|
i = 0;
|
|
|
|
while (rw_lock_get_writer(lock) != RW_LOCK_NOT_LOCKED
|
|
&& i < SYNC_SPIN_ROUNDS) {
|
|
if (srv_spin_wait_delay) {
|
|
ut_delay(ut_rnd_interval(0,
|
|
srv_spin_wait_delay));
|
|
}
|
|
|
|
i++;
|
|
}
|
|
if (i == SYNC_SPIN_ROUNDS) {
|
|
os_thread_yield();
|
|
}
|
|
} else if (state == RW_LOCK_WAIT_EX) {
|
|
|
|
/* Spin waiting for the reader count field to become zero */
|
|
i = 0;
|
|
|
|
while (rw_lock_get_reader_count(lock) != 0
|
|
&& i < SYNC_SPIN_ROUNDS) {
|
|
if (srv_spin_wait_delay) {
|
|
ut_delay(ut_rnd_interval(0,
|
|
srv_spin_wait_delay));
|
|
}
|
|
|
|
i++;
|
|
}
|
|
if (i == SYNC_SPIN_ROUNDS) {
|
|
os_thread_yield();
|
|
}
|
|
} else {
|
|
i = 0; /* Eliminate a compiler warning */
|
|
ut_error;
|
|
}
|
|
|
|
if (srv_print_latch_waits) {
|
|
fprintf(stderr,
|
|
"Thread %lu spin wait rw-x-lock at %p"
|
|
" cfile %s cline %lu rnds %lu\n",
|
|
os_thread_pf(os_thread_get_curr_id()), (void*) lock,
|
|
lock->cfile_name, (ulong) lock->cline, (ulong) i);
|
|
}
|
|
|
|
rw_x_spin_wait_count++;
|
|
|
|
/* We try once again to obtain the lock. Acquire the mutex protecting
|
|
the rw-lock fields */
|
|
|
|
mutex_enter(rw_lock_get_mutex(lock));
|
|
|
|
state = rw_lock_x_lock_low(lock, pass, file_name, line);
|
|
|
|
if (state == RW_LOCK_EX) {
|
|
mutex_exit(rw_lock_get_mutex(lock));
|
|
|
|
return; /* Locking succeeded */
|
|
}
|
|
|
|
rw_x_system_call_count++;
|
|
|
|
sync_array_reserve_cell(sync_primary_wait_array,
|
|
lock, RW_LOCK_EX,
|
|
file_name, line,
|
|
&index);
|
|
|
|
rw_lock_set_waiters(lock, 1);
|
|
|
|
mutex_exit(rw_lock_get_mutex(lock));
|
|
|
|
if (srv_print_latch_waits) {
|
|
fprintf(stderr,
|
|
"Thread %lu OS wait for rw-x-lock at %p"
|
|
" cfile %s cline %lu\n",
|
|
os_thread_pf(os_thread_get_curr_id()), (void*) lock,
|
|
lock->cfile_name, (ulong) lock->cline);
|
|
}
|
|
|
|
rw_x_system_call_count++;
|
|
rw_x_os_wait_count++;
|
|
|
|
sync_array_wait_event(sync_primary_wait_array, index);
|
|
|
|
goto lock_loop;
|
|
}
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
/**********************************************************************
|
|
Acquires the debug mutex. We cannot use the mutex defined in sync0sync,
|
|
because the debug mutex is also acquired in sync0arr while holding the OS
|
|
mutex protecting the sync array, and the ordinary mutex_enter might
|
|
recursively call routines in sync0arr, leading to a deadlock on the OS
|
|
mutex. */
|
|
|
|
void
|
|
rw_lock_debug_mutex_enter(void)
|
|
/*==========================*/
|
|
{
|
|
loop:
|
|
if (0 == mutex_enter_nowait(&rw_lock_debug_mutex,
|
|
__FILE__, __LINE__)) {
|
|
return;
|
|
}
|
|
|
|
os_event_reset(rw_lock_debug_event);
|
|
|
|
rw_lock_debug_waiters = TRUE;
|
|
|
|
if (0 == mutex_enter_nowait(&rw_lock_debug_mutex,
|
|
__FILE__, __LINE__)) {
|
|
return;
|
|
}
|
|
|
|
os_event_wait(rw_lock_debug_event);
|
|
|
|
goto loop;
|
|
}
|
|
|
|
/**********************************************************************
|
|
Releases the debug mutex. */
|
|
|
|
void
|
|
rw_lock_debug_mutex_exit(void)
|
|
/*==========================*/
|
|
{
|
|
mutex_exit(&rw_lock_debug_mutex);
|
|
|
|
if (rw_lock_debug_waiters) {
|
|
rw_lock_debug_waiters = FALSE;
|
|
os_event_set(rw_lock_debug_event);
|
|
}
|
|
}
|
|
|
|
/**********************************************************************
|
|
Inserts the debug information for an rw-lock. */
|
|
|
|
void
|
|
rw_lock_add_debug_info(
|
|
/*===================*/
|
|
rw_lock_t* lock, /* in: rw-lock */
|
|
ulint pass, /* in: pass value */
|
|
ulint lock_type, /* in: lock type */
|
|
const char* file_name, /* in: file where requested */
|
|
ulint line) /* in: line where requested */
|
|
{
|
|
rw_lock_debug_t* info;
|
|
|
|
ut_ad(lock);
|
|
ut_ad(file_name);
|
|
|
|
info = rw_lock_debug_create();
|
|
|
|
rw_lock_debug_mutex_enter();
|
|
|
|
info->file_name = file_name;
|
|
info->line = line;
|
|
info->lock_type = lock_type;
|
|
info->thread_id = os_thread_get_curr_id();
|
|
info->pass = pass;
|
|
|
|
UT_LIST_ADD_FIRST(list, lock->debug_list, info);
|
|
|
|
rw_lock_debug_mutex_exit();
|
|
|
|
if ((pass == 0) && (lock_type != RW_LOCK_WAIT_EX)) {
|
|
sync_thread_add_level(lock, lock->level);
|
|
}
|
|
}
|
|
|
|
/**********************************************************************
|
|
Removes a debug information struct for an rw-lock. */
|
|
|
|
void
|
|
rw_lock_remove_debug_info(
|
|
/*======================*/
|
|
rw_lock_t* lock, /* in: rw-lock */
|
|
ulint pass, /* in: pass value */
|
|
ulint lock_type) /* in: lock type */
|
|
{
|
|
rw_lock_debug_t* info;
|
|
|
|
ut_ad(lock);
|
|
|
|
if ((pass == 0) && (lock_type != RW_LOCK_WAIT_EX)) {
|
|
sync_thread_reset_level(lock);
|
|
}
|
|
|
|
rw_lock_debug_mutex_enter();
|
|
|
|
info = UT_LIST_GET_FIRST(lock->debug_list);
|
|
|
|
while (info != NULL) {
|
|
if ((pass == info->pass)
|
|
&& ((pass != 0)
|
|
|| os_thread_eq(info->thread_id,
|
|
os_thread_get_curr_id()))
|
|
&& (info->lock_type == lock_type)) {
|
|
|
|
/* Found! */
|
|
UT_LIST_REMOVE(list, lock->debug_list, info);
|
|
rw_lock_debug_mutex_exit();
|
|
|
|
rw_lock_debug_free(info);
|
|
|
|
return;
|
|
}
|
|
|
|
info = UT_LIST_GET_NEXT(list, info);
|
|
}
|
|
|
|
ut_error;
|
|
}
|
|
#endif /* UNIV_SYNC_DEBUG */
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
/**********************************************************************
|
|
Checks if the thread has locked the rw-lock in the specified mode, with
|
|
the pass value == 0. */
|
|
|
|
ibool
|
|
rw_lock_own(
|
|
/*========*/
|
|
/* out: TRUE if locked */
|
|
rw_lock_t* lock, /* in: rw-lock */
|
|
ulint lock_type) /* in: lock type: RW_LOCK_SHARED,
|
|
RW_LOCK_EX */
|
|
{
|
|
rw_lock_debug_t* info;
|
|
|
|
ut_ad(lock);
|
|
ut_ad(rw_lock_validate(lock));
|
|
|
|
mutex_enter(&(lock->mutex));
|
|
|
|
info = UT_LIST_GET_FIRST(lock->debug_list);
|
|
|
|
while (info != NULL) {
|
|
|
|
if (os_thread_eq(info->thread_id, os_thread_get_curr_id())
|
|
&& (info->pass == 0)
|
|
&& (info->lock_type == lock_type)) {
|
|
|
|
mutex_exit(&(lock->mutex));
|
|
/* Found! */
|
|
|
|
return(TRUE);
|
|
}
|
|
|
|
info = UT_LIST_GET_NEXT(list, info);
|
|
}
|
|
mutex_exit(&(lock->mutex));
|
|
|
|
return(FALSE);
|
|
}
|
|
#endif /* UNIV_SYNC_DEBUG */
|
|
|
|
/**********************************************************************
|
|
Checks if somebody has locked the rw-lock in the specified mode. */
|
|
|
|
ibool
|
|
rw_lock_is_locked(
|
|
/*==============*/
|
|
/* out: TRUE if locked */
|
|
rw_lock_t* lock, /* in: rw-lock */
|
|
ulint lock_type) /* in: lock type: RW_LOCK_SHARED,
|
|
RW_LOCK_EX */
|
|
{
|
|
ibool ret = FALSE;
|
|
|
|
ut_ad(lock);
|
|
ut_ad(rw_lock_validate(lock));
|
|
|
|
mutex_enter(&(lock->mutex));
|
|
|
|
if (lock_type == RW_LOCK_SHARED) {
|
|
if (lock->reader_count > 0) {
|
|
ret = TRUE;
|
|
}
|
|
} else if (lock_type == RW_LOCK_EX) {
|
|
if (lock->writer == RW_LOCK_EX) {
|
|
ret = TRUE;
|
|
}
|
|
} else {
|
|
ut_error;
|
|
}
|
|
|
|
mutex_exit(&(lock->mutex));
|
|
|
|
return(ret);
|
|
}
|
|
|
|
#ifdef UNIV_SYNC_DEBUG
|
|
/*******************************************************************
|
|
Prints debug info of currently locked rw-locks. */
|
|
|
|
void
|
|
rw_lock_list_print_info(
|
|
/*====================*/
|
|
FILE* file) /* in: file where to print */
|
|
{
|
|
rw_lock_t* lock;
|
|
ulint count = 0;
|
|
rw_lock_debug_t* info;
|
|
|
|
mutex_enter(&rw_lock_list_mutex);
|
|
|
|
fputs("-------------\n"
|
|
"RW-LATCH INFO\n"
|
|
"-------------\n", file);
|
|
|
|
lock = UT_LIST_GET_FIRST(rw_lock_list);
|
|
|
|
while (lock != NULL) {
|
|
|
|
count++;
|
|
|
|
mutex_enter(&(lock->mutex));
|
|
|
|
if ((rw_lock_get_writer(lock) != RW_LOCK_NOT_LOCKED)
|
|
|| (rw_lock_get_reader_count(lock) != 0)
|
|
|| (rw_lock_get_waiters(lock) != 0)) {
|
|
|
|
fprintf(file, "RW-LOCK: %p ", (void*) lock);
|
|
|
|
if (rw_lock_get_waiters(lock)) {
|
|
fputs(" Waiters for the lock exist\n", file);
|
|
} else {
|
|
putc('\n', file);
|
|
}
|
|
|
|
info = UT_LIST_GET_FIRST(lock->debug_list);
|
|
while (info != NULL) {
|
|
rw_lock_debug_print(info);
|
|
info = UT_LIST_GET_NEXT(list, info);
|
|
}
|
|
}
|
|
|
|
mutex_exit(&(lock->mutex));
|
|
lock = UT_LIST_GET_NEXT(list, lock);
|
|
}
|
|
|
|
fprintf(file, "Total number of rw-locks %ld\n", count);
|
|
mutex_exit(&rw_lock_list_mutex);
|
|
}
|
|
|
|
/*******************************************************************
|
|
Prints debug info of an rw-lock. */
|
|
|
|
void
|
|
rw_lock_print(
|
|
/*==========*/
|
|
rw_lock_t* lock) /* in: rw-lock */
|
|
{
|
|
rw_lock_debug_t* info;
|
|
|
|
fprintf(stderr,
|
|
"-------------\n"
|
|
"RW-LATCH INFO\n"
|
|
"RW-LATCH: %p ", (void*) lock);
|
|
|
|
if ((rw_lock_get_writer(lock) != RW_LOCK_NOT_LOCKED)
|
|
|| (rw_lock_get_reader_count(lock) != 0)
|
|
|| (rw_lock_get_waiters(lock) != 0)) {
|
|
|
|
if (rw_lock_get_waiters(lock)) {
|
|
fputs(" Waiters for the lock exist\n", stderr);
|
|
} else {
|
|
putc('\n', stderr);
|
|
}
|
|
|
|
info = UT_LIST_GET_FIRST(lock->debug_list);
|
|
while (info != NULL) {
|
|
rw_lock_debug_print(info);
|
|
info = UT_LIST_GET_NEXT(list, info);
|
|
}
|
|
}
|
|
}
|
|
|
|
/*************************************************************************
|
|
Prints info of a debug struct. */
|
|
|
|
void
|
|
rw_lock_debug_print(
|
|
/*================*/
|
|
rw_lock_debug_t* info) /* in: debug struct */
|
|
{
|
|
ulint rwt;
|
|
|
|
rwt = info->lock_type;
|
|
|
|
fprintf(stderr, "Locked: thread %ld file %s line %ld ",
|
|
(ulong) os_thread_pf(info->thread_id), info->file_name,
|
|
(ulong) info->line);
|
|
if (rwt == RW_LOCK_SHARED) {
|
|
fputs("S-LOCK", stderr);
|
|
} else if (rwt == RW_LOCK_EX) {
|
|
fputs("X-LOCK", stderr);
|
|
} else if (rwt == RW_LOCK_WAIT_EX) {
|
|
fputs("WAIT X-LOCK", stderr);
|
|
} else {
|
|
ut_error;
|
|
}
|
|
if (info->pass != 0) {
|
|
fprintf(stderr, " pass value %lu", (ulong) info->pass);
|
|
}
|
|
putc('\n', stderr);
|
|
}
|
|
|
|
/*******************************************************************
|
|
Returns the number of currently locked rw-locks. Works only in the debug
|
|
version. */
|
|
|
|
ulint
|
|
rw_lock_n_locked(void)
|
|
/*==================*/
|
|
{
|
|
rw_lock_t* lock;
|
|
ulint count = 0;
|
|
|
|
mutex_enter(&rw_lock_list_mutex);
|
|
|
|
lock = UT_LIST_GET_FIRST(rw_lock_list);
|
|
|
|
while (lock != NULL) {
|
|
mutex_enter(rw_lock_get_mutex(lock));
|
|
|
|
if ((rw_lock_get_writer(lock) != RW_LOCK_NOT_LOCKED)
|
|
|| (rw_lock_get_reader_count(lock) != 0)) {
|
|
count++;
|
|
}
|
|
|
|
mutex_exit(rw_lock_get_mutex(lock));
|
|
lock = UT_LIST_GET_NEXT(list, lock);
|
|
}
|
|
|
|
mutex_exit(&rw_lock_list_mutex);
|
|
|
|
return(count);
|
|
}
|
|
#endif /* UNIV_SYNC_DEBUG */
|