File: lock_s_to_implicit_x_escalation.test

package info (click to toggle)
mysql-8.0 8.0.43-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 1,273,924 kB
  • sloc: cpp: 4,684,605; ansic: 412,450; pascal: 108,398; java: 83,641; perl: 30,221; cs: 27,067; sql: 26,594; sh: 24,181; python: 21,816; yacc: 17,169; php: 11,522; xml: 7,388; javascript: 7,076; makefile: 2,194; lex: 1,075; awk: 670; asm: 520; objc: 183; ruby: 97; lisp: 86
file content (48 lines) | stat: -rw-r--r-- 1,216 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
--source include/count_sessions.inc
--source include/have_debug_sync.inc

CREATE TABLE t1 (id INT PRIMARY KEY);
INSERT INTO t1 VALUES (1);

--connect (con1, localhost, root,,)
--connect (con2, localhost, root,,)
--connect (con3, localhost, root,,)

--connection con3
  # create a read view which will prevent purging the id=1
  BEGIN;
  SELECT * FROM t1;

--connection con1
  # delete-mark the id=1
  DELETE FROM t1 WHERE id=1;
  # place LOCK_S
  BEGIN;
  SELECT * FROM t1 FOR SHARE;

--connection con2
  # place a WAITING LOCK_X
  BEGIN;
  SET DEBUG_SYNC = "lock_wait_will_wait SIGNAL con2_will_wait";
  --send SELECT * FROM t1 FOR UPDATE

--connection con1
  SET DEBUG_SYNC = "now WAIT_FOR con2_will_wait";
  # attempt S to X escalation, bypassing con2, and using implicit lock
  INSERT INTO t1 VALUES (1);

--connection con3
  # insert a record just before id=1, just to trigger validation for this record
  SET DEBUG_SYNC = "lock_wait_will_wait SIGNAL con3_will_wait";
  --send INSERT INTO t1 VALUES (0)

--connection con1
  SET DEBUG_SYNC = "now WAIT_FOR con3_will_wait";

--connection default
--disconnect con1
--disconnect con2
--disconnect con3
DROP TABLE t1;

--source include/wait_until_count_sessions.inc