/ Hex Artifact Content
Login

Artifact be48f3a75eff0b4456209f26b3ce186c2015497d:


0000: 23 20 32 30 31 35 20 4d 61 72 20 31 37 0a 23 0a  # 2015 Mar 17.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou give..#.#****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 0a 23 0a 0a 73 65 74 20 74 65 73 74 64  ***.#..set testd
0170: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
0180: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
0190: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
01a0: 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73 74  tcl.source $test
01b0: 64 69 72 2f 6c 6f 63 6b 5f 63 6f 6d 6d 6f 6e 2e  dir/lock_common.
01c0: 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73 74  tcl.source $test
01d0: 64 69 72 2f 77 61 6c 5f 63 6f 6d 6d 6f 6e 2e 74  dir/wal_common.t
01e0: 63 6c 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 3b  cl..finish_test;
01f0: 20 72 65 74 75 72 6e 3b 20 20 20 20 23 20 20 46   return;    #  F
0200: 65 61 74 75 72 65 20 63 75 72 72 65 6e 74 6c 79  eature currently
0210: 20 6e 6f 74 20 69 6d 70 6c 65 6d 65 6e 74 65 64   not implemented
0220: 2e 0a 69 66 63 61 70 61 62 6c 65 20 21 77 61 6c  ..ifcapable !wal
0230: 20 7b 66 69 6e 69 73 68 5f 74 65 73 74 20 3b 20   {finish_test ; 
0240: 72 65 74 75 72 6e 20 7d 0a 69 66 20 7b 24 3a 3a  return }.if {$::
0250: 74 63 6c 5f 70 6c 61 74 66 6f 72 6d 28 70 6c 61  tcl_platform(pla
0260: 74 66 6f 72 6d 29 21 3d 22 75 6e 69 78 22 7d 20  tform)!="unix"} 
0270: 7b 20 66 69 6e 69 73 68 5f 74 65 73 74 20 3b 20  { finish_test ; 
0280: 72 65 74 75 72 6e 20 7d 0a 73 65 74 20 74 65 73  return }.set tes
0290: 74 70 72 65 66 69 78 20 77 61 6c 62 6c 6f 63 6b  tprefix walblock
02a0: 0a 0a 63 61 74 63 68 20 7b 20 64 62 20 63 6c 6f  ..catch { db clo
02b0: 73 65 20 7d 0a 74 65 73 74 76 66 73 20 74 76 66  se }.testvfs tvf
02c0: 73 20 2d 66 75 6c 6c 73 68 6d 20 31 0a 66 6f 72  s -fullshm 1.for
02d0: 65 61 63 68 20 66 20 5b 67 6c 6f 62 20 74 65 73  each f [glob tes
02e0: 74 2e 64 62 2a 5d 20 7b 20 66 6f 72 63 65 64 65  t.db*] { forcede
02f0: 6c 65 74 65 20 24 66 20 7d 0a 0a 73 71 6c 69 74  lete $f }..sqlit
0300: 65 33 20 64 62 20 74 65 73 74 2e 64 62 20 2d 76  e3 db test.db -v
0310: 66 73 20 74 76 66 73 0a 64 6f 5f 65 78 65 63 73  fs tvfs.do_execs
0320: 71 6c 5f 74 65 73 74 20 31 2e 31 2e 30 20 7b 0a  ql_test 1.1.0 {.
0330: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0340: 31 28 78 2c 20 79 29 3b 0a 20 20 49 4e 53 45 52  1(x, y);.  INSER
0350: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0360: 28 31 2c 20 32 29 3b 0a 20 20 49 4e 53 45 52 54  (1, 2);.  INSERT
0370: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0380: 33 2c 20 34 29 3b 0a 20 20 49 4e 53 45 52 54 20  3, 4);.  INSERT 
0390: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 35  INTO t1 VALUES(5
03a0: 2c 20 36 29 3b 0a 20 20 50 52 41 47 4d 41 20 6a  , 6);.  PRAGMA j
03b0: 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d 20 77 61  ournal_mode = wa
03c0: 6c 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  l;.  INSERT INTO
03d0: 20 74 31 20 56 41 4c 55 45 53 28 37 2c 20 38 29   t1 VALUES(7, 8)
03e0: 3b 0a 7d 20 7b 77 61 6c 7d 0a 0a 64 6f 5f 74 65  ;.} {wal}..do_te
03f0: 73 74 20 31 2e 31 2e 31 20 7b 20 0a 20 20 6c 73  st 1.1.1 { .  ls
0400: 6f 72 74 20 5b 67 6c 6f 62 20 74 65 73 74 2e 64  ort [glob test.d
0410: 62 2a 5d 20 0a 7d 20 7b 74 65 73 74 2e 64 62 20  b*] .} {test.db 
0420: 74 65 73 74 2e 64 62 2d 73 68 6d 20 74 65 73 74  test.db-shm test
0430: 2e 64 62 2d 77 61 6c 7d 0a 0a 64 6f 5f 74 65 73  .db-wal}..do_tes
0440: 74 20 31 2e 31 2e 32 20 7b 20 0a 20 20 73 65 74  t 1.1.2 { .  set
0450: 20 43 20 5b 6c 61 75 6e 63 68 5f 74 65 73 74 66   C [launch_testf
0460: 69 78 74 75 72 65 5d 0a 20 20 74 65 73 74 66 69  ixture].  testfi
0470: 78 74 75 72 65 20 24 43 20 7b 0a 20 20 20 20 73  xture $C {.    s
0480: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
0490: 62 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 20  b.    db eval { 
04a0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
04b0: 20 7d 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20   }.  }.} {1 2 3 
04c0: 34 20 35 20 36 20 37 20 38 7d 0a 0a 64 6f 5f 74  4 5 6 7 8}..do_t
04d0: 65 73 74 20 31 2e 31 2e 33 20 7b 20 0a 20 20 73  est 1.1.3 { .  s
04e0: 65 74 20 3a 3a 6f 75 74 20 5b 6c 69 73 74 5d 0a  et ::out [list].
04f0: 20 20 74 65 73 74 66 69 78 74 75 72 65 20 24 43    testfixture $C
0500: 20 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b   {.    db eval {
0510: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0520: 31 20 7d 0a 20 20 7d 20 5b 6c 69 73 74 20 73 65  1 }.  } [list se
0530: 74 20 3a 3a 6f 75 74 5d 0a 20 20 73 65 74 20 3a  t ::out].  set :
0540: 3a 6f 75 74 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65  :out.} {}..do_te
0550: 73 74 20 31 2e 31 2e 34 20 7b 20 0a 20 20 76 77  st 1.1.4 { .  vw
0560: 61 69 74 20 3a 3a 6f 75 74 0a 20 20 73 65 74 20  ait ::out.  set 
0570: 3a 3a 6f 75 74 0a 7d 20 7b 31 20 32 20 33 20 34  ::out.} {1 2 3 4
0580: 20 35 20 36 20 37 20 38 7d 0a 0a 23 0a 23 20 54   5 6 7 8}..#.# T
0590: 65 73 74 20 74 68 61 74 20 69 66 20 61 20 72 65  est that if a re
05a0: 61 64 20 63 6c 69 65 6e 74 20 63 61 6e 6e 6f 74  ad client cannot
05b0: 20 72 65 61 64 20 74 68 65 20 77 61 6c 2d 69 6e   read the wal-in
05c0: 64 65 78 20 68 65 61 64 65 72 20 62 65 63 61 75  dex header becau
05d0: 73 65 20 61 0a 23 20 77 72 69 74 65 20 63 6c 69  se a.# write cli
05e0: 65 6e 74 20 69 73 20 69 6e 20 74 68 65 20 6d 69  ent is in the mi
05f0: 64 64 6c 65 20 6f 66 20 75 70 64 61 74 69 6e 67  ddle of updating
0600: 20 69 74 2c 20 74 68 65 20 72 65 61 64 65 72 20   it, the reader 
0610: 62 6c 6f 63 6b 73 20 75 6e 74 69 6c 0a 23 20 74  blocks until.# t
0620: 68 65 20 77 72 69 74 65 72 20 66 69 6e 69 73 68  he writer finish
0630: 65 73 2e 0a 23 0a 23 20 20 20 31 2e 20 4f 70 65  es..#.#   1. Ope
0640: 6e 20 61 20 77 72 69 74 65 20 74 72 61 6e 73 61  n a write transa
0650: 63 74 69 6f 6e 20 75 73 69 6e 67 20 63 6c 69 65  ction using clie
0660: 6e 74 20 5b 64 62 5d 20 69 6e 20 74 68 69 73 20  nt [db] in this 
0670: 70 72 6f 63 65 73 73 2e 0a 23 0a 23 20 20 20 32  process..#.#   2
0680: 2e 20 41 74 74 65 6d 70 74 20 74 6f 20 63 6f 6d  . Attempt to com
0690: 6d 69 74 20 74 68 65 20 77 72 69 74 65 20 74 72  mit the write tr
06a0: 61 6e 73 61 63 74 69 6f 6e 2e 20 49 6e 74 65 72  ansaction. Inter
06b0: 63 65 70 74 20 74 68 65 20 78 53 68 6d 42 61 72  cept the xShmBar
06c0: 72 69 65 72 28 29 0a 23 20 20 20 20 20 20 63 61  rier().#      ca
06d0: 6c 6c 20 6d 61 64 65 20 62 79 20 74 68 65 20 77  ll made by the w
06e0: 72 69 74 65 72 20 62 65 74 77 65 65 6e 20 75 70  riter between up
06f0: 64 61 74 69 6e 67 20 74 68 65 20 74 77 6f 20 63  dating the two c
0700: 6f 70 69 65 73 20 6f 66 20 74 68 65 0a 23 20 20  opies of the.#  
0710: 20 20 20 20 77 61 6c 2d 69 6e 64 65 78 20 68 65      wal-index he
0720: 61 64 65 72 2e 0a 23 0a 23 20 20 20 33 2e 20 57  ader..#.#   3. W
0730: 69 74 68 69 6e 20 74 68 65 20 78 53 68 6d 42 61  ithin the xShmBa
0740: 72 72 69 65 72 28 29 20 63 61 6c 6c 62 61 63 6b  rrier() callback
0750: 2c 20 6d 61 6b 65 20 61 6e 20 61 73 79 6e 63 68  , make an asynch
0760: 72 6f 6e 6f 75 73 20 72 65 71 75 65 73 74 20 74  ronous request t
0770: 6f 0a 23 20 20 20 20 20 20 74 68 65 20 6f 74 68  o.#      the oth
0780: 65 72 20 70 72 6f 63 65 73 73 20 74 6f 20 72 65  er process to re
0790: 61 64 20 66 72 6f 6d 20 74 68 65 20 64 61 74 61  ad from the data
07a0: 62 61 73 65 2e 20 49 74 20 73 68 6f 75 6c 64 20  base. It should 
07b0: 62 6c 6f 63 6b 2c 20 61 73 20 69 74 0a 23 20 20  block, as it.#  
07c0: 20 20 20 20 63 61 6e 6e 6f 74 20 67 65 74 20 72      cannot get r
07d0: 65 61 64 20 74 68 65 20 77 61 6c 2d 69 6e 64 65  ead the wal-inde
07e0: 78 20 68 65 61 64 65 72 2e 0a 23 0a 23 20 20 20  x header..#.#   
07f0: 34 2e 20 53 74 69 6c 6c 20 69 6e 20 78 53 68 6d  4. Still in xShm
0800: 42 61 72 72 69 65 72 28 29 2c 20 77 61 69 74 20  Barrier(), wait 
0810: 66 6f 72 20 35 20 73 65 63 6f 6e 64 73 2e 20 43  for 5 seconds. C
0820: 68 65 63 6b 20 74 68 61 74 20 74 68 65 20 6f 74  heck that the ot
0830: 68 65 72 0a 23 20 20 20 20 20 20 70 72 6f 63 65  her.#      proce
0840: 73 73 20 68 61 73 20 6e 6f 74 20 61 6e 73 77 65  ss has not answe
0850: 72 65 64 20 74 68 65 20 72 65 71 75 65 73 74 2e  red the request.
0860: 0a 23 0a 23 20 20 20 35 3a 20 46 69 6e 69 73 68  .#.#   5: Finish
0870: 20 63 6f 6d 6d 69 74 74 69 6e 67 20 74 68 65 20   committing the 
0880: 74 72 61 6e 73 61 63 74 69 6f 6e 2e 20 54 68 65  transaction. The
0890: 6e 20 77 61 69 74 20 66 6f 72 20 30 2e 35 20 73  n wait for 0.5 s
08a0: 65 63 6f 6e 64 73 20 6d 6f 72 65 2e 0a 23 20 20  econds more..#  
08b0: 20 20 20 20 45 6e 73 75 72 65 20 74 68 61 74 20      Ensure that 
08c0: 74 68 65 20 73 65 63 6f 6e 64 20 70 72 6f 63 65  the second proce
08d0: 73 73 20 68 61 73 20 62 79 20 74 68 69 73 20 73  ss has by this s
08e0: 74 61 67 65 20 72 65 61 64 20 74 68 65 20 64 61  tage read the da
08f0: 74 61 62 61 73 65 0a 23 20 20 20 20 20 20 61 6e  tabase.#      an
0900: 64 20 74 68 61 74 20 74 68 65 20 73 6e 61 70 73  d that the snaps
0910: 68 6f 74 20 69 74 20 72 65 61 64 20 69 6e 63 6c  hot it read incl
0920: 75 64 65 64 20 74 68 65 20 74 72 61 6e 73 61 63  uded the transac
0930: 74 69 6f 6e 20 63 6f 6d 6d 69 74 74 65 64 20 69  tion committed i
0940: 6e 0a 23 20 20 20 20 20 20 73 74 65 70 20 28 34  n.#      step (4
0950: 29 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  )..#.do_execsql_
0960: 74 65 73 74 20 31 2e 32 2e 31 20 7b 0a 20 20 42  test 1.2.1 {.  B
0970: 45 47 49 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54  EGIN;.    INSERT
0980: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0990: 39 2c 20 31 30 29 3b 0a 7d 20 7b 7d 0a 0a 74 76  9, 10);.} {}..tv
09a0: 66 73 20 73 63 72 69 70 74 20 62 61 72 72 69 65  fs script barrie
09b0: 72 5f 63 61 6c 6c 62 61 63 6b 0a 74 76 66 73 20  r_callback.tvfs 
09c0: 66 69 6c 74 65 72 20 78 53 68 6d 42 61 72 72 69  filter xShmBarri
09d0: 65 72 0a 70 72 6f 63 20 62 61 72 72 69 65 72 5f  er.proc barrier_
09e0: 63 61 6c 6c 62 61 63 6b 20 7b 6d 65 74 68 6f 64  callback {method
09f0: 20 61 72 67 73 7d 20 7b 0a 20 20 73 65 74 20 3a   args} {.  set :
0a00: 3a 6f 75 74 20 22 22 0a 20 20 74 65 73 74 66 69  :out "".  testfi
0a10: 78 74 75 72 65 20 24 3a 3a 43 20 7b 20 64 62 20  xture $::C { db 
0a20: 65 76 61 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20  eval { SELECT * 
0a30: 46 52 4f 4d 20 74 31 20 7d 20 7d 20 7b 73 65 74  FROM t1 } } {set
0a40: 20 3a 3a 6f 75 74 7d 0a 0a 20 20 64 6f 5f 74 65   ::out}..  do_te
0a50: 73 74 20 22 31 2e 32 2e 32 2e 28 62 6c 6f 63 6b  st "1.2.2.(block
0a60: 69 6e 67 20 31 30 20 73 65 63 6f 6e 64 73 29 22  ing 10 seconds)"
0a70: 20 7b 20 0a 20 20 20 20 73 65 74 20 3a 3a 63 6f   { .    set ::co
0a80: 6e 74 69 6e 75 65 20 30 0a 20 20 20 20 61 66 74  ntinue 0.    aft
0a90: 65 72 20 31 30 30 30 30 20 7b 73 65 74 20 3a 3a  er 10000 {set ::
0aa0: 63 6f 6e 74 69 6e 75 65 20 31 7d 0a 20 20 20 20  continue 1}.    
0ab0: 76 77 61 69 74 20 3a 3a 63 6f 6e 74 69 6e 75 65  vwait ::continue
0ac0: 0a 20 20 20 20 73 65 74 20 3a 3a 6f 75 74 20 0a  .    set ::out .
0ad0: 20 20 7d 20 7b 7d 0a 7d 0a 0a 65 78 65 63 73 71    } {}.}..execsq
0ae0: 6c 20 43 4f 4d 4d 49 54 0a 0a 64 6f 5f 74 65 73  l COMMIT..do_tes
0af0: 74 20 22 31 2e 32 2e 33 2e 28 62 6c 6f 63 6b 69  t "1.2.3.(blocki
0b00: 6e 67 20 30 2e 35 20 73 65 63 6f 6e 64 73 29 22  ng 0.5 seconds)"
0b10: 20 7b 20 0a 20 20 73 65 74 20 3a 3a 63 6f 6e 74   { .  set ::cont
0b20: 69 6e 75 65 20 30 0a 20 20 61 66 74 65 72 20 35  inue 0.  after 5
0b30: 30 30 20 7b 73 65 74 20 3a 3a 63 6f 6e 74 69 6e  00 {set ::contin
0b40: 75 65 20 31 7d 0a 20 20 76 77 61 69 74 20 3a 3a  ue 1}.  vwait ::
0b50: 63 6f 6e 74 69 6e 75 65 0a 20 20 73 65 74 20 3a  continue.  set :
0b60: 3a 6f 75 74 20 0a 7d 20 7b 31 20 32 20 33 20 34  :out .} {1 2 3 4
0b70: 20 35 20 36 20 37 20 38 20 39 20 31 30 7d 0a 0a   5 6 7 8 9 10}..
0b80: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.