mirror of
https://github.com/tursodatabase/libsql.git
synced 2024-12-15 17:59:41 +00:00
340 lines
8.1 KiB
C
340 lines
8.1 KiB
C
/*
|
|
** 2021-05-12
|
|
**
|
|
** The author disclaims copyright to this source code. In place of
|
|
** a legal notice, here is a blessing:
|
|
**
|
|
** May you do good and not evil.
|
|
** May you find forgiveness for yourself and forgive others.
|
|
** May you share freely, never taking more than you give.
|
|
**
|
|
*************************************************************************
|
|
**
|
|
** Testing threading behavior when multiple database connections in separate
|
|
** threads of the same process are all talking to the same database file.
|
|
**
|
|
** For best results, ensure that SQLite is compiled with HAVE_USLEEP=1
|
|
**
|
|
** Only works on unix platforms.
|
|
**
|
|
** Usage:
|
|
**
|
|
** ./threadtest5 ?DATABASE?
|
|
**
|
|
** If DATABASE is omitted, it defaults to using file:/mem?vfs=memdb.
|
|
*/
|
|
#include "sqlite3.h"
|
|
#include <pthread.h>
|
|
#include <stdio.h>
|
|
#include <unistd.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <stdarg.h>
|
|
|
|
/* Name of the in-memory database */
|
|
static char *zDbName = 0;
|
|
|
|
/* True for debugging */
|
|
static int eVerbose = 0;
|
|
|
|
/* If rc is not SQLITE_OK, then print an error message and stop
|
|
** the test.
|
|
*/
|
|
static void error_out(int rc, const char *zCtx, int lineno){
|
|
if( rc!=SQLITE_OK ){
|
|
fprintf(stderr, "error %d at %d in \"%s\"\n", rc, lineno, zCtx);
|
|
exit(-1);
|
|
}
|
|
}
|
|
|
|
#if 0
|
|
/* Return the number of milliseconds since the Julian epoch (-4714-11-24).
|
|
*/
|
|
static sqlite3_int64 gettime(void){
|
|
sqlite3_int64 tm;
|
|
sqlite3_vfs *pVfs = sqlite3_vfs_find(0);
|
|
pVfs->xCurrentTimeInt64(pVfs, &tm);
|
|
return tm;
|
|
}
|
|
#endif
|
|
|
|
/* Run the SQL in the second argument.
|
|
*/
|
|
static int exec(
|
|
sqlite3 *db,
|
|
const char *zId,
|
|
int lineno,
|
|
const char *zFormat,
|
|
...
|
|
){
|
|
int rc;
|
|
va_list ap;
|
|
char *zSql;
|
|
va_start(ap, zFormat);
|
|
zSql = sqlite3_vmprintf(zFormat, ap);
|
|
va_end(ap);
|
|
if( eVerbose){
|
|
printf("%s:%d: [%s]\n", zId, lineno, zSql);
|
|
fflush(stdout);
|
|
}
|
|
rc = sqlite3_exec(db, zSql, 0, 0, 0);
|
|
if( rc && eVerbose ){
|
|
printf("%s:%d: return-code %d\n", zId, lineno, rc);
|
|
fflush(stdout);
|
|
}
|
|
sqlite3_free(zSql);
|
|
return rc;
|
|
}
|
|
|
|
/* Generate a perpared statement from the input SQL
|
|
*/
|
|
static sqlite3_stmt *prepare(
|
|
sqlite3 *db,
|
|
const char *zId,
|
|
int lineno,
|
|
const char *zFormat,
|
|
...
|
|
){
|
|
int rc;
|
|
va_list ap;
|
|
char *zSql;
|
|
sqlite3_stmt *pStmt = 0;
|
|
va_start(ap, zFormat);
|
|
zSql = sqlite3_vmprintf(zFormat, ap);
|
|
va_end(ap);
|
|
if( eVerbose){
|
|
printf("%s:%d: [%s]\n", zId, lineno, zSql);
|
|
fflush(stdout);
|
|
}
|
|
|
|
rc = sqlite3_prepare_v2(db, zSql, -1, &pStmt, 0);
|
|
if( rc ){
|
|
printf("%s:%d: ERROR - %s\n", zId, lineno, sqlite3_errmsg(db));
|
|
exit(-1);
|
|
}
|
|
sqlite3_free(zSql);
|
|
return pStmt;
|
|
}
|
|
|
|
/*
|
|
** Wait for table zTable to exist in the schema.
|
|
*/
|
|
static void waitOnTable(sqlite3 *db, const char *zWorker, const char *zTable){
|
|
while(1){
|
|
int eFound = 0;
|
|
sqlite3_stmt *q = prepare(db, zWorker, __LINE__,
|
|
"SELECT 1 FROM sqlite_schema WHERE name=%Q", zTable);
|
|
if( sqlite3_step(q)==SQLITE_ROW && sqlite3_column_int(q,0)!=0 ){
|
|
eFound = 1;
|
|
}
|
|
sqlite3_finalize(q);
|
|
if( eFound ) return;
|
|
sqlite3_sleep(1);
|
|
}
|
|
}
|
|
|
|
/*
|
|
** Return true if x is a prime number
|
|
*/
|
|
static int isPrime(int x){
|
|
int i;
|
|
if( x<2 ) return 1;
|
|
for(i=2; i*i<=x; i++){
|
|
if( (x%i)==0 ) return 0;
|
|
}
|
|
return 1;
|
|
}
|
|
|
|
/* Each worker thread runs an instance of the following */
|
|
static void *worker(void *pArg){
|
|
int rc;
|
|
const char *zName = (const char*)pArg;
|
|
sqlite3 *db = 0;
|
|
|
|
if( eVerbose ){
|
|
printf("%s: startup\n", zName);
|
|
fflush(stdout);
|
|
}
|
|
|
|
rc = sqlite3_open(zDbName, &db);
|
|
error_out(rc, "sqlite3_open", __LINE__);
|
|
sqlite3_busy_timeout(db, 2000);
|
|
|
|
while( 1 ){
|
|
sqlite3_stmt *q1;
|
|
int tid = -1;
|
|
q1 = prepare(db, zName, __LINE__,
|
|
"UPDATE task SET doneby=%Q"
|
|
" WHERE tid=(SELECT tid FROM task WHERE doneby IS NULL LIMIT 1)"
|
|
"RETURNING tid", zName
|
|
);
|
|
if( sqlite3_step(q1)==SQLITE_ROW ){
|
|
tid = sqlite3_column_int(q1,0);
|
|
}
|
|
sqlite3_finalize(q1);
|
|
if( tid<0 ) break;
|
|
if( eVerbose ){
|
|
printf("%s: starting task %d\n", zName, tid);
|
|
fflush(stdout);
|
|
}
|
|
if( tid==1 ){
|
|
exec(db, zName, __LINE__,
|
|
"CREATE TABLE IF NOT EXISTS p1(x INTEGER PRIMARY KEY);"
|
|
);
|
|
}else if( tid>=2 && tid<=51 ){
|
|
int a, b, i;
|
|
waitOnTable(db, zName, "p1");
|
|
a = (tid-2)*200 + 1;
|
|
b = a+200;
|
|
for(i=a; i<b; i++){
|
|
if( isPrime(i) ){
|
|
exec(db, zName, __LINE__,
|
|
"INSERT INTO p1(x) VALUES(%d)", i);
|
|
}
|
|
}
|
|
}else if( tid==52 ){
|
|
exec(db, zName, __LINE__,
|
|
"CREATE TABLE IF NOT EXISTS p2(x INTEGER PRIMARY KEY);"
|
|
"WITH RECURSIVE"
|
|
" c(x) AS (VALUES(1) UNION ALL SELECT x+1 FROM c WHERE x<10000)"
|
|
"INSERT INTO p2(x) SELECT x FROM c;"
|
|
);
|
|
}else if( tid>=53 && tid<=62 ){
|
|
int a, b, i;
|
|
waitOnTable(db, zName, "p2");
|
|
a = (tid-53)*10 + 2;
|
|
b = a+9;
|
|
for(i=a; i<=b; i++){
|
|
exec(db, zName, __LINE__,
|
|
"DELETE FROM p2 WHERE x>%d AND (x %% %d)==0", i, i);
|
|
}
|
|
}
|
|
if( eVerbose ){
|
|
printf("%s: completed task %d\n", zName, tid);
|
|
fflush(stdout);
|
|
}
|
|
sqlite3_sleep(1);
|
|
}
|
|
|
|
sqlite3_close(db);
|
|
|
|
if( eVerbose ){
|
|
printf("%s: exit\n", zName);
|
|
fflush(stdout);
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
/* Print a usage comment and die */
|
|
static void usage(const char *argv0){
|
|
printf("Usage: %s [options]\n", argv0);
|
|
printf(
|
|
" -num-workers N Run N worker threads\n"
|
|
" -v Debugging output\n"
|
|
);
|
|
exit(1);
|
|
}
|
|
|
|
/* Maximum number of threads */
|
|
#define MX_WORKER 100
|
|
|
|
/*
|
|
** Main routine
|
|
*/
|
|
int main(int argc, char **argv){
|
|
int i;
|
|
int nWorker = 4;
|
|
int rc;
|
|
sqlite3 *db = 0;
|
|
sqlite3_stmt *q;
|
|
pthread_t aWorker[MX_WORKER];
|
|
char aWorkerName[MX_WORKER][8];
|
|
|
|
for(i=1; i<argc; i++){
|
|
const char *zArg = argv[i];
|
|
if( zArg[0]!='-' ){
|
|
if( zDbName==0 ){
|
|
zDbName = argv[i];
|
|
continue;
|
|
}
|
|
printf("unknown argument: %s\n", zArg);
|
|
usage(argv[0]);
|
|
}
|
|
if( zArg[1]=='-' ) zArg++;
|
|
if( strcmp(zArg, "-v")==0 ){
|
|
eVerbose = 1;
|
|
continue;
|
|
}
|
|
if( strcmp(zArg, "-num-workers")==0 && i+1<argc ){
|
|
nWorker = atoi(argv[++i]);
|
|
if( nWorker<1 || nWorker>MX_WORKER ){
|
|
printf("number of threads must be between 1 and %d\n", MX_WORKER);
|
|
exit(1);
|
|
}
|
|
continue;
|
|
}
|
|
printf("unknown option: %s\n", argv[i]);
|
|
usage(argv[0]);
|
|
}
|
|
if( zDbName==0 ) zDbName = "file:/mem?vfs=memdb";
|
|
|
|
sqlite3_config(SQLITE_CONFIG_URI, (int)1);
|
|
rc = sqlite3_open(zDbName, &db);
|
|
error_out(rc, "sqlite3_open", __LINE__);
|
|
|
|
rc = exec(db, "SETUP", __LINE__,
|
|
"DROP TABLE IF EXISTS task;\n"
|
|
"DROP TABLE IF EXISTS p1;\n"
|
|
"DROP TABLE IF EXISTS p2;\n"
|
|
"DROP TABLE IF EXISTS verify;\n"
|
|
"CREATE TABLE IF NOT EXISTS task(\n"
|
|
" tid INTEGER PRIMARY KEY,\n"
|
|
" doneby TEXT\n"
|
|
");\n"
|
|
"WITH RECURSIVE c(x) AS (VALUES(1) UNION ALL SELECT x+1 FROM c WHERE x<100)"
|
|
"INSERT INTO task(tid) SELECT x FROM c;\n"
|
|
);
|
|
error_out(rc, "sqlite3_exec", __LINE__);
|
|
|
|
for(i=0; i<nWorker; i++){
|
|
sqlite3_snprintf(sizeof(aWorkerName[i]), aWorkerName[i],
|
|
"W%02d", i);
|
|
pthread_create(&aWorker[i], 0, worker, aWorkerName[i]);
|
|
}
|
|
for(i=0; i<nWorker; i++){
|
|
pthread_join(aWorker[i], 0);
|
|
}
|
|
|
|
for(i=0; i<nWorker; i++){
|
|
q = prepare(db, "MAIN", __LINE__,
|
|
"SELECT group_concat(tid,',') FROM task WHERE doneby=%Q",
|
|
aWorkerName[i]);
|
|
if( sqlite3_step(q)==SQLITE_ROW ){
|
|
printf("%s: %s\n", aWorkerName[i], sqlite3_column_text(q,0));
|
|
}
|
|
sqlite3_finalize(q);
|
|
}
|
|
q = prepare(db, "MAIN", __LINE__, "SELECT count(*) FROM p2");
|
|
if( sqlite3_step(q)!=SQLITE_ROW || sqlite3_column_int(q,0)<10 ){
|
|
printf("incorrect result\n");
|
|
exit(-1);
|
|
}
|
|
sqlite3_finalize(q);
|
|
q = prepare(db, "MAIN", __LINE__, "SELECT x FROM p1 EXCEPT SELECT x FROM p2");
|
|
if( sqlite3_step(q)==SQLITE_ROW ){
|
|
printf("incorrect result\n");
|
|
exit(-1);
|
|
}
|
|
sqlite3_finalize(q);
|
|
q = prepare(db, "MAIN", __LINE__, "SELECT x FROM p2 EXCEPT SELECT x FROM p1");
|
|
if( sqlite3_step(q)==SQLITE_ROW ){
|
|
printf("incorrect result\n");
|
|
exit(-1);
|
|
}
|
|
sqlite3_finalize(q);
|
|
printf("OK\n");
|
|
|
|
sqlite3_close(db);
|
|
return 0;
|
|
}
|