xref: /titanic_50/usr/src/lib/libsqlite/test/threadtest1.c (revision c5c4113dfcabb1eed3d4bdf7609de5170027a794)
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 */
Exit(int rc)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 */
db_is_locked(void * NotUsed,const char * zNotUsed,int iNotUsed)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 */
db_query_callback(void * pUser,int nArg,char ** azArg,char ** NotUsed)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 */
db_query(sqlite * db,const char * zFile,const char * zFormat,...)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 */
db_execute(sqlite * db,const char * zFile,const char * zFormat,...)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 */
db_query_free(char ** az)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 */
db_check(const char * zFile,const char * zMsg,char ** az,...)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 
worker_bee(void * pArg)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 
main(int argc,char ** argv)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