/ Hex Artifact Content
Login

Artifact 0377e202c3c2a50d688cb65ba203afeda6fafeb9:


0000: 2f 2a 0a 2a 2a 20 32 30 31 34 20 44 65 63 65 6d  /*.** 2014 Decem
0010: 62 65 72 20 39 0a 2a 2a 0a 2a 2a 20 54 68 65 20  ber 9.**.** The 
0020: 61 75 74 68 6f 72 20 64 69 73 63 6c 61 69 6d 73  author disclaims
0030: 20 63 6f 70 79 72 69 67 68 74 20 74 6f 20 74 68   copyright to th
0040: 69 73 20 73 6f 75 72 63 65 20 63 6f 64 65 2e 20  is source code. 
0050: 20 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20   In place of.** 
0060: 61 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20  a legal notice, 
0070: 68 65 72 65 20 69 73 20 61 20 62 6c 65 73 73 69  here is a blessi
0080: 6e 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79  ng:.**.**    May
0090: 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64   you do good and
00a0: 20 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20   not evil..**   
00b0: 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 6f   May you find fo
00c0: 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 6f  rgiveness for yo
00d0: 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 69  urself and forgi
00e0: 76 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20  ve others..**   
00f0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
0100: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0110: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0120: 75 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a  u give..**.*****
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 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0170: 2a 2a 2a 2a 0a 2a 2a 0a 2a 2a 20 20 20 20 20 6c  ****.**.**     l
0180: 6f 6f 6b 61 73 69 64 65 31 0a 2a 2f 0a 0a 2f 2a  ookaside1.*/../*
0190: 0a 2a 2a 20 54 68 65 20 74 65 73 74 20 69 6e 20  .** The test in 
01a0: 74 68 69 73 20 66 69 6c 65 20 61 74 74 65 6d 70  this file attemp
01b0: 74 73 20 74 6f 20 65 78 70 6f 73 65 20 61 20 73  ts to expose a s
01c0: 70 65 63 69 66 69 63 20 72 61 63 65 20 63 6f 6e  pecific race con
01d0: 64 69 74 69 6f 6e 0a 2a 2a 20 74 68 61 74 20 69  dition.** that i
01e0: 73 20 73 75 73 70 65 63 74 65 64 20 74 6f 20 65  s suspected to e
01f0: 78 69 73 74 20 61 74 20 74 69 6d 65 20 6f 66 20  xist at time of 
0200: 77 72 69 74 69 6e 67 2e 0a 2a 2f 0a 0a 73 74 61  writing..*/..sta
0210: 74 69 63 20 63 68 61 72 20 2a 6c 6f 6f 6b 61 73  tic char *lookas
0220: 69 64 65 31 5f 74 68 72 65 61 64 5f 72 65 61 64  ide1_thread_read
0230: 65 72 28 69 6e 74 20 69 54 69 64 2c 20 76 6f 69  er(int iTid, voi
0240: 64 20 2a 70 41 72 67 29 7b 0a 20 20 45 72 72 6f  d *pArg){.  Erro
0250: 72 20 65 72 72 20 3d 20 7b 30 7d 3b 20 20 20 20  r err = {0};    
0260: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 45              /* E
0270: 72 72 6f 72 20 63 6f 64 65 20 61 6e 64 20 6d 65  rror code and me
0280: 73 73 61 67 65 20 2a 2f 0a 20 20 53 71 6c 69 74  ssage */.  Sqlit
0290: 65 20 64 62 20 3d 20 7b 30 7d 3b 20 20 20 20 20  e db = {0};     
02a0: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 53 51             /* SQ
02b0: 4c 69 74 65 20 64 61 74 61 62 61 73 65 20 63 6f  Lite database co
02c0: 6e 6e 65 63 74 69 6f 6e 20 2a 2f 0a 0a 20 20 6f  nnection */..  o
02d0: 70 65 6e 64 62 28 26 65 72 72 2c 20 26 64 62 2c  pendb(&err, &db,
02e0: 20 22 74 65 73 74 2e 64 62 22 2c 20 30 29 3b 0a   "test.db", 0);.
02f0: 0a 20 20 77 68 69 6c 65 28 20 21 74 69 6d 65 74  .  while( !timet
0300: 6f 73 74 6f 70 28 26 65 72 72 29 20 29 7b 0a 20  ostop(&err) ){. 
0310: 20 20 20 73 71 6c 69 74 65 33 5f 73 74 6d 74 20     sqlite3_stmt 
0320: 2a 70 53 74 6d 74 20 3d 20 30 3b 0a 20 20 20 20  *pStmt = 0;.    
0330: 69 6e 74 20 72 63 3b 0a 0a 20 20 20 20 73 71 6c  int rc;..    sql
0340: 69 74 65 33 5f 70 72 65 70 61 72 65 5f 76 32 28  ite3_prepare_v2(
0350: 64 62 2e 64 62 2c 20 22 53 45 4c 45 43 54 20 31  db.db, "SELECT 1
0360: 20 46 52 4f 4d 20 74 31 22 2c 20 2d 31 2c 20 26   FROM t1", -1, &
0370: 70 53 74 6d 74 2c 20 30 29 3b 0a 20 20 20 20 77  pStmt, 0);.    w
0380: 68 69 6c 65 28 20 73 71 6c 69 74 65 33 5f 73 74  hile( sqlite3_st
0390: 65 70 28 70 53 74 6d 74 29 3d 3d 53 51 4c 49 54  ep(pStmt)==SQLIT
03a0: 45 5f 52 4f 57 20 29 7b 0a 20 20 20 20 20 20 65  E_ROW ){.      e
03b0: 78 65 63 73 71 6c 28 26 65 72 72 2c 20 26 64 62  xecsql(&err, &db
03c0: 2c 20 22 53 45 4c 45 43 54 20 6c 65 6e 67 74 68  , "SELECT length
03d0: 28 78 7c 7c 79 7c 7c 7a 29 20 46 52 4f 4d 20 74  (x||y||z) FROM t
03e0: 32 22 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20 72  2");.    }.    r
03f0: 63 20 3d 20 73 71 6c 69 74 65 33 5f 66 69 6e 61  c = sqlite3_fina
0400: 6c 69 7a 65 28 70 53 74 6d 74 29 3b 0a 20 20 20  lize(pStmt);.   
0410: 20 69 66 28 20 65 72 72 2e 72 63 3d 3d 53 51 4c   if( err.rc==SQL
0420: 49 54 45 5f 4f 4b 20 26 26 20 72 63 21 3d 53 51  ITE_OK && rc!=SQ
0430: 4c 49 54 45 5f 4f 4b 20 29 7b 0a 20 20 20 20 20  LITE_OK ){.     
0440: 20 73 71 6c 69 74 65 5f 65 72 72 6f 72 28 26 65   sqlite_error(&e
0450: 72 72 2c 20 26 64 62 2c 20 22 66 69 6e 61 6c 69  rr, &db, "finali
0460: 7a 65 22 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a  ze");.    }.  }.
0470: 0a 20 20 63 6c 6f 73 65 64 62 28 26 65 72 72 2c  .  closedb(&err,
0480: 20 26 64 62 29 3b 0a 20 20 70 72 69 6e 74 5f 61   &db);.  print_a
0490: 6e 64 5f 66 72 65 65 5f 65 72 72 28 26 65 72 72  nd_free_err(&err
04a0: 29 3b 0a 20 20 72 65 74 75 72 6e 20 73 71 6c 69  );.  return sqli
04b0: 74 65 33 5f 6d 70 72 69 6e 74 66 28 22 6f 6b 22  te3_mprintf("ok"
04c0: 29 3b 0a 7d 0a 0a 73 74 61 74 69 63 20 63 68 61  );.}..static cha
04d0: 72 20 2a 6c 6f 6f 6b 61 73 69 64 65 31 5f 74 68  r *lookaside1_th
04e0: 72 65 61 64 5f 77 72 69 74 65 72 28 69 6e 74 20  read_writer(int 
04f0: 69 54 69 64 2c 20 76 6f 69 64 20 2a 70 41 72 67  iTid, void *pArg
0500: 29 7b 0a 20 20 45 72 72 6f 72 20 65 72 72 20 3d  ){.  Error err =
0510: 20 7b 30 7d 3b 20 20 20 20 20 20 20 20 20 20 20   {0};           
0520: 20 20 20 20 20 2f 2a 20 45 72 72 6f 72 20 63 6f       /* Error co
0530: 64 65 20 61 6e 64 20 6d 65 73 73 61 67 65 20 2a  de and message *
0540: 2f 0a 20 20 53 71 6c 69 74 65 20 64 62 20 3d 20  /.  Sqlite db = 
0550: 7b 30 7d 3b 20 20 20 20 20 20 20 20 20 20 20 20  {0};            
0560: 20 20 20 20 2f 2a 20 53 51 4c 69 74 65 20 64 61      /* SQLite da
0570: 74 61 62 61 73 65 20 63 6f 6e 6e 65 63 74 69 6f  tabase connectio
0580: 6e 20 2a 2f 0a 0a 20 20 6f 70 65 6e 64 62 28 26  n */..  opendb(&
0590: 65 72 72 2c 20 26 64 62 2c 20 22 74 65 73 74 2e  err, &db, "test.
05a0: 64 62 22 2c 20 30 29 3b 0a 0a 20 20 64 6f 7b 0a  db", 0);..  do{.
05b0: 20 20 20 20 73 71 6c 5f 73 63 72 69 70 74 28 26      sql_script(&
05c0: 65 72 72 2c 20 26 64 62 2c 20 0a 20 20 20 20 20  err, &db, .     
05d0: 20 22 42 45 47 49 4e 3b 22 0a 20 20 20 20 20 20   "BEGIN;".      
05e0: 20 20 22 55 50 44 41 54 45 20 74 33 20 53 45 54    "UPDATE t3 SET
05f0: 20 69 3d 69 2b 31 20 57 48 45 52 45 20 78 3d 31   i=i+1 WHERE x=1
0600: 3b 22 0a 20 20 20 20 20 20 22 52 4f 4c 4c 42 41  ;".      "ROLLBA
0610: 43 4b 3b 22 0a 20 20 20 20 29 3b 0a 20 20 7d 77  CK;".    );.  }w
0620: 68 69 6c 65 28 20 21 74 69 6d 65 74 6f 73 74 6f  hile( !timetosto
0630: 70 28 26 65 72 72 29 20 29 3b 0a 0a 20 20 63 6c  p(&err) );..  cl
0640: 6f 73 65 64 62 28 26 65 72 72 2c 20 26 64 62 29  osedb(&err, &db)
0650: 3b 0a 20 20 70 72 69 6e 74 5f 61 6e 64 5f 66 72  ;.  print_and_fr
0660: 65 65 5f 65 72 72 28 26 65 72 72 29 3b 0a 20 20  ee_err(&err);.  
0670: 72 65 74 75 72 6e 20 73 71 6c 69 74 65 33 5f 6d  return sqlite3_m
0680: 70 72 69 6e 74 66 28 22 6f 6b 22 29 3b 0a 7d 0a  printf("ok");.}.
0690: 0a 0a 73 74 61 74 69 63 20 76 6f 69 64 20 6c 6f  ..static void lo
06a0: 6f 6b 61 73 69 64 65 31 28 69 6e 74 20 6e 4d 73  okaside1(int nMs
06b0: 29 7b 0a 20 20 45 72 72 6f 72 20 65 72 72 20 3d  ){.  Error err =
06c0: 20 7b 30 7d 3b 0a 20 20 53 71 6c 69 74 65 20 64   {0};.  Sqlite d
06d0: 62 20 3d 20 7b 30 7d 3b 0a 20 20 54 68 72 65 61  b = {0};.  Threa
06e0: 64 73 65 74 20 74 68 72 65 61 64 73 20 3d 20 7b  dset threads = {
06f0: 30 7d 3b 0a 0a 20 20 6f 70 65 6e 64 62 28 26 65  0};..  opendb(&e
0700: 72 72 2c 20 26 64 62 2c 20 22 74 65 73 74 2e 64  rr, &db, "test.d
0710: 62 22 2c 20 31 29 3b 0a 20 20 73 71 6c 5f 73 63  b", 1);.  sql_sc
0720: 72 69 70 74 28 26 65 72 72 2c 20 26 64 62 2c 20  ript(&err, &db, 
0730: 0a 20 20 20 20 20 22 43 52 45 41 54 45 20 54 41  .     "CREATE TA
0740: 42 4c 45 20 74 31 28 78 20 50 52 49 4d 41 52 59  BLE t1(x PRIMARY
0750: 20 4b 45 59 29 20 57 49 54 48 4f 55 54 20 52 4f   KEY) WITHOUT RO
0760: 57 49 44 3b 22 0a 20 20 20 20 20 22 57 49 54 48  WID;".     "WITH
0770: 20 64 61 74 61 28 78 2c 79 29 20 41 53 20 28 22   data(x,y) AS ("
0780: 0a 20 20 20 20 20 22 20 20 53 45 4c 45 43 54 20  .     "  SELECT 
0790: 31 2c 20 71 75 6f 74 65 28 72 61 6e 64 6f 6d 62  1, quote(randomb
07a0: 6c 6f 62 28 37 35 30 29 29 20 55 4e 49 4f 4e 20  lob(750)) UNION 
07b0: 41 4c 4c 20 22 0a 20 20 20 20 20 22 20 20 53 45  ALL ".     "  SE
07c0: 4c 45 43 54 20 78 2a 32 2c 20 79 7c 7c 79 20 46  LECT x*2, y||y F
07d0: 52 4f 4d 20 64 61 74 61 20 57 48 45 52 45 20 78  ROM data WHERE x
07e0: 3c 35 29 20 22 0a 20 20 20 20 20 22 49 4e 53 45  <5) ".     "INSE
07f0: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
0800: 54 20 79 20 46 52 4f 4d 20 64 61 74 61 3b 22 0a  T y FROM data;".
0810: 0a 20 20 20 20 20 22 43 52 45 41 54 45 20 54 41  .     "CREATE TA
0820: 42 4c 45 20 74 33 28 78 20 50 52 49 4d 41 52 59  BLE t3(x PRIMARY
0830: 20 4b 45 59 2c 69 29 20 57 49 54 48 4f 55 54 20   KEY,i) WITHOUT 
0840: 52 4f 57 49 44 3b 22 0a 20 20 20 20 20 22 49 4e  ROWID;".     "IN
0850: 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c  SERT INTO t3 VAL
0860: 55 45 53 28 31 2c 20 31 29 3b 22 0a 0a 20 20 20  UES(1, 1);"..   
0870: 20 20 22 43 52 45 41 54 45 20 54 41 42 4c 45 20    "CREATE TABLE 
0880: 74 32 28 78 2c 79 2c 7a 29 3b 22 0a 20 20 20 20  t2(x,y,z);".    
0890: 20 22 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32   "INSERT INTO t2
08a0: 20 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c   VALUES(randombl
08b0: 6f 62 28 35 30 29 2c 20 72 61 6e 64 6f 6d 62 6c  ob(50), randombl
08c0: 6f 62 28 35 30 29 2c 20 72 61 6e 64 6f 6d 62 6c  ob(50), randombl
08d0: 6f 62 28 35 30 29 29 3b 22 0a 20 20 29 3b 0a 20  ob(50));".  );. 
08e0: 20 63 6c 6f 73 65 64 62 28 26 65 72 72 2c 20 26   closedb(&err, &
08f0: 64 62 29 3b 0a 0a 20 20 73 65 74 73 74 6f 70 74  db);..  setstopt
0900: 69 6d 65 28 26 65 72 72 2c 20 6e 4d 73 29 3b 0a  ime(&err, nMs);.
0910: 0a 20 20 73 71 6c 69 74 65 33 5f 65 6e 61 62 6c  .  sqlite3_enabl
0920: 65 5f 73 68 61 72 65 64 5f 63 61 63 68 65 28 31  e_shared_cache(1
0930: 29 3b 0a 20 20 6c 61 75 6e 63 68 5f 74 68 72 65  );.  launch_thre
0940: 61 64 28 26 65 72 72 2c 20 26 74 68 72 65 61 64  ad(&err, &thread
0950: 73 2c 20 6c 6f 6f 6b 61 73 69 64 65 31 5f 74 68  s, lookaside1_th
0960: 72 65 61 64 5f 72 65 61 64 65 72 2c 20 30 29 3b  read_reader, 0);
0970: 0a 20 20 6c 61 75 6e 63 68 5f 74 68 72 65 61 64  .  launch_thread
0980: 28 26 65 72 72 2c 20 26 74 68 72 65 61 64 73 2c  (&err, &threads,
0990: 20 6c 6f 6f 6b 61 73 69 64 65 31 5f 74 68 72 65   lookaside1_thre
09a0: 61 64 5f 72 65 61 64 65 72 2c 20 30 29 3b 0a 20  ad_reader, 0);. 
09b0: 20 6c 61 75 6e 63 68 5f 74 68 72 65 61 64 28 26   launch_thread(&
09c0: 65 72 72 2c 20 26 74 68 72 65 61 64 73 2c 20 6c  err, &threads, l
09d0: 6f 6f 6b 61 73 69 64 65 31 5f 74 68 72 65 61 64  ookaside1_thread
09e0: 5f 72 65 61 64 65 72 2c 20 30 29 3b 0a 20 20 6c  _reader, 0);.  l
09f0: 61 75 6e 63 68 5f 74 68 72 65 61 64 28 26 65 72  aunch_thread(&er
0a00: 72 2c 20 26 74 68 72 65 61 64 73 2c 20 6c 6f 6f  r, &threads, loo
0a10: 6b 61 73 69 64 65 31 5f 74 68 72 65 61 64 5f 72  kaside1_thread_r
0a20: 65 61 64 65 72 2c 20 30 29 3b 0a 20 20 6c 61 75  eader, 0);.  lau
0a30: 6e 63 68 5f 74 68 72 65 61 64 28 26 65 72 72 2c  nch_thread(&err,
0a40: 20 26 74 68 72 65 61 64 73 2c 20 6c 6f 6f 6b 61   &threads, looka
0a50: 73 69 64 65 31 5f 74 68 72 65 61 64 5f 72 65 61  side1_thread_rea
0a60: 64 65 72 2c 20 30 29 3b 0a 20 20 6c 61 75 6e 63  der, 0);.  launc
0a70: 68 5f 74 68 72 65 61 64 28 26 65 72 72 2c 20 26  h_thread(&err, &
0a80: 74 68 72 65 61 64 73 2c 20 6c 6f 6f 6b 61 73 69  threads, lookasi
0a90: 64 65 31 5f 74 68 72 65 61 64 5f 77 72 69 74 65  de1_thread_write
0aa0: 72 2c 20 30 29 3b 0a 20 20 6a 6f 69 6e 5f 61 6c  r, 0);.  join_al
0ab0: 6c 5f 74 68 72 65 61 64 73 28 26 65 72 72 2c 20  l_threads(&err, 
0ac0: 26 74 68 72 65 61 64 73 29 3b 0a 20 20 73 71 6c  &threads);.  sql
0ad0: 69 74 65 33 5f 65 6e 61 62 6c 65 5f 73 68 61 72  ite3_enable_shar
0ae0: 65 64 5f 63 61 63 68 65 28 30 29 3b 0a 20 20 70  ed_cache(0);.  p
0af0: 72 69 6e 74 5f 61 6e 64 5f 66 72 65 65 5f 65 72  rint_and_free_er
0b00: 72 28 26 65 72 72 29 3b 0a 7d 0a                 r(&err);.}.