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