4 ** The author disclaims copyright to this source code. In place of
5 ** a legal notice, here is a blessing:
7 ** May you do good and not evil.
8 ** May you find forgiveness for yourself and forgive others.
9 ** May you share freely, never taking more than you give.
11 ******************************************************************************
13 ** This file contains code that modified the OS layer in order to simulate
14 ** the effect on the database file of an OS crash or power failure. This
15 ** is used to test the ability of SQLite to recover from those situations.
17 #if SQLITE_TEST /* This file is used for testing only */
18 #include "sqliteInt.h"
21 #ifndef SQLITE_OMIT_DISKIO /* This file is a no-op if disk I/O is disabled */
23 /* #define TRACE_CRASHTEST */
25 typedef struct CrashFile CrashFile
;
26 typedef struct CrashGlobal CrashGlobal
;
27 typedef struct WriteBuffer WriteBuffer
;
32 ** This layer is implemented as a wrapper around the "real"
33 ** sqlite3_file object for the host system. Each time data is
34 ** written to the file object, instead of being written to the
35 ** underlying file, the write operation is stored in an in-memory
36 ** structure (type WriteBuffer). This structure is placed at the
37 ** end of a global ordered list (the write-list).
39 ** When data is read from a file object, the requested region is
40 ** first retrieved from the real file. The write-list is then
41 ** traversed and data copied from any overlapping WriteBuffer
42 ** structures to the output buffer. i.e. a read() operation following
43 ** one or more write() operations works as expected, even if no
44 ** data has actually been written out to the real file.
46 ** When a fsync() operation is performed, an operating system crash
47 ** may be simulated, in which case exit(-1) is called (the call to
48 ** xSync() never returns). Whether or not a crash is simulated,
49 ** the data associated with a subset of the WriteBuffer structures
50 ** stored in the write-list is written to the real underlying files
51 ** and the entries removed from the write-list. If a crash is simulated,
52 ** a subset of the buffers may be corrupted before the data is written.
54 ** The exact subset of the write-list written and/or corrupted is
55 ** determined by the simulated device characteristics and sector-size.
59 ** Normal mode is used when the simulated device has none of the
60 ** SQLITE_IOCAP_XXX flags set.
62 ** In normal mode, if the fsync() is not a simulated crash, the
63 ** write-list is traversed from beginning to end. Each WriteBuffer
64 ** structure associated with the file handle used to call xSync()
65 ** is written to the real file and removed from the write-list.
67 ** If a crash is simulated, one of the following takes place for
68 ** each WriteBuffer in the write-list, regardless of which
69 ** file-handle it is associated with:
71 ** 1. The buffer is correctly written to the file, just as if
72 ** a crash were not being simulated.
74 ** 2. Nothing is done.
76 ** 3. Garbage data is written to all sectors of the file that
77 ** overlap the region specified by the WriteBuffer. Or garbage
78 ** data is written to some contiguous section within the
79 ** overlapped sectors.
81 ** Device Characteristic flag handling:
83 ** If the IOCAP_ATOMIC flag is set, then option (3) above is
86 ** If the IOCAP_ATOMIC512 flag is set, and the WriteBuffer represents
87 ** an aligned write() of an integer number of 512 byte regions, then
88 ** option (3) above is never selected. Instead, each 512 byte region
89 ** is either correctly written or left completely untouched. Similar
90 ** logic governs the behavior if any of the other ATOMICXXX flags
93 ** If either the IOCAP_SAFEAPPEND or IOCAP_SEQUENTIAL flags are set
94 ** and a crash is being simulated, then an entry of the write-list is
95 ** selected at random. Everything in the list after the selected entry
96 ** is discarded before processing begins.
98 ** If IOCAP_SEQUENTIAL is set and a crash is being simulated, option
99 ** (1) is selected for all write-list entries except the last. If a
100 ** crash is not being simulated, then all entries in the write-list
101 ** that occur before at least one write() on the file-handle specified
102 ** as part of the xSync() are written to their associated real files.
104 ** If IOCAP_SAFEAPPEND is set and the first byte written by the write()
105 ** operation is one byte past the current end of the file, then option
106 ** (1) is always selected.
110 ** Each write operation in the write-list is represented by an instance
111 ** of the following structure.
113 ** If zBuf is 0, then this structure represents a call to xTruncate(),
114 ** not xWrite(). In that case, iOffset is the size that the file is
118 i64 iOffset
; /* Byte offset of the start of this write() */
119 int nBuf
; /* Number of bytes written */
120 u8
*zBuf
; /* Pointer to copy of written data */
121 CrashFile
*pFile
; /* File this write() applies to */
123 WriteBuffer
*pNext
; /* Next in CrashGlobal.pWriteList */
127 const sqlite3_io_methods
*pMethod
; /* Must be first */
128 sqlite3_file
*pRealFile
; /* Underlying "real" file handle */
130 int flags
; /* Flags the file was opened with */
132 /* Cache of the entire file. This is used to speed up OsRead() and
133 ** OsFileSize() calls. Although both could be done by traversing the
134 ** write-list, in practice this is impractically slow.
136 u8
*zData
; /* Buffer containing file contents */
137 int nData
; /* Size of buffer allocated at zData */
138 i64 iSize
; /* Size of file in bytes */
142 WriteBuffer
*pWriteList
; /* Head of write-list */
143 WriteBuffer
*pWriteListEnd
; /* End of write-list */
145 int iSectorSize
; /* Value of simulated sector size */
146 int iDeviceCharacteristics
; /* Value of simulated device characteristics */
148 int iCrash
; /* Crash on the iCrash'th call to xSync() */
149 char zCrashFile
[500]; /* Crash during an xSync() on this file */
152 static CrashGlobal g
= {0, 0, SQLITE_DEFAULT_SECTOR_SIZE
, 0, 0};
155 ** Set this global variable to 1 to enable crash testing.
157 static int sqlite3CrashTestEnable
= 0;
159 static void *crash_malloc(int nByte
){
160 return (void *)Tcl_Alloc((size_t)nByte
);
162 static void crash_free(void *p
){
165 static void *crash_realloc(void *p
, int n
){
166 return (void *)Tcl_Realloc(p
, (size_t)n
);
170 ** Wrapper around the sqlite3OsWrite() function that avoids writing to the
171 ** 512 byte block begining at offset PENDING_BYTE.
173 static int writeDbFile(CrashFile
*p
, u8
*z
, i64 iAmt
, i64 iOff
){
176 if( (iAmt
-iSkip
)>0 ){
177 rc
= sqlite3OsWrite(p
->pRealFile
, &z
[iSkip
], (int)(iAmt
-iSkip
), iOff
+iSkip
);
183 ** Flush the write-list as if xSync() had been called on file handle
184 ** pFile. If isCrash is true, simulate a crash.
186 static int writeListSync(CrashFile
*pFile
, int isCrash
){
188 int iDc
= g
.iDeviceCharacteristics
;
193 /* If this is not a crash simulation, set pFinal to point to the
194 ** last element of the write-list that is associated with file handle
197 ** If this is a crash simulation, set pFinal to an arbitrarily selected
198 ** element of the write-list.
200 WriteBuffer
*pFinal
= 0;
202 for(pWrite
=g
.pWriteList
; pWrite
; pWrite
=pWrite
->pNext
){
203 if( pWrite
->pFile
==pFile
){
207 }else if( iDc
&(SQLITE_IOCAP_SEQUENTIAL
|SQLITE_IOCAP_SAFE_APPEND
) ){
210 for(pWrite
=g
.pWriteList
; pWrite
; pWrite
=pWrite
->pNext
) nWrite
++;
211 sqlite3_randomness(sizeof(int), &iFinal
);
212 iFinal
= ((iFinal
<0)?-1*iFinal
:iFinal
)%nWrite
;
213 for(pWrite
=g
.pWriteList
; iFinal
>0; pWrite
=pWrite
->pNext
) iFinal
--;
217 #ifdef TRACE_CRASHTEST
218 printf("Sync %s (is %s crash)\n", pFile
->zName
, (isCrash
?"a":"not a"));
221 ppPtr
= &g
.pWriteList
;
222 for(pWrite
=*ppPtr
; rc
==SQLITE_OK
&& pWrite
; pWrite
=*ppPtr
){
223 sqlite3_file
*pRealFile
= pWrite
->pFile
->pRealFile
;
225 /* (eAction==1) -> write block out normally,
226 ** (eAction==2) -> do nothing,
227 ** (eAction==3) -> trash sectors.
232 if( (pWrite
->pFile
==pFile
|| iDc
&SQLITE_IOCAP_SEQUENTIAL
) ){
237 sqlite3_randomness(1, &random
);
239 /* Do not select option 3 (sector trashing) if the IOCAP_ATOMIC flag
240 ** is set or this is an OsTruncate(), not an Oswrite().
242 if( (iDc
&SQLITE_IOCAP_ATOMIC
) || (pWrite
->zBuf
==0) ){
246 /* If IOCAP_SEQUENTIAL is set and this is not the final entry
247 ** in the truncated write-list, always select option 1 (write
250 if( (iDc
&SQLITE_IOCAP_SEQUENTIAL
&& pWrite
!=pFinal
) ){
254 /* If IOCAP_SAFE_APPEND is set and this OsWrite() operation is
255 ** an append (first byte of the written region is 1 byte past the
256 ** current EOF), always select option 1 (write out correctly).
258 if( iDc
&SQLITE_IOCAP_SAFE_APPEND
&& pWrite
->zBuf
){
260 sqlite3OsFileSize(pRealFile
, &iSize
);
261 if( iSize
==pWrite
->iOffset
){
266 if( (random
&0x06)==0x06 ){
269 eAction
= ((random
&0x01)?2:1);
274 case 1: { /* Write out correctly */
277 pWrite
->pFile
, pWrite
->zBuf
, pWrite
->nBuf
, pWrite
->iOffset
280 rc
= sqlite3OsTruncate(pRealFile
, pWrite
->iOffset
);
282 *ppPtr
= pWrite
->pNext
;
283 #ifdef TRACE_CRASHTEST
285 printf("Writing %d bytes @ %d (%s)\n",
286 pWrite
->nBuf
, (int)pWrite
->iOffset
, pWrite
->pFile
->zName
293 case 2: { /* Do nothing */
294 ppPtr
= &pWrite
->pNext
;
295 #ifdef TRACE_CRASHTEST
297 printf("Omiting %d bytes @ %d (%s)\n",
298 pWrite
->nBuf
, (int)pWrite
->iOffset
, pWrite
->pFile
->zName
304 case 3: { /* Trash sectors */
306 int iFirst
= (int)(pWrite
->iOffset
/g
.iSectorSize
);
307 int iLast
= (int)((pWrite
->iOffset
+pWrite
->nBuf
-1)/g
.iSectorSize
);
309 assert(pWrite
->zBuf
);
311 #ifdef TRACE_CRASHTEST
312 printf("Trashing %d sectors @ %lld (sector %d) (%s)\n",
313 1+iLast
-iFirst
, pWrite
->iOffset
, iFirst
, pWrite
->pFile
->zName
317 zGarbage
= crash_malloc(g
.iSectorSize
);
320 for(i
=iFirst
; rc
==SQLITE_OK
&& i
<=iLast
; i
++){
321 sqlite3_randomness(g
.iSectorSize
, zGarbage
);
323 pWrite
->pFile
, zGarbage
, g
.iSectorSize
, i
*g
.iSectorSize
326 crash_free(zGarbage
);
331 ppPtr
= &pWrite
->pNext
;
336 assert(!"Cannot happen");
339 if( pWrite
==pFinal
) break;
342 if( rc
==SQLITE_OK
&& isCrash
){
346 for(pWrite
=g
.pWriteList
; pWrite
&& pWrite
->pNext
; pWrite
=pWrite
->pNext
);
347 g
.pWriteListEnd
= pWrite
;
353 ** Add an entry to the end of the write-list.
355 static int writeListAppend(
357 sqlite3_int64 iOffset
,
363 assert((zBuf
&& nBuf
) || (!nBuf
&& !zBuf
));
365 pNew
= (WriteBuffer
*)crash_malloc(sizeof(WriteBuffer
) + nBuf
);
367 fprintf(stderr
, "out of memory in the crash simulator\n");
369 memset(pNew
, 0, sizeof(WriteBuffer
)+nBuf
);
370 pNew
->iOffset
= iOffset
;
372 pNew
->pFile
= (CrashFile
*)pFile
;
374 pNew
->zBuf
= (u8
*)&pNew
[1];
375 memcpy(pNew
->zBuf
, zBuf
, nBuf
);
379 assert(g
.pWriteListEnd
);
380 g
.pWriteListEnd
->pNext
= pNew
;
384 g
.pWriteListEnd
= pNew
;
390 ** Close a crash-file.
392 static int cfClose(sqlite3_file
*pFile
){
393 CrashFile
*pCrash
= (CrashFile
*)pFile
;
394 writeListSync(pCrash
, 0);
395 sqlite3OsClose(pCrash
->pRealFile
);
400 ** Read data from a crash-file.
408 CrashFile
*pCrash
= (CrashFile
*)pFile
;
409 int nCopy
= (int)MIN((i64
)iAmt
, (pCrash
->iSize
- iOfst
));
412 memcpy(zBuf
, &pCrash
->zData
[iOfst
], nCopy
);
415 /* Check the file-size to see if this is a short-read */
417 return SQLITE_IOERR_SHORT_READ
;
424 ** Write data to a crash-file.
432 CrashFile
*pCrash
= (CrashFile
*)pFile
;
433 if( iAmt
+iOfst
>pCrash
->iSize
){
434 pCrash
->iSize
= (int)(iAmt
+iOfst
);
436 while( pCrash
->iSize
>pCrash
->nData
){
438 int nNew
= (pCrash
->nData
*2) + 4096;
439 zNew
= crash_realloc(pCrash
->zData
, nNew
);
443 memset(&zNew
[pCrash
->nData
], 0, nNew
-pCrash
->nData
);
444 pCrash
->nData
= nNew
;
445 pCrash
->zData
= zNew
;
447 memcpy(&pCrash
->zData
[iOfst
], zBuf
, iAmt
);
448 return writeListAppend(pFile
, iOfst
, zBuf
, iAmt
);
452 ** Truncate a crash-file.
454 static int cfTruncate(sqlite3_file
*pFile
, sqlite_int64 size
){
455 CrashFile
*pCrash
= (CrashFile
*)pFile
;
457 if( pCrash
->iSize
>size
){
458 pCrash
->iSize
= (int)size
;
460 return writeListAppend(pFile
, size
, 0, 0);
464 ** Sync a crash-file.
466 static int cfSync(sqlite3_file
*pFile
, int flags
){
467 CrashFile
*pCrash
= (CrashFile
*)pFile
;
470 const char *zName
= pCrash
->zName
;
471 const char *zCrashFile
= g
.zCrashFile
;
472 int nName
= (int)strlen(zName
);
473 int nCrashFile
= (int)strlen(zCrashFile
);
475 if( nCrashFile
>0 && zCrashFile
[nCrashFile
-1]=='*' ){
477 if( nName
>nCrashFile
) nName
= nCrashFile
;
480 #ifdef TRACE_CRASHTEST
481 printf("cfSync(): nName = %d, nCrashFile = %d, zName = %s, zCrashFile = %s\n",
482 nName
, nCrashFile
, zName
, zCrashFile
);
485 if( nName
==nCrashFile
&& 0==memcmp(zName
, zCrashFile
, nName
) ){
486 #ifdef TRACE_CRASHTEST
487 printf("cfSync(): name matched, g.iCrash = %d\n", g
.iCrash
);
489 if( (--g
.iCrash
)==0 ) isCrash
= 1;
492 return writeListSync(pCrash
, isCrash
);
496 ** Return the current file-size of the crash-file.
498 static int cfFileSize(sqlite3_file
*pFile
, sqlite_int64
*pSize
){
499 CrashFile
*pCrash
= (CrashFile
*)pFile
;
500 *pSize
= (i64
)pCrash
->iSize
;
505 ** Calls related to file-locks are passed on to the real file handle.
507 static int cfLock(sqlite3_file
*pFile
, int eLock
){
508 return sqlite3OsLock(((CrashFile
*)pFile
)->pRealFile
, eLock
);
510 static int cfUnlock(sqlite3_file
*pFile
, int eLock
){
511 return sqlite3OsUnlock(((CrashFile
*)pFile
)->pRealFile
, eLock
);
513 static int cfCheckReservedLock(sqlite3_file
*pFile
, int *pResOut
){
514 return sqlite3OsCheckReservedLock(((CrashFile
*)pFile
)->pRealFile
, pResOut
);
516 static int cfFileControl(sqlite3_file
*pFile
, int op
, void *pArg
){
517 if( op
==SQLITE_FCNTL_SIZE_HINT
){
518 CrashFile
*pCrash
= (CrashFile
*)pFile
;
519 i64 nByte
= *(i64
*)pArg
;
520 if( nByte
>pCrash
->iSize
){
521 if( SQLITE_OK
==writeListAppend(pFile
, nByte
, 0, 0) ){
522 pCrash
->iSize
= (int)nByte
;
527 return sqlite3OsFileControl(((CrashFile
*)pFile
)->pRealFile
, op
, pArg
);
531 ** The xSectorSize() and xDeviceCharacteristics() functions return
532 ** the global values configured by the [sqlite_crashparams] tcl
535 static int cfSectorSize(sqlite3_file
*pFile
){
536 return g
.iSectorSize
;
538 static int cfDeviceCharacteristics(sqlite3_file
*pFile
){
539 return g
.iDeviceCharacteristics
;
543 ** Pass-throughs for WAL support.
545 static int cfShmLock(sqlite3_file
*pFile
, int ofst
, int n
, int flags
){
546 return sqlite3OsShmLock(((CrashFile
*)pFile
)->pRealFile
, ofst
, n
, flags
);
548 static void cfShmBarrier(sqlite3_file
*pFile
){
549 sqlite3OsShmBarrier(((CrashFile
*)pFile
)->pRealFile
);
551 static int cfShmUnmap(sqlite3_file
*pFile
, int delFlag
){
552 return sqlite3OsShmUnmap(((CrashFile
*)pFile
)->pRealFile
, delFlag
);
555 sqlite3_file
*pFile
, /* Handle open on database file */
556 int iRegion
, /* Region to retrieve */
557 int sz
, /* Size of regions */
558 int w
, /* True to extend file if necessary */
559 void volatile **pp
/* OUT: Mapped memory */
561 return sqlite3OsShmMap(((CrashFile
*)pFile
)->pRealFile
, iRegion
, sz
, w
, pp
);
564 static const sqlite3_io_methods CrashFileVtab
= {
566 cfClose
, /* xClose */
568 cfWrite
, /* xWrite */
569 cfTruncate
, /* xTruncate */
571 cfFileSize
, /* xFileSize */
573 cfUnlock
, /* xUnlock */
574 cfCheckReservedLock
, /* xCheckReservedLock */
575 cfFileControl
, /* xFileControl */
576 cfSectorSize
, /* xSectorSize */
577 cfDeviceCharacteristics
, /* xDeviceCharacteristics */
578 cfShmMap
, /* xShmMap */
579 cfShmLock
, /* xShmLock */
580 cfShmBarrier
, /* xShmBarrier */
581 cfShmUnmap
/* xShmUnmap */
585 ** Application data for the crash VFS
587 struct crashAppData
{
588 sqlite3_vfs
*pOrig
; /* Wrapped vfs structure */
592 ** Open a crash-file file handle.
594 ** The caller will have allocated pVfs->szOsFile bytes of space
595 ** at pFile. This file uses this space for the CrashFile structure
596 ** and allocates space for the "real" file structure using
597 ** sqlite3_malloc(). The assumption here is (pVfs->szOsFile) is
598 ** equal or greater than sizeof(CrashFile).
607 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
609 CrashFile
*pWrapper
= (CrashFile
*)pFile
;
610 sqlite3_file
*pReal
= (sqlite3_file
*)&pWrapper
[1];
612 memset(pWrapper
, 0, sizeof(CrashFile
));
613 rc
= sqlite3OsOpen(pVfs
, zName
, pReal
, flags
, pOutFlags
);
617 pWrapper
->pMethod
= &CrashFileVtab
;
618 pWrapper
->zName
= (char *)zName
;
619 pWrapper
->pRealFile
= pReal
;
620 rc
= sqlite3OsFileSize(pReal
, &iSize
);
621 pWrapper
->iSize
= (int)iSize
;
622 pWrapper
->flags
= flags
;
625 pWrapper
->nData
= (int)(4096 + pWrapper
->iSize
);
626 pWrapper
->zData
= crash_malloc(pWrapper
->nData
);
627 if( pWrapper
->zData
){
628 /* os_unix.c contains an assert() that fails if the caller attempts
629 ** to read data from the 512-byte locking region of a file opened
630 ** with the SQLITE_OPEN_MAIN_DB flag. This region of a database file
631 ** never contains valid data anyhow. So avoid doing such a read here.
633 ** UPDATE: It also contains an assert() verifying that each call
634 ** to the xRead() method reads less than 128KB of data.
638 memset(pWrapper
->zData
, 0, pWrapper
->nData
);
639 for(iOff
=0; iOff
<pWrapper
->iSize
; iOff
+= 512){
640 int nRead
= (int)(pWrapper
->iSize
- iOff
);
641 if( nRead
>512 ) nRead
= 512;
642 rc
= sqlite3OsRead(pReal
, &pWrapper
->zData
[iOff
], nRead
, iOff
);
648 if( rc
!=SQLITE_OK
&& pWrapper
->pMethod
){
649 sqlite3OsClose(pFile
);
654 static int cfDelete(sqlite3_vfs
*pCfVfs
, const char *zPath
, int dirSync
){
655 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
656 return pVfs
->xDelete(pVfs
, zPath
, dirSync
);
664 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
665 return pVfs
->xAccess(pVfs
, zPath
, flags
, pResOut
);
667 static int cfFullPathname(
673 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
674 return pVfs
->xFullPathname(pVfs
, zPath
, nPathOut
, zPathOut
);
676 static void *cfDlOpen(sqlite3_vfs
*pCfVfs
, const char *zPath
){
677 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
678 return pVfs
->xDlOpen(pVfs
, zPath
);
680 static void cfDlError(sqlite3_vfs
*pCfVfs
, int nByte
, char *zErrMsg
){
681 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
682 pVfs
->xDlError(pVfs
, nByte
, zErrMsg
);
684 static void (*cfDlSym(sqlite3_vfs
*pCfVfs
, void *pH
, const char *zSym
))(void){
685 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
686 return pVfs
->xDlSym(pVfs
, pH
, zSym
);
688 static void cfDlClose(sqlite3_vfs
*pCfVfs
, void *pHandle
){
689 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
690 pVfs
->xDlClose(pVfs
, pHandle
);
692 static int cfRandomness(sqlite3_vfs
*pCfVfs
, int nByte
, char *zBufOut
){
693 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
694 return pVfs
->xRandomness(pVfs
, nByte
, zBufOut
);
696 static int cfSleep(sqlite3_vfs
*pCfVfs
, int nMicro
){
697 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
698 return pVfs
->xSleep(pVfs
, nMicro
);
700 static int cfCurrentTime(sqlite3_vfs
*pCfVfs
, double *pTimeOut
){
701 sqlite3_vfs
*pVfs
= (sqlite3_vfs
*)pCfVfs
->pAppData
;
702 return pVfs
->xCurrentTime(pVfs
, pTimeOut
);
705 static int processDevSymArgs(
708 Tcl_Obj
*CONST objv
[],
716 { "atomic", SQLITE_IOCAP_ATOMIC
},
717 { "atomic512", SQLITE_IOCAP_ATOMIC512
},
718 { "atomic1k", SQLITE_IOCAP_ATOMIC1K
},
719 { "atomic2k", SQLITE_IOCAP_ATOMIC2K
},
720 { "atomic4k", SQLITE_IOCAP_ATOMIC4K
},
721 { "atomic8k", SQLITE_IOCAP_ATOMIC8K
},
722 { "atomic16k", SQLITE_IOCAP_ATOMIC16K
},
723 { "atomic32k", SQLITE_IOCAP_ATOMIC32K
},
724 { "atomic64k", SQLITE_IOCAP_ATOMIC64K
},
725 { "sequential", SQLITE_IOCAP_SEQUENTIAL
},
726 { "safe_append", SQLITE_IOCAP_SAFE_APPEND
},
727 { "powersafe_overwrite", SQLITE_IOCAP_POWERSAFE_OVERWRITE
},
734 int setSectorsize
= 0;
735 int setDeviceChar
= 0;
737 for(i
=0; i
<objc
; i
+=2){
739 char *zOpt
= Tcl_GetStringFromObj(objv
[i
], &nOpt
);
741 if( (nOpt
>11 || nOpt
<2 || strncmp("-sectorsize", zOpt
, nOpt
))
742 && (nOpt
>16 || nOpt
<2 || strncmp("-characteristics", zOpt
, nOpt
))
744 Tcl_AppendResult(interp
,
745 "Bad option: \"", zOpt
,
746 "\" - must be \"-characteristics\" or \"-sectorsize\"", 0
751 Tcl_AppendResult(interp
, "Option requires an argument: \"", zOpt
, "\"",0);
756 if( Tcl_GetIntFromObj(interp
, objv
[i
+1], &iSectorSize
) ){
764 if( Tcl_ListObjGetElements(interp
, objv
[i
+1], &nObj
, &apObj
) ){
767 for(j
=0; j
<nObj
; j
++){
770 Tcl_Obj
*pFlag
= Tcl_DuplicateObj(apObj
[j
]);
771 Tcl_IncrRefCount(pFlag
);
772 Tcl_UtfToLower(Tcl_GetString(pFlag
));
774 rc
= Tcl_GetIndexFromObjStruct(
775 interp
, pFlag
, aFlag
, sizeof(aFlag
[0]), "no such flag", 0, &iChoice
777 Tcl_DecrRefCount(pFlag
);
782 iDc
|= aFlag
[iChoice
].iValue
;
792 *piSectorSize
= iSectorSize
;
799 ** tclcmd: sqlite_crash_enable ENABLE
801 ** Parameter ENABLE must be a boolean value. If true, then the "crash"
802 ** vfs is added to the system. If false, it is removed.
804 static int crashEnableCmd(
808 Tcl_Obj
*CONST objv
[]
811 static sqlite3_vfs crashVfs
= {
820 cfDelete
, /* xDelete */
821 cfAccess
, /* xAccess */
822 cfFullPathname
, /* xFullPathname */
823 cfDlOpen
, /* xDlOpen */
824 cfDlError
, /* xDlError */
825 cfDlSym
, /* xDlSym */
826 cfDlClose
, /* xDlClose */
827 cfRandomness
, /* xRandomness */
828 cfSleep
, /* xSleep */
829 cfCurrentTime
, /* xCurrentTime */
830 0, /* xGetlastError */
831 0, /* xCurrentTimeInt64 */
835 Tcl_WrongNumArgs(interp
, 1, objv
, "ENABLE");
839 if( Tcl_GetBooleanFromObj(interp
, objv
[1], &isEnable
) ){
843 if( (isEnable
&& crashVfs
.pAppData
) || (!isEnable
&& !crashVfs
.pAppData
) ){
847 if( crashVfs
.pAppData
==0 ){
848 sqlite3_vfs
*pOriginalVfs
= sqlite3_vfs_find(0);
849 crashVfs
.mxPathname
= pOriginalVfs
->mxPathname
;
850 crashVfs
.pAppData
= (void *)pOriginalVfs
;
851 crashVfs
.szOsFile
= sizeof(CrashFile
) + pOriginalVfs
->szOsFile
;
852 sqlite3_vfs_register(&crashVfs
, 0);
854 crashVfs
.pAppData
= 0;
855 sqlite3_vfs_unregister(&crashVfs
);
862 ** tclcmd: sqlite_crashparams ?OPTIONS? DELAY CRASHFILE
864 ** This procedure implements a TCL command that enables crash testing
865 ** in testfixture. Once enabled, crash testing cannot be disabled.
867 ** Available options are "-characteristics" and "-sectorsize". Both require
868 ** an argument. For -sectorsize, this is the simulated sector size in
869 ** bytes. For -characteristics, the argument must be a list of io-capability
870 ** flags to simulate. Valid flags are "atomic", "atomic512", "atomic1K",
871 ** "atomic2K", "atomic4K", "atomic8K", "atomic16K", "atomic32K",
872 ** "atomic64K", "sequential" and "safe_append".
876 ** sqlite_crashparams -sect 1024 -char {atomic sequential} ./test.db 1
879 static int crashParamsObjCmd(
883 Tcl_Obj
*CONST objv
[]
886 const char *zCrashFile
;
887 int nCrashFile
, iDc
, iSectorSize
;
893 Tcl_WrongNumArgs(interp
, 1, objv
, "?OPTIONS? DELAY CRASHFILE");
897 zCrashFile
= Tcl_GetStringFromObj(objv
[objc
-1], &nCrashFile
);
898 if( nCrashFile
>=sizeof(g
.zCrashFile
) ){
899 Tcl_AppendResult(interp
, "Filename is too long: \"", zCrashFile
, "\"", 0);
902 if( Tcl_GetIntFromObj(interp
, objv
[objc
-2], &iDelay
) ){
906 if( processDevSymArgs(interp
, objc
-3, &objv
[1], &iDc
, &iSectorSize
) ){
911 g
.iDeviceCharacteristics
= iDc
;
913 if( iSectorSize
>=0 ){
914 g
.iSectorSize
= iSectorSize
;
918 memcpy(g
.zCrashFile
, zCrashFile
, nCrashFile
+1);
919 sqlite3CrashTestEnable
= 1;
926 static int devSymObjCmd(
930 Tcl_Obj
*CONST objv
[]
932 void devsym_register(int iDeviceChar
, int iSectorSize
);
935 int iSectorSize
= -1;
937 if( processDevSymArgs(interp
, objc
-1, &objv
[1], &iDc
, &iSectorSize
) ){
940 devsym_register(iDc
, iSectorSize
);
946 ** tclcmd: register_jt_vfs ?-default? PARENT-VFS
952 Tcl_Obj
*CONST objv
[]
954 int jt_register(char *, int);
957 if( objc
!=2 && objc
!=3 ){
958 Tcl_WrongNumArgs(interp
, 1, objv
, "?-default? PARENT-VFS");
961 zParent
= Tcl_GetString(objv
[1]);
963 if( strcmp(zParent
, "-default") ){
964 Tcl_AppendResult(interp
,
965 "bad option \"", zParent
, "\": must be -default", 0
969 zParent
= Tcl_GetString(objv
[2]);
975 if( jt_register(zParent
, objc
==3) ){
976 Tcl_AppendResult(interp
, "Error in jt_register", 0);
984 ** tclcmd: unregister_jt_vfs
986 static int jtUnregisterObjCmd(
990 Tcl_Obj
*CONST objv
[]
992 void jt_unregister(void);
995 Tcl_WrongNumArgs(interp
, 1, objv
, "");
1003 #endif /* SQLITE_OMIT_DISKIO */
1006 ** This procedure registers the TCL procedures defined in this file.
1008 int Sqlitetest6_Init(Tcl_Interp
*interp
){
1009 #ifndef SQLITE_OMIT_DISKIO
1010 Tcl_CreateObjCommand(interp
, "sqlite3_crash_enable", crashEnableCmd
, 0, 0);
1011 Tcl_CreateObjCommand(interp
, "sqlite3_crashparams", crashParamsObjCmd
, 0, 0);
1012 Tcl_CreateObjCommand(interp
, "sqlite3_simulate_device", devSymObjCmd
, 0, 0);
1013 Tcl_CreateObjCommand(interp
, "register_jt_vfs", jtObjCmd
, 0, 0);
1014 Tcl_CreateObjCommand(interp
, "unregister_jt_vfs", jtUnregisterObjCmd
, 0, 0);
1019 #endif /* SQLITE_TEST */