blob: 0c28b8f4861288fdeb31c3f83d27baeaa25bd6aa [file] [log] [blame]
drhed7c8552001-04-11 14:29:21 +00001/*
drhb19a2bc2001-09-16 00:13:26 +00002** 2001 September 15
drhed7c8552001-04-11 14:29:21 +00003**
drhb19a2bc2001-09-16 00:13:26 +00004** The author disclaims copyright to this source code. In place of
5** a legal notice, here is a blessing:
drhed7c8552001-04-11 14:29:21 +00006**
drhb19a2bc2001-09-16 00:13:26 +00007** 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.
drhed7c8552001-04-11 14:29:21 +000010**
11*************************************************************************
drhb19a2bc2001-09-16 00:13:26 +000012** This is the implementation of the page cache subsystem or "pager".
drhed7c8552001-04-11 14:29:21 +000013**
drhb19a2bc2001-09-16 00:13:26 +000014** The pager is used to access a database disk file. It implements
15** atomic commit and rollback through the use of a journal file that
16** is separate from the database file. The pager also implements file
17** locking to prevent two processes from writing the same database
18** file simultaneously, or one process from reading the database while
19** another is writing.
drhed7c8552001-04-11 14:29:21 +000020**
drh726de592004-06-10 23:35:50 +000021** @(#) $Id: pager.c,v 1.123 2004/06/10 23:35:50 drh Exp $
drhed7c8552001-04-11 14:29:21 +000022*/
drh829e8022002-11-06 14:08:11 +000023#include "os.h" /* Must be first to enable large file support */
drhd9b02572001-04-15 00:37:09 +000024#include "sqliteInt.h"
drhed7c8552001-04-11 14:29:21 +000025#include "pager.h"
drhed7c8552001-04-11 14:29:21 +000026#include <assert.h>
drhd9b02572001-04-15 00:37:09 +000027#include <string.h>
drhed7c8552001-04-11 14:29:21 +000028
29/*
drhdb48ee02003-01-16 13:42:43 +000030** Macros for troubleshooting. Normally turned off
31*/
danielk1977466be562004-06-10 02:16:01 +000032#if 0
drhdb48ee02003-01-16 13:42:43 +000033static Pager *mainPager = 0;
34#define SET_PAGER(X) if( mainPager==0 ) mainPager = (X)
35#define CLR_PAGER(X) if( mainPager==(X) ) mainPager = 0
drh35d4c2f2004-06-10 01:30:59 +000036#define TRACE1(X) if( pPager==mainPager ) sqlite3DebugPrintf(X)
37#define TRACE2(X,Y) if( pPager==mainPager ) sqlite3DebugPrintf(X,Y)
38#define TRACE3(X,Y,Z) if( pPager==mainPager ) sqlite3DebugPrintf(X,Y,Z)
drhdb48ee02003-01-16 13:42:43 +000039#else
40#define SET_PAGER(X)
41#define CLR_PAGER(X)
42#define TRACE1(X)
43#define TRACE2(X,Y)
44#define TRACE3(X,Y,Z)
45#endif
46
47
48/*
drhed7c8552001-04-11 14:29:21 +000049** The page cache as a whole is always in one of the following
50** states:
51**
drha6abd042004-06-09 17:37:22 +000052** PAGER_UNLOCK The page cache is not currently reading or
drhed7c8552001-04-11 14:29:21 +000053** writing the database file. There is no
54** data held in memory. This is the initial
55** state.
56**
drha6abd042004-06-09 17:37:22 +000057** PAGER_SHARED The page cache is reading the database.
drhed7c8552001-04-11 14:29:21 +000058** Writing is not permitted. There can be
59** multiple readers accessing the same database
drh69688d52001-04-14 16:38:23 +000060** file at the same time.
drhed7c8552001-04-11 14:29:21 +000061**
drh726de592004-06-10 23:35:50 +000062** PAGER_RESERVED This process has reserved the database for writing
63** but has not yet made any changes. Only one process
64** at a time can reserve the database. The original
65** database file has not been modified so other
66** processes may still be reading the on-disk
drha6abd042004-06-09 17:37:22 +000067** database file.
68**
69** PAGER_EXCLUSIVE The page cache is writing the database.
drhed7c8552001-04-11 14:29:21 +000070** Access is exclusive. No other processes or
71** threads can be reading or writing while one
72** process is writing.
73**
drha6abd042004-06-09 17:37:22 +000074** The page cache comes up in PAGER_UNLOCK. The first time a
drh726de592004-06-10 23:35:50 +000075** sqlite3pager_get() occurs, the state transitions to PAGER_SHARED.
drhed7c8552001-04-11 14:29:21 +000076** After all pages have been released using sqlite_page_unref(),
drha6abd042004-06-09 17:37:22 +000077** the state transitions back to PAGER_UNLOCK. The first time
drh726de592004-06-10 23:35:50 +000078** that sqlite3pager_write() is called, the state transitions to
drha6abd042004-06-09 17:37:22 +000079** PAGER_RESERVED. (Note that sqlite_page_write() can only be
drh306dc212001-05-21 13:45:10 +000080** called on an outstanding page which means that the pager must
drha6abd042004-06-09 17:37:22 +000081** be in PAGER_SHARED before it transitions to PAGER_RESERVED.)
drh726de592004-06-10 23:35:50 +000082** The transition to PAGER_EXCLUSIVE occurs when before any changes
83** are made to the database file. After an sqlite3pager_rollback()
84** or sqlite_pager_commit(), the state goes back to PAGER_SHARED.
drhed7c8552001-04-11 14:29:21 +000085*/
drha6abd042004-06-09 17:37:22 +000086#define PAGER_UNLOCK 0
87#define PAGER_SHARED 1
88#define PAGER_RESERVED 2
89#define PAGER_EXCLUSIVE 3
drhed7c8552001-04-11 14:29:21 +000090
drhd9b02572001-04-15 00:37:09 +000091
drhed7c8552001-04-11 14:29:21 +000092/*
93** Each in-memory image of a page begins with the following header.
drhbd03cae2001-06-02 02:40:57 +000094** This header is only visible to this pager module. The client
95** code that calls pager sees only the data that follows the header.
drhf6038712004-02-08 18:07:34 +000096**
drh3aac2dd2004-04-26 14:10:20 +000097** Client code should call sqlite3pager_write() on a page prior to making
98** any modifications to that page. The first time sqlite3pager_write()
drhf6038712004-02-08 18:07:34 +000099** is called, the original page contents are written into the rollback
100** journal and PgHdr.inJournal and PgHdr.needSync are set. Later, once
101** the journal page has made it onto the disk surface, PgHdr.needSync
102** is cleared. The modified page cannot be written back into the original
103** database file until the journal pages has been synced to disk and the
104** PgHdr.needSync has been cleared.
105**
drh3aac2dd2004-04-26 14:10:20 +0000106** The PgHdr.dirty flag is set when sqlite3pager_write() is called and
drhf6038712004-02-08 18:07:34 +0000107** is cleared again when the page content is written back to the original
108** database file.
drhed7c8552001-04-11 14:29:21 +0000109*/
drhd9b02572001-04-15 00:37:09 +0000110typedef struct PgHdr PgHdr;
drhed7c8552001-04-11 14:29:21 +0000111struct PgHdr {
112 Pager *pPager; /* The pager to which this page belongs */
113 Pgno pgno; /* The page number for this page */
drh69688d52001-04-14 16:38:23 +0000114 PgHdr *pNextHash, *pPrevHash; /* Hash collision chain for PgHdr.pgno */
drhd9b02572001-04-15 00:37:09 +0000115 PgHdr *pNextFree, *pPrevFree; /* Freelist of pages where nRef==0 */
drhac69b052004-05-12 13:30:07 +0000116 PgHdr *pNextAll; /* A list of all pages */
117 PgHdr *pNextStmt, *pPrevStmt; /* List of pages in the statement journal */
drh193a6b42002-07-07 16:52:46 +0000118 u8 inJournal; /* TRUE if has been written to journal */
drhac69b052004-05-12 13:30:07 +0000119 u8 inStmt; /* TRUE if in the statement subjournal */
drh193a6b42002-07-07 16:52:46 +0000120 u8 dirty; /* TRUE if we need to write back changes */
drhdb48ee02003-01-16 13:42:43 +0000121 u8 needSync; /* Sync journal before writing this page */
drh193a6b42002-07-07 16:52:46 +0000122 u8 alwaysRollback; /* Disable dont_rollback() for this page */
drhac69b052004-05-12 13:30:07 +0000123 short int nRef; /* Number of users of this page */
drh2554f8b2003-01-22 01:26:44 +0000124 PgHdr *pDirty; /* Dirty pages sorted by PgHdr.pgno */
drhd0ba1932004-02-10 01:54:28 +0000125 /* SQLITE_PAGE_SIZE bytes of page data follow this header */
drh973b6e32003-02-12 14:09:42 +0000126 /* Pager.nExtra bytes of local data follow the page data */
drhed7c8552001-04-11 14:29:21 +0000127};
128
drhac69b052004-05-12 13:30:07 +0000129/*
130** For an in-memory only database, some extra information is recorded about
131** each page so that changes can be rolled back. (Journal files are not
132** used for in-memory databases.) The following information is added to
133** the end of every EXTRA block for in-memory databases.
134**
135** This information could have been added directly to the PgHdr structure.
136** But then it would take up an extra 8 bytes of storage on every PgHdr
137** even for disk-based databases. Splitting it out saves 8 bytes. This
138** is only a savings of 0.8% but those percentages add up.
139*/
140typedef struct PgHistory PgHistory;
141struct PgHistory {
142 u8 *pOrig; /* Original page text. Restore to this on a full rollback */
143 u8 *pStmt; /* Text as it was at the beginning of the current statement */
144};
drh9eb9e262004-02-11 02:18:05 +0000145
146/*
147** A macro used for invoking the codec if there is one
148*/
149#ifdef SQLITE_HAS_CODEC
150# define CODEC(P,D,N,X) if( P->xCodec ){ P->xCodec(P->pCodecArg,D,N,X); }
151#else
152# define CODEC(P,D,N,X)
153#endif
154
drhed7c8552001-04-11 14:29:21 +0000155/*
drh69688d52001-04-14 16:38:23 +0000156** Convert a pointer to a PgHdr into a pointer to its data
157** and back again.
drhed7c8552001-04-11 14:29:21 +0000158*/
159#define PGHDR_TO_DATA(P) ((void*)(&(P)[1]))
160#define DATA_TO_PGHDR(D) (&((PgHdr*)(D))[-1])
drhd0ba1932004-02-10 01:54:28 +0000161#define PGHDR_TO_EXTRA(P) ((void*)&((char*)(&(P)[1]))[SQLITE_PAGE_SIZE])
drhac69b052004-05-12 13:30:07 +0000162#define PGHDR_TO_HIST(P,PGR) \
163 ((PgHistory*)&((char*)(&(P)[1]))[(PGR)->pageSize+(PGR)->nExtra])
drhed7c8552001-04-11 14:29:21 +0000164
165/*
drhed7c8552001-04-11 14:29:21 +0000166** How big to make the hash table used for locating in-memory pages
drh836faa42003-01-11 13:30:57 +0000167** by page number.
drhed7c8552001-04-11 14:29:21 +0000168*/
drh836faa42003-01-11 13:30:57 +0000169#define N_PG_HASH 2048
170
171/*
172** Hash a page number
173*/
174#define pager_hash(PN) ((PN)&(N_PG_HASH-1))
drhed7c8552001-04-11 14:29:21 +0000175
176/*
177** A open page cache is an instance of the following structure.
178*/
179struct Pager {
180 char *zFilename; /* Name of the database file */
181 char *zJournal; /* Name of the journal file */
drha76c82e2003-07-27 18:59:42 +0000182 char *zDirectory; /* Directory hold database and journal files */
drh8cfbf082001-09-19 13:22:39 +0000183 OsFile fd, jfd; /* File descriptors for database and journal */
drhac69b052004-05-12 13:30:07 +0000184 OsFile stfd; /* File descriptor for the statement subjournal*/
drhed7c8552001-04-11 14:29:21 +0000185 int dbSize; /* Number of pages in the file */
drh69688d52001-04-14 16:38:23 +0000186 int origDbSize; /* dbSize before the current change */
drhac69b052004-05-12 13:30:07 +0000187 int stmtSize; /* Size of database (in pages) at stmt_begin() */
188 off_t stmtJSize; /* Size of journal at stmt_begin() */
drh968af522003-02-11 14:55:40 +0000189 int nRec; /* Number of pages written to the journal */
190 u32 cksumInit; /* Quasi-random value added to every checksum */
drhac69b052004-05-12 13:30:07 +0000191 int stmtNRec; /* Number of records in stmt subjournal */
drh7e3b0a02001-04-28 16:52:40 +0000192 int nExtra; /* Add this many bytes to each in-memory page */
drhb6f41482004-05-14 01:58:11 +0000193 void (*xDestructor)(void*,int); /* Call this routine when freeing pages */
drha6abd042004-06-09 17:37:22 +0000194 void (*xReiniter)(void*,int); /* Call this routine when reloading pages */
drhb6f41482004-05-14 01:58:11 +0000195 int pageSize; /* Number of bytes in a page */
drhed7c8552001-04-11 14:29:21 +0000196 int nPage; /* Total number of in-memory pages */
drhd9b02572001-04-15 00:37:09 +0000197 int nRef; /* Number of in-memory pages with PgHdr.nRef>0 */
drhed7c8552001-04-11 14:29:21 +0000198 int mxPage; /* Maximum number of pages to hold in cache */
drhd9b02572001-04-15 00:37:09 +0000199 int nHit, nMiss, nOvfl; /* Cache hits, missing, and LRU overflows */
drh9eb9e262004-02-11 02:18:05 +0000200 void (*xCodec)(void*,void*,Pgno,int); /* Routine for en/decoding data */
drhb20ea9d2004-02-09 01:20:36 +0000201 void *pCodecArg; /* First argument to xCodec() */
drh603240c2002-03-05 01:11:12 +0000202 u8 journalOpen; /* True if journal file descriptors is valid */
drh34e79ce2004-02-08 06:05:46 +0000203 u8 journalStarted; /* True if header of journal is synced */
204 u8 useJournal; /* Use a rollback journal on this file */
drhac69b052004-05-12 13:30:07 +0000205 u8 stmtOpen; /* True if the statement subjournal is open */
206 u8 stmtInUse; /* True we are in a statement subtransaction */
207 u8 stmtAutoopen; /* Open stmt journal when main journal is opened*/
drh603240c2002-03-05 01:11:12 +0000208 u8 noSync; /* Do not sync the journal if true */
drh968af522003-02-11 14:55:40 +0000209 u8 fullSync; /* Do extra syncs of the journal for robustness */
drha6abd042004-06-09 17:37:22 +0000210 u8 state; /* PAGER_UNLOCK, _SHARED, _RESERVED, etc. */
drh603240c2002-03-05 01:11:12 +0000211 u8 errMask; /* One of several kinds of errors */
212 u8 tempFile; /* zFilename is a temporary file */
213 u8 readOnly; /* True for a read-only database */
214 u8 needSync; /* True if an fsync() is needed on the journal */
drha6abd042004-06-09 17:37:22 +0000215 u8 dirtyCache; /* True if cached pages have changed */
drh193a6b42002-07-07 16:52:46 +0000216 u8 alwaysRollback; /* Disable dont_rollback() for all pages */
drhac69b052004-05-12 13:30:07 +0000217 u8 memDb; /* True to inhibit all file I/O */
drh603240c2002-03-05 01:11:12 +0000218 u8 *aInJournal; /* One bit for each page in the database file */
drhac69b052004-05-12 13:30:07 +0000219 u8 *aInStmt; /* One bit for each page in the database */
drh726de592004-06-10 23:35:50 +0000220 int nMaster; /* Number of bytes to reserve for master j.p */
221 BusyHandler *pBusyHandler; /* Pointer to sqlite.busyHandler */
drhed7c8552001-04-11 14:29:21 +0000222 PgHdr *pFirst, *pLast; /* List of free pages */
drh341eae82003-01-21 02:39:36 +0000223 PgHdr *pFirstSynced; /* First free page with PgHdr.needSync==0 */
drhd9b02572001-04-15 00:37:09 +0000224 PgHdr *pAll; /* List of all pages */
drhac69b052004-05-12 13:30:07 +0000225 PgHdr *pStmt; /* List of pages in the statement subjournal */
drh726de592004-06-10 23:35:50 +0000226 PgHdr *aHash[N_PG_HASH]; /* Hash table to map page number to PgHdr */
drhd9b02572001-04-15 00:37:09 +0000227};
228
229/*
230** These are bits that can be set in Pager.errMask.
231*/
232#define PAGER_ERR_FULL 0x01 /* a write() failed */
233#define PAGER_ERR_MEM 0x02 /* malloc() failed */
234#define PAGER_ERR_LOCK 0x04 /* error in the locking protocol */
235#define PAGER_ERR_CORRUPT 0x08 /* database or journal corruption */
drh81a20f22001-10-12 17:30:04 +0000236#define PAGER_ERR_DISK 0x10 /* general disk I/O error - bad hard drive? */
drhd9b02572001-04-15 00:37:09 +0000237
238/*
drh5e00f6c2001-09-13 13:46:56 +0000239** Journal files begin with the following magic string. The data
240** was obtained from /dev/random. It is used only as a sanity check.
drh94f33312002-08-12 12:29:56 +0000241**
drhae2b40c2004-06-09 19:03:54 +0000242** Since version 2.8.0, the journal format contains additional sanity
243** checking information. If the power fails while the journal is begin
244** written, semi-random garbage data might appear in the journal
245** file after power is restored. If an attempt is then made
drh968af522003-02-11 14:55:40 +0000246** to roll the journal back, the database could be corrupted. The additional
247** sanity checking data is an attempt to discover the garbage in the
248** journal and ignore it.
249**
drhae2b40c2004-06-09 19:03:54 +0000250** The sanity checking information for the new journal format consists
drh968af522003-02-11 14:55:40 +0000251** of a 32-bit checksum on each page of data. The checksum covers both
drhd0ba1932004-02-10 01:54:28 +0000252** the page number and the SQLITE_PAGE_SIZE bytes of data for the page.
drh968af522003-02-11 14:55:40 +0000253** This cksum is initialized to a 32-bit random value that appears in the
254** journal file right after the header. The random initializer is important,
255** because garbage data that appears at the end of a journal is likely
256** data that was once in other files that have now been deleted. If the
257** garbage data came from an obsolete journal file, the checksums might
258** be correct. But by initializing the checksum to random value which
259** is different for every journal, we minimize that risk.
drhd9b02572001-04-15 00:37:09 +0000260*/
drhae2b40c2004-06-09 19:03:54 +0000261static const unsigned char aJournalMagic[] = {
262 0xd9, 0xd5, 0x05, 0xf9, 0x20, 0xa1, 0x63, 0xd7,
drhed7c8552001-04-11 14:29:21 +0000263};
264
265/*
drh726de592004-06-10 23:35:50 +0000266** The size of the header and of each page in the journal is determined
267** by the following macros.
drh968af522003-02-11 14:55:40 +0000268*/
drhae2b40c2004-06-09 19:03:54 +0000269#define JOURNAL_HDR_SZ(pPager) (24 + (pPager)->nMaster)
270#define JOURNAL_PG_SZ(pPager) ((pPager->pageSize) + 8)
drh968af522003-02-11 14:55:40 +0000271
danielk197713adf8a2004-06-03 16:08:41 +0000272
drh968af522003-02-11 14:55:40 +0000273/*
drh726de592004-06-10 23:35:50 +0000274** Enable reference count tracking (for debugging) here:
drhdd793422001-06-28 01:54:48 +0000275*/
drh74587e52002-08-13 00:01:16 +0000276#ifdef SQLITE_TEST
drh3aac2dd2004-04-26 14:10:20 +0000277 int pager3_refinfo_enable = 0;
drhdd793422001-06-28 01:54:48 +0000278 static void pager_refinfo(PgHdr *p){
279 static int cnt = 0;
drh3aac2dd2004-04-26 14:10:20 +0000280 if( !pager3_refinfo_enable ) return;
drhdd793422001-06-28 01:54:48 +0000281 printf(
282 "REFCNT: %4d addr=0x%08x nRef=%d\n",
283 p->pgno, (int)PGHDR_TO_DATA(p), p->nRef
284 );
285 cnt++; /* Something to set a breakpoint on */
286 }
287# define REFINFO(X) pager_refinfo(X)
288#else
289# define REFINFO(X)
290#endif
291
292/*
drh34e79ce2004-02-08 06:05:46 +0000293** Read a 32-bit integer from the given file descriptor. Store the integer
294** that is read in *pRes. Return SQLITE_OK if everything worked, or an
295** error code is something goes wrong.
drh726de592004-06-10 23:35:50 +0000296**
297** All values are stored on disk as big-endian.
drh94f33312002-08-12 12:29:56 +0000298*/
drhae2b40c2004-06-09 19:03:54 +0000299static int read32bits(OsFile *fd, u32 *pRes){
drh94f33312002-08-12 12:29:56 +0000300 u32 res;
301 int rc;
danielk19774adee202004-05-08 08:23:19 +0000302 rc = sqlite3OsRead(fd, &res, sizeof(res));
drhae2b40c2004-06-09 19:03:54 +0000303 if( rc==SQLITE_OK ){
drh94f33312002-08-12 12:29:56 +0000304 unsigned char ac[4];
305 memcpy(ac, &res, 4);
306 res = (ac[0]<<24) | (ac[1]<<16) | (ac[2]<<8) | ac[3];
307 }
308 *pRes = res;
309 return rc;
310}
311
312/*
drh34e79ce2004-02-08 06:05:46 +0000313** Write a 32-bit integer into the given file descriptor. Return SQLITE_OK
314** on success or an error code is something goes wrong.
drh94f33312002-08-12 12:29:56 +0000315*/
316static int write32bits(OsFile *fd, u32 val){
317 unsigned char ac[4];
drh94f33312002-08-12 12:29:56 +0000318 ac[0] = (val>>24) & 0xff;
319 ac[1] = (val>>16) & 0xff;
320 ac[2] = (val>>8) & 0xff;
321 ac[3] = val & 0xff;
danielk19774adee202004-05-08 08:23:19 +0000322 return sqlite3OsWrite(fd, ac, 4);
drh94f33312002-08-12 12:29:56 +0000323}
324
drh2554f8b2003-01-22 01:26:44 +0000325/*
326** Write a 32-bit integer into a page header right before the
327** page data. This will overwrite the PgHdr.pDirty pointer.
328*/
drh968af522003-02-11 14:55:40 +0000329static void store32bits(u32 val, PgHdr *p, int offset){
drh2554f8b2003-01-22 01:26:44 +0000330 unsigned char *ac;
drhec1bd0b2003-08-26 11:41:27 +0000331 ac = &((unsigned char*)PGHDR_TO_DATA(p))[offset];
drhae2b40c2004-06-09 19:03:54 +0000332 ac[0] = (val>>24) & 0xff;
333 ac[1] = (val>>16) & 0xff;
334 ac[2] = (val>>8) & 0xff;
335 ac[3] = val & 0xff;
drh2554f8b2003-01-22 01:26:44 +0000336}
337
drh94f33312002-08-12 12:29:56 +0000338
339/*
drhd9b02572001-04-15 00:37:09 +0000340** Convert the bits in the pPager->errMask into an approprate
341** return code.
342*/
343static int pager_errcode(Pager *pPager){
344 int rc = SQLITE_OK;
345 if( pPager->errMask & PAGER_ERR_LOCK ) rc = SQLITE_PROTOCOL;
drh81a20f22001-10-12 17:30:04 +0000346 if( pPager->errMask & PAGER_ERR_DISK ) rc = SQLITE_IOERR;
drhd9b02572001-04-15 00:37:09 +0000347 if( pPager->errMask & PAGER_ERR_FULL ) rc = SQLITE_FULL;
348 if( pPager->errMask & PAGER_ERR_MEM ) rc = SQLITE_NOMEM;
349 if( pPager->errMask & PAGER_ERR_CORRUPT ) rc = SQLITE_CORRUPT;
350 return rc;
drhed7c8552001-04-11 14:29:21 +0000351}
352
353/*
drh03eb96a2002-11-10 23:32:56 +0000354** Add or remove a page from the list of all pages that are in the
drhac69b052004-05-12 13:30:07 +0000355** statement journal.
drh03eb96a2002-11-10 23:32:56 +0000356**
357** The Pager keeps a separate list of pages that are currently in
drhac69b052004-05-12 13:30:07 +0000358** the statement journal. This helps the sqlite3pager_stmt_commit()
drh03eb96a2002-11-10 23:32:56 +0000359** routine run MUCH faster for the common case where there are many
drhac69b052004-05-12 13:30:07 +0000360** pages in memory but only a few are in the statement journal.
drh03eb96a2002-11-10 23:32:56 +0000361*/
drh3aac2dd2004-04-26 14:10:20 +0000362static void page_add_to_stmt_list(PgHdr *pPg){
drh03eb96a2002-11-10 23:32:56 +0000363 Pager *pPager = pPg->pPager;
drhac69b052004-05-12 13:30:07 +0000364 if( pPg->inStmt ) return;
365 assert( pPg->pPrevStmt==0 && pPg->pNextStmt==0 );
366 pPg->pPrevStmt = 0;
367 if( pPager->pStmt ){
368 pPager->pStmt->pPrevStmt = pPg;
drh03eb96a2002-11-10 23:32:56 +0000369 }
drhac69b052004-05-12 13:30:07 +0000370 pPg->pNextStmt = pPager->pStmt;
371 pPager->pStmt = pPg;
372 pPg->inStmt = 1;
drh03eb96a2002-11-10 23:32:56 +0000373}
drh3aac2dd2004-04-26 14:10:20 +0000374static void page_remove_from_stmt_list(PgHdr *pPg){
drhac69b052004-05-12 13:30:07 +0000375 if( !pPg->inStmt ) return;
376 if( pPg->pPrevStmt ){
377 assert( pPg->pPrevStmt->pNextStmt==pPg );
378 pPg->pPrevStmt->pNextStmt = pPg->pNextStmt;
drh03eb96a2002-11-10 23:32:56 +0000379 }else{
drhac69b052004-05-12 13:30:07 +0000380 assert( pPg->pPager->pStmt==pPg );
381 pPg->pPager->pStmt = pPg->pNextStmt;
drh03eb96a2002-11-10 23:32:56 +0000382 }
drhac69b052004-05-12 13:30:07 +0000383 if( pPg->pNextStmt ){
384 assert( pPg->pNextStmt->pPrevStmt==pPg );
385 pPg->pNextStmt->pPrevStmt = pPg->pPrevStmt;
drh03eb96a2002-11-10 23:32:56 +0000386 }
drhac69b052004-05-12 13:30:07 +0000387 pPg->pNextStmt = 0;
388 pPg->pPrevStmt = 0;
389 pPg->inStmt = 0;
drh03eb96a2002-11-10 23:32:56 +0000390}
391
392/*
drhed7c8552001-04-11 14:29:21 +0000393** Find a page in the hash table given its page number. Return
394** a pointer to the page or NULL if not found.
395*/
drhd9b02572001-04-15 00:37:09 +0000396static PgHdr *pager_lookup(Pager *pPager, Pgno pgno){
drh836faa42003-01-11 13:30:57 +0000397 PgHdr *p = pPager->aHash[pager_hash(pgno)];
drhed7c8552001-04-11 14:29:21 +0000398 while( p && p->pgno!=pgno ){
399 p = p->pNextHash;
400 }
401 return p;
402}
403
404/*
405** Unlock the database and clear the in-memory cache. This routine
406** sets the state of the pager back to what it was when it was first
407** opened. Any outstanding pages are invalidated and subsequent attempts
408** to access those pages will likely result in a coredump.
409*/
drhd9b02572001-04-15 00:37:09 +0000410static void pager_reset(Pager *pPager){
drhed7c8552001-04-11 14:29:21 +0000411 PgHdr *pPg, *pNext;
drhd9b02572001-04-15 00:37:09 +0000412 for(pPg=pPager->pAll; pPg; pPg=pNext){
413 pNext = pPg->pNextAll;
414 sqliteFree(pPg);
drhed7c8552001-04-11 14:29:21 +0000415 }
416 pPager->pFirst = 0;
drh341eae82003-01-21 02:39:36 +0000417 pPager->pFirstSynced = 0;
drhd9b02572001-04-15 00:37:09 +0000418 pPager->pLast = 0;
419 pPager->pAll = 0;
drhed7c8552001-04-11 14:29:21 +0000420 memset(pPager->aHash, 0, sizeof(pPager->aHash));
421 pPager->nPage = 0;
drha6abd042004-06-09 17:37:22 +0000422 if( pPager->state>=PAGER_RESERVED ){
drh3aac2dd2004-04-26 14:10:20 +0000423 sqlite3pager_rollback(pPager);
drhed7c8552001-04-11 14:29:21 +0000424 }
drha6abd042004-06-09 17:37:22 +0000425 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
426 pPager->state = PAGER_UNLOCK;
drhd9b02572001-04-15 00:37:09 +0000427 pPager->dbSize = -1;
drhed7c8552001-04-11 14:29:21 +0000428 pPager->nRef = 0;
drh8cfbf082001-09-19 13:22:39 +0000429 assert( pPager->journalOpen==0 );
drhed7c8552001-04-11 14:29:21 +0000430}
431
432/*
433** When this routine is called, the pager has the journal file open and
drha6abd042004-06-09 17:37:22 +0000434** a RESERVED or EXCLUSIVE lock on the database. This routine releases
435** the database lock and acquires a SHARED lock in its place. The journal
436** file is deleted and closed.
drh50457892003-09-06 01:10:47 +0000437**
438** TODO: Consider keeping the journal file open for temporary databases.
439** This might give a performance improvement on windows where opening
440** a file is an expensive operation.
drhed7c8552001-04-11 14:29:21 +0000441*/
drhd9b02572001-04-15 00:37:09 +0000442static int pager_unwritelock(Pager *pPager){
drhd9b02572001-04-15 00:37:09 +0000443 PgHdr *pPg;
drha6abd042004-06-09 17:37:22 +0000444 if( pPager->state<PAGER_RESERVED ){
445 return SQLITE_OK;
446 }
drh3aac2dd2004-04-26 14:10:20 +0000447 sqlite3pager_stmt_commit(pPager);
drhac69b052004-05-12 13:30:07 +0000448 if( pPager->stmtOpen ){
449 sqlite3OsClose(&pPager->stfd);
450 pPager->stmtOpen = 0;
drh0f892532002-05-30 12:27:03 +0000451 }
drhda47d772002-12-02 04:25:19 +0000452 if( pPager->journalOpen ){
danielk19774adee202004-05-08 08:23:19 +0000453 sqlite3OsClose(&pPager->jfd);
drhda47d772002-12-02 04:25:19 +0000454 pPager->journalOpen = 0;
danielk19774adee202004-05-08 08:23:19 +0000455 sqlite3OsDelete(pPager->zJournal);
drhda47d772002-12-02 04:25:19 +0000456 sqliteFree( pPager->aInJournal );
457 pPager->aInJournal = 0;
458 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
459 pPg->inJournal = 0;
460 pPg->dirty = 0;
drhdb48ee02003-01-16 13:42:43 +0000461 pPg->needSync = 0;
drhda47d772002-12-02 04:25:19 +0000462 }
463 }else{
drha6abd042004-06-09 17:37:22 +0000464 assert( pPager->dirtyCache==0 || pPager->useJournal==0 );
drhd9b02572001-04-15 00:37:09 +0000465 }
drha6abd042004-06-09 17:37:22 +0000466 sqlite3OsUnlock(&pPager->fd, SHARED_LOCK);
467 pPager->state = PAGER_SHARED;
468 return SQLITE_OK;
drhed7c8552001-04-11 14:29:21 +0000469}
470
drhed7c8552001-04-11 14:29:21 +0000471/*
drh968af522003-02-11 14:55:40 +0000472** Compute and return a checksum for the page of data.
drh34e79ce2004-02-08 06:05:46 +0000473**
474** This is not a real checksum. It is really just the sum of the
drh726de592004-06-10 23:35:50 +0000475** random initial value and the page number. We experimented with
476** a checksum of the entire data, but that was found to be too slow.
477**
478** Note that the page number is stored at the beginning of data and
479** the checksum is stored at the end. This is important. If journal
480** corruption occurs due to a power failure, the most likely scenario
481** is that one end or the other of the record will be changed. It is
482** much less likely that the two ends of the journal record will be
483** correct and the middle be corrupt. Thus, this "checksum" scheme,
484** though fast and simple, catches the mostly likely kind of corruption.
485**
486** FIX ME: Consider adding every 200th (or so) byte of the data to the
487** checksum. That way if a single page spans 3 or more disk sectors and
488** only the middle sector is corrupt, we will still have a reasonable
489** chance of failing the checksum and thus detecting the problem.
drh968af522003-02-11 14:55:40 +0000490*/
491static u32 pager_cksum(Pager *pPager, Pgno pgno, const char *aData){
492 u32 cksum = pPager->cksumInit + pgno;
drh968af522003-02-11 14:55:40 +0000493 return cksum;
494}
495
496/*
drhfa86c412002-02-02 15:01:15 +0000497** Read a single page from the journal file opened on file descriptor
498** jfd. Playback this one page.
drh968af522003-02-11 14:55:40 +0000499**
drh726de592004-06-10 23:35:50 +0000500** If useCksum==0 it means this journal does not use checksums. Checksums
501** are not used in statement journals because statement journals do not
502** need to survive power failures.
drhfa86c412002-02-02 15:01:15 +0000503*/
drhae2b40c2004-06-09 19:03:54 +0000504static int pager_playback_one_page(Pager *pPager, OsFile *jfd, int useCksum){
drhfa86c412002-02-02 15:01:15 +0000505 int rc;
drhae2b40c2004-06-09 19:03:54 +0000506 PgHdr *pPg; /* An existing page in the cache */
507 Pgno pgno; /* The page number of a page in journal */
508 u32 cksum; /* Checksum used for sanity checking */
509 u8 aData[SQLITE_PAGE_SIZE]; /* Store data here */
drhfa86c412002-02-02 15:01:15 +0000510
drhae2b40c2004-06-09 19:03:54 +0000511 rc = read32bits(jfd, &pgno);
drh99ee3602003-02-16 19:13:36 +0000512 if( rc!=SQLITE_OK ) return rc;
drhae2b40c2004-06-09 19:03:54 +0000513 rc = sqlite3OsRead(jfd, &aData, pPager->pageSize);
drh99ee3602003-02-16 19:13:36 +0000514 if( rc!=SQLITE_OK ) return rc;
drhfa86c412002-02-02 15:01:15 +0000515
drh968af522003-02-11 14:55:40 +0000516 /* Sanity checking on the page. This is more important that I originally
517 ** thought. If a power failure occurs while the journal is being written,
518 ** it could cause invalid data to be written into the journal. We need to
519 ** detect this invalid data (with high probability) and ignore it.
520 */
drhae2b40c2004-06-09 19:03:54 +0000521 if( pgno==0 ){
drh968af522003-02-11 14:55:40 +0000522 return SQLITE_DONE;
523 }
drhae2b40c2004-06-09 19:03:54 +0000524 if( pgno>(unsigned)pPager->dbSize ){
drh968af522003-02-11 14:55:40 +0000525 return SQLITE_OK;
526 }
drhae2b40c2004-06-09 19:03:54 +0000527 if( useCksum ){
528 rc = read32bits(jfd, &cksum);
drh99ee3602003-02-16 19:13:36 +0000529 if( rc ) return rc;
drhae2b40c2004-06-09 19:03:54 +0000530 if( pager_cksum(pPager, pgno, aData)!=cksum ){
drh968af522003-02-11 14:55:40 +0000531 return SQLITE_DONE;
532 }
533 }
drhfa86c412002-02-02 15:01:15 +0000534
danielk1977a3f3a5f2004-06-10 04:32:16 +0000535 assert( pPager->state==PAGER_RESERVED || pPager->state==PAGER_EXCLUSIVE );
536
537 /* If the pager is in RESERVED state, then there must be a copy of this
538 ** page in the pager cache. In this case just update the pager cache,
danielk19770de0bb32004-06-10 05:59:24 +0000539 ** not the database file. The page is left marked dirty in this case.
540 **
541 ** FIX ME: Ideally the page would only be left marked dirty when the
542 ** pager is in RESERVED state if it was dirty when this statement
543 ** transaction was started.
danielk1977a3f3a5f2004-06-10 04:32:16 +0000544 **
545 ** If in EXCLUSIVE state, then we update the pager cache if it exists
546 ** and the main file. The page is then marked not dirty.
drhfa86c412002-02-02 15:01:15 +0000547 */
drhae2b40c2004-06-09 19:03:54 +0000548 pPg = pager_lookup(pPager, pgno);
danielk1977a3f3a5f2004-06-10 04:32:16 +0000549 assert( pPager->state==PAGER_EXCLUSIVE || pPg );
drhae2b40c2004-06-09 19:03:54 +0000550 TRACE2("PLAYBACK page %d\n", pgno);
danielk1977a3f3a5f2004-06-10 04:32:16 +0000551 if( pPager->state==PAGER_EXCLUSIVE ){
552 sqlite3OsSeek(&pPager->fd, (pgno-1)*(off_t)SQLITE_PAGE_SIZE);
553 rc = sqlite3OsWrite(&pPager->fd, aData, SQLITE_PAGE_SIZE);
554 }
drhfa86c412002-02-02 15:01:15 +0000555 if( pPg ){
drhacf4ac92003-12-17 23:57:34 +0000556 /* No page should ever be rolled back that is in use, except for page
557 ** 1 which is held in use in order to keep the lock on the database
558 ** active.
559 */
drhb6f41482004-05-14 01:58:11 +0000560 void *pData;
drhacf4ac92003-12-17 23:57:34 +0000561 assert( pPg->nRef==0 || pPg->pgno==1 );
drhb6f41482004-05-14 01:58:11 +0000562 pData = PGHDR_TO_DATA(pPg);
drhae2b40c2004-06-09 19:03:54 +0000563 memcpy(pData, aData, pPager->pageSize);
drh726de592004-06-10 23:35:50 +0000564 if( pPager->xDestructor ){ /*** FIX ME: Should this be xReinit? ***/
drhb6f41482004-05-14 01:58:11 +0000565 pPager->xDestructor(pData, pPager->pageSize);
drhde647132004-05-07 17:57:49 +0000566 }
danielk19770de0bb32004-06-10 05:59:24 +0000567 if( pPager->state==PAGER_EXCLUSIVE ){
568 pPg->dirty = 0;
569 pPg->needSync = 0;
570 }
drhb6f41482004-05-14 01:58:11 +0000571 CODEC(pPager, pData, pPg->pgno, 3);
drhfa86c412002-02-02 15:01:15 +0000572 }
573 return rc;
574}
575
576/*
danielk197713adf8a2004-06-03 16:08:41 +0000577** Parameter zMaster is the name of a master journal file. A single journal
578** file that referred to the master journal file has just been rolled back.
579** This routine checks if it is possible to delete the master journal file,
580** and does so if it is.
drh726de592004-06-10 23:35:50 +0000581**
582** The master journal file contains the names of all child journals.
583** To tell if a master journal can be deleted, check to each of the
584** children. If all children are either missing or do not refer to
585** a different master journal, then this master journal can be deleted.
danielk197713adf8a2004-06-03 16:08:41 +0000586*/
587static int pager_delmaster(const char *zMaster){
588 int rc;
589 int master_open = 0;
590 OsFile master;
591 char *zMasterJournal = 0; /* Contents of master journal file */
592 off_t nMasterJournal; /* Size of master journal file */
593
594 /* Open the master journal file exclusively in case some other process
595 ** is running this routine also. Not that it makes too much difference.
596 */
597 rc = sqlite3OsOpenExclusive(zMaster, &master, 0);
598 if( rc!=SQLITE_OK ) goto delmaster_out;
599 master_open = 1;
600
601 rc = sqlite3OsFileSize(&master, &nMasterJournal);
602 if( rc!=SQLITE_OK ) goto delmaster_out;
603
604 if( nMasterJournal>0 ){
605 char *zDb;
606 zMasterJournal = (char *)sqliteMalloc(nMasterJournal);
607 if( !zMasterJournal ){
608 rc = SQLITE_NOMEM;
609 goto delmaster_out;
610 }
611 rc = sqlite3OsRead(&master, zMasterJournal, nMasterJournal);
612 if( rc!=SQLITE_OK ) goto delmaster_out;
613
614 zDb = zMasterJournal;
615 while( (zDb-zMasterJournal)<nMasterJournal ){
616 char *zJournal = 0;
drh726de592004-06-10 23:35:50 +0000617 /*** FIX ME: Store the full journal name in the master journal,
618 **** not just the base database name. ***/
danielk197713adf8a2004-06-03 16:08:41 +0000619 sqlite3SetString(&zJournal, zDb, "-journal", 0);
620 if( !zJournal ){
621 rc = SQLITE_NOMEM;
622 goto delmaster_out;
623 }
624 if( sqlite3OsFileExists(zJournal) ){
625 /* One of the journals pointed to by the master journal exists.
626 ** Open it and check if it points at the master journal. If
627 ** so, return without deleting the master journal file.
628 */
629 OsFile journal;
630 int nMaster;
danielk19779eed5052004-06-04 10:38:30 +0000631 off_t jsz;
danielk197713adf8a2004-06-03 16:08:41 +0000632
633 rc = sqlite3OsOpenReadOnly(zJournal, &journal);
danielk19779eed5052004-06-04 10:38:30 +0000634 sqliteFree(zJournal);
danielk197713adf8a2004-06-03 16:08:41 +0000635 if( rc!=SQLITE_OK ){
636 sqlite3OsClose(&journal);
danielk197713adf8a2004-06-03 16:08:41 +0000637 goto delmaster_out;
638 }
danielk197713adf8a2004-06-03 16:08:41 +0000639
drhae2b40c2004-06-09 19:03:54 +0000640 /* Check if the file is big enough to be a journal file
danielk19779eed5052004-06-04 10:38:30 +0000641 ** with the required master journal name. If not, ignore it.
642 */
643 rc = sqlite3OsFileSize(&journal, &jsz);
644 if( rc!=SQLITE_OK ){
645 sqlite3OsClose(&journal);
646 goto delmaster_out;
647 }
drhae2b40c2004-06-09 19:03:54 +0000648 if( jsz<(25+strlen(zMaster)) ){
danielk19779eed5052004-06-04 10:38:30 +0000649 sqlite3OsClose(&journal);
650 continue;
651 }
652
danielk197713adf8a2004-06-03 16:08:41 +0000653 /* Seek to the point in the journal where the master journal name
654 ** is stored. Read the master journal name into memory obtained
655 ** from malloc.
656 */
drhae2b40c2004-06-09 19:03:54 +0000657 rc = sqlite3OsSeek(&journal, 20);
danielk197713adf8a2004-06-03 16:08:41 +0000658 if( rc!=SQLITE_OK ) goto delmaster_out;
drhae2b40c2004-06-09 19:03:54 +0000659 rc = read32bits(&journal, (u32*)&nMaster);
danielk197713adf8a2004-06-03 16:08:41 +0000660 if( rc!=SQLITE_OK ) goto delmaster_out;
drhae2b40c2004-06-09 19:03:54 +0000661 if( nMaster>0 && nMaster>=strlen(zMaster)+1 ){
drh726de592004-06-10 23:35:50 +0000662 /*** FIX ME: Consider allocating this space at the same time
663 **** space is allocated for holding the text of the master journal */
danielk197713adf8a2004-06-03 16:08:41 +0000664 char *zMasterPtr = (char *)sqliteMalloc(nMaster);
665 if( !zMasterPtr ){
666 rc = SQLITE_NOMEM;
667 }
668 rc = sqlite3OsRead(&journal, zMasterPtr, nMaster);
669 if( rc!=SQLITE_OK ){
670 sqliteFree(zMasterPtr);
671 goto delmaster_out;
672 }
673 if( 0==strncmp(zMasterPtr, zMaster, nMaster) ){
674 /* We have a match. Do not delete the master journal file. */
675 sqliteFree(zMasterPtr);
676 goto delmaster_out;
677 }
678 }
679 }
680 zDb += (strlen(zDb)+1);
681 }
682 }
683
684 sqlite3OsDelete(zMaster);
685
686delmaster_out:
687 if( zMasterJournal ){
688 sqliteFree(zMasterJournal);
689 }
690 if( master_open ){
691 sqlite3OsClose(&master);
692 }
693 return rc;
694}
695
696/*
drha6abd042004-06-09 17:37:22 +0000697** Make every page in the cache agree with what is on disk. In other words,
698** reread the disk to reset the state of the cache.
699**
700** This routine is called after a rollback in which some of the dirty cache
701** pages had never been written out to disk. We need to roll back the
702** cache content and the easiest way to do that is to reread the old content
703** back from the disk.
704*/
705static int pager_reload_cache(Pager *pPager){
706 PgHdr *pPg;
707 int rc = SQLITE_OK;
708 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
709 char zBuf[SQLITE_PAGE_SIZE];
710 if( !pPg->dirty ) continue;
711 if( (int)pPg->pgno <= pPager->origDbSize ){
712 sqlite3OsSeek(&pPager->fd, SQLITE_PAGE_SIZE*(off_t)(pPg->pgno-1));
713 rc = sqlite3OsRead(&pPager->fd, zBuf, SQLITE_PAGE_SIZE);
714 TRACE2("REFETCH page %d\n", pPg->pgno);
715 CODEC(pPager, zBuf, pPg->pgno, 2);
716 if( rc ) break;
717 }else{
718 memset(zBuf, 0, SQLITE_PAGE_SIZE);
719 }
720 if( pPg->nRef==0 || memcmp(zBuf, PGHDR_TO_DATA(pPg), SQLITE_PAGE_SIZE) ){
721 memcpy(PGHDR_TO_DATA(pPg), zBuf, SQLITE_PAGE_SIZE);
722 if( pPager->xReiniter ){
723 pPager->xReiniter(PGHDR_TO_DATA(pPg), pPager->pageSize);
724 }else{
725 memset(PGHDR_TO_EXTRA(pPg), 0, pPager->nExtra);
726 }
727 }
728 pPg->needSync = 0;
729 pPg->dirty = 0;
730 }
731 return rc;
732}
733
734
735/*
drhed7c8552001-04-11 14:29:21 +0000736** Playback the journal and thus restore the database file to
737** the state it was in before we started making changes.
738**
drh34e79ce2004-02-08 06:05:46 +0000739** The journal file format is as follows:
740**
drhae2b40c2004-06-09 19:03:54 +0000741** (1) 8 byte prefix. A copy of aJournalMagic[].
742** (2) 4 byte big-endian integer which is the number of valid page records
drh34e79ce2004-02-08 06:05:46 +0000743** in the journal. If this value is 0xffffffff, then compute the
drhae2b40c2004-06-09 19:03:54 +0000744** number of page records from the journal size.
745** (3) 4 byte big-endian integer which is the initial value for the
746** sanity checksum.
747** (4) 4 byte integer which is the number of pages to truncate the
drh34e79ce2004-02-08 06:05:46 +0000748** database to during a rollback.
drhae2b40c2004-06-09 19:03:54 +0000749** (5) 4 byte integer which is the number of bytes in the master journal
750** name. The value may be zero (indicate that there is no master
751** journal.)
752** (6) N bytes of the master journal name. The name will be nul-terminated
753** and might be shorter than the value read from (5). If the first byte
754** of the name is \000 then there is no master journal. The master
755** journal name is stored in UTF-8.
756** (7) Zero or more pages instances, each as follows:
drh34e79ce2004-02-08 06:05:46 +0000757** + 4 byte page number.
drhae2b40c2004-06-09 19:03:54 +0000758** + pPager->pageSize bytes of data.
759** + 4 byte checksum
drh34e79ce2004-02-08 06:05:46 +0000760**
drhae2b40c2004-06-09 19:03:54 +0000761** When we speak of the journal header, we mean the first 6 items above.
762** Each entry in the journal is an instance of the 7th item.
drh34e79ce2004-02-08 06:05:46 +0000763**
764** Call the value from the second bullet "nRec". nRec is the number of
765** valid page entries in the journal. In most cases, you can compute the
766** value of nRec from the size of the journal file. But if a power
767** failure occurred while the journal was being written, it could be the
768** case that the size of the journal file had already been increased but
769** the extra entries had not yet made it safely to disk. In such a case,
770** the value of nRec computed from the file size would be too large. For
771** that reason, we always use the nRec value in the header.
772**
773** If the nRec value is 0xffffffff it means that nRec should be computed
774** from the file size. This value is used when the user selects the
775** no-sync option for the journal. A power failure could lead to corruption
776** in this case. But for things like temporary table (which will be
777** deleted when the power is restored) we don't care.
778**
drhd9b02572001-04-15 00:37:09 +0000779** If the file opened as the journal file is not a well-formed
drh34e79ce2004-02-08 06:05:46 +0000780** journal file then the database will likely already be
781** corrupted, so the PAGER_ERR_CORRUPT bit is set in pPager->errMask
782** and SQLITE_CORRUPT is returned. If it all works, then this routine
783** returns SQLITE_OK.
drhed7c8552001-04-11 14:29:21 +0000784*/
drh99ee3602003-02-16 19:13:36 +0000785static int pager_playback(Pager *pPager, int useJournalSize){
drh968af522003-02-11 14:55:40 +0000786 off_t szJ; /* Size of the journal file in bytes */
787 int nRec; /* Number of Records in the journal */
drhd9b02572001-04-15 00:37:09 +0000788 int i; /* Loop counter */
789 Pgno mxPg = 0; /* Size of the original file in pages */
drhae2b40c2004-06-09 19:03:54 +0000790 unsigned char aMagic[8]; /* A buffer to hold the magic header */
791 int rc; /* Result code of a subroutine */
792 int nMaster; /* Number of bytes in the name of master journal */
danielk197713adf8a2004-06-03 16:08:41 +0000793 char *zMaster = 0; /* Name of master journal file if any */
drhed7c8552001-04-11 14:29:21 +0000794
drhc3a64ba2001-11-22 00:01:27 +0000795 /* Figure out how many records are in the journal. Abort early if
796 ** the journal is empty.
drhed7c8552001-04-11 14:29:21 +0000797 */
drh8cfbf082001-09-19 13:22:39 +0000798 assert( pPager->journalOpen );
danielk19774adee202004-05-08 08:23:19 +0000799 sqlite3OsSeek(&pPager->jfd, 0);
800 rc = sqlite3OsFileSize(&pPager->jfd, &szJ);
drhc3a64ba2001-11-22 00:01:27 +0000801 if( rc!=SQLITE_OK ){
802 goto end_playback;
803 }
drh240c5792004-02-08 00:40:52 +0000804
805 /* If the journal file is too small to contain a complete header,
drh34e79ce2004-02-08 06:05:46 +0000806 ** it must mean that the process that created the journal was just
807 ** beginning to write the journal file when it died. In that case,
808 ** the database file should have still been completely unchanged.
809 ** Nothing needs to be rolled back. We can safely ignore this journal.
drh240c5792004-02-08 00:40:52 +0000810 */
drhae2b40c2004-06-09 19:03:54 +0000811 if( szJ < 24 ){
drhc3a64ba2001-11-22 00:01:27 +0000812 goto end_playback;
813 }
814
drhae2b40c2004-06-09 19:03:54 +0000815 /* (1) Read the beginning of the journal and verify the magic string
816 ** at the beginning of the journal. */
danielk19774adee202004-05-08 08:23:19 +0000817 rc = sqlite3OsRead(&pPager->jfd, aMagic, sizeof(aMagic));
drhae2b40c2004-06-09 19:03:54 +0000818 if( rc!=SQLITE_OK || memcmp(aMagic, aJournalMagic, sizeof(aMagic))!=0 ){
819 rc = SQLITE_PROTOCOL;
820 goto end_playback;
821 }
822
823 /* (2) Read the number of pages stored in the journal. */
824 rc = read32bits(&pPager->jfd, (u32*)&nRec);
825 if( rc ) goto end_playback;
826 if( nRec==0xffffffff || useJournalSize ){
827 nRec = (szJ - JOURNAL_HDR_SZ(pPager))/JOURNAL_PG_SZ(pPager);
828 }
829
830 /* (3) Read the initial value for the sanity checksum */
831 rc = read32bits(&pPager->jfd, &pPager->cksumInit);
832 if( rc ) goto end_playback;
833
834 /* (4) Read the number of pages in the database file prior to the
835 ** start of the transaction */
836 rc = read32bits(&pPager->jfd, &mxPg);
drh94f33312002-08-12 12:29:56 +0000837 if( rc!=SQLITE_OK ){
drh81a20f22001-10-12 17:30:04 +0000838 goto end_playback;
drhd9b02572001-04-15 00:37:09 +0000839 }
drhae2b40c2004-06-09 19:03:54 +0000840
841 /* (5) and (6): Check if a master journal file is specified. If one is
842 ** specified, only proceed with the playback if it still exists. */
843 rc = read32bits(&pPager->jfd, &nMaster);
844 if( rc ) goto end_playback;
845 if( nMaster>0 ){
846 zMaster = sqliteMalloc(nMaster);
847 if( !zMaster ){
848 rc = SQLITE_NOMEM;
drh240c5792004-02-08 00:40:52 +0000849 goto end_playback;
850 }
drh427eab52004-06-10 00:51:43 +0000851 rc = sqlite3OsRead(&pPager->jfd, zMaster, nMaster);
drhae2b40c2004-06-09 19:03:54 +0000852 if( rc!=SQLITE_OK || (zMaster[0] && !sqlite3OsFileExists(zMaster)) ){
853 goto end_playback;
danielk197713adf8a2004-06-03 16:08:41 +0000854 }
drhae2b40c2004-06-09 19:03:54 +0000855 }
danielk197713adf8a2004-06-03 16:08:41 +0000856
drhae2b40c2004-06-09 19:03:54 +0000857 /* Truncate the database file back to it's original size */
drhd8d66e82003-02-12 02:10:15 +0000858 assert( pPager->origDbSize==0 || pPager->origDbSize==mxPg );
danielk19774adee202004-05-08 08:23:19 +0000859 rc = sqlite3OsTruncate(&pPager->fd, SQLITE_PAGE_SIZE*(off_t)mxPg);
drh81a20f22001-10-12 17:30:04 +0000860 if( rc!=SQLITE_OK ){
861 goto end_playback;
862 }
drhd9b02572001-04-15 00:37:09 +0000863 pPager->dbSize = mxPg;
864
drhfa86c412002-02-02 15:01:15 +0000865 /* Copy original pages out of the journal and back into the database file.
drhed7c8552001-04-11 14:29:21 +0000866 */
drh968af522003-02-11 14:55:40 +0000867 for(i=0; i<nRec; i++){
drhae2b40c2004-06-09 19:03:54 +0000868 rc = pager_playback_one_page(pPager, &pPager->jfd, 1);
drh968af522003-02-11 14:55:40 +0000869 if( rc!=SQLITE_OK ){
870 if( rc==SQLITE_DONE ){
drh968af522003-02-11 14:55:40 +0000871 rc = SQLITE_OK;
872 }
873 break;
874 }
drhed7c8552001-04-11 14:29:21 +0000875 }
drh81a20f22001-10-12 17:30:04 +0000876
drh4a0681e2003-02-13 01:58:20 +0000877 /* Pages that have been written to the journal but never synced
878 ** where not restored by the loop above. We have to restore those
drh240c5792004-02-08 00:40:52 +0000879 ** pages by reading them back from the original database.
drhdb48ee02003-01-16 13:42:43 +0000880 */
881 if( rc==SQLITE_OK ){
drha6abd042004-06-09 17:37:22 +0000882 pager_reload_cache(pPager);
drhdb48ee02003-01-16 13:42:43 +0000883 }
drh4a0681e2003-02-13 01:58:20 +0000884
885end_playback:
danielk197713adf8a2004-06-03 16:08:41 +0000886 if( zMaster ){
887 /* If there was a master journal and this routine will return true,
888 ** see if it is possible to delete the master journal. If errors
889 ** occur during this process, ignore them.
890 */
891 if( rc==SQLITE_OK ){
892 pager_delmaster(zMaster);
893 }
894 sqliteFree(zMaster);
895 }
drhd9b02572001-04-15 00:37:09 +0000896 if( rc!=SQLITE_OK ){
danielk197713adf8a2004-06-03 16:08:41 +0000897 /* FIX ME: We shouldn't delete the journal if an error occured during
898 ** rollback. It may have been a transient error and the rollback may
899 ** succeed next time it is attempted.
900 */
drhd9b02572001-04-15 00:37:09 +0000901 pager_unwritelock(pPager);
902 pPager->errMask |= PAGER_ERR_CORRUPT;
903 rc = SQLITE_CORRUPT;
904 }else{
905 rc = pager_unwritelock(pPager);
drhed7c8552001-04-11 14:29:21 +0000906 }
drhd9b02572001-04-15 00:37:09 +0000907 return rc;
drhed7c8552001-04-11 14:29:21 +0000908}
909
910/*
drhac69b052004-05-12 13:30:07 +0000911** Playback the statement journal.
drhfa86c412002-02-02 15:01:15 +0000912**
913** This is similar to playing back the transaction journal but with
914** a few extra twists.
915**
drh663fc632002-02-02 18:49:19 +0000916** (1) The number of pages in the database file at the start of
drhac69b052004-05-12 13:30:07 +0000917** the statement is stored in pPager->stmtSize, not in the
drh663fc632002-02-02 18:49:19 +0000918** journal file itself.
drhfa86c412002-02-02 15:01:15 +0000919**
drhac69b052004-05-12 13:30:07 +0000920** (2) In addition to playing back the statement journal, also
drhfa86c412002-02-02 15:01:15 +0000921** playback all pages of the transaction journal beginning
drhac69b052004-05-12 13:30:07 +0000922** at offset pPager->stmtJSize.
drhfa86c412002-02-02 15:01:15 +0000923*/
drh3aac2dd2004-04-26 14:10:20 +0000924static int pager_stmt_playback(Pager *pPager){
drh968af522003-02-11 14:55:40 +0000925 off_t szJ; /* Size of the full journal */
926 int nRec; /* Number of Records */
drhfa86c412002-02-02 15:01:15 +0000927 int i; /* Loop counter */
928 int rc;
929
930 /* Truncate the database back to its original size.
931 */
drhac69b052004-05-12 13:30:07 +0000932 rc = sqlite3OsTruncate(&pPager->fd, SQLITE_PAGE_SIZE*(off_t)pPager->stmtSize);
933 pPager->dbSize = pPager->stmtSize;
drhfa86c412002-02-02 15:01:15 +0000934
drhac69b052004-05-12 13:30:07 +0000935 /* Figure out how many records are in the statement journal.
drhfa86c412002-02-02 15:01:15 +0000936 */
drhac69b052004-05-12 13:30:07 +0000937 assert( pPager->stmtInUse && pPager->journalOpen );
938 sqlite3OsSeek(&pPager->stfd, 0);
939 nRec = pPager->stmtNRec;
drhfa86c412002-02-02 15:01:15 +0000940
drhac69b052004-05-12 13:30:07 +0000941 /* Copy original pages out of the statement journal and back into the
drhae2b40c2004-06-09 19:03:54 +0000942 ** database file. Note that the statement journal omits checksums from
943 ** each record since power-failure recovery is not important to statement
944 ** journals.
drhfa86c412002-02-02 15:01:15 +0000945 */
946 for(i=nRec-1; i>=0; i--){
drhae2b40c2004-06-09 19:03:54 +0000947 rc = pager_playback_one_page(pPager, &pPager->stfd, 0);
drh968af522003-02-11 14:55:40 +0000948 assert( rc!=SQLITE_DONE );
drh3aac2dd2004-04-26 14:10:20 +0000949 if( rc!=SQLITE_OK ) goto end_stmt_playback;
drhfa86c412002-02-02 15:01:15 +0000950 }
951
952 /* Figure out how many pages need to be copied out of the transaction
953 ** journal.
954 */
drhac69b052004-05-12 13:30:07 +0000955 rc = sqlite3OsSeek(&pPager->jfd, pPager->stmtJSize);
drhfa86c412002-02-02 15:01:15 +0000956 if( rc!=SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +0000957 goto end_stmt_playback;
drhfa86c412002-02-02 15:01:15 +0000958 }
danielk19774adee202004-05-08 08:23:19 +0000959 rc = sqlite3OsFileSize(&pPager->jfd, &szJ);
drhfa86c412002-02-02 15:01:15 +0000960 if( rc!=SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +0000961 goto end_stmt_playback;
drhfa86c412002-02-02 15:01:15 +0000962 }
drhae2b40c2004-06-09 19:03:54 +0000963 nRec = (szJ - pPager->stmtJSize)/JOURNAL_PG_SZ(pPager);
drhfa86c412002-02-02 15:01:15 +0000964 for(i=nRec-1; i>=0; i--){
drhae2b40c2004-06-09 19:03:54 +0000965 rc = pager_playback_one_page(pPager, &pPager->jfd, 1);
drh968af522003-02-11 14:55:40 +0000966 if( rc!=SQLITE_OK ){
967 assert( rc!=SQLITE_DONE );
drh3aac2dd2004-04-26 14:10:20 +0000968 goto end_stmt_playback;
drh968af522003-02-11 14:55:40 +0000969 }
drhfa86c412002-02-02 15:01:15 +0000970 }
971
drh3aac2dd2004-04-26 14:10:20 +0000972end_stmt_playback:
drhfa86c412002-02-02 15:01:15 +0000973 if( rc!=SQLITE_OK ){
drhfa86c412002-02-02 15:01:15 +0000974 pPager->errMask |= PAGER_ERR_CORRUPT;
975 rc = SQLITE_CORRUPT;
drhfa86c412002-02-02 15:01:15 +0000976 }
977 return rc;
978}
979
980/*
drhf57b14a2001-09-14 18:54:08 +0000981** Change the maximum number of in-memory pages that are allowed.
drhcd61c282002-03-06 22:01:34 +0000982**
983** The maximum number is the absolute value of the mxPage parameter.
984** If mxPage is negative, the noSync flag is also set. noSync bypasses
danielk19774adee202004-05-08 08:23:19 +0000985** calls to sqlite3OsSync(). The pager runs much faster with noSync on,
drhcd61c282002-03-06 22:01:34 +0000986** but if the operating system crashes or there is an abrupt power
987** failure, the database file might be left in an inconsistent and
988** unrepairable state.
drhf57b14a2001-09-14 18:54:08 +0000989*/
drh3aac2dd2004-04-26 14:10:20 +0000990void sqlite3pager_set_cachesize(Pager *pPager, int mxPage){
drh603240c2002-03-05 01:11:12 +0000991 if( mxPage>=0 ){
drha1680452002-04-18 01:56:57 +0000992 pPager->noSync = pPager->tempFile;
danielk19771d850a72004-05-31 08:26:49 +0000993 if( pPager->noSync ) pPager->needSync = 0;
drh603240c2002-03-05 01:11:12 +0000994 }else{
995 pPager->noSync = 1;
996 mxPage = -mxPage;
997 }
drhf57b14a2001-09-14 18:54:08 +0000998 if( mxPage>10 ){
999 pPager->mxPage = mxPage;
1000 }
1001}
1002
1003/*
drh973b6e32003-02-12 14:09:42 +00001004** Adjust the robustness of the database to damage due to OS crashes
1005** or power failures by changing the number of syncs()s when writing
1006** the rollback journal. There are three levels:
1007**
danielk19774adee202004-05-08 08:23:19 +00001008** OFF sqlite3OsSync() is never called. This is the default
drh973b6e32003-02-12 14:09:42 +00001009** for temporary and transient files.
1010**
1011** NORMAL The journal is synced once before writes begin on the
1012** database. This is normally adequate protection, but
1013** it is theoretically possible, though very unlikely,
1014** that an inopertune power failure could leave the journal
1015** in a state which would cause damage to the database
1016** when it is rolled back.
1017**
1018** FULL The journal is synced twice before writes begin on the
drh34e79ce2004-02-08 06:05:46 +00001019** database (with some additional information - the nRec field
1020** of the journal header - being written in between the two
1021** syncs). If we assume that writing a
drh973b6e32003-02-12 14:09:42 +00001022** single disk sector is atomic, then this mode provides
1023** assurance that the journal will not be corrupted to the
1024** point of causing damage to the database during rollback.
1025**
1026** Numeric values associated with these states are OFF==1, NORMAL=2,
1027** and FULL=3.
1028*/
drh3aac2dd2004-04-26 14:10:20 +00001029void sqlite3pager_set_safety_level(Pager *pPager, int level){
drh973b6e32003-02-12 14:09:42 +00001030 pPager->noSync = level==1 || pPager->tempFile;
1031 pPager->fullSync = level==3 && !pPager->tempFile;
danielk19771d850a72004-05-31 08:26:49 +00001032 if( pPager->noSync ) pPager->needSync = 0;
drh973b6e32003-02-12 14:09:42 +00001033}
1034
1035/*
drhfa86c412002-02-02 15:01:15 +00001036** Open a temporary file. Write the name of the file into zName
1037** (zName must be at least SQLITE_TEMPNAME_SIZE bytes long.) Write
1038** the file descriptor into *fd. Return SQLITE_OK on success or some
1039** other error code if we fail.
1040**
1041** The OS will automatically delete the temporary file when it is
1042** closed.
1043*/
drh3aac2dd2004-04-26 14:10:20 +00001044static int sqlite3pager_opentemp(char *zFile, OsFile *fd){
drhfa86c412002-02-02 15:01:15 +00001045 int cnt = 8;
1046 int rc;
1047 do{
1048 cnt--;
danielk19774adee202004-05-08 08:23:19 +00001049 sqlite3OsTempFileName(zFile);
1050 rc = sqlite3OsOpenExclusive(zFile, fd, 1);
drhfa86c412002-02-02 15:01:15 +00001051 }while( cnt>0 && rc!=SQLITE_OK );
1052 return rc;
1053}
1054
1055/*
drhed7c8552001-04-11 14:29:21 +00001056** Create a new page cache and put a pointer to the page cache in *ppPager.
drh5e00f6c2001-09-13 13:46:56 +00001057** The file to be cached need not exist. The file is not locked until
drh3aac2dd2004-04-26 14:10:20 +00001058** the first call to sqlite3pager_get() and is only held open until the
1059** last page is released using sqlite3pager_unref().
drh382c0242001-10-06 16:33:02 +00001060**
drh6446c4d2001-12-15 14:22:18 +00001061** If zFilename is NULL then a randomly-named temporary file is created
1062** and used as the file to be cached. The file will be deleted
1063** automatically when it is closed.
drhed7c8552001-04-11 14:29:21 +00001064*/
drh3aac2dd2004-04-26 14:10:20 +00001065int sqlite3pager_open(
drh7e3b0a02001-04-28 16:52:40 +00001066 Pager **ppPager, /* Return the Pager structure here */
1067 const char *zFilename, /* Name of the database file to open */
1068 int mxPage, /* Max number of in-memory cache pages */
drhda47d772002-12-02 04:25:19 +00001069 int nExtra, /* Extra bytes append to each in-memory page */
danielk197724162fe2004-06-04 06:22:00 +00001070 int useJournal, /* TRUE to use a rollback journal on this file */
1071 void *pBusyHandler /* Busy callback */
drh7e3b0a02001-04-28 16:52:40 +00001072){
drhed7c8552001-04-11 14:29:21 +00001073 Pager *pPager;
drh3e7a6092002-12-07 21:45:14 +00001074 char *zFullPathname;
drhed7c8552001-04-11 14:29:21 +00001075 int nameLen;
drh8cfbf082001-09-19 13:22:39 +00001076 OsFile fd;
drha76c82e2003-07-27 18:59:42 +00001077 int rc, i;
drh5e00f6c2001-09-13 13:46:56 +00001078 int tempFile;
drhac69b052004-05-12 13:30:07 +00001079 int memDb = 0;
drh5e00f6c2001-09-13 13:46:56 +00001080 int readOnly = 0;
drh8cfbf082001-09-19 13:22:39 +00001081 char zTemp[SQLITE_TEMPNAME_SIZE];
drhed7c8552001-04-11 14:29:21 +00001082
drhd9b02572001-04-15 00:37:09 +00001083 *ppPager = 0;
danielk19776f8a5032004-05-10 10:34:51 +00001084 if( sqlite3_malloc_failed ){
drhd9b02572001-04-15 00:37:09 +00001085 return SQLITE_NOMEM;
1086 }
drh901afd42003-08-26 11:25:58 +00001087 if( zFilename && zFilename[0] ){
drhac69b052004-05-12 13:30:07 +00001088 if( strcmp(zFilename,":memory:")==0 ){
1089 memDb = 1;
1090 zFullPathname = sqliteMalloc(4);
drhae2b40c2004-06-09 19:03:54 +00001091 if( zFullPathname ) strcpy(zFullPathname, "");
drhac69b052004-05-12 13:30:07 +00001092 rc = SQLITE_OK;
1093 }else{
1094 zFullPathname = sqlite3OsFullPathname(zFilename);
1095 rc = sqlite3OsOpenReadWrite(zFullPathname, &fd, &readOnly);
1096 tempFile = 0;
1097 }
drh5e00f6c2001-09-13 13:46:56 +00001098 }else{
drh3aac2dd2004-04-26 14:10:20 +00001099 rc = sqlite3pager_opentemp(zTemp, &fd);
drh5e00f6c2001-09-13 13:46:56 +00001100 zFilename = zTemp;
danielk19774adee202004-05-08 08:23:19 +00001101 zFullPathname = sqlite3OsFullPathname(zFilename);
drh5e00f6c2001-09-13 13:46:56 +00001102 tempFile = 1;
1103 }
danielk19776f8a5032004-05-10 10:34:51 +00001104 if( sqlite3_malloc_failed ){
drh3e7a6092002-12-07 21:45:14 +00001105 return SQLITE_NOMEM;
1106 }
drh8cfbf082001-09-19 13:22:39 +00001107 if( rc!=SQLITE_OK ){
drh3e7a6092002-12-07 21:45:14 +00001108 sqliteFree(zFullPathname);
drhed7c8552001-04-11 14:29:21 +00001109 return SQLITE_CANTOPEN;
1110 }
drh3e7a6092002-12-07 21:45:14 +00001111 nameLen = strlen(zFullPathname);
drha76c82e2003-07-27 18:59:42 +00001112 pPager = sqliteMalloc( sizeof(*pPager) + nameLen*3 + 30 );
drhd9b02572001-04-15 00:37:09 +00001113 if( pPager==0 ){
danielk19774adee202004-05-08 08:23:19 +00001114 sqlite3OsClose(&fd);
drh3e7a6092002-12-07 21:45:14 +00001115 sqliteFree(zFullPathname);
drhd9b02572001-04-15 00:37:09 +00001116 return SQLITE_NOMEM;
1117 }
drhdb48ee02003-01-16 13:42:43 +00001118 SET_PAGER(pPager);
drhed7c8552001-04-11 14:29:21 +00001119 pPager->zFilename = (char*)&pPager[1];
drha76c82e2003-07-27 18:59:42 +00001120 pPager->zDirectory = &pPager->zFilename[nameLen+1];
1121 pPager->zJournal = &pPager->zDirectory[nameLen+1];
drh3e7a6092002-12-07 21:45:14 +00001122 strcpy(pPager->zFilename, zFullPathname);
drha76c82e2003-07-27 18:59:42 +00001123 strcpy(pPager->zDirectory, zFullPathname);
1124 for(i=nameLen; i>0 && pPager->zDirectory[i-1]!='/'; i--){}
1125 if( i>0 ) pPager->zDirectory[i-1] = 0;
drh3e7a6092002-12-07 21:45:14 +00001126 strcpy(pPager->zJournal, zFullPathname);
1127 sqliteFree(zFullPathname);
drhed7c8552001-04-11 14:29:21 +00001128 strcpy(&pPager->zJournal[nameLen], "-journal");
1129 pPager->fd = fd;
drh8cfbf082001-09-19 13:22:39 +00001130 pPager->journalOpen = 0;
drhac69b052004-05-12 13:30:07 +00001131 pPager->useJournal = useJournal && !memDb;
1132 pPager->stmtOpen = 0;
1133 pPager->stmtInUse = 0;
drhed7c8552001-04-11 14:29:21 +00001134 pPager->nRef = 0;
drhac69b052004-05-12 13:30:07 +00001135 pPager->dbSize = memDb-1;
1136 pPager->pageSize = SQLITE_PAGE_SIZE;
1137 pPager->stmtSize = 0;
1138 pPager->stmtJSize = 0;
drhed7c8552001-04-11 14:29:21 +00001139 pPager->nPage = 0;
drhd79caeb2001-04-15 02:27:24 +00001140 pPager->mxPage = mxPage>5 ? mxPage : 10;
drha6abd042004-06-09 17:37:22 +00001141 pPager->state = PAGER_UNLOCK;
drhd9b02572001-04-15 00:37:09 +00001142 pPager->errMask = 0;
drh5e00f6c2001-09-13 13:46:56 +00001143 pPager->tempFile = tempFile;
drhac69b052004-05-12 13:30:07 +00001144 pPager->memDb = memDb;
drh5e00f6c2001-09-13 13:46:56 +00001145 pPager->readOnly = readOnly;
drhf57b14a2001-09-14 18:54:08 +00001146 pPager->needSync = 0;
drhda47d772002-12-02 04:25:19 +00001147 pPager->noSync = pPager->tempFile || !useJournal;
drhed7c8552001-04-11 14:29:21 +00001148 pPager->pFirst = 0;
drh341eae82003-01-21 02:39:36 +00001149 pPager->pFirstSynced = 0;
drhed7c8552001-04-11 14:29:21 +00001150 pPager->pLast = 0;
drh7c717f72001-06-24 20:39:41 +00001151 pPager->nExtra = nExtra;
danielk197724162fe2004-06-04 06:22:00 +00001152 pPager->pBusyHandler = (BusyHandler *)pBusyHandler;
drhed7c8552001-04-11 14:29:21 +00001153 memset(pPager->aHash, 0, sizeof(pPager->aHash));
1154 *ppPager = pPager;
1155 return SQLITE_OK;
1156}
1157
1158/*
drh72f82862001-05-24 21:06:34 +00001159** Set the destructor for this pager. If not NULL, the destructor is called
drh5e00f6c2001-09-13 13:46:56 +00001160** when the reference count on each page reaches zero. The destructor can
1161** be used to clean up information in the extra segment appended to each page.
drh72f82862001-05-24 21:06:34 +00001162**
drh3aac2dd2004-04-26 14:10:20 +00001163** The destructor is not called as a result sqlite3pager_close().
1164** Destructors are only called by sqlite3pager_unref().
drh72f82862001-05-24 21:06:34 +00001165*/
drhb6f41482004-05-14 01:58:11 +00001166void sqlite3pager_set_destructor(Pager *pPager, void (*xDesc)(void*,int)){
drh72f82862001-05-24 21:06:34 +00001167 pPager->xDestructor = xDesc;
1168}
1169
1170/*
drha6abd042004-06-09 17:37:22 +00001171** Set the reinitializer for this pager. If not NULL, the reinitializer
1172** is called when the content of a page in cache is restored to its original
1173** value as a result of a rollback. The callback gives higher-level code
1174** an opportunity to restore the EXTRA section to agree with the restored
1175** page data.
1176*/
1177void sqlite3pager_set_reiniter(Pager *pPager, void (*xReinit)(void*,int)){
1178 pPager->xReiniter = xReinit;
1179}
1180
1181/*
drh5e00f6c2001-09-13 13:46:56 +00001182** Return the total number of pages in the disk file associated with
1183** pPager.
drhed7c8552001-04-11 14:29:21 +00001184*/
drh3aac2dd2004-04-26 14:10:20 +00001185int sqlite3pager_pagecount(Pager *pPager){
drh28be87c2002-11-05 23:03:02 +00001186 off_t n;
drhd9b02572001-04-15 00:37:09 +00001187 assert( pPager!=0 );
drhed7c8552001-04-11 14:29:21 +00001188 if( pPager->dbSize>=0 ){
1189 return pPager->dbSize;
1190 }
danielk19774adee202004-05-08 08:23:19 +00001191 if( sqlite3OsFileSize(&pPager->fd, &n)!=SQLITE_OK ){
drh81a20f22001-10-12 17:30:04 +00001192 pPager->errMask |= PAGER_ERR_DISK;
drh8cfbf082001-09-19 13:22:39 +00001193 return 0;
drhed7c8552001-04-11 14:29:21 +00001194 }
drhd0ba1932004-02-10 01:54:28 +00001195 n /= SQLITE_PAGE_SIZE;
drha6abd042004-06-09 17:37:22 +00001196 if( pPager->state!=PAGER_UNLOCK ){
drhed7c8552001-04-11 14:29:21 +00001197 pPager->dbSize = n;
1198 }
1199 return n;
1200}
1201
1202/*
drhf7c57532003-04-25 13:22:51 +00001203** Forward declaration
1204*/
danielk197713adf8a2004-06-03 16:08:41 +00001205static int syncJournal(Pager*, const char*);
drhf7c57532003-04-25 13:22:51 +00001206
drhac69b052004-05-12 13:30:07 +00001207
1208/*
1209** Unlink a page from the free list (the list of all pages where nRef==0)
1210** and from its hash collision chain.
1211*/
1212static void unlinkPage(PgHdr *pPg){
1213 Pager *pPager = pPg->pPager;
1214
1215 /* Keep the pFirstSynced pointer pointing at the first synchronized page */
1216 if( pPg==pPager->pFirstSynced ){
1217 PgHdr *p = pPg->pNextFree;
1218 while( p && p->needSync ){ p = p->pNextFree; }
1219 pPager->pFirstSynced = p;
1220 }
1221
1222 /* Unlink from the freelist */
1223 if( pPg->pPrevFree ){
1224 pPg->pPrevFree->pNextFree = pPg->pNextFree;
1225 }else{
1226 assert( pPager->pFirst==pPg );
1227 pPager->pFirst = pPg->pNextFree;
1228 }
1229 if( pPg->pNextFree ){
1230 pPg->pNextFree->pPrevFree = pPg->pPrevFree;
1231 }else{
1232 assert( pPager->pLast==pPg );
1233 pPager->pLast = pPg->pPrevFree;
1234 }
1235 pPg->pNextFree = pPg->pPrevFree = 0;
1236
1237 /* Unlink from the pgno hash table */
1238 if( pPg->pNextHash ){
1239 pPg->pNextHash->pPrevHash = pPg->pPrevHash;
1240 }
1241 if( pPg->pPrevHash ){
1242 pPg->pPrevHash->pNextHash = pPg->pNextHash;
1243 }else{
1244 int h = pager_hash(pPg->pgno);
1245 assert( pPager->aHash[h]==pPg );
1246 pPager->aHash[h] = pPg->pNextHash;
1247 }
1248 pPg->pNextHash = pPg->pPrevHash = 0;
1249}
1250
1251/*
1252** This routine is used to truncate an in-memory database. Delete
1253** every pages whose pgno is larger than pPager->dbSize and is unreferenced.
1254** Referenced pages larger than pPager->dbSize are zeroed.
1255*/
1256static void memoryTruncate(Pager *pPager){
1257 PgHdr *pPg;
1258 PgHdr **ppPg;
1259 int dbSize = pPager->dbSize;
1260
1261 ppPg = &pPager->pAll;
1262 while( (pPg = *ppPg)!=0 ){
1263 if( pPg->pgno<=dbSize ){
1264 ppPg = &pPg->pNextAll;
1265 }else if( pPg->nRef>0 ){
1266 memset(PGHDR_TO_DATA(pPg), 0, pPager->pageSize);
1267 ppPg = &pPg->pNextAll;
1268 }else{
1269 *ppPg = pPg->pNextAll;
1270 unlinkPage(pPg);
1271 sqliteFree(pPg);
1272 pPager->nPage--;
1273 }
1274 }
1275}
1276
drhf7c57532003-04-25 13:22:51 +00001277/*
1278** Truncate the file to the number of pages specified.
1279*/
drh3aac2dd2004-04-26 14:10:20 +00001280int sqlite3pager_truncate(Pager *pPager, Pgno nPage){
drhf7c57532003-04-25 13:22:51 +00001281 int rc;
drh2e6d11b2003-04-25 15:37:57 +00001282 if( pPager->dbSize<0 ){
drh3aac2dd2004-04-26 14:10:20 +00001283 sqlite3pager_pagecount(pPager);
drh2e6d11b2003-04-25 15:37:57 +00001284 }
1285 if( pPager->errMask!=0 ){
1286 rc = pager_errcode(pPager);
1287 return rc;
1288 }
drh7d02cb72003-06-04 16:24:39 +00001289 if( nPage>=(unsigned)pPager->dbSize ){
drhf7c57532003-04-25 13:22:51 +00001290 return SQLITE_OK;
1291 }
drhac69b052004-05-12 13:30:07 +00001292 if( pPager->memDb ){
1293 pPager->dbSize = nPage;
1294 memoryTruncate(pPager);
1295 return SQLITE_OK;
1296 }
danielk197713adf8a2004-06-03 16:08:41 +00001297 syncJournal(pPager, 0);
danielk19774adee202004-05-08 08:23:19 +00001298 rc = sqlite3OsTruncate(&pPager->fd, SQLITE_PAGE_SIZE*(off_t)nPage);
drhf7c57532003-04-25 13:22:51 +00001299 if( rc==SQLITE_OK ){
1300 pPager->dbSize = nPage;
1301 }
1302 return rc;
1303}
1304
1305/*
drhed7c8552001-04-11 14:29:21 +00001306** Shutdown the page cache. Free all memory and close all files.
1307**
1308** If a transaction was in progress when this routine is called, that
1309** transaction is rolled back. All outstanding pages are invalidated
1310** and their memory is freed. Any attempt to use a page associated
1311** with this page cache after this function returns will likely
1312** result in a coredump.
1313*/
drh3aac2dd2004-04-26 14:10:20 +00001314int sqlite3pager_close(Pager *pPager){
drhd9b02572001-04-15 00:37:09 +00001315 PgHdr *pPg, *pNext;
drhed7c8552001-04-11 14:29:21 +00001316 switch( pPager->state ){
drha6abd042004-06-09 17:37:22 +00001317 case PAGER_RESERVED:
1318 case PAGER_EXCLUSIVE: {
drh3aac2dd2004-04-26 14:10:20 +00001319 sqlite3pager_rollback(pPager);
drhac69b052004-05-12 13:30:07 +00001320 if( !pPager->memDb ){
drha6abd042004-06-09 17:37:22 +00001321 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
drhac69b052004-05-12 13:30:07 +00001322 }
drh8cfbf082001-09-19 13:22:39 +00001323 assert( pPager->journalOpen==0 );
drhed7c8552001-04-11 14:29:21 +00001324 break;
1325 }
drha6abd042004-06-09 17:37:22 +00001326 case PAGER_SHARED: {
drhac69b052004-05-12 13:30:07 +00001327 if( !pPager->memDb ){
drha6abd042004-06-09 17:37:22 +00001328 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
drhac69b052004-05-12 13:30:07 +00001329 }
drhed7c8552001-04-11 14:29:21 +00001330 break;
1331 }
1332 default: {
1333 /* Do nothing */
1334 break;
1335 }
1336 }
drhd9b02572001-04-15 00:37:09 +00001337 for(pPg=pPager->pAll; pPg; pPg=pNext){
1338 pNext = pPg->pNextAll;
1339 sqliteFree(pPg);
drhed7c8552001-04-11 14:29:21 +00001340 }
drhac69b052004-05-12 13:30:07 +00001341 if( !pPager->memDb ){
1342 sqlite3OsClose(&pPager->fd);
1343 }
drh8cfbf082001-09-19 13:22:39 +00001344 assert( pPager->journalOpen==0 );
drh0f892532002-05-30 12:27:03 +00001345 /* Temp files are automatically deleted by the OS
1346 ** if( pPager->tempFile ){
danielk19774adee202004-05-08 08:23:19 +00001347 ** sqlite3OsDelete(pPager->zFilename);
drh0f892532002-05-30 12:27:03 +00001348 ** }
1349 */
drhdb48ee02003-01-16 13:42:43 +00001350 CLR_PAGER(pPager);
drh73509ee2003-04-06 20:44:45 +00001351 if( pPager->zFilename!=(char*)&pPager[1] ){
drha76c82e2003-07-27 18:59:42 +00001352 assert( 0 ); /* Cannot happen */
drh73509ee2003-04-06 20:44:45 +00001353 sqliteFree(pPager->zFilename);
1354 sqliteFree(pPager->zJournal);
drha76c82e2003-07-27 18:59:42 +00001355 sqliteFree(pPager->zDirectory);
drh73509ee2003-04-06 20:44:45 +00001356 }
drhed7c8552001-04-11 14:29:21 +00001357 sqliteFree(pPager);
1358 return SQLITE_OK;
1359}
1360
1361/*
drh5e00f6c2001-09-13 13:46:56 +00001362** Return the page number for the given page data.
drhed7c8552001-04-11 14:29:21 +00001363*/
drh3aac2dd2004-04-26 14:10:20 +00001364Pgno sqlite3pager_pagenumber(void *pData){
drhed7c8552001-04-11 14:29:21 +00001365 PgHdr *p = DATA_TO_PGHDR(pData);
1366 return p->pgno;
1367}
1368
1369/*
drhc8629a12004-05-08 20:07:40 +00001370** The page_ref() function increments the reference count for a page.
1371** If the page is currently on the freelist (the reference count is zero) then
drh7e3b0a02001-04-28 16:52:40 +00001372** remove it from the freelist.
drhc8629a12004-05-08 20:07:40 +00001373**
1374** For non-test systems, page_ref() is a macro that calls _page_ref()
1375** online of the reference count is zero. For test systems, page_ref()
1376** is a real function so that we can set breakpoints and trace it.
drh7e3b0a02001-04-28 16:52:40 +00001377*/
drh836faa42003-01-11 13:30:57 +00001378static void _page_ref(PgHdr *pPg){
drh7e3b0a02001-04-28 16:52:40 +00001379 if( pPg->nRef==0 ){
1380 /* The page is currently on the freelist. Remove it. */
drh341eae82003-01-21 02:39:36 +00001381 if( pPg==pPg->pPager->pFirstSynced ){
1382 PgHdr *p = pPg->pNextFree;
1383 while( p && p->needSync ){ p = p->pNextFree; }
1384 pPg->pPager->pFirstSynced = p;
1385 }
drh7e3b0a02001-04-28 16:52:40 +00001386 if( pPg->pPrevFree ){
1387 pPg->pPrevFree->pNextFree = pPg->pNextFree;
1388 }else{
1389 pPg->pPager->pFirst = pPg->pNextFree;
1390 }
1391 if( pPg->pNextFree ){
1392 pPg->pNextFree->pPrevFree = pPg->pPrevFree;
1393 }else{
1394 pPg->pPager->pLast = pPg->pPrevFree;
1395 }
1396 pPg->pPager->nRef++;
1397 }
1398 pPg->nRef++;
drhdd793422001-06-28 01:54:48 +00001399 REFINFO(pPg);
drhdf0b3b02001-06-23 11:36:20 +00001400}
drhc8629a12004-05-08 20:07:40 +00001401#ifdef SQLITE_TEST
1402 static void page_ref(PgHdr *pPg){
1403 if( pPg->nRef==0 ){
1404 _page_ref(pPg);
1405 }else{
1406 pPg->nRef++;
1407 REFINFO(pPg);
1408 }
1409 }
1410#else
1411# define page_ref(P) ((P)->nRef==0?_page_ref(P):(void)(P)->nRef++)
1412#endif
drhdf0b3b02001-06-23 11:36:20 +00001413
1414/*
1415** Increment the reference count for a page. The input pointer is
1416** a reference to the page data.
1417*/
drh3aac2dd2004-04-26 14:10:20 +00001418int sqlite3pager_ref(void *pData){
drhdf0b3b02001-06-23 11:36:20 +00001419 PgHdr *pPg = DATA_TO_PGHDR(pData);
1420 page_ref(pPg);
drh8c42ca92001-06-22 19:15:00 +00001421 return SQLITE_OK;
drh7e3b0a02001-04-28 16:52:40 +00001422}
1423
1424/*
drh34e79ce2004-02-08 06:05:46 +00001425** Sync the journal. In other words, make sure all the pages that have
1426** been written to the journal have actually reached the surface of the
1427** disk. It is not safe to modify the original database file until after
1428** the journal has been synced. If the original database is modified before
1429** the journal is synced and a power failure occurs, the unsynced journal
1430** data would be lost and we would be unable to completely rollback the
1431** database changes. Database corruption would occur.
1432**
1433** This routine also updates the nRec field in the header of the journal.
1434** (See comments on the pager_playback() routine for additional information.)
1435** If the sync mode is FULL, two syncs will occur. First the whole journal
1436** is synced, then the nRec field is updated, then a second sync occurs.
drhb19a2bc2001-09-16 00:13:26 +00001437**
drh34e79ce2004-02-08 06:05:46 +00001438** For temporary databases, we do not care if we are able to rollback
1439** after a power failure, so sync occurs.
drhfa86c412002-02-02 15:01:15 +00001440**
drh34e79ce2004-02-08 06:05:46 +00001441** This routine clears the needSync field of every page current held in
1442** memory.
drh50e5dad2001-09-15 00:57:28 +00001443*/
danielk197713adf8a2004-06-03 16:08:41 +00001444static int syncJournal(Pager *pPager, const char *zMaster){
drh50e5dad2001-09-15 00:57:28 +00001445 PgHdr *pPg;
1446 int rc = SQLITE_OK;
drh03eb96a2002-11-10 23:32:56 +00001447
1448 /* Sync the journal before modifying the main database
1449 ** (assuming there is a journal and it needs to be synced.)
1450 */
danielk197713adf8a2004-06-03 16:08:41 +00001451 if( pPager->needSync || zMaster ){
drhfa86c412002-02-02 15:01:15 +00001452 if( !pPager->tempFile ){
drhdb48ee02003-01-16 13:42:43 +00001453 assert( pPager->journalOpen );
drh946966f2004-02-25 02:20:41 +00001454 /* assert( !pPager->noSync ); // noSync might be set if synchronous
1455 ** was turned off after the transaction was started. Ticket #615 */
drh968af522003-02-11 14:55:40 +00001456#ifndef NDEBUG
1457 {
drh34e79ce2004-02-08 06:05:46 +00001458 /* Make sure the pPager->nRec counter we are keeping agrees
1459 ** with the nRec computed from the size of the journal file.
1460 */
drh4a0681e2003-02-13 01:58:20 +00001461 off_t hdrSz, pgSz, jSz;
drhae2b40c2004-06-09 19:03:54 +00001462 hdrSz = JOURNAL_HDR_SZ(pPager);
1463 pgSz = JOURNAL_PG_SZ(pPager);
danielk19774adee202004-05-08 08:23:19 +00001464 rc = sqlite3OsFileSize(&pPager->jfd, &jSz);
drh968af522003-02-11 14:55:40 +00001465 if( rc!=0 ) return rc;
drh4a0681e2003-02-13 01:58:20 +00001466 assert( pPager->nRec*pgSz+hdrSz==jSz );
drh968af522003-02-11 14:55:40 +00001467 }
1468#endif
drhae2b40c2004-06-09 19:03:54 +00001469 {
drh34e79ce2004-02-08 06:05:46 +00001470 /* Write the nRec value into the journal file header */
drhd8d66e82003-02-12 02:10:15 +00001471 off_t szJ;
1472 if( pPager->fullSync ){
drha6abd042004-06-09 17:37:22 +00001473 TRACE2("SYNC journal of %d\n", pPager->fd.h);
danielk19774adee202004-05-08 08:23:19 +00001474 rc = sqlite3OsSync(&pPager->jfd);
drhd8d66e82003-02-12 02:10:15 +00001475 if( rc!=0 ) return rc;
1476 }
drhae2b40c2004-06-09 19:03:54 +00001477 sqlite3OsSeek(&pPager->jfd, sizeof(aJournalMagic));
drh99ee3602003-02-16 19:13:36 +00001478 rc = write32bits(&pPager->jfd, pPager->nRec);
1479 if( rc ) return rc;
danielk197713adf8a2004-06-03 16:08:41 +00001480
1481 /* Write the name of the master journal file if one is specified */
1482 if( zMaster ){
1483 assert( strlen(zMaster)<pPager->nMaster );
drhae2b40c2004-06-09 19:03:54 +00001484 rc = sqlite3OsSeek(&pPager->jfd, 20);
danielk197713adf8a2004-06-03 16:08:41 +00001485 if( rc ) return rc;
1486 rc = sqlite3OsWrite(&pPager->jfd, zMaster, strlen(zMaster)+1);
1487 if( rc ) return rc;
1488 }
1489
drhae2b40c2004-06-09 19:03:54 +00001490 szJ = JOURNAL_HDR_SZ(pPager) + pPager->nRec*JOURNAL_PG_SZ(pPager);
danielk19774adee202004-05-08 08:23:19 +00001491 sqlite3OsSeek(&pPager->jfd, szJ);
drh968af522003-02-11 14:55:40 +00001492 }
drha6abd042004-06-09 17:37:22 +00001493 TRACE2("SYNC journal of %d\n", pPager->fd.h);
danielk19774adee202004-05-08 08:23:19 +00001494 rc = sqlite3OsSync(&pPager->jfd);
drhfa86c412002-02-02 15:01:15 +00001495 if( rc!=0 ) return rc;
drhdb48ee02003-01-16 13:42:43 +00001496 pPager->journalStarted = 1;
drhfa86c412002-02-02 15:01:15 +00001497 }
drh50e5dad2001-09-15 00:57:28 +00001498 pPager->needSync = 0;
drh341eae82003-01-21 02:39:36 +00001499
1500 /* Erase the needSync flag from every page.
1501 */
1502 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
1503 pPg->needSync = 0;
1504 }
1505 pPager->pFirstSynced = pPager->pFirst;
drh50e5dad2001-09-15 00:57:28 +00001506 }
drh03eb96a2002-11-10 23:32:56 +00001507
drh341eae82003-01-21 02:39:36 +00001508#ifndef NDEBUG
1509 /* If the Pager.needSync flag is clear then the PgHdr.needSync
1510 ** flag must also be clear for all pages. Verify that this
1511 ** invariant is true.
drh03eb96a2002-11-10 23:32:56 +00001512 */
drh341eae82003-01-21 02:39:36 +00001513 else{
1514 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
1515 assert( pPg->needSync==0 );
1516 }
1517 assert( pPager->pFirstSynced==pPager->pFirst );
drh03eb96a2002-11-10 23:32:56 +00001518 }
drh341eae82003-01-21 02:39:36 +00001519#endif
drhdb48ee02003-01-16 13:42:43 +00001520
drh81a20f22001-10-12 17:30:04 +00001521 return rc;
drh50e5dad2001-09-15 00:57:28 +00001522}
1523
1524/*
drh2554f8b2003-01-22 01:26:44 +00001525** Given a list of pages (connected by the PgHdr.pDirty pointer) write
1526** every one of those pages out to the database file and mark them all
1527** as clean.
1528*/
1529static int pager_write_pagelist(PgHdr *pList){
1530 Pager *pPager;
1531 int rc;
danielk19779eed5052004-06-04 10:38:30 +00001532 int busy = 1;
drh2554f8b2003-01-22 01:26:44 +00001533
1534 if( pList==0 ) return SQLITE_OK;
1535 pPager = pList->pPager;
danielk19779eed5052004-06-04 10:38:30 +00001536
1537 /* At this point there may be either a RESERVED or EXCLUSIVE lock on the
1538 ** database file. If there is already an EXCLUSIVE lock, the following
1539 ** calls to sqlite3OsLock() are no-ops.
1540 **
drha6abd042004-06-09 17:37:22 +00001541 ** Moving the lock from RESERVED to EXCLUSIVE actually involves going
1542 ** through an intermediate state PENDING. A PENDING lock prevents new
1543 ** readers from attaching to the database but is unsufficient for us to
1544 ** write. The idea of a PENDING lock is to prevent new readers from
1545 ** coming in while we wait for existing readers to clear.
danielk19779eed5052004-06-04 10:38:30 +00001546 **
drha6abd042004-06-09 17:37:22 +00001547 ** While the pager is in the RESERVED state, the original database file
1548 ** is unchanged and we can rollback without having to playback the
1549 ** journal into the original database file. Once we transition to
1550 ** EXCLUSIVE, it means the database file has been changed and any rollback
1551 ** will require a journal playback.
danielk19779eed5052004-06-04 10:38:30 +00001552 */
danielk19779eed5052004-06-04 10:38:30 +00001553 do {
1554 rc = sqlite3OsLock(&pPager->fd, EXCLUSIVE_LOCK);
1555 }while( rc==SQLITE_BUSY &&
1556 pPager->pBusyHandler &&
1557 pPager->pBusyHandler->xFunc &&
1558 pPager->pBusyHandler->xFunc(pPager->pBusyHandler->pArg, "", busy++)
1559 );
1560 if( rc!=SQLITE_OK ){
1561 return rc;
1562 }
drha6abd042004-06-09 17:37:22 +00001563 pPager->state = PAGER_EXCLUSIVE;
danielk19779eed5052004-06-04 10:38:30 +00001564
drh2554f8b2003-01-22 01:26:44 +00001565 while( pList ){
1566 assert( pList->dirty );
danielk19774adee202004-05-08 08:23:19 +00001567 sqlite3OsSeek(&pPager->fd, (pList->pgno-1)*(off_t)SQLITE_PAGE_SIZE);
drh9eb9e262004-02-11 02:18:05 +00001568 CODEC(pPager, PGHDR_TO_DATA(pList), pList->pgno, 6);
drha6abd042004-06-09 17:37:22 +00001569 TRACE2("STORE page %d\n", pList->pgno);
danielk19774adee202004-05-08 08:23:19 +00001570 rc = sqlite3OsWrite(&pPager->fd, PGHDR_TO_DATA(pList), SQLITE_PAGE_SIZE);
drh9eb9e262004-02-11 02:18:05 +00001571 CODEC(pPager, PGHDR_TO_DATA(pList), pList->pgno, 0);
drh2554f8b2003-01-22 01:26:44 +00001572 if( rc ) return rc;
1573 pList->dirty = 0;
1574 pList = pList->pDirty;
1575 }
1576 return SQLITE_OK;
1577}
1578
1579/*
1580** Collect every dirty page into a dirty list and
1581** return a pointer to the head of that list. All pages are
1582** collected even if they are still in use.
1583*/
1584static PgHdr *pager_get_all_dirty_pages(Pager *pPager){
1585 PgHdr *p, *pList;
1586 pList = 0;
1587 for(p=pPager->pAll; p; p=p->pNextAll){
1588 if( p->dirty ){
1589 p->pDirty = pList;
1590 pList = p;
1591 }
1592 }
1593 return pList;
1594}
1595
1596/*
drhd9b02572001-04-15 00:37:09 +00001597** Acquire a page.
1598**
drh58a11682001-11-10 13:51:08 +00001599** A read lock on the disk file is obtained when the first page is acquired.
drh5e00f6c2001-09-13 13:46:56 +00001600** This read lock is dropped when the last page is released.
drhd9b02572001-04-15 00:37:09 +00001601**
drh306dc212001-05-21 13:45:10 +00001602** A _get works for any page number greater than 0. If the database
1603** file is smaller than the requested page, then no actual disk
1604** read occurs and the memory image of the page is initialized to
1605** all zeros. The extra data appended to a page is always initialized
1606** to zeros the first time a page is loaded into memory.
1607**
drhd9b02572001-04-15 00:37:09 +00001608** The acquisition might fail for several reasons. In all cases,
1609** an appropriate error code is returned and *ppPage is set to NULL.
drh7e3b0a02001-04-28 16:52:40 +00001610**
drh3aac2dd2004-04-26 14:10:20 +00001611** See also sqlite3pager_lookup(). Both this routine and _lookup() attempt
drh7e3b0a02001-04-28 16:52:40 +00001612** to find a page in the in-memory cache first. If the page is not already
drh5e00f6c2001-09-13 13:46:56 +00001613** in memory, this routine goes to disk to read it in whereas _lookup()
drh7e3b0a02001-04-28 16:52:40 +00001614** just returns 0. This routine acquires a read-lock the first time it
1615** has to go to disk, and could also playback an old journal if necessary.
1616** Since _lookup() never goes to disk, it never has to deal with locks
1617** or journal files.
drhed7c8552001-04-11 14:29:21 +00001618*/
drh3aac2dd2004-04-26 14:10:20 +00001619int sqlite3pager_get(Pager *pPager, Pgno pgno, void **ppPage){
drhed7c8552001-04-11 14:29:21 +00001620 PgHdr *pPg;
drh8766c342002-11-09 00:33:15 +00001621 int rc;
drhed7c8552001-04-11 14:29:21 +00001622
drhd9b02572001-04-15 00:37:09 +00001623 /* Make sure we have not hit any critical errors.
1624 */
drh836faa42003-01-11 13:30:57 +00001625 assert( pPager!=0 );
1626 assert( pgno!=0 );
drh2e6d11b2003-04-25 15:37:57 +00001627 *ppPage = 0;
drhd9b02572001-04-15 00:37:09 +00001628 if( pPager->errMask & ~(PAGER_ERR_FULL) ){
1629 return pager_errcode(pPager);
1630 }
1631
danielk197713adf8a2004-06-03 16:08:41 +00001632 /* If this is the first page accessed, then get a SHARED lock
drhed7c8552001-04-11 14:29:21 +00001633 ** on the database file.
1634 */
drhac69b052004-05-12 13:30:07 +00001635 if( pPager->nRef==0 && !pPager->memDb ){
danielk197724162fe2004-06-04 06:22:00 +00001636 int busy = 1;
danielk19779eed5052004-06-04 10:38:30 +00001637 do {
1638 rc = sqlite3OsLock(&pPager->fd, SHARED_LOCK);
1639 }while( rc==SQLITE_BUSY &&
1640 pPager->pBusyHandler &&
1641 pPager->pBusyHandler->xFunc &&
1642 pPager->pBusyHandler->xFunc(pPager->pBusyHandler->pArg, "", busy++)
1643 );
1644 if( rc!=SQLITE_OK ){
1645 return rc;
drhed7c8552001-04-11 14:29:21 +00001646 }
drha6abd042004-06-09 17:37:22 +00001647 pPager->state = PAGER_SHARED;
drhed7c8552001-04-11 14:29:21 +00001648
danielk197713adf8a2004-06-03 16:08:41 +00001649 /* If a journal file exists, and there is no RESERVED lock on the
1650 ** database file, then it either needs to be played back or deleted.
drhed7c8552001-04-11 14:29:21 +00001651 */
danielk197713adf8a2004-06-03 16:08:41 +00001652 if( pPager->useJournal &&
1653 sqlite3OsFileExists(pPager->zJournal) &&
drha6abd042004-06-09 17:37:22 +00001654 !sqlite3OsCheckReservedLock(&pPager->fd)
danielk197713adf8a2004-06-03 16:08:41 +00001655 ){
drhe2227f02003-06-14 11:42:57 +00001656 int rc;
drhed7c8552001-04-11 14:29:21 +00001657
danielk197713adf8a2004-06-03 16:08:41 +00001658 /* Get an EXCLUSIVE lock on the database file. */
1659 rc = sqlite3OsLock(&pPager->fd, EXCLUSIVE_LOCK);
drha7fcb052001-12-14 15:09:55 +00001660 if( rc!=SQLITE_OK ){
drha6abd042004-06-09 17:37:22 +00001661 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
1662 pPager->state = PAGER_UNLOCK;
drh8766c342002-11-09 00:33:15 +00001663 return rc;
drha7fcb052001-12-14 15:09:55 +00001664 }
drha6abd042004-06-09 17:37:22 +00001665 pPager->state = PAGER_EXCLUSIVE;
drha7fcb052001-12-14 15:09:55 +00001666
drhe2227f02003-06-14 11:42:57 +00001667 /* Open the journal for reading only. Return SQLITE_BUSY if
1668 ** we are unable to open the journal file.
drhf57b3392001-10-08 13:22:32 +00001669 **
drhe2227f02003-06-14 11:42:57 +00001670 ** The journal file does not need to be locked itself. The
1671 ** journal file is never open unless the main database file holds
1672 ** a write lock, so there is never any chance of two or more
1673 ** processes opening the journal at the same time.
drhed7c8552001-04-11 14:29:21 +00001674 */
danielk19774adee202004-05-08 08:23:19 +00001675 rc = sqlite3OsOpenReadOnly(pPager->zJournal, &pPager->jfd);
drha7fcb052001-12-14 15:09:55 +00001676 if( rc!=SQLITE_OK ){
drha6abd042004-06-09 17:37:22 +00001677 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
1678 pPager->state = PAGER_UNLOCK;
drhed7c8552001-04-11 14:29:21 +00001679 return SQLITE_BUSY;
1680 }
drha7fcb052001-12-14 15:09:55 +00001681 pPager->journalOpen = 1;
drhdb48ee02003-01-16 13:42:43 +00001682 pPager->journalStarted = 0;
drhed7c8552001-04-11 14:29:21 +00001683
1684 /* Playback and delete the journal. Drop the database write
1685 ** lock and reacquire the read lock.
1686 */
drh99ee3602003-02-16 19:13:36 +00001687 rc = pager_playback(pPager, 0);
drhd9b02572001-04-15 00:37:09 +00001688 if( rc!=SQLITE_OK ){
1689 return rc;
1690 }
drhed7c8552001-04-11 14:29:21 +00001691 }
1692 pPg = 0;
1693 }else{
1694 /* Search for page in cache */
drhd9b02572001-04-15 00:37:09 +00001695 pPg = pager_lookup(pPager, pgno);
drha6abd042004-06-09 17:37:22 +00001696 if( pPager->memDb && pPager->state==PAGER_UNLOCK ){
1697 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00001698 }
drhed7c8552001-04-11 14:29:21 +00001699 }
1700 if( pPg==0 ){
drhd9b02572001-04-15 00:37:09 +00001701 /* The requested page is not in the page cache. */
drhed7c8552001-04-11 14:29:21 +00001702 int h;
drh7e3b0a02001-04-28 16:52:40 +00001703 pPager->nMiss++;
drhac69b052004-05-12 13:30:07 +00001704 if( pPager->nPage<pPager->mxPage || pPager->pFirst==0 || pPager->memDb ){
drhed7c8552001-04-11 14:29:21 +00001705 /* Create a new page */
drhd0ba1932004-02-10 01:54:28 +00001706 pPg = sqliteMallocRaw( sizeof(*pPg) + SQLITE_PAGE_SIZE
drhac69b052004-05-12 13:30:07 +00001707 + sizeof(u32) + pPager->nExtra
1708 + pPager->memDb*sizeof(PgHistory) );
drhd9b02572001-04-15 00:37:09 +00001709 if( pPg==0 ){
drhd9b02572001-04-15 00:37:09 +00001710 pager_unwritelock(pPager);
1711 pPager->errMask |= PAGER_ERR_MEM;
1712 return SQLITE_NOMEM;
1713 }
drh8c1238a2003-01-02 14:43:55 +00001714 memset(pPg, 0, sizeof(*pPg));
drhac69b052004-05-12 13:30:07 +00001715 if( pPager->memDb ){
1716 memset(PGHDR_TO_HIST(pPg, pPager), 0, sizeof(PgHistory));
1717 }
drhed7c8552001-04-11 14:29:21 +00001718 pPg->pPager = pPager;
drhd9b02572001-04-15 00:37:09 +00001719 pPg->pNextAll = pPager->pAll;
drhd79caeb2001-04-15 02:27:24 +00001720 pPager->pAll = pPg;
drhd9b02572001-04-15 00:37:09 +00001721 pPager->nPage++;
drhed7c8552001-04-11 14:29:21 +00001722 }else{
drhdb48ee02003-01-16 13:42:43 +00001723 /* Find a page to recycle. Try to locate a page that does not
1724 ** require us to do an fsync() on the journal.
1725 */
drh341eae82003-01-21 02:39:36 +00001726 pPg = pPager->pFirstSynced;
drhb19a2bc2001-09-16 00:13:26 +00001727
drhdb48ee02003-01-16 13:42:43 +00001728 /* If we could not find a page that does not require an fsync()
1729 ** on the journal file then fsync the journal file. This is a
1730 ** very slow operation, so we work hard to avoid it. But sometimes
1731 ** it can't be helped.
drhb19a2bc2001-09-16 00:13:26 +00001732 */
drh603240c2002-03-05 01:11:12 +00001733 if( pPg==0 ){
danielk197713adf8a2004-06-03 16:08:41 +00001734 int rc = syncJournal(pPager, 0);
drh50e5dad2001-09-15 00:57:28 +00001735 if( rc!=0 ){
drh3aac2dd2004-04-26 14:10:20 +00001736 sqlite3pager_rollback(pPager);
drh50e5dad2001-09-15 00:57:28 +00001737 return SQLITE_IOERR;
1738 }
1739 pPg = pPager->pFirst;
1740 }
drhd9b02572001-04-15 00:37:09 +00001741 assert( pPg->nRef==0 );
drhdb48ee02003-01-16 13:42:43 +00001742
1743 /* Write the page to the database file if it is dirty.
1744 */
1745 if( pPg->dirty ){
1746 assert( pPg->needSync==0 );
drh2554f8b2003-01-22 01:26:44 +00001747 pPg->pDirty = 0;
1748 rc = pager_write_pagelist( pPg );
drhdb48ee02003-01-16 13:42:43 +00001749 if( rc!=SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00001750 sqlite3pager_rollback(pPager);
drhdb48ee02003-01-16 13:42:43 +00001751 return SQLITE_IOERR;
1752 }
drhdb48ee02003-01-16 13:42:43 +00001753 }
drh50e5dad2001-09-15 00:57:28 +00001754 assert( pPg->dirty==0 );
drhd9b02572001-04-15 00:37:09 +00001755
drhdb48ee02003-01-16 13:42:43 +00001756 /* If the page we are recycling is marked as alwaysRollback, then
drh193a6b42002-07-07 16:52:46 +00001757 ** set the global alwaysRollback flag, thus disabling the
1758 ** sqlite_dont_rollback() optimization for the rest of this transaction.
1759 ** It is necessary to do this because the page marked alwaysRollback
1760 ** might be reloaded at a later time but at that point we won't remember
1761 ** that is was marked alwaysRollback. This means that all pages must
1762 ** be marked as alwaysRollback from here on out.
1763 */
1764 if( pPg->alwaysRollback ){
1765 pPager->alwaysRollback = 1;
1766 }
1767
drhd9b02572001-04-15 00:37:09 +00001768 /* Unlink the old page from the free list and the hash table
1769 */
drhac69b052004-05-12 13:30:07 +00001770 unlinkPage(pPg);
drhd9b02572001-04-15 00:37:09 +00001771 pPager->nOvfl++;
drhed7c8552001-04-11 14:29:21 +00001772 }
1773 pPg->pgno = pgno;
drh1ab43002002-01-14 09:28:19 +00001774 if( pPager->aInJournal && (int)pgno<=pPager->origDbSize ){
danielk19774adee202004-05-08 08:23:19 +00001775 sqlite3CheckMemory(pPager->aInJournal, pgno/8);
drhdb48ee02003-01-16 13:42:43 +00001776 assert( pPager->journalOpen );
drh6019e162001-07-02 17:51:45 +00001777 pPg->inJournal = (pPager->aInJournal[pgno/8] & (1<<(pgno&7)))!=0;
drhdb48ee02003-01-16 13:42:43 +00001778 pPg->needSync = 0;
drh6019e162001-07-02 17:51:45 +00001779 }else{
1780 pPg->inJournal = 0;
drhdb48ee02003-01-16 13:42:43 +00001781 pPg->needSync = 0;
drh6019e162001-07-02 17:51:45 +00001782 }
drhac69b052004-05-12 13:30:07 +00001783 if( pPager->aInStmt && (int)pgno<=pPager->stmtSize
1784 && (pPager->aInStmt[pgno/8] & (1<<(pgno&7)))!=0 ){
drh3aac2dd2004-04-26 14:10:20 +00001785 page_add_to_stmt_list(pPg);
drhfa86c412002-02-02 15:01:15 +00001786 }else{
drh3aac2dd2004-04-26 14:10:20 +00001787 page_remove_from_stmt_list(pPg);
drhfa86c412002-02-02 15:01:15 +00001788 }
drhed7c8552001-04-11 14:29:21 +00001789 pPg->dirty = 0;
1790 pPg->nRef = 1;
drhdd793422001-06-28 01:54:48 +00001791 REFINFO(pPg);
drhd9b02572001-04-15 00:37:09 +00001792 pPager->nRef++;
1793 h = pager_hash(pgno);
drhed7c8552001-04-11 14:29:21 +00001794 pPg->pNextHash = pPager->aHash[h];
1795 pPager->aHash[h] = pPg;
1796 if( pPg->pNextHash ){
1797 assert( pPg->pNextHash->pPrevHash==0 );
1798 pPg->pNextHash->pPrevHash = pPg;
1799 }
drh2e6d11b2003-04-25 15:37:57 +00001800 if( pPager->nExtra>0 ){
1801 memset(PGHDR_TO_EXTRA(pPg), 0, pPager->nExtra);
1802 }
drh3aac2dd2004-04-26 14:10:20 +00001803 if( pPager->dbSize<0 ) sqlite3pager_pagecount(pPager);
drh2e6d11b2003-04-25 15:37:57 +00001804 if( pPager->errMask!=0 ){
drh3aac2dd2004-04-26 14:10:20 +00001805 sqlite3pager_unref(PGHDR_TO_DATA(pPg));
drh2e6d11b2003-04-25 15:37:57 +00001806 rc = pager_errcode(pPager);
1807 return rc;
1808 }
drh1ab43002002-01-14 09:28:19 +00001809 if( pPager->dbSize<(int)pgno ){
drhd0ba1932004-02-10 01:54:28 +00001810 memset(PGHDR_TO_DATA(pPg), 0, SQLITE_PAGE_SIZE);
drh306dc212001-05-21 13:45:10 +00001811 }else{
drh81a20f22001-10-12 17:30:04 +00001812 int rc;
drhac69b052004-05-12 13:30:07 +00001813 assert( pPager->memDb==0 );
danielk19774adee202004-05-08 08:23:19 +00001814 sqlite3OsSeek(&pPager->fd, (pgno-1)*(off_t)SQLITE_PAGE_SIZE);
1815 rc = sqlite3OsRead(&pPager->fd, PGHDR_TO_DATA(pPg), SQLITE_PAGE_SIZE);
drha6abd042004-06-09 17:37:22 +00001816 TRACE2("FETCH page %d\n", pPg->pgno);
drh9eb9e262004-02-11 02:18:05 +00001817 CODEC(pPager, PGHDR_TO_DATA(pPg), pPg->pgno, 3);
drh81a20f22001-10-12 17:30:04 +00001818 if( rc!=SQLITE_OK ){
drh28be87c2002-11-05 23:03:02 +00001819 off_t fileSize;
danielk19774adee202004-05-08 08:23:19 +00001820 if( sqlite3OsFileSize(&pPager->fd,&fileSize)!=SQLITE_OK
drhd0ba1932004-02-10 01:54:28 +00001821 || fileSize>=pgno*SQLITE_PAGE_SIZE ){
drh3aac2dd2004-04-26 14:10:20 +00001822 sqlite3pager_unref(PGHDR_TO_DATA(pPg));
drh4e371ee2002-09-05 16:08:27 +00001823 return rc;
1824 }else{
drhd0ba1932004-02-10 01:54:28 +00001825 memset(PGHDR_TO_DATA(pPg), 0, SQLITE_PAGE_SIZE);
drh4e371ee2002-09-05 16:08:27 +00001826 }
drh81a20f22001-10-12 17:30:04 +00001827 }
drh306dc212001-05-21 13:45:10 +00001828 }
drhed7c8552001-04-11 14:29:21 +00001829 }else{
drhd9b02572001-04-15 00:37:09 +00001830 /* The requested page is in the page cache. */
drh7e3b0a02001-04-28 16:52:40 +00001831 pPager->nHit++;
drhdf0b3b02001-06-23 11:36:20 +00001832 page_ref(pPg);
drhed7c8552001-04-11 14:29:21 +00001833 }
1834 *ppPage = PGHDR_TO_DATA(pPg);
1835 return SQLITE_OK;
1836}
1837
1838/*
drh7e3b0a02001-04-28 16:52:40 +00001839** Acquire a page if it is already in the in-memory cache. Do
1840** not read the page from disk. Return a pointer to the page,
1841** or 0 if the page is not in cache.
1842**
drh3aac2dd2004-04-26 14:10:20 +00001843** See also sqlite3pager_get(). The difference between this routine
1844** and sqlite3pager_get() is that _get() will go to the disk and read
drh7e3b0a02001-04-28 16:52:40 +00001845** in the page if the page is not already in cache. This routine
drh5e00f6c2001-09-13 13:46:56 +00001846** returns NULL if the page is not in cache or if a disk I/O error
1847** has ever happened.
drh7e3b0a02001-04-28 16:52:40 +00001848*/
drh3aac2dd2004-04-26 14:10:20 +00001849void *sqlite3pager_lookup(Pager *pPager, Pgno pgno){
drh7e3b0a02001-04-28 16:52:40 +00001850 PgHdr *pPg;
1851
drh836faa42003-01-11 13:30:57 +00001852 assert( pPager!=0 );
1853 assert( pgno!=0 );
drh7e3b0a02001-04-28 16:52:40 +00001854 if( pPager->errMask & ~(PAGER_ERR_FULL) ){
1855 return 0;
1856 }
drh7e3b0a02001-04-28 16:52:40 +00001857 pPg = pager_lookup(pPager, pgno);
1858 if( pPg==0 ) return 0;
drhdf0b3b02001-06-23 11:36:20 +00001859 page_ref(pPg);
drh7e3b0a02001-04-28 16:52:40 +00001860 return PGHDR_TO_DATA(pPg);
1861}
1862
1863/*
drhed7c8552001-04-11 14:29:21 +00001864** Release a page.
1865**
1866** If the number of references to the page drop to zero, then the
1867** page is added to the LRU list. When all references to all pages
drhd9b02572001-04-15 00:37:09 +00001868** are released, a rollback occurs and the lock on the database is
drhed7c8552001-04-11 14:29:21 +00001869** removed.
1870*/
drh3aac2dd2004-04-26 14:10:20 +00001871int sqlite3pager_unref(void *pData){
drhed7c8552001-04-11 14:29:21 +00001872 PgHdr *pPg;
drhd9b02572001-04-15 00:37:09 +00001873
1874 /* Decrement the reference count for this page
1875 */
drhed7c8552001-04-11 14:29:21 +00001876 pPg = DATA_TO_PGHDR(pData);
1877 assert( pPg->nRef>0 );
drhed7c8552001-04-11 14:29:21 +00001878 pPg->nRef--;
drhdd793422001-06-28 01:54:48 +00001879 REFINFO(pPg);
drhd9b02572001-04-15 00:37:09 +00001880
drh72f82862001-05-24 21:06:34 +00001881 /* When the number of references to a page reach 0, call the
1882 ** destructor and add the page to the freelist.
drhd9b02572001-04-15 00:37:09 +00001883 */
drhed7c8552001-04-11 14:29:21 +00001884 if( pPg->nRef==0 ){
drh1eaa2692001-09-18 02:02:23 +00001885 Pager *pPager;
1886 pPager = pPg->pPager;
drhd9b02572001-04-15 00:37:09 +00001887 pPg->pNextFree = 0;
1888 pPg->pPrevFree = pPager->pLast;
drhed7c8552001-04-11 14:29:21 +00001889 pPager->pLast = pPg;
drhd9b02572001-04-15 00:37:09 +00001890 if( pPg->pPrevFree ){
1891 pPg->pPrevFree->pNextFree = pPg;
drhed7c8552001-04-11 14:29:21 +00001892 }else{
1893 pPager->pFirst = pPg;
1894 }
drh341eae82003-01-21 02:39:36 +00001895 if( pPg->needSync==0 && pPager->pFirstSynced==0 ){
1896 pPager->pFirstSynced = pPg;
1897 }
drh72f82862001-05-24 21:06:34 +00001898 if( pPager->xDestructor ){
drhb6f41482004-05-14 01:58:11 +00001899 pPager->xDestructor(pData, pPager->pageSize);
drh72f82862001-05-24 21:06:34 +00001900 }
drhd9b02572001-04-15 00:37:09 +00001901
1902 /* When all pages reach the freelist, drop the read lock from
1903 ** the database file.
1904 */
1905 pPager->nRef--;
1906 assert( pPager->nRef>=0 );
drhac69b052004-05-12 13:30:07 +00001907 if( pPager->nRef==0 && !pPager->memDb ){
drhd9b02572001-04-15 00:37:09 +00001908 pager_reset(pPager);
1909 }
drhed7c8552001-04-11 14:29:21 +00001910 }
drhd9b02572001-04-15 00:37:09 +00001911 return SQLITE_OK;
drhed7c8552001-04-11 14:29:21 +00001912}
1913
1914/*
drha6abd042004-06-09 17:37:22 +00001915** Create a journal file for pPager. There should already be a RESERVED
1916** or EXCLUSIVE lock on the database file when this routine is called.
drhda47d772002-12-02 04:25:19 +00001917**
1918** Return SQLITE_OK if everything. Return an error code and release the
1919** write lock if anything goes wrong.
1920*/
1921static int pager_open_journal(Pager *pPager){
1922 int rc;
drha6abd042004-06-09 17:37:22 +00001923 assert( pPager->state>=PAGER_RESERVED );
drhda47d772002-12-02 04:25:19 +00001924 assert( pPager->journalOpen==0 );
1925 assert( pPager->useJournal );
drh3aac2dd2004-04-26 14:10:20 +00001926 sqlite3pager_pagecount(pPager);
drhda47d772002-12-02 04:25:19 +00001927 pPager->aInJournal = sqliteMalloc( pPager->dbSize/8 + 1 );
1928 if( pPager->aInJournal==0 ){
drha6abd042004-06-09 17:37:22 +00001929 sqlite3OsUnlock(&pPager->fd, SHARED_LOCK);
1930 pPager->state = PAGER_SHARED;
drhda47d772002-12-02 04:25:19 +00001931 return SQLITE_NOMEM;
1932 }
danielk19774adee202004-05-08 08:23:19 +00001933 rc = sqlite3OsOpenExclusive(pPager->zJournal, &pPager->jfd,pPager->tempFile);
drhda47d772002-12-02 04:25:19 +00001934 if( rc!=SQLITE_OK ){
1935 sqliteFree(pPager->aInJournal);
1936 pPager->aInJournal = 0;
drha6abd042004-06-09 17:37:22 +00001937 sqlite3OsUnlock(&pPager->fd, SHARED_LOCK);
1938 pPager->state = PAGER_SHARED;
drhda47d772002-12-02 04:25:19 +00001939 return SQLITE_CANTOPEN;
1940 }
danielk19774adee202004-05-08 08:23:19 +00001941 sqlite3OsOpenDirectory(pPager->zDirectory, &pPager->jfd);
drhda47d772002-12-02 04:25:19 +00001942 pPager->journalOpen = 1;
drhdb48ee02003-01-16 13:42:43 +00001943 pPager->journalStarted = 0;
drhda47d772002-12-02 04:25:19 +00001944 pPager->needSync = 0;
1945 pPager->alwaysRollback = 0;
drh968af522003-02-11 14:55:40 +00001946 pPager->nRec = 0;
drh2e6d11b2003-04-25 15:37:57 +00001947 if( pPager->errMask!=0 ){
1948 rc = pager_errcode(pPager);
1949 return rc;
1950 }
drhda47d772002-12-02 04:25:19 +00001951 pPager->origDbSize = pPager->dbSize;
drhae2b40c2004-06-09 19:03:54 +00001952
1953 /* Create the header for the journal:
1954 ** - 8 bytes: Magic identifying journal format.
1955 ** - 4 bytes: Number of records in journal, or -1 no-sync mode is on.
1956 ** - 4 bytes: Magic used for page checksums.
1957 ** - 4 bytes: Initial database page count.
1958 ** - 4 bytes: Number of bytes reserved for master journal ptr (nMaster)
1959 ** - nMaster bytes: Space for a master journal pointer.
1960 */
1961 rc = sqlite3OsWrite(&pPager->jfd, aJournalMagic, sizeof(aJournalMagic));
1962 if( rc==SQLITE_OK ){
1963 rc = write32bits(&pPager->jfd, pPager->noSync ? 0xffffffff : 0);
1964 }
1965 if( rc==SQLITE_OK ){
1966 sqlite3Randomness(sizeof(pPager->cksumInit), &pPager->cksumInit);
1967 rc = write32bits(&pPager->jfd, pPager->cksumInit);
drhda47d772002-12-02 04:25:19 +00001968 }
1969 if( rc==SQLITE_OK ){
1970 rc = write32bits(&pPager->jfd, pPager->dbSize);
1971 }
drhae2b40c2004-06-09 19:03:54 +00001972 if( rc==SQLITE_OK ){
1973 rc = write32bits(&pPager->jfd, pPager->nMaster);
1974 }
1975 if( rc==SQLITE_OK ){
drhc9e06862004-06-09 20:03:08 +00001976 sqlite3OsSeek(&pPager->jfd, 24 + pPager->nMaster - 1);
1977 rc = sqlite3OsWrite(&pPager->jfd, "\000", 1);
drhae2b40c2004-06-09 19:03:54 +00001978 }
drhac69b052004-05-12 13:30:07 +00001979 if( pPager->stmtAutoopen && rc==SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00001980 rc = sqlite3pager_stmt_begin(pPager);
drhda47d772002-12-02 04:25:19 +00001981 }
1982 if( rc!=SQLITE_OK ){
1983 rc = pager_unwritelock(pPager);
1984 if( rc==SQLITE_OK ){
1985 rc = SQLITE_FULL;
1986 }
1987 }
1988 return rc;
1989}
1990
1991/*
drh4b845d72002-03-05 12:41:19 +00001992** Acquire a write-lock on the database. The lock is removed when
1993** the any of the following happen:
1994**
drh3aac2dd2004-04-26 14:10:20 +00001995** * sqlite3pager_commit() is called.
1996** * sqlite3pager_rollback() is called.
1997** * sqlite3pager_close() is called.
1998** * sqlite3pager_unref() is called to on every outstanding page.
drh4b845d72002-03-05 12:41:19 +00001999**
danielk197713adf8a2004-06-03 16:08:41 +00002000** The first parameter to this routine is a pointer to any open page of the
2001** database file. Nothing changes about the page - it is used merely to
2002** acquire a pointer to the Pager structure and as proof that there is
2003** already a read-lock on the database.
drh4b845d72002-03-05 12:41:19 +00002004**
danielk197713adf8a2004-06-03 16:08:41 +00002005** The second parameter indicates how much space in bytes to reserve for a
2006** master journal file-name at the start of the journal when it is created.
2007**
2008** A journal file is opened if this is not a temporary file. For temporary
2009** files, the opening of the journal file is deferred until there is an
2010** actual need to write to the journal.
drhda47d772002-12-02 04:25:19 +00002011**
drha6abd042004-06-09 17:37:22 +00002012** If the database is already reserved for writing, this routine is a no-op.
drh4b845d72002-03-05 12:41:19 +00002013*/
danielk197713adf8a2004-06-03 16:08:41 +00002014int sqlite3pager_begin(void *pData, int nMaster){
drh4b845d72002-03-05 12:41:19 +00002015 PgHdr *pPg = DATA_TO_PGHDR(pData);
2016 Pager *pPager = pPg->pPager;
2017 int rc = SQLITE_OK;
2018 assert( pPg->nRef>0 );
danielk197713adf8a2004-06-03 16:08:41 +00002019 assert( nMaster>=0 );
drha6abd042004-06-09 17:37:22 +00002020 assert( pPager->state!=PAGER_UNLOCK );
2021 if( pPager->state==PAGER_SHARED ){
drh4b845d72002-03-05 12:41:19 +00002022 assert( pPager->aInJournal==0 );
drhac69b052004-05-12 13:30:07 +00002023 if( pPager->memDb ){
drha6abd042004-06-09 17:37:22 +00002024 pPager->state = PAGER_EXCLUSIVE;
drhac69b052004-05-12 13:30:07 +00002025 pPager->origDbSize = pPager->dbSize;
2026 }else{
danielk197724162fe2004-06-04 06:22:00 +00002027 int busy = 1;
danielk19779eed5052004-06-04 10:38:30 +00002028 do {
danielk19779eed5052004-06-04 10:38:30 +00002029 rc = sqlite3OsLock(&pPager->fd, RESERVED_LOCK);
2030 }while( rc==SQLITE_BUSY &&
2031 pPager->pBusyHandler &&
2032 pPager->pBusyHandler->xFunc &&
2033 pPager->pBusyHandler->xFunc(pPager->pBusyHandler->pArg, "", busy++)
2034 );
2035 if( rc!=SQLITE_OK ){
2036 return rc;
drhac69b052004-05-12 13:30:07 +00002037 }
danielk197713adf8a2004-06-03 16:08:41 +00002038 pPager->nMaster = nMaster;
drha6abd042004-06-09 17:37:22 +00002039 pPager->state = PAGER_RESERVED;
2040 pPager->dirtyCache = 0;
2041 TRACE3("TRANSACTION %d nMaster=%d\n", pPager->fd.h, nMaster);
drhac69b052004-05-12 13:30:07 +00002042 if( pPager->useJournal && !pPager->tempFile ){
2043 rc = pager_open_journal(pPager);
2044 }
drh4b845d72002-03-05 12:41:19 +00002045 }
2046 }
2047 return rc;
2048}
2049
2050/*
drhed7c8552001-04-11 14:29:21 +00002051** Mark a data page as writeable. The page is written into the journal
2052** if it is not there already. This routine must be called before making
2053** changes to a page.
2054**
2055** The first time this routine is called, the pager creates a new
drha6abd042004-06-09 17:37:22 +00002056** journal and acquires a RESERVED lock on the database. If the RESERVED
drhed7c8552001-04-11 14:29:21 +00002057** lock could not be acquired, this routine returns SQLITE_BUSY. The
drh306dc212001-05-21 13:45:10 +00002058** calling routine must check for that return value and be careful not to
drhed7c8552001-04-11 14:29:21 +00002059** change any page data until this routine returns SQLITE_OK.
drhd9b02572001-04-15 00:37:09 +00002060**
2061** If the journal file could not be written because the disk is full,
2062** then this routine returns SQLITE_FULL and does an immediate rollback.
2063** All subsequent write attempts also return SQLITE_FULL until there
drh3aac2dd2004-04-26 14:10:20 +00002064** is a call to sqlite3pager_commit() or sqlite3pager_rollback() to
drhd9b02572001-04-15 00:37:09 +00002065** reset.
drhed7c8552001-04-11 14:29:21 +00002066*/
drh3aac2dd2004-04-26 14:10:20 +00002067int sqlite3pager_write(void *pData){
drh69688d52001-04-14 16:38:23 +00002068 PgHdr *pPg = DATA_TO_PGHDR(pData);
2069 Pager *pPager = pPg->pPager;
drhd79caeb2001-04-15 02:27:24 +00002070 int rc = SQLITE_OK;
drh69688d52001-04-14 16:38:23 +00002071
drh6446c4d2001-12-15 14:22:18 +00002072 /* Check for errors
2073 */
drhd9b02572001-04-15 00:37:09 +00002074 if( pPager->errMask ){
2075 return pager_errcode(pPager);
2076 }
drh5e00f6c2001-09-13 13:46:56 +00002077 if( pPager->readOnly ){
2078 return SQLITE_PERM;
2079 }
drh6446c4d2001-12-15 14:22:18 +00002080
2081 /* Mark the page as dirty. If the page has already been written
2082 ** to the journal then we can return right away.
2083 */
drhd9b02572001-04-15 00:37:09 +00002084 pPg->dirty = 1;
drhac69b052004-05-12 13:30:07 +00002085 if( pPg->inJournal && (pPg->inStmt || pPager->stmtInUse==0) ){
drha6abd042004-06-09 17:37:22 +00002086 pPager->dirtyCache = 1;
drhfa86c412002-02-02 15:01:15 +00002087 return SQLITE_OK;
2088 }
drh6446c4d2001-12-15 14:22:18 +00002089
2090 /* If we get this far, it means that the page needs to be
drhfa86c412002-02-02 15:01:15 +00002091 ** written to the transaction journal or the ckeckpoint journal
2092 ** or both.
2093 **
2094 ** First check to see that the transaction journal exists and
2095 ** create it if it does not.
drh6446c4d2001-12-15 14:22:18 +00002096 */
drha6abd042004-06-09 17:37:22 +00002097 assert( pPager->state!=PAGER_UNLOCK );
danielk197713adf8a2004-06-03 16:08:41 +00002098 rc = sqlite3pager_begin(pData, 0);
drhda47d772002-12-02 04:25:19 +00002099 if( rc!=SQLITE_OK ){
2100 return rc;
2101 }
drha6abd042004-06-09 17:37:22 +00002102 assert( pPager->state>=PAGER_RESERVED );
drhda47d772002-12-02 04:25:19 +00002103 if( !pPager->journalOpen && pPager->useJournal ){
2104 rc = pager_open_journal(pPager);
2105 if( rc!=SQLITE_OK ) return rc;
2106 }
2107 assert( pPager->journalOpen || !pPager->useJournal );
drha6abd042004-06-09 17:37:22 +00002108 pPager->dirtyCache = 1;
drh6446c4d2001-12-15 14:22:18 +00002109
drha6abd042004-06-09 17:37:22 +00002110 /* The transaction journal now exists and we have a RESERVED or an
2111 ** EXCLUSIVE lock on the main database file. Write the current page to
2112 ** the transaction journal if it is not there already.
drh6446c4d2001-12-15 14:22:18 +00002113 */
drhac69b052004-05-12 13:30:07 +00002114 if( !pPg->inJournal && (pPager->useJournal || pPager->memDb) ){
drhdb48ee02003-01-16 13:42:43 +00002115 if( (int)pPg->pgno <= pPager->origDbSize ){
drh968af522003-02-11 14:55:40 +00002116 int szPg;
2117 u32 saved;
drhac69b052004-05-12 13:30:07 +00002118 if( pPager->memDb ){
2119 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
drha6abd042004-06-09 17:37:22 +00002120 TRACE2("JOURNAL page %d\n", pPg->pgno);
drhac69b052004-05-12 13:30:07 +00002121 assert( pHist->pOrig==0 );
2122 pHist->pOrig = sqliteMallocRaw( pPager->pageSize );
2123 if( pHist->pOrig ){
2124 memcpy(pHist->pOrig, PGHDR_TO_DATA(pPg), pPager->pageSize);
2125 }
2126 pPg->inJournal = 1;
danielk197713adf8a2004-06-03 16:08:41 +00002127 }else{
drhae2b40c2004-06-09 19:03:54 +00002128 u32 cksum = pager_cksum(pPager, pPg->pgno, pData);
2129 saved = *(u32*)PGHDR_TO_EXTRA(pPg);
2130 store32bits(cksum, pPg, SQLITE_PAGE_SIZE);
2131 szPg = SQLITE_PAGE_SIZE+8;
drhac69b052004-05-12 13:30:07 +00002132 store32bits(pPg->pgno, pPg, -4);
2133 CODEC(pPager, pData, pPg->pgno, 7);
2134 rc = sqlite3OsWrite(&pPager->jfd, &((char*)pData)[-4], szPg);
drha6abd042004-06-09 17:37:22 +00002135 TRACE3("JOURNAL page %d needSync=%d\n", pPg->pgno, pPg->needSync);
drhac69b052004-05-12 13:30:07 +00002136 CODEC(pPager, pData, pPg->pgno, 0);
drhae2b40c2004-06-09 19:03:54 +00002137 *(u32*)PGHDR_TO_EXTRA(pPg) = saved;
drhac69b052004-05-12 13:30:07 +00002138 if( rc!=SQLITE_OK ){
2139 sqlite3pager_rollback(pPager);
2140 pPager->errMask |= PAGER_ERR_FULL;
2141 return rc;
2142 }
2143 pPager->nRec++;
2144 assert( pPager->aInJournal!=0 );
2145 pPager->aInJournal[pPg->pgno/8] |= 1<<(pPg->pgno&7);
2146 pPg->needSync = !pPager->noSync;
2147 pPg->inJournal = 1;
2148 if( pPager->stmtInUse ){
2149 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
2150 page_add_to_stmt_list(pPg);
2151 }
drhdb48ee02003-01-16 13:42:43 +00002152 }
drhdb48ee02003-01-16 13:42:43 +00002153 }else{
2154 pPg->needSync = !pPager->journalStarted && !pPager->noSync;
drha6abd042004-06-09 17:37:22 +00002155 TRACE3("APPEND page %d needSync=%d\n", pPg->pgno, pPg->needSync);
drhd9b02572001-04-15 00:37:09 +00002156 }
drhdb48ee02003-01-16 13:42:43 +00002157 if( pPg->needSync ){
2158 pPager->needSync = 1;
drhfa86c412002-02-02 15:01:15 +00002159 }
drh69688d52001-04-14 16:38:23 +00002160 }
drh6446c4d2001-12-15 14:22:18 +00002161
drhac69b052004-05-12 13:30:07 +00002162 /* If the statement journal is open and the page is not in it,
2163 ** then write the current page to the statement journal. Note that
drhae2b40c2004-06-09 19:03:54 +00002164 ** the statement journal format differs from the standard journal format
2165 ** in that it omits the checksums and the header.
drh6446c4d2001-12-15 14:22:18 +00002166 */
drhac69b052004-05-12 13:30:07 +00002167 if( pPager->stmtInUse && !pPg->inStmt && (int)pPg->pgno<=pPager->stmtSize ){
drh1e336b42002-02-14 12:50:33 +00002168 assert( pPg->inJournal || (int)pPg->pgno>pPager->origDbSize );
drhac69b052004-05-12 13:30:07 +00002169 if( pPager->memDb ){
2170 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
2171 assert( pHist->pStmt==0 );
2172 pHist->pStmt = sqliteMallocRaw( pPager->pageSize );
2173 if( pHist->pStmt ){
2174 memcpy(pHist->pStmt, PGHDR_TO_DATA(pPg), pPager->pageSize);
2175 }
drha6abd042004-06-09 17:37:22 +00002176 TRACE2("STMT-JOURNAL page %d\n", pPg->pgno);
drhac69b052004-05-12 13:30:07 +00002177 }else{
2178 store32bits(pPg->pgno, pPg, -4);
2179 CODEC(pPager, pData, pPg->pgno, 7);
2180 rc = sqlite3OsWrite(&pPager->stfd, ((char*)pData)-4, SQLITE_PAGE_SIZE+4);
drha6abd042004-06-09 17:37:22 +00002181 TRACE2("STMT-JOURNAL page %d\n", pPg->pgno);
drhac69b052004-05-12 13:30:07 +00002182 CODEC(pPager, pData, pPg->pgno, 0);
2183 if( rc!=SQLITE_OK ){
2184 sqlite3pager_rollback(pPager);
2185 pPager->errMask |= PAGER_ERR_FULL;
2186 return rc;
2187 }
2188 pPager->stmtNRec++;
2189 assert( pPager->aInStmt!=0 );
2190 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drhfa86c412002-02-02 15:01:15 +00002191 }
drh3aac2dd2004-04-26 14:10:20 +00002192 page_add_to_stmt_list(pPg);
drhfa86c412002-02-02 15:01:15 +00002193 }
2194
2195 /* Update the database size and return.
2196 */
drh1ab43002002-01-14 09:28:19 +00002197 if( pPager->dbSize<(int)pPg->pgno ){
drh306dc212001-05-21 13:45:10 +00002198 pPager->dbSize = pPg->pgno;
2199 }
drh69688d52001-04-14 16:38:23 +00002200 return rc;
drhed7c8552001-04-11 14:29:21 +00002201}
2202
2203/*
drhaacc5432002-01-06 17:07:40 +00002204** Return TRUE if the page given in the argument was previously passed
drh3aac2dd2004-04-26 14:10:20 +00002205** to sqlite3pager_write(). In other words, return TRUE if it is ok
drh6019e162001-07-02 17:51:45 +00002206** to change the content of the page.
2207*/
drh3aac2dd2004-04-26 14:10:20 +00002208int sqlite3pager_iswriteable(void *pData){
drh6019e162001-07-02 17:51:45 +00002209 PgHdr *pPg = DATA_TO_PGHDR(pData);
2210 return pPg->dirty;
2211}
2212
2213/*
drh001bbcb2003-03-19 03:14:00 +00002214** Replace the content of a single page with the information in the third
2215** argument.
2216*/
drh3aac2dd2004-04-26 14:10:20 +00002217int sqlite3pager_overwrite(Pager *pPager, Pgno pgno, void *pData){
drh001bbcb2003-03-19 03:14:00 +00002218 void *pPage;
2219 int rc;
2220
drh3aac2dd2004-04-26 14:10:20 +00002221 rc = sqlite3pager_get(pPager, pgno, &pPage);
drh001bbcb2003-03-19 03:14:00 +00002222 if( rc==SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00002223 rc = sqlite3pager_write(pPage);
drh001bbcb2003-03-19 03:14:00 +00002224 if( rc==SQLITE_OK ){
drhd0ba1932004-02-10 01:54:28 +00002225 memcpy(pPage, pData, SQLITE_PAGE_SIZE);
drh001bbcb2003-03-19 03:14:00 +00002226 }
drh3aac2dd2004-04-26 14:10:20 +00002227 sqlite3pager_unref(pPage);
drh001bbcb2003-03-19 03:14:00 +00002228 }
2229 return rc;
2230}
2231
2232/*
drh30e58752002-03-02 20:41:57 +00002233** A call to this routine tells the pager that it is not necessary to
2234** write the information on page "pgno" back to the disk, even though
2235** that page might be marked as dirty.
2236**
2237** The overlying software layer calls this routine when all of the data
2238** on the given page is unused. The pager marks the page as clean so
2239** that it does not get written to disk.
2240**
2241** Tests show that this optimization, together with the
drh3aac2dd2004-04-26 14:10:20 +00002242** sqlite3pager_dont_rollback() below, more than double the speed
drh30e58752002-03-02 20:41:57 +00002243** of large INSERT operations and quadruple the speed of large DELETEs.
drh8e298f92002-07-06 16:28:47 +00002244**
2245** When this routine is called, set the alwaysRollback flag to true.
drh3aac2dd2004-04-26 14:10:20 +00002246** Subsequent calls to sqlite3pager_dont_rollback() for the same page
drh8e298f92002-07-06 16:28:47 +00002247** will thereafter be ignored. This is necessary to avoid a problem
2248** where a page with data is added to the freelist during one part of
2249** a transaction then removed from the freelist during a later part
2250** of the same transaction and reused for some other purpose. When it
2251** is first added to the freelist, this routine is called. When reused,
2252** the dont_rollback() routine is called. But because the page contains
2253** critical data, we still need to be sure it gets rolled back in spite
2254** of the dont_rollback() call.
drh30e58752002-03-02 20:41:57 +00002255*/
drh3aac2dd2004-04-26 14:10:20 +00002256void sqlite3pager_dont_write(Pager *pPager, Pgno pgno){
drh30e58752002-03-02 20:41:57 +00002257 PgHdr *pPg;
drh8e298f92002-07-06 16:28:47 +00002258
drh30e58752002-03-02 20:41:57 +00002259 pPg = pager_lookup(pPager, pgno);
drh8e298f92002-07-06 16:28:47 +00002260 pPg->alwaysRollback = 1;
drh30e58752002-03-02 20:41:57 +00002261 if( pPg && pPg->dirty ){
drh8124a302002-06-25 14:43:57 +00002262 if( pPager->dbSize==(int)pPg->pgno && pPager->origDbSize<pPager->dbSize ){
2263 /* If this pages is the last page in the file and the file has grown
2264 ** during the current transaction, then do NOT mark the page as clean.
2265 ** When the database file grows, we must make sure that the last page
2266 ** gets written at least once so that the disk file will be the correct
2267 ** size. If you do not write this page and the size of the file
2268 ** on the disk ends up being too small, that can lead to database
2269 ** corruption during the next transaction.
2270 */
2271 }else{
drha6abd042004-06-09 17:37:22 +00002272 TRACE3("DONT_WRITE page %d of %d\n", pgno, pPager->fd.h);
drh8124a302002-06-25 14:43:57 +00002273 pPg->dirty = 0;
2274 }
drh30e58752002-03-02 20:41:57 +00002275 }
2276}
2277
2278/*
2279** A call to this routine tells the pager that if a rollback occurs,
2280** it is not necessary to restore the data on the given page. This
2281** means that the pager does not have to record the given page in the
2282** rollback journal.
2283*/
drh3aac2dd2004-04-26 14:10:20 +00002284void sqlite3pager_dont_rollback(void *pData){
drh30e58752002-03-02 20:41:57 +00002285 PgHdr *pPg = DATA_TO_PGHDR(pData);
2286 Pager *pPager = pPg->pPager;
2287
drha6abd042004-06-09 17:37:22 +00002288 if( pPager->state!=PAGER_EXCLUSIVE || pPager->journalOpen==0 ) return;
drhac69b052004-05-12 13:30:07 +00002289 if( pPg->alwaysRollback || pPager->alwaysRollback || pPager->memDb ) return;
drh30e58752002-03-02 20:41:57 +00002290 if( !pPg->inJournal && (int)pPg->pgno <= pPager->origDbSize ){
2291 assert( pPager->aInJournal!=0 );
2292 pPager->aInJournal[pPg->pgno/8] |= 1<<(pPg->pgno&7);
2293 pPg->inJournal = 1;
drhac69b052004-05-12 13:30:07 +00002294 if( pPager->stmtInUse ){
2295 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drh3aac2dd2004-04-26 14:10:20 +00002296 page_add_to_stmt_list(pPg);
drh30e58752002-03-02 20:41:57 +00002297 }
drha6abd042004-06-09 17:37:22 +00002298 TRACE3("DONT_ROLLBACK page %d of %d\n", pPg->pgno, pPager->fd.h);
drh30e58752002-03-02 20:41:57 +00002299 }
drhac69b052004-05-12 13:30:07 +00002300 if( pPager->stmtInUse && !pPg->inStmt && (int)pPg->pgno<=pPager->stmtSize ){
drh30e58752002-03-02 20:41:57 +00002301 assert( pPg->inJournal || (int)pPg->pgno>pPager->origDbSize );
drhac69b052004-05-12 13:30:07 +00002302 assert( pPager->aInStmt!=0 );
2303 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drh3aac2dd2004-04-26 14:10:20 +00002304 page_add_to_stmt_list(pPg);
drh30e58752002-03-02 20:41:57 +00002305 }
2306}
2307
drhac69b052004-05-12 13:30:07 +00002308
2309/*
2310** Clear a PgHistory block
2311*/
2312static void clearHistory(PgHistory *pHist){
2313 sqliteFree(pHist->pOrig);
2314 sqliteFree(pHist->pStmt);
2315 pHist->pOrig = 0;
2316 pHist->pStmt = 0;
2317}
2318
drh30e58752002-03-02 20:41:57 +00002319/*
drhed7c8552001-04-11 14:29:21 +00002320** Commit all changes to the database and release the write lock.
drhd9b02572001-04-15 00:37:09 +00002321**
2322** If the commit fails for any reason, a rollback attempt is made
2323** and an error code is returned. If the commit worked, SQLITE_OK
2324** is returned.
drhed7c8552001-04-11 14:29:21 +00002325*/
drh3aac2dd2004-04-26 14:10:20 +00002326int sqlite3pager_commit(Pager *pPager){
drha1b351a2001-09-14 16:42:12 +00002327 int rc;
drhed7c8552001-04-11 14:29:21 +00002328 PgHdr *pPg;
drhd9b02572001-04-15 00:37:09 +00002329
2330 if( pPager->errMask==PAGER_ERR_FULL ){
drh3aac2dd2004-04-26 14:10:20 +00002331 rc = sqlite3pager_rollback(pPager);
drh4e371ee2002-09-05 16:08:27 +00002332 if( rc==SQLITE_OK ){
2333 rc = SQLITE_FULL;
2334 }
drhd9b02572001-04-15 00:37:09 +00002335 return rc;
2336 }
2337 if( pPager->errMask!=0 ){
2338 rc = pager_errcode(pPager);
2339 return rc;
2340 }
drha6abd042004-06-09 17:37:22 +00002341 if( pPager->state<PAGER_RESERVED ){
drhd9b02572001-04-15 00:37:09 +00002342 return SQLITE_ERROR;
2343 }
drha6abd042004-06-09 17:37:22 +00002344 TRACE2("COMMIT %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002345 if( pPager->memDb ){
2346 pPg = pager_get_all_dirty_pages(pPager);
2347 while( pPg ){
2348 clearHistory(PGHDR_TO_HIST(pPg, pPager));
2349 pPg->dirty = 0;
2350 pPg->inJournal = 0;
2351 pPg->inStmt = 0;
2352 pPg->pPrevStmt = pPg->pNextStmt = 0;
2353 pPg = pPg->pDirty;
2354 }
2355 pPager->pStmt = 0;
drha6abd042004-06-09 17:37:22 +00002356 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00002357 return SQLITE_OK;
2358 }
drha6abd042004-06-09 17:37:22 +00002359 if( pPager->dirtyCache==0 ){
danielk19774adee202004-05-08 08:23:19 +00002360 /* Exit early (without doing the time-consuming sqlite3OsSync() calls)
drha1680452002-04-18 01:56:57 +00002361 ** if there have been no changes to the database file. */
drh341eae82003-01-21 02:39:36 +00002362 assert( pPager->needSync==0 );
drha1680452002-04-18 01:56:57 +00002363 rc = pager_unwritelock(pPager);
2364 pPager->dbSize = -1;
2365 return rc;
2366 }
drhda47d772002-12-02 04:25:19 +00002367 assert( pPager->journalOpen );
drha6abd042004-06-09 17:37:22 +00002368#if 0
danielk197713adf8a2004-06-03 16:08:41 +00002369 rc = syncJournal(pPager, 0);
drh240c5792004-02-08 00:40:52 +00002370 if( rc!=SQLITE_OK ){
drhd9b02572001-04-15 00:37:09 +00002371 goto commit_abort;
drhed7c8552001-04-11 14:29:21 +00002372 }
drh2554f8b2003-01-22 01:26:44 +00002373 pPg = pager_get_all_dirty_pages(pPager);
2374 if( pPg ){
2375 rc = pager_write_pagelist(pPg);
danielk19774adee202004-05-08 08:23:19 +00002376 if( rc || (!pPager->noSync && sqlite3OsSync(&pPager->fd)!=SQLITE_OK) ){
drh2554f8b2003-01-22 01:26:44 +00002377 goto commit_abort;
2378 }
drh603240c2002-03-05 01:11:12 +00002379 }
danielk197713adf8a2004-06-03 16:08:41 +00002380#endif
2381 rc = sqlite3pager_sync(pPager, 0);
drha6abd042004-06-09 17:37:22 +00002382 if( rc!=SQLITE_OK ){
2383 goto commit_abort;
2384 }
drhd9b02572001-04-15 00:37:09 +00002385 rc = pager_unwritelock(pPager);
2386 pPager->dbSize = -1;
2387 return rc;
2388
2389 /* Jump here if anything goes wrong during the commit process.
2390 */
2391commit_abort:
drh3aac2dd2004-04-26 14:10:20 +00002392 rc = sqlite3pager_rollback(pPager);
drhd9b02572001-04-15 00:37:09 +00002393 if( rc==SQLITE_OK ){
2394 rc = SQLITE_FULL;
drhed7c8552001-04-11 14:29:21 +00002395 }
drhed7c8552001-04-11 14:29:21 +00002396 return rc;
2397}
2398
2399/*
drha6abd042004-06-09 17:37:22 +00002400** Rollback all changes. The database falls back to PAGER_SHARED mode.
drhed7c8552001-04-11 14:29:21 +00002401** All in-memory cache pages revert to their original data contents.
2402** The journal is deleted.
drhd9b02572001-04-15 00:37:09 +00002403**
2404** This routine cannot fail unless some other process is not following
2405** the correct locking protocol (SQLITE_PROTOCOL) or unless some other
2406** process is writing trash into the journal file (SQLITE_CORRUPT) or
2407** unless a prior malloc() failed (SQLITE_NOMEM). Appropriate error
2408** codes are returned for all these occasions. Otherwise,
2409** SQLITE_OK is returned.
drhed7c8552001-04-11 14:29:21 +00002410*/
drh3aac2dd2004-04-26 14:10:20 +00002411int sqlite3pager_rollback(Pager *pPager){
drhed7c8552001-04-11 14:29:21 +00002412 int rc;
drha6abd042004-06-09 17:37:22 +00002413 TRACE2("ROLLBACK %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002414 if( pPager->memDb ){
2415 PgHdr *p;
2416 for(p=pPager->pAll; p; p=p->pNextAll){
2417 PgHistory *pHist;
2418 if( !p->dirty ) continue;
2419 pHist = PGHDR_TO_HIST(p, pPager);
2420 if( pHist->pOrig ){
2421 memcpy(PGHDR_TO_DATA(p), pHist->pOrig, pPager->pageSize);
2422 TRACE2("ROLLBACK-PAGE %d\n", p->pgno);
2423 }else{
2424 TRACE2("PAGE %d is clean\n", p->pgno);
2425 }
2426 clearHistory(pHist);
2427 p->dirty = 0;
2428 p->inJournal = 0;
2429 p->inStmt = 0;
2430 p->pPrevStmt = p->pNextStmt = 0;
2431 }
2432 pPager->pStmt = 0;
2433 pPager->dbSize = pPager->origDbSize;
2434 memoryTruncate(pPager);
2435 pPager->stmtInUse = 0;
drha6abd042004-06-09 17:37:22 +00002436 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00002437 return SQLITE_OK;
2438 }
2439
drha6abd042004-06-09 17:37:22 +00002440 if( !pPager->dirtyCache || !pPager->journalOpen ){
drhda47d772002-12-02 04:25:19 +00002441 rc = pager_unwritelock(pPager);
2442 pPager->dbSize = -1;
2443 return rc;
2444 }
drhdb48ee02003-01-16 13:42:43 +00002445
drhd9b02572001-04-15 00:37:09 +00002446 if( pPager->errMask!=0 && pPager->errMask!=PAGER_ERR_FULL ){
drha6abd042004-06-09 17:37:22 +00002447 if( pPager->state>=PAGER_EXCLUSIVE ){
drh99ee3602003-02-16 19:13:36 +00002448 pager_playback(pPager, 1);
drh4b845d72002-03-05 12:41:19 +00002449 }
drhd9b02572001-04-15 00:37:09 +00002450 return pager_errcode(pPager);
drhed7c8552001-04-11 14:29:21 +00002451 }
drha6abd042004-06-09 17:37:22 +00002452 if( pPager->state==PAGER_RESERVED ){
2453 int rc2;
2454 rc = pager_reload_cache(pPager);
2455 rc2 = pager_unwritelock(pPager);
2456 if( rc==SQLITE_OK ){
2457 rc = rc2;
2458 }
2459 }else{
2460 rc = pager_playback(pPager, 1);
drhd9b02572001-04-15 00:37:09 +00002461 }
drhd9b02572001-04-15 00:37:09 +00002462 if( rc!=SQLITE_OK ){
2463 rc = SQLITE_CORRUPT;
2464 pPager->errMask |= PAGER_ERR_CORRUPT;
2465 }
2466 pPager->dbSize = -1;
drhed7c8552001-04-11 14:29:21 +00002467 return rc;
drh98808ba2001-10-18 12:34:46 +00002468}
drhd9b02572001-04-15 00:37:09 +00002469
2470/*
drh5e00f6c2001-09-13 13:46:56 +00002471** Return TRUE if the database file is opened read-only. Return FALSE
2472** if the database is (in theory) writable.
2473*/
drh3aac2dd2004-04-26 14:10:20 +00002474int sqlite3pager_isreadonly(Pager *pPager){
drhbe0072d2001-09-13 14:46:09 +00002475 return pPager->readOnly;
drh5e00f6c2001-09-13 13:46:56 +00002476}
2477
2478/*
drhd9b02572001-04-15 00:37:09 +00002479** This routine is used for testing and analysis only.
2480*/
drh3aac2dd2004-04-26 14:10:20 +00002481int *sqlite3pager_stats(Pager *pPager){
drhd9b02572001-04-15 00:37:09 +00002482 static int a[9];
2483 a[0] = pPager->nRef;
2484 a[1] = pPager->nPage;
2485 a[2] = pPager->mxPage;
2486 a[3] = pPager->dbSize;
2487 a[4] = pPager->state;
2488 a[5] = pPager->errMask;
2489 a[6] = pPager->nHit;
2490 a[7] = pPager->nMiss;
2491 a[8] = pPager->nOvfl;
2492 return a;
2493}
drhdd793422001-06-28 01:54:48 +00002494
drhfa86c412002-02-02 15:01:15 +00002495/*
drhac69b052004-05-12 13:30:07 +00002496** Set the statement rollback point.
drhfa86c412002-02-02 15:01:15 +00002497**
2498** This routine should be called with the transaction journal already
drhac69b052004-05-12 13:30:07 +00002499** open. A new statement journal is created that can be used to rollback
drhaaab5722002-02-19 13:39:21 +00002500** changes of a single SQL command within a larger transaction.
drhfa86c412002-02-02 15:01:15 +00002501*/
drh3aac2dd2004-04-26 14:10:20 +00002502int sqlite3pager_stmt_begin(Pager *pPager){
drhfa86c412002-02-02 15:01:15 +00002503 int rc;
2504 char zTemp[SQLITE_TEMPNAME_SIZE];
drhac69b052004-05-12 13:30:07 +00002505 assert( !pPager->stmtInUse );
drha6abd042004-06-09 17:37:22 +00002506 TRACE2("STMT-BEGIN %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002507 if( pPager->memDb ){
2508 pPager->stmtInUse = 1;
2509 pPager->stmtSize = pPager->dbSize;
2510 return SQLITE_OK;
2511 }
drhda47d772002-12-02 04:25:19 +00002512 if( !pPager->journalOpen ){
drhac69b052004-05-12 13:30:07 +00002513 pPager->stmtAutoopen = 1;
drhda47d772002-12-02 04:25:19 +00002514 return SQLITE_OK;
2515 }
drhfa86c412002-02-02 15:01:15 +00002516 assert( pPager->journalOpen );
drhac69b052004-05-12 13:30:07 +00002517 pPager->aInStmt = sqliteMalloc( pPager->dbSize/8 + 1 );
2518 if( pPager->aInStmt==0 ){
danielk19779eed5052004-06-04 10:38:30 +00002519 sqlite3OsLock(&pPager->fd, SHARED_LOCK);
drhfa86c412002-02-02 15:01:15 +00002520 return SQLITE_NOMEM;
2521 }
drh968af522003-02-11 14:55:40 +00002522#ifndef NDEBUG
drhac69b052004-05-12 13:30:07 +00002523 rc = sqlite3OsFileSize(&pPager->jfd, &pPager->stmtJSize);
2524 if( rc ) goto stmt_begin_failed;
2525 assert( pPager->stmtJSize ==
drhae2b40c2004-06-09 19:03:54 +00002526 pPager->nRec*JOURNAL_PG_SZ(pPager) + JOURNAL_HDR_SZ(pPager) );
drh968af522003-02-11 14:55:40 +00002527#endif
drhae2b40c2004-06-09 19:03:54 +00002528 pPager->stmtJSize =
2529 pPager->nRec*JOURNAL_PG_SZ(pPager) + JOURNAL_HDR_SZ(pPager);
drhac69b052004-05-12 13:30:07 +00002530 pPager->stmtSize = pPager->dbSize;
2531 if( !pPager->stmtOpen ){
2532 rc = sqlite3pager_opentemp(zTemp, &pPager->stfd);
2533 if( rc ) goto stmt_begin_failed;
2534 pPager->stmtOpen = 1;
2535 pPager->stmtNRec = 0;
drh0f892532002-05-30 12:27:03 +00002536 }
drhac69b052004-05-12 13:30:07 +00002537 pPager->stmtInUse = 1;
drhfa86c412002-02-02 15:01:15 +00002538 return SQLITE_OK;
2539
drhac69b052004-05-12 13:30:07 +00002540stmt_begin_failed:
2541 if( pPager->aInStmt ){
2542 sqliteFree(pPager->aInStmt);
2543 pPager->aInStmt = 0;
drhfa86c412002-02-02 15:01:15 +00002544 }
2545 return rc;
2546}
2547
2548/*
drhac69b052004-05-12 13:30:07 +00002549** Commit a statement.
drhfa86c412002-02-02 15:01:15 +00002550*/
drh3aac2dd2004-04-26 14:10:20 +00002551int sqlite3pager_stmt_commit(Pager *pPager){
drhac69b052004-05-12 13:30:07 +00002552 if( pPager->stmtInUse ){
drh03eb96a2002-11-10 23:32:56 +00002553 PgHdr *pPg, *pNext;
drha6abd042004-06-09 17:37:22 +00002554 TRACE2("STMT-COMMIT %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002555 if( !pPager->memDb ){
2556 sqlite3OsSeek(&pPager->stfd, 0);
2557 /* sqlite3OsTruncate(&pPager->stfd, 0); */
2558 sqliteFree( pPager->aInStmt );
2559 pPager->aInStmt = 0;
drh663fc632002-02-02 18:49:19 +00002560 }
drhac69b052004-05-12 13:30:07 +00002561 for(pPg=pPager->pStmt; pPg; pPg=pNext){
2562 pNext = pPg->pNextStmt;
2563 assert( pPg->inStmt );
2564 pPg->inStmt = 0;
2565 pPg->pPrevStmt = pPg->pNextStmt = 0;
2566 if( pPager->memDb ){
2567 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
2568 sqliteFree(pHist->pStmt);
2569 pHist->pStmt = 0;
2570 }
2571 }
2572 pPager->stmtNRec = 0;
2573 pPager->stmtInUse = 0;
2574 pPager->pStmt = 0;
drh663fc632002-02-02 18:49:19 +00002575 }
drhac69b052004-05-12 13:30:07 +00002576 pPager->stmtAutoopen = 0;
drhfa86c412002-02-02 15:01:15 +00002577 return SQLITE_OK;
2578}
2579
2580/*
drhac69b052004-05-12 13:30:07 +00002581** Rollback a statement.
drhfa86c412002-02-02 15:01:15 +00002582*/
drh3aac2dd2004-04-26 14:10:20 +00002583int sqlite3pager_stmt_rollback(Pager *pPager){
drhfa86c412002-02-02 15:01:15 +00002584 int rc;
drhac69b052004-05-12 13:30:07 +00002585 if( pPager->stmtInUse ){
drha6abd042004-06-09 17:37:22 +00002586 TRACE2("STMT-ROLLBACK %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002587 if( pPager->memDb ){
2588 PgHdr *pPg;
2589 for(pPg=pPager->pStmt; pPg; pPg=pPg->pNextStmt){
2590 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
2591 if( pHist->pStmt ){
2592 memcpy(PGHDR_TO_DATA(pPg), pHist->pStmt, pPager->pageSize);
2593 sqliteFree(pHist->pStmt);
2594 pHist->pStmt = 0;
2595 }
2596 }
2597 pPager->dbSize = pPager->stmtSize;
2598 memoryTruncate(pPager);
2599 rc = SQLITE_OK;
2600 }else{
2601 rc = pager_stmt_playback(pPager);
2602 }
drh3aac2dd2004-04-26 14:10:20 +00002603 sqlite3pager_stmt_commit(pPager);
drh663fc632002-02-02 18:49:19 +00002604 }else{
2605 rc = SQLITE_OK;
2606 }
drhac69b052004-05-12 13:30:07 +00002607 pPager->stmtAutoopen = 0;
drhfa86c412002-02-02 15:01:15 +00002608 return rc;
2609}
2610
drh73509ee2003-04-06 20:44:45 +00002611/*
2612** Return the full pathname of the database file.
2613*/
drh3aac2dd2004-04-26 14:10:20 +00002614const char *sqlite3pager_filename(Pager *pPager){
drh73509ee2003-04-06 20:44:45 +00002615 return pPager->zFilename;
2616}
2617
drhb20ea9d2004-02-09 01:20:36 +00002618/*
2619** Set the codec for this pager
2620*/
drh3aac2dd2004-04-26 14:10:20 +00002621void sqlite3pager_set_codec(
drhb20ea9d2004-02-09 01:20:36 +00002622 Pager *pPager,
drh9eb9e262004-02-11 02:18:05 +00002623 void (*xCodec)(void*,void*,Pgno,int),
drhb20ea9d2004-02-09 01:20:36 +00002624 void *pCodecArg
2625){
2626 pPager->xCodec = xCodec;
2627 pPager->pCodecArg = pCodecArg;
2628}
2629
danielk197713adf8a2004-06-03 16:08:41 +00002630/*
2631** Sync the database file for the pager pPager. zMaster points to the name
2632** of a master journal file that should be written into the individual
2633** journal file. zMaster may be NULL, which is interpreted as no master
2634** journal (a single database transaction).
2635**
2636** This routine ensures that the journal is synced, all dirty pages written
2637** to the database file and the database file synced. The only thing that
2638** remains to commit the transaction is to delete the journal file (or
2639** master journal file if specified).
2640**
2641** Note that if zMaster==NULL, this does not overwrite a previous value
2642** passed to an sqlite3pager_sync() call.
2643*/
2644int sqlite3pager_sync(Pager *pPager, const char *zMaster){
2645 int rc = SQLITE_OK;
2646
2647 /* If this is an in-memory db, or no pages have been written to, this
2648 ** function is a no-op.
2649 */
drha6abd042004-06-09 17:37:22 +00002650 if( !pPager->memDb && pPager->dirtyCache ){
danielk197713adf8a2004-06-03 16:08:41 +00002651 PgHdr *pPg;
2652 assert( pPager->journalOpen );
2653
2654 /* Sync the journal file */
2655 rc = syncJournal(pPager, zMaster);
2656 if( rc!=SQLITE_OK ) goto sync_exit;
2657
2658 /* Write all dirty pages to the database file */
2659 pPg = pager_get_all_dirty_pages(pPager);
2660 rc = pager_write_pagelist(pPg);
2661 if( rc!=SQLITE_OK ) goto sync_exit;
2662
2663 /* If any pages were actually written, sync the database file */
2664 if( pPg && !pPager->noSync ){
2665 rc = sqlite3OsSync(&pPager->fd);
2666 }
2667 }
2668
2669sync_exit:
2670 return rc;
2671}
2672
drh89ac8c12004-06-09 14:17:20 +00002673#ifdef SQLITE_DEBUG
2674/*
2675** Return the current state of the file lock for the given pager.
2676** The return value is one of NO_LOCK, SHARED_LOCK, RESERVED_LOCK,
2677** PENDING_LOCK, or EXCLUSIVE_LOCK.
2678*/
2679int sqlite3pager_lockstate(Pager *pPager){
2680 return pPager->fd.locktype;
2681}
2682#endif
2683
drh74587e52002-08-13 00:01:16 +00002684#ifdef SQLITE_TEST
drhdd793422001-06-28 01:54:48 +00002685/*
2686** Print a listing of all referenced pages and their ref count.
2687*/
drh3aac2dd2004-04-26 14:10:20 +00002688void sqlite3pager_refdump(Pager *pPager){
drhdd793422001-06-28 01:54:48 +00002689 PgHdr *pPg;
2690 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
2691 if( pPg->nRef<=0 ) continue;
2692 printf("PAGE %3d addr=0x%08x nRef=%d\n",
2693 pPg->pgno, (int)PGHDR_TO_DATA(pPg), pPg->nRef);
2694 }
2695}
2696#endif