1*c5c4113dSnw141292 2*c5c4113dSnw141292 #pragma ident "%Z%%M% %I% %E% SMI" 3*c5c4113dSnw141292 4*c5c4113dSnw141292 /* 5*c5c4113dSnw141292 ** 2002 January 15 6*c5c4113dSnw141292 ** 7*c5c4113dSnw141292 ** The author disclaims copyright to this source code. In place of 8*c5c4113dSnw141292 ** a legal notice, here is a blessing: 9*c5c4113dSnw141292 ** 10*c5c4113dSnw141292 ** May you do good and not evil. 11*c5c4113dSnw141292 ** May you find forgiveness for yourself and forgive others. 12*c5c4113dSnw141292 ** May you share freely, never taking more than you give. 13*c5c4113dSnw141292 ** 14*c5c4113dSnw141292 ************************************************************************* 15*c5c4113dSnw141292 ** This file implements a simple standalone program used to test whether 16*c5c4113dSnw141292 ** or not the SQLite library is threadsafe. 17*c5c4113dSnw141292 ** 18*c5c4113dSnw141292 ** Testing the thread safety of SQLite is difficult because there are very 19*c5c4113dSnw141292 ** few places in the code that are even potentially unsafe, and those 20*c5c4113dSnw141292 ** places execute for very short periods of time. So even if the library 21*c5c4113dSnw141292 ** is compiled with its mutexes disabled, it is likely to work correctly 22*c5c4113dSnw141292 ** in a multi-threaded program most of the time. 23*c5c4113dSnw141292 ** 24*c5c4113dSnw141292 ** This file is NOT part of the standard SQLite library. It is used for 25*c5c4113dSnw141292 ** testing only. 26*c5c4113dSnw141292 */ 27*c5c4113dSnw141292 #include "sqlite.h" 28*c5c4113dSnw141292 #include <pthread.h> 29*c5c4113dSnw141292 #include <sched.h> 30*c5c4113dSnw141292 #include <stdio.h> 31*c5c4113dSnw141292 #include <stdlib.h> 32*c5c4113dSnw141292 #include <string.h> 33*c5c4113dSnw141292 #include <unistd.h> 34*c5c4113dSnw141292 35*c5c4113dSnw141292 /* 36*c5c4113dSnw141292 ** Enable for tracing 37*c5c4113dSnw141292 */ 38*c5c4113dSnw141292 static int verbose = 0; 39*c5c4113dSnw141292 40*c5c4113dSnw141292 /* 41*c5c4113dSnw141292 ** Come here to die. 42*c5c4113dSnw141292 */ 43*c5c4113dSnw141292 static void Exit(int rc){ 44*c5c4113dSnw141292 exit(rc); 45*c5c4113dSnw141292 } 46*c5c4113dSnw141292 47*c5c4113dSnw141292 extern char *sqlite_mprintf(const char *zFormat, ...); 48*c5c4113dSnw141292 extern char *sqlite_vmprintf(const char *zFormat, va_list); 49*c5c4113dSnw141292 50*c5c4113dSnw141292 /* 51*c5c4113dSnw141292 ** When a lock occurs, yield. 52*c5c4113dSnw141292 */ 53*c5c4113dSnw141292 static int db_is_locked(void *NotUsed, const char *zNotUsed, int iNotUsed){ 54*c5c4113dSnw141292 /* sched_yield(); */ 55*c5c4113dSnw141292 if( verbose ) printf("BUSY %s\n", (char*)NotUsed); 56*c5c4113dSnw141292 usleep(100); 57*c5c4113dSnw141292 return 1; 58*c5c4113dSnw141292 } 59*c5c4113dSnw141292 60*c5c4113dSnw141292 /* 61*c5c4113dSnw141292 ** Used to accumulate query results by db_query() 62*c5c4113dSnw141292 */ 63*c5c4113dSnw141292 struct QueryResult { 64*c5c4113dSnw141292 const char *zFile; /* Filename - used for error reporting */ 65*c5c4113dSnw141292 int nElem; /* Number of used entries in azElem[] */ 66*c5c4113dSnw141292 int nAlloc; /* Number of slots allocated for azElem[] */ 67*c5c4113dSnw141292 char **azElem; /* The result of the query */ 68*c5c4113dSnw141292 }; 69*c5c4113dSnw141292 70*c5c4113dSnw141292 /* 71*c5c4113dSnw141292 ** The callback function for db_query 72*c5c4113dSnw141292 */ 73*c5c4113dSnw141292 static int db_query_callback( 74*c5c4113dSnw141292 void *pUser, /* Pointer to the QueryResult structure */ 75*c5c4113dSnw141292 int nArg, /* Number of columns in this result row */ 76*c5c4113dSnw141292 char **azArg, /* Text of data in all columns */ 77*c5c4113dSnw141292 char **NotUsed /* Names of the columns */ 78*c5c4113dSnw141292 ){ 79*c5c4113dSnw141292 struct QueryResult *pResult = (struct QueryResult*)pUser; 80*c5c4113dSnw141292 int i; 81*c5c4113dSnw141292 if( pResult->nElem + nArg >= pResult->nAlloc ){ 82*c5c4113dSnw141292 if( pResult->nAlloc==0 ){ 83*c5c4113dSnw141292 pResult->nAlloc = nArg+1; 84*c5c4113dSnw141292 }else{ 85*c5c4113dSnw141292 pResult->nAlloc = pResult->nAlloc*2 + nArg + 1; 86*c5c4113dSnw141292 } 87*c5c4113dSnw141292 pResult->azElem = realloc( pResult->azElem, pResult->nAlloc*sizeof(char*)); 88*c5c4113dSnw141292 if( pResult->azElem==0 ){ 89*c5c4113dSnw141292 fprintf(stdout,"%s: malloc failed\n", pResult->zFile); 90*c5c4113dSnw141292 return 1; 91*c5c4113dSnw141292 } 92*c5c4113dSnw141292 } 93*c5c4113dSnw141292 if( azArg==0 ) return 0; 94*c5c4113dSnw141292 for(i=0; i<nArg; i++){ 95*c5c4113dSnw141292 pResult->azElem[pResult->nElem++] = 96*c5c4113dSnw141292 sqlite_mprintf("%s",azArg[i] ? azArg[i] : ""); 97*c5c4113dSnw141292 } 98*c5c4113dSnw141292 return 0; 99*c5c4113dSnw141292 } 100*c5c4113dSnw141292 101*c5c4113dSnw141292 /* 102*c5c4113dSnw141292 ** Execute a query against the database. NULL values are returned 103*c5c4113dSnw141292 ** as an empty string. The list is terminated by a single NULL pointer. 104*c5c4113dSnw141292 */ 105*c5c4113dSnw141292 char **db_query(sqlite *db, const char *zFile, const char *zFormat, ...){ 106*c5c4113dSnw141292 char *zSql; 107*c5c4113dSnw141292 int rc; 108*c5c4113dSnw141292 char *zErrMsg = 0; 109*c5c4113dSnw141292 va_list ap; 110*c5c4113dSnw141292 struct QueryResult sResult; 111*c5c4113dSnw141292 va_start(ap, zFormat); 112*c5c4113dSnw141292 zSql = sqlite_vmprintf(zFormat, ap); 113*c5c4113dSnw141292 va_end(ap); 114*c5c4113dSnw141292 memset(&sResult, 0, sizeof(sResult)); 115*c5c4113dSnw141292 sResult.zFile = zFile; 116*c5c4113dSnw141292 if( verbose ) printf("QUERY %s: %s\n", zFile, zSql); 117*c5c4113dSnw141292 rc = sqlite_exec(db, zSql, db_query_callback, &sResult, &zErrMsg); 118*c5c4113dSnw141292 if( rc==SQLITE_SCHEMA ){ 119*c5c4113dSnw141292 if( zErrMsg ) free(zErrMsg); 120*c5c4113dSnw141292 rc = sqlite_exec(db, zSql, db_query_callback, &sResult, &zErrMsg); 121*c5c4113dSnw141292 } 122*c5c4113dSnw141292 if( verbose ) printf("DONE %s %s\n", zFile, zSql); 123*c5c4113dSnw141292 if( zErrMsg ){ 124*c5c4113dSnw141292 fprintf(stdout,"%s: query failed: %s - %s\n", zFile, zSql, zErrMsg); 125*c5c4113dSnw141292 free(zErrMsg); 126*c5c4113dSnw141292 free(zSql); 127*c5c4113dSnw141292 Exit(1); 128*c5c4113dSnw141292 } 129*c5c4113dSnw141292 sqlite_freemem(zSql); 130*c5c4113dSnw141292 if( sResult.azElem==0 ){ 131*c5c4113dSnw141292 db_query_callback(&sResult, 0, 0, 0); 132*c5c4113dSnw141292 } 133*c5c4113dSnw141292 sResult.azElem[sResult.nElem] = 0; 134*c5c4113dSnw141292 return sResult.azElem; 135*c5c4113dSnw141292 } 136*c5c4113dSnw141292 137*c5c4113dSnw141292 /* 138*c5c4113dSnw141292 ** Execute an SQL statement. 139*c5c4113dSnw141292 */ 140*c5c4113dSnw141292 void db_execute(sqlite *db, const char *zFile, const char *zFormat, ...){ 141*c5c4113dSnw141292 char *zSql; 142*c5c4113dSnw141292 int rc; 143*c5c4113dSnw141292 char *zErrMsg = 0; 144*c5c4113dSnw141292 va_list ap; 145*c5c4113dSnw141292 va_start(ap, zFormat); 146*c5c4113dSnw141292 zSql = sqlite_vmprintf(zFormat, ap); 147*c5c4113dSnw141292 va_end(ap); 148*c5c4113dSnw141292 if( verbose ) printf("EXEC %s: %s\n", zFile, zSql); 149*c5c4113dSnw141292 rc = sqlite_exec(db, zSql, 0, 0, &zErrMsg); 150*c5c4113dSnw141292 while( rc==SQLITE_SCHEMA ){ 151*c5c4113dSnw141292 if( zErrMsg ) free(zErrMsg); 152*c5c4113dSnw141292 rc = sqlite_exec(db, zSql, 0, 0, &zErrMsg); 153*c5c4113dSnw141292 } 154*c5c4113dSnw141292 if( verbose ) printf("DONE %s: %s\n", zFile, zSql); 155*c5c4113dSnw141292 if( zErrMsg ){ 156*c5c4113dSnw141292 fprintf(stdout,"%s: command failed: %s - %s\n", zFile, zSql, zErrMsg); 157*c5c4113dSnw141292 free(zErrMsg); 158*c5c4113dSnw141292 sqlite_freemem(zSql); 159*c5c4113dSnw141292 Exit(1); 160*c5c4113dSnw141292 } 161*c5c4113dSnw141292 sqlite_freemem(zSql); 162*c5c4113dSnw141292 } 163*c5c4113dSnw141292 164*c5c4113dSnw141292 /* 165*c5c4113dSnw141292 ** Free the results of a db_query() call. 166*c5c4113dSnw141292 */ 167*c5c4113dSnw141292 void db_query_free(char **az){ 168*c5c4113dSnw141292 int i; 169*c5c4113dSnw141292 for(i=0; az[i]; i++){ 170*c5c4113dSnw141292 sqlite_freemem(az[i]); 171*c5c4113dSnw141292 } 172*c5c4113dSnw141292 free(az); 173*c5c4113dSnw141292 } 174*c5c4113dSnw141292 175*c5c4113dSnw141292 /* 176*c5c4113dSnw141292 ** Check results 177*c5c4113dSnw141292 */ 178*c5c4113dSnw141292 void db_check(const char *zFile, const char *zMsg, char **az, ...){ 179*c5c4113dSnw141292 va_list ap; 180*c5c4113dSnw141292 int i; 181*c5c4113dSnw141292 char *z; 182*c5c4113dSnw141292 va_start(ap, az); 183*c5c4113dSnw141292 for(i=0; (z = va_arg(ap, char*))!=0; i++){ 184*c5c4113dSnw141292 if( az[i]==0 || strcmp(az[i],z)!=0 ){ 185*c5c4113dSnw141292 fprintf(stdout,"%s: %s: bad result in column %d: %s\n", 186*c5c4113dSnw141292 zFile, zMsg, i+1, az[i]); 187*c5c4113dSnw141292 db_query_free(az); 188*c5c4113dSnw141292 Exit(1); 189*c5c4113dSnw141292 } 190*c5c4113dSnw141292 } 191*c5c4113dSnw141292 va_end(ap); 192*c5c4113dSnw141292 db_query_free(az); 193*c5c4113dSnw141292 } 194*c5c4113dSnw141292 195*c5c4113dSnw141292 pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER; 196*c5c4113dSnw141292 pthread_cond_t sig = PTHREAD_COND_INITIALIZER; 197*c5c4113dSnw141292 int thread_cnt = 0; 198*c5c4113dSnw141292 199*c5c4113dSnw141292 static void *worker_bee(void *pArg){ 200*c5c4113dSnw141292 const char *zFilename = (char*)pArg; 201*c5c4113dSnw141292 char *azErr; 202*c5c4113dSnw141292 int i, cnt; 203*c5c4113dSnw141292 int t = atoi(zFilename); 204*c5c4113dSnw141292 char **az; 205*c5c4113dSnw141292 sqlite *db; 206*c5c4113dSnw141292 207*c5c4113dSnw141292 pthread_mutex_lock(&lock); 208*c5c4113dSnw141292 thread_cnt++; 209*c5c4113dSnw141292 pthread_mutex_unlock(&lock); 210*c5c4113dSnw141292 printf("%s: START\n", zFilename); 211*c5c4113dSnw141292 fflush(stdout); 212*c5c4113dSnw141292 for(cnt=0; cnt<10; cnt++){ 213*c5c4113dSnw141292 db = sqlite_open(&zFilename[2], 0, &azErr); 214*c5c4113dSnw141292 if( db==0 ){ 215*c5c4113dSnw141292 fprintf(stdout,"%s: can't open\n", zFilename); 216*c5c4113dSnw141292 Exit(1); 217*c5c4113dSnw141292 } 218*c5c4113dSnw141292 sqlite_busy_handler(db, db_is_locked, zFilename); 219*c5c4113dSnw141292 db_execute(db, zFilename, "CREATE TABLE t%d(a,b,c);", t); 220*c5c4113dSnw141292 for(i=1; i<=100; i++){ 221*c5c4113dSnw141292 db_execute(db, zFilename, "INSERT INTO t%d VALUES(%d,%d,%d);", 222*c5c4113dSnw141292 t, i, i*2, i*i); 223*c5c4113dSnw141292 } 224*c5c4113dSnw141292 az = db_query(db, zFilename, "SELECT count(*) FROM t%d", t); 225*c5c4113dSnw141292 db_check(zFilename, "tX size", az, "100", 0); 226*c5c4113dSnw141292 az = db_query(db, zFilename, "SELECT avg(b) FROM t%d", t); 227*c5c4113dSnw141292 db_check(zFilename, "tX avg", az, "101", 0); 228*c5c4113dSnw141292 db_execute(db, zFilename, "DELETE FROM t%d WHERE a>50", t); 229*c5c4113dSnw141292 az = db_query(db, zFilename, "SELECT avg(b) FROM t%d", t); 230*c5c4113dSnw141292 db_check(zFilename, "tX avg2", az, "51", 0); 231*c5c4113dSnw141292 for(i=1; i<=50; i++){ 232*c5c4113dSnw141292 char z1[30], z2[30]; 233*c5c4113dSnw141292 az = db_query(db, zFilename, "SELECT b, c FROM t%d WHERE a=%d", t, i); 234*c5c4113dSnw141292 sprintf(z1, "%d", i*2); 235*c5c4113dSnw141292 sprintf(z2, "%d", i*i); 236*c5c4113dSnw141292 db_check(zFilename, "readback", az, z1, z2, 0); 237*c5c4113dSnw141292 } 238*c5c4113dSnw141292 db_execute(db, zFilename, "DROP TABLE t%d;", t); 239*c5c4113dSnw141292 sqlite_close(db); 240*c5c4113dSnw141292 } 241*c5c4113dSnw141292 printf("%s: END\n", zFilename); 242*c5c4113dSnw141292 /* unlink(zFilename); */ 243*c5c4113dSnw141292 fflush(stdout); 244*c5c4113dSnw141292 pthread_mutex_lock(&lock); 245*c5c4113dSnw141292 thread_cnt--; 246*c5c4113dSnw141292 if( thread_cnt<=0 ){ 247*c5c4113dSnw141292 pthread_cond_signal(&sig); 248*c5c4113dSnw141292 } 249*c5c4113dSnw141292 pthread_mutex_unlock(&lock); 250*c5c4113dSnw141292 return 0; 251*c5c4113dSnw141292 } 252*c5c4113dSnw141292 253*c5c4113dSnw141292 int main(int argc, char **argv){ 254*c5c4113dSnw141292 char *zFile; 255*c5c4113dSnw141292 int i, n; 256*c5c4113dSnw141292 pthread_t id; 257*c5c4113dSnw141292 if( argc>2 && strcmp(argv[1], "-v")==0 ){ 258*c5c4113dSnw141292 verbose = 1; 259*c5c4113dSnw141292 argc--; 260*c5c4113dSnw141292 argv++; 261*c5c4113dSnw141292 } 262*c5c4113dSnw141292 if( argc<2 || (n=atoi(argv[1]))<1 ) n = 10; 263*c5c4113dSnw141292 for(i=0; i<n; i++){ 264*c5c4113dSnw141292 char zBuf[200]; 265*c5c4113dSnw141292 sprintf(zBuf, "testdb-%d", (i+1)/2); 266*c5c4113dSnw141292 unlink(zBuf); 267*c5c4113dSnw141292 } 268*c5c4113dSnw141292 for(i=0; i<n; i++){ 269*c5c4113dSnw141292 zFile = sqlite_mprintf("%d.testdb-%d", i%2+1, (i+2)/2); 270*c5c4113dSnw141292 unlink(zFile); 271*c5c4113dSnw141292 pthread_create(&id, 0, worker_bee, (void*)zFile); 272*c5c4113dSnw141292 pthread_detach(id); 273*c5c4113dSnw141292 } 274*c5c4113dSnw141292 pthread_mutex_lock(&lock); 275*c5c4113dSnw141292 while( thread_cnt>0 ){ 276*c5c4113dSnw141292 pthread_cond_wait(&sig, &lock); 277*c5c4113dSnw141292 } 278*c5c4113dSnw141292 pthread_mutex_unlock(&lock); 279*c5c4113dSnw141292 for(i=0; i<n; i++){ 280*c5c4113dSnw141292 char zBuf[200]; 281*c5c4113dSnw141292 sprintf(zBuf, "testdb-%d", (i+1)/2); 282*c5c4113dSnw141292 unlink(zBuf); 283*c5c4113dSnw141292 } 284*c5c4113dSnw141292 return 0; 285*c5c4113dSnw141292 } 286