mirror of
https://github.com/MariaDB/server.git
synced 2025-09-05 08:04:25 +03:00
bb0e1c34df
SET GLOBAL innodb_commit_concurrency=DEFAULT. (Bug #45749) When innodb_commit_concurrency is initially set nonzero, DEFAULT would change it back to 0, triggering Bug #42101. rb://139 approved by Heikki Tuuri.
22 lines
645 B
Plaintext
22 lines
645 B
Plaintext
#
|
|
# Bug#42101 Race condition in innodb_commit_concurrency
|
|
# http://bugs.mysql.com/42101
|
|
#
|
|
|
|
-- source include/have_innodb.inc
|
|
|
|
--error ER_WRONG_ARGUMENTS
|
|
set global innodb_commit_concurrency=0;
|
|
select @@innodb_commit_concurrency;
|
|
set global innodb_commit_concurrency=1;
|
|
select @@innodb_commit_concurrency;
|
|
set global innodb_commit_concurrency=42;
|
|
select @@innodb_commit_concurrency;
|
|
set global innodb_commit_concurrency=DEFAULT;
|
|
select @@innodb_commit_concurrency;
|
|
--error ER_WRONG_ARGUMENTS
|
|
set global innodb_commit_concurrency=0;
|
|
select @@innodb_commit_concurrency;
|
|
set global innodb_commit_concurrency=1;
|
|
select @@innodb_commit_concurrency;
|