mirror of
https://github.com/MariaDB/server.git
synced 2025-02-01 19:41:47 +01: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.
19 lines
569 B
Text
19 lines
569 B
Text
#
|
|
# Bug#42101 Race condition in innodb_commit_concurrency
|
|
# http://bugs.mysql.com/42101
|
|
#
|
|
|
|
-- source include/have_innodb.inc
|
|
|
|
set global innodb_commit_concurrency=0;
|
|
select @@innodb_commit_concurrency;
|
|
--error ER_WRONG_ARGUMENTS
|
|
set global innodb_commit_concurrency=1;
|
|
select @@innodb_commit_concurrency;
|
|
--error ER_WRONG_ARGUMENTS
|
|
set global innodb_commit_concurrency=42;
|
|
select @@innodb_commit_concurrency;
|
|
set global innodb_commit_concurrency=0;
|
|
select @@innodb_commit_concurrency;
|
|
set global innodb_commit_concurrency=DEFAULT;
|
|
select @@innodb_commit_concurrency;
|