third_party/sqlite/src/test/lock.test

   1 # 2001 September 15
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   6 #    May you do good and not evil.
   7 #    May you find forgiveness for yourself and forgive others.
   8 #    May you share freely, never taking more than you give.
   9 #
  10 #***********************************************************************
  11 # This file implements regression tests for SQLite library.  The
  12 # focus of this script is database locks.
  13 #
  14 # $Id: lock.test,v 1.40 2009/06/16 17:49:36 drh Exp $
  15
  16
  17 set testdir [file dirname $argv0]
  18 source $testdir/tester.tcl
  19
  20 # Create an alternative connection to the database
  21 #
  22 do_test lock-1.0 {
  23   # Give a complex pathname to stress the path simplification logic in
  24   # the vxworks driver and in test_async.
  25   file mkdir tempdir/t1/t2
  26   sqlite3 db2 ./tempdir/../tempdir/t1/.//t2/../../..//test.db
  27   set dummy {}
  28 } {}
  29 do_test lock-1.1 {
  30   execsql {SELECT name FROM sqlite_master WHERE type='table' ORDER BY name}
  31 } {}
  32 do_test lock-1.2 {
  33   execsql {SELECT name FROM sqlite_master WHERE type='table' ORDER BY name} db2
  34 } {}
  35 do_test lock-1.3 {
  36   execsql {CREATE TABLE t1(a int, b int)}
  37   execsql {SELECT name FROM sqlite_master WHERE type='table' ORDER BY name}
  38 } {t1}
  39 do_test lock-1.5 {
  40   catchsql {
  41      SELECT name FROM sqlite_master WHERE type='table' ORDER BY name
  42   } db2
  43 } {0 t1}
  44
  45 do_test lock-1.6 {
  46   execsql {INSERT INTO t1 VALUES(1,2)}
  47   execsql {SELECT * FROM t1}
  48 } {1 2}
  49 # Update: The schema is now brought up to date by test lock-1.5.
  50 # do_test lock-1.7.1 {
  51 #   catchsql {SELECT * FROM t1} db2
  52 # } {1 {no such table: t1}}
  53 do_test lock-1.7.2 {
  54   catchsql {SELECT * FROM t1} db2
  55 } {0 {1 2}}
  56 do_test lock-1.8 {
  57   execsql {UPDATE t1 SET a=b, b=a} db2
  58   execsql {SELECT * FROM t1} db2
  59 } {2 1}
  60 do_test lock-1.9 {
  61   execsql {SELECT * FROM t1}
  62 } {2 1}
  63 do_test lock-1.10 {
  64   execsql {BEGIN TRANSACTION}
  65   execsql {UPDATE t1 SET a = 0 WHERE 0}
  66   execsql {SELECT * FROM t1}
  67 } {2 1}
  68 do_test lock-1.11 {
  69   catchsql {SELECT * FROM t1} db2
  70 } {0 {2 1}}
  71 do_test lock-1.12 {
  72   execsql {ROLLBACK}
  73   catchsql {SELECT * FROM t1}
  74 } {0 {2 1}}
  75
  76 do_test lock-1.13 {
  77   execsql {CREATE TABLE t2(x int, y int)}
  78   execsql {INSERT INTO t2 VALUES(8,9)}
  79   execsql {SELECT * FROM t2}
  80 } {8 9}
  81 do_test lock-1.14.1 {
  82   catchsql {SELECT * FROM t2} db2
  83 } {0 {8 9}}
  84 do_test lock-1.14.2 {
  85   catchsql {SELECT * FROM t1} db2
  86 } {0 {2 1}}
  87 do_test lock-1.15 {
  88   catchsql {SELECT * FROM t2} db2
  89 } {0 {8 9}}
  90
  91 do_test lock-1.16 {
  92   db eval {SELECT * FROM t1} qv {
  93     set x [db eval {SELECT * FROM t1}]
  94   }
  95   set x
  96 } {2 1}
  97 do_test lock-1.17 {
  98   db eval {SELECT * FROM t1} qv {
  99     set x [db eval {SELECT * FROM t2}]
 100   }
 101   set x
 102 } {8 9}
 103
 104 # You cannot UPDATE a table from within the callback of a SELECT
 105 # on that same table because the SELECT has the table locked.
 106 #
 107 # 2006-08-16:  Reads no longer block writes within the same
 108 # database connection.
 109 #
 110 #do_test lock-1.18 {
 111 #  db eval {SELECT * FROM t1} qv {
 112 #    set r [catch {db eval {UPDATE t1 SET a=b, b=a}} msg]
 113 #    lappend r $msg
 114 #  }
 115 #  set r
 116 #} {1 {database table is locked}}
 117
 118 # But you can UPDATE a different table from the one that is used in
 119 # the SELECT.
 120 #
 121 do_test lock-1.19 {
 122   db eval {SELECT * FROM t1} qv {
 123     set r [catch {db eval {UPDATE t2 SET x=y, y=x}} msg]
 124     lappend r $msg
 125   }
 126   set r
 127 } {0 {}}
 128 do_test lock-1.20 {
 129   execsql {SELECT * FROM t2}
 130 } {9 8}
 131
 132 # It is possible to do a SELECT of the same table within the
 133 # callback of another SELECT on that same table because two
 134 # or more read-only cursors can be open at once.
 135 #
 136 do_test lock-1.21 {
 137   db eval {SELECT * FROM t1} qv {
 138     set r [catch {db eval {SELECT a FROM t1}} msg]
 139     lappend r $msg
 140   }
 141   set r
 142 } {0 2}
 143
 144 # Under UNIX you can do two SELECTs at once with different database
 145 # connections, because UNIX supports reader/writer locks.  Under windows,
 146 # this is not possible.
 147 #
 148 if {$::tcl_platform(platform)=="unix"} {
 149   do_test lock-1.22 {
 150     db eval {SELECT * FROM t1} qv {
 151       set r [catch {db2 eval {SELECT a FROM t1}} msg]
 152       lappend r $msg
 153     }
 154     set r
 155   } {0 2}
 156 }
 157 integrity_check lock-1.23
 158
 159 # If one thread has a transaction another thread cannot start
 160 # a transaction.  -> Not true in version 3.0.  But if one thread
 161 # as a RESERVED lock another thread cannot acquire one.
 162 #
 163 do_test lock-2.1 {
 164   execsql {BEGIN TRANSACTION}
 165   execsql {UPDATE t1 SET a = 0 WHERE 0}
 166   execsql {BEGIN TRANSACTION} db2
 167   set r [catch {execsql {UPDATE t1 SET a = 0 WHERE 0} db2} msg]
 168   execsql {ROLLBACK} db2
 169   lappend r $msg
 170 } {1 {database is locked}}
 171
 172 # A thread can read when another has a RESERVED lock.
 173 #
 174 do_test lock-2.2 {
 175   catchsql {SELECT * FROM t2} db2
 176 } {0 {9 8}}
 177
 178 # If the other thread (the one that does not hold the transaction with
 179 # a RESERVED lock) tries to get a RESERVED lock, we do get a busy callback
 180 # as long as we were not orginally holding a READ lock.
 181 #
 182 do_test lock-2.3.1 {
 183   proc callback {count} {
 184     set ::callback_value $count
 185     break
 186   }
 187   set ::callback_value {}
 188   db2 busy callback
 189   # db2 does not hold a lock so we should get a busy callback here
 190   set r [catch {execsql {UPDATE t1 SET a=b, b=a} db2} msg]
 191   lappend r $msg
 192   lappend r $::callback_value
 193 } {1 {database is locked} 0}
 194 do_test lock-2.3.2 {
 195   set ::callback_value {}
 196   execsql {BEGIN; SELECT rowid FROM sqlite_master LIMIT 1} db2
 197   # This time db2 does hold a read lock.  No busy callback this time.
 198   set r [catch {execsql {UPDATE t1 SET a=b, b=a} db2} msg]
 199   lappend r $msg
 200   lappend r $::callback_value
 201 } {1 {database is locked} {}}
 202 catch {execsql {ROLLBACK} db2}
 203 do_test lock-2.4.1 {
 204   proc callback {count} {
 205     lappend ::callback_value $count
 206     if {$count>4} break
 207   }
 208   set ::callback_value {}
 209   db2 busy callback
 210   # We get a busy callback because db2 is not holding a lock
 211   set r [catch {execsql {UPDATE t1 SET a=b, b=a} db2} msg]
 212   lappend r $msg
 213   lappend r $::callback_value
 214 } {1 {database is locked} {0 1 2 3 4 5}}
 215 do_test lock-2.4.2 {
 216   proc callback {count} {
 217     lappend ::callback_value $count
 218     if {$count>4} break
 219   }
 220   set ::callback_value {}
 221   db2 busy callback
 222   execsql {BEGIN; SELECT rowid FROM sqlite_master LIMIT 1} db2
 223   # No busy callback this time because we are holding a lock
 224   set r [catch {execsql {UPDATE t1 SET a=b, b=a} db2} msg]
 225   lappend r $msg
 226   lappend r $::callback_value
 227 } {1 {database is locked} {}}
 228 catch {execsql {ROLLBACK} db2}
 229 do_test lock-2.5 {
 230   proc callback {count} {
 231     lappend ::callback_value $count
 232     if {$count>4} break
 233   }
 234   set ::callback_value {}
 235   db2 busy callback
 236   set r [catch {execsql {SELECT * FROM t1} db2} msg]
 237   lappend r $msg
 238   lappend r $::callback_value
 239 } {0 {2 1} {}}
 240 execsql {ROLLBACK}
 241
 242 # Test the built-in busy timeout handler
 243 #
 244 do_test lock-2.8 {
 245   db2 timeout 400
 246   execsql BEGIN
 247   execsql {UPDATE t1 SET a = 0 WHERE 0}
 248   catchsql {BEGIN EXCLUSIVE;} db2
 249 } {1 {database is locked}}
 250 do_test lock-2.9 {
 251   db2 timeout 0
 252   execsql COMMIT
 253 } {}
 254 integrity_check lock-2.10
 255
 256 # Try to start two transactions in a row
 257 #
 258 do_test lock-3.1 {
 259   execsql {BEGIN TRANSACTION}
 260   set r [catch {execsql {BEGIN TRANSACTION}} msg]
 261   execsql {ROLLBACK}
 262   lappend r $msg
 263 } {1 {cannot start a transaction within a transaction}}
 264 integrity_check lock-3.2
 265
 266 # Make sure the busy handler and error messages work when
 267 # opening a new pointer to the database while another pointer
 268 # has the database locked.
 269 #
 270 do_test lock-4.1 {
 271   db2 close
 272   catch {db eval ROLLBACK}
 273   db eval BEGIN
 274   db eval {UPDATE t1 SET a=0 WHERE 0}
 275   sqlite3 db2 ./test.db
 276   catchsql {UPDATE t1 SET a=0} db2
 277 } {1 {database is locked}}
 278 do_test lock-4.2 {
 279   set ::callback_value {}
 280   set rc [catch {db2 eval {UPDATE t1 SET a=0}} msg]
 281   lappend rc $msg $::callback_value
 282 } {1 {database is locked} {}}
 283 do_test lock-4.3 {
 284   proc callback {count} {
 285     lappend ::callback_value $count
 286     if {$count>4} break
 287   }
 288   db2 busy callback
 289   set rc [catch {db2 eval {UPDATE t1 SET a=0}} msg]
 290   lappend rc $msg $::callback_value
 291 } {1 {database is locked} {0 1 2 3 4 5}}
 292 execsql {ROLLBACK}
 293
 294 # When one thread is writing, other threads cannot read.  Except if the
 295 # writing thread is writing to its temporary tables, the other threads
 296 # can still read.  -> Not so in 3.0.  One thread can read while another
 297 # holds a RESERVED lock.
 298 #
 299 proc tx_exec {sql} {
 300   db2 eval $sql
 301 }
 302 do_test lock-5.1 {
 303   execsql {
 304     SELECT * FROM t1
 305   }
 306 } {2 1}
 307 do_test lock-5.2 {
 308   db function tx_exec tx_exec
 309   catchsql {
 310     INSERT INTO t1(a,b) SELECT 3, tx_exec('SELECT y FROM t2 LIMIT 1');
 311   }
 312 } {0 {}}
 313
 314 ifcapable tempdb {
 315   do_test lock-5.3 {
 316     execsql {
 317       CREATE TEMP TABLE t3(x);
 318       SELECT * FROM t3;
 319     }
 320   } {}
 321   do_test lock-5.4 {
 322     catchsql {
 323       INSERT INTO t3 SELECT tx_exec('SELECT y FROM t2 LIMIT 1');
 324     }
 325   } {0 {}}
 326   do_test lock-5.5 {
 327     execsql {
 328       SELECT * FROM t3;
 329     }
 330   } {8}
 331   do_test lock-5.6 {
 332     catchsql {
 333       UPDATE t1 SET a=tx_exec('SELECT x FROM t2');
 334     }
 335   } {0 {}}
 336   do_test lock-5.7 {
 337     execsql {
 338       SELECT * FROM t1;
 339     }
 340   } {9 1 9 8}
 341   do_test lock-5.8 {
 342     catchsql {
 343       UPDATE t3 SET x=tx_exec('SELECT x FROM t2');
 344     }
 345   } {0 {}}
 346   do_test lock-5.9 {
 347     execsql {
 348       SELECT * FROM t3;
 349     }
 350   } {9}
 351 }
 352
 353 do_test lock-6.1 {
 354   execsql {
 355     CREATE TABLE t4(a PRIMARY KEY, b);
 356     INSERT INTO t4 VALUES(1, 'one');
 357     INSERT INTO t4 VALUES(2, 'two');
 358     INSERT INTO t4 VALUES(3, 'three');
 359   }
 360
 361   set STMT [sqlite3_prepare $DB "SELECT * FROM sqlite_master" -1 TAIL]
 362   sqlite3_step $STMT
 363
 364   execsql { DELETE FROM t4 }
 365   execsql { SELECT * FROM sqlite_master } db2
 366   execsql { SELECT * FROM t4 } db2
 367 } {}
 368
 369 do_test lock-6.2 {
 370   execsql {
 371     BEGIN;
 372     INSERT INTO t4 VALUES(1, 'one');
 373     INSERT INTO t4 VALUES(2, 'two');
 374     INSERT INTO t4 VALUES(3, 'three');
 375     COMMIT;
 376   }
 377
 378   execsql { SELECT * FROM t4 } db2
 379 } {1 one 2 two 3 three}
 380
 381 do_test lock-6.3 {
 382   execsql { SELECT a FROM t4 ORDER BY a } db2
 383 } {1 2 3}
 384
 385 do_test lock-6.4 {
 386   execsql { PRAGMA integrity_check } db2
 387 } {ok}
 388
 389 do_test lock-6.5 {
 390   sqlite3_finalize $STMT
 391 } {SQLITE_OK}
 392
 393 # At one point the following set of conditions would cause SQLite to
 394 # retain a RESERVED or EXCLUSIVE lock after the transaction was committed:
 395 #
 396 #   * The journal-mode is set to something other than 'delete', and
 397 #   * there exists one or more active read-only statements, and
 398 #   * a transaction that modified zero database pages is committed.
 399 #
 400 set temp_status unlocked
 401 if {$TEMP_STORE>=2} {set temp_status unknown}
 402 do_test lock-7.1 {
 403   set STMT [sqlite3_prepare $DB "SELECT * FROM sqlite_master" -1 TAIL]
 404   sqlite3_step $STMT
 405 } {SQLITE_ROW}
 406 do_test lock-7.2 {
 407   execsql { PRAGMA lock_status }
 408 } [list main shared temp $temp_status]
 409 do_test lock-7.3 {
 410   execsql {
 411     PRAGMA journal_mode = truncate;
 412     BEGIN;
 413     UPDATE t4 SET a = 10 WHERE 0;
 414     COMMIT;
 415   }
 416   execsql { PRAGMA lock_status }
 417 } [list main shared temp $temp_status]
 418 do_test lock-7.4 {
 419   sqlite3_finalize $STMT
 420 } {SQLITE_OK}
 421
 422 do_test lock-999.1 {
 423   rename db2 {}
 424 } {}
 425
 426 finish_test