blob: 40df13f2265030b27db5bc564d291850de187da7 [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**
danielk1977aef0bf62005-12-30 16:28:01 +000021** @(#) $Id: pager.c,v 1.229 2005/12/30 16:28:02 danielk1977 Exp $
drhed7c8552001-04-11 14:29:21 +000022*/
drh2e66f0b2005-04-28 17:18:48 +000023#ifndef SQLITE_OMIT_DISKIO
drhd9b02572001-04-15 00:37:09 +000024#include "sqliteInt.h"
drheb206252004-10-01 02:00:31 +000025#include "os.h"
drhed7c8552001-04-11 14:29:21 +000026#include "pager.h"
drhed7c8552001-04-11 14:29:21 +000027#include <assert.h>
drhd9b02572001-04-15 00:37:09 +000028#include <string.h>
drhed7c8552001-04-11 14:29:21 +000029
30/*
drhdb48ee02003-01-16 13:42:43 +000031** Macros for troubleshooting. Normally turned off
32*/
danielk1977466be562004-06-10 02:16:01 +000033#if 0
drh34f47322004-08-18 15:58:22 +000034#define TRACE1(X) sqlite3DebugPrintf(X)
35#define TRACE2(X,Y) sqlite3DebugPrintf(X,Y)
36#define TRACE3(X,Y,Z) sqlite3DebugPrintf(X,Y,Z)
37#define TRACE4(X,Y,Z,W) sqlite3DebugPrintf(X,Y,Z,W)
danielk197794daf7f2004-11-08 09:26:09 +000038#define TRACE5(X,Y,Z,W,V) sqlite3DebugPrintf(X,Y,Z,W,V)
drhdb48ee02003-01-16 13:42:43 +000039#else
drhdb48ee02003-01-16 13:42:43 +000040#define TRACE1(X)
41#define TRACE2(X,Y)
42#define TRACE3(X,Y,Z)
drh34f47322004-08-18 15:58:22 +000043#define TRACE4(X,Y,Z,W)
danielk1977599fcba2004-11-08 07:13:13 +000044#define TRACE5(X,Y,Z,W,V)
drhdb48ee02003-01-16 13:42:43 +000045#endif
46
danielk1977599fcba2004-11-08 07:13:13 +000047/*
48** The following two macros are used within the TRACEX() macros above
drhd86959f2005-11-26 03:51:18 +000049** to print out file-descriptors.
danielk1977599fcba2004-11-08 07:13:13 +000050**
51** PAGERID() takes a pointer to a Pager struct as it's argument. The
52** associated file-descriptor is returned. FILEHANDLEID() takes an OsFile
53** struct as it's argument.
54*/
drh9cbe6352005-11-29 03:13:21 +000055#define PAGERID(p) FILEHANDLEID(&(p)->fd)
drh054889e2005-11-30 03:20:31 +000056#define FILEHANDLEID(fd) (sqlite3OsFileHandle(&fd))
drhdb48ee02003-01-16 13:42:43 +000057
58/*
drhed7c8552001-04-11 14:29:21 +000059** The page cache as a whole is always in one of the following
60** states:
61**
drha6abd042004-06-09 17:37:22 +000062** PAGER_UNLOCK The page cache is not currently reading or
drhed7c8552001-04-11 14:29:21 +000063** writing the database file. There is no
64** data held in memory. This is the initial
65** state.
66**
drha6abd042004-06-09 17:37:22 +000067** PAGER_SHARED The page cache is reading the database.
drhed7c8552001-04-11 14:29:21 +000068** Writing is not permitted. There can be
69** multiple readers accessing the same database
drh69688d52001-04-14 16:38:23 +000070** file at the same time.
drhed7c8552001-04-11 14:29:21 +000071**
drh726de592004-06-10 23:35:50 +000072** PAGER_RESERVED This process has reserved the database for writing
73** but has not yet made any changes. Only one process
74** at a time can reserve the database. The original
75** database file has not been modified so other
76** processes may still be reading the on-disk
drha6abd042004-06-09 17:37:22 +000077** database file.
78**
79** PAGER_EXCLUSIVE The page cache is writing the database.
drhed7c8552001-04-11 14:29:21 +000080** Access is exclusive. No other processes or
81** threads can be reading or writing while one
82** process is writing.
83**
danielk1977aa5ccdf2004-06-14 05:10:42 +000084** PAGER_SYNCED The pager moves to this state from PAGER_EXCLUSIVE
85** after all dirty pages have been written to the
86** database file and the file has been synced to
87** disk. All that remains to do is to remove the
88** journal file and the transaction will be
89** committed.
90**
drha6abd042004-06-09 17:37:22 +000091** The page cache comes up in PAGER_UNLOCK. The first time a
drh726de592004-06-10 23:35:50 +000092** sqlite3pager_get() occurs, the state transitions to PAGER_SHARED.
drhed7c8552001-04-11 14:29:21 +000093** After all pages have been released using sqlite_page_unref(),
drha6abd042004-06-09 17:37:22 +000094** the state transitions back to PAGER_UNLOCK. The first time
drh726de592004-06-10 23:35:50 +000095** that sqlite3pager_write() is called, the state transitions to
drha6abd042004-06-09 17:37:22 +000096** PAGER_RESERVED. (Note that sqlite_page_write() can only be
drh306dc212001-05-21 13:45:10 +000097** called on an outstanding page which means that the pager must
drha6abd042004-06-09 17:37:22 +000098** be in PAGER_SHARED before it transitions to PAGER_RESERVED.)
drh726de592004-06-10 23:35:50 +000099** The transition to PAGER_EXCLUSIVE occurs when before any changes
100** are made to the database file. After an sqlite3pager_rollback()
101** or sqlite_pager_commit(), the state goes back to PAGER_SHARED.
drhed7c8552001-04-11 14:29:21 +0000102*/
drha6abd042004-06-09 17:37:22 +0000103#define PAGER_UNLOCK 0
drh684917c2004-10-05 02:41:42 +0000104#define PAGER_SHARED 1 /* same as SHARED_LOCK */
105#define PAGER_RESERVED 2 /* same as RESERVED_LOCK */
106#define PAGER_EXCLUSIVE 4 /* same as EXCLUSIVE_LOCK */
107#define PAGER_SYNCED 5
drhed7c8552001-04-11 14:29:21 +0000108
drh684917c2004-10-05 02:41:42 +0000109/*
110** If the SQLITE_BUSY_RESERVED_LOCK macro is set to true at compile-time,
111** then failed attempts to get a reserved lock will invoke the busy callback.
112** This is off by default. To see why, consider the following scenario:
113**
114** Suppose thread A already has a shared lock and wants a reserved lock.
115** Thread B already has a reserved lock and wants an exclusive lock. If
116** both threads are using their busy callbacks, it might be a long time
117** be for one of the threads give up and allows the other to proceed.
118** But if the thread trying to get the reserved lock gives up quickly
119** (if it never invokes its busy callback) then the contention will be
120** resolved quickly.
121*/
122#ifndef SQLITE_BUSY_RESERVED_LOCK
123# define SQLITE_BUSY_RESERVED_LOCK 0
124#endif
drhd9b02572001-04-15 00:37:09 +0000125
drhed7c8552001-04-11 14:29:21 +0000126/*
drh887dc4c2004-10-22 16:22:57 +0000127** This macro rounds values up so that if the value is an address it
128** is guaranteed to be an address that is aligned to an 8-byte boundary.
129*/
130#define FORCE_ALIGNMENT(X) (((X)+7)&~7)
131
132/*
drhed7c8552001-04-11 14:29:21 +0000133** Each in-memory image of a page begins with the following header.
drhbd03cae2001-06-02 02:40:57 +0000134** This header is only visible to this pager module. The client
135** code that calls pager sees only the data that follows the header.
drhf6038712004-02-08 18:07:34 +0000136**
drh3aac2dd2004-04-26 14:10:20 +0000137** Client code should call sqlite3pager_write() on a page prior to making
138** any modifications to that page. The first time sqlite3pager_write()
drhf6038712004-02-08 18:07:34 +0000139** is called, the original page contents are written into the rollback
140** journal and PgHdr.inJournal and PgHdr.needSync are set. Later, once
141** the journal page has made it onto the disk surface, PgHdr.needSync
142** is cleared. The modified page cannot be written back into the original
143** database file until the journal pages has been synced to disk and the
144** PgHdr.needSync has been cleared.
145**
drh3aac2dd2004-04-26 14:10:20 +0000146** The PgHdr.dirty flag is set when sqlite3pager_write() is called and
drhf6038712004-02-08 18:07:34 +0000147** is cleared again when the page content is written back to the original
148** database file.
drhed7c8552001-04-11 14:29:21 +0000149*/
drhd9b02572001-04-15 00:37:09 +0000150typedef struct PgHdr PgHdr;
drhed7c8552001-04-11 14:29:21 +0000151struct PgHdr {
152 Pager *pPager; /* The pager to which this page belongs */
153 Pgno pgno; /* The page number for this page */
drh69688d52001-04-14 16:38:23 +0000154 PgHdr *pNextHash, *pPrevHash; /* Hash collision chain for PgHdr.pgno */
drhd9b02572001-04-15 00:37:09 +0000155 PgHdr *pNextFree, *pPrevFree; /* Freelist of pages where nRef==0 */
drhac69b052004-05-12 13:30:07 +0000156 PgHdr *pNextAll; /* A list of all pages */
157 PgHdr *pNextStmt, *pPrevStmt; /* List of pages in the statement journal */
drh193a6b42002-07-07 16:52:46 +0000158 u8 inJournal; /* TRUE if has been written to journal */
drhac69b052004-05-12 13:30:07 +0000159 u8 inStmt; /* TRUE if in the statement subjournal */
drh193a6b42002-07-07 16:52:46 +0000160 u8 dirty; /* TRUE if we need to write back changes */
drhdb48ee02003-01-16 13:42:43 +0000161 u8 needSync; /* Sync journal before writing this page */
drh193a6b42002-07-07 16:52:46 +0000162 u8 alwaysRollback; /* Disable dont_rollback() for this page */
drhac69b052004-05-12 13:30:07 +0000163 short int nRef; /* Number of users of this page */
drh2554f8b2003-01-22 01:26:44 +0000164 PgHdr *pDirty; /* Dirty pages sorted by PgHdr.pgno */
danielk19773c407372005-02-15 02:54:14 +0000165#ifdef SQLITE_CHECK_PAGES
166 u32 pageHash;
167#endif
drh1c7880e2005-05-20 20:01:55 +0000168 /* pPager->pageSize bytes of page data follow this header */
drh973b6e32003-02-12 14:09:42 +0000169 /* Pager.nExtra bytes of local data follow the page data */
drhed7c8552001-04-11 14:29:21 +0000170};
171
drhac69b052004-05-12 13:30:07 +0000172/*
173** For an in-memory only database, some extra information is recorded about
174** each page so that changes can be rolled back. (Journal files are not
175** used for in-memory databases.) The following information is added to
176** the end of every EXTRA block for in-memory databases.
177**
178** This information could have been added directly to the PgHdr structure.
179** But then it would take up an extra 8 bytes of storage on every PgHdr
180** even for disk-based databases. Splitting it out saves 8 bytes. This
181** is only a savings of 0.8% but those percentages add up.
182*/
183typedef struct PgHistory PgHistory;
184struct PgHistory {
185 u8 *pOrig; /* Original page text. Restore to this on a full rollback */
186 u8 *pStmt; /* Text as it was at the beginning of the current statement */
187};
drh9eb9e262004-02-11 02:18:05 +0000188
189/*
190** A macro used for invoking the codec if there is one
191*/
192#ifdef SQLITE_HAS_CODEC
193# define CODEC(P,D,N,X) if( P->xCodec ){ P->xCodec(P->pCodecArg,D,N,X); }
194#else
195# define CODEC(P,D,N,X)
196#endif
197
drhed7c8552001-04-11 14:29:21 +0000198/*
drh69688d52001-04-14 16:38:23 +0000199** Convert a pointer to a PgHdr into a pointer to its data
200** and back again.
drhed7c8552001-04-11 14:29:21 +0000201*/
202#define PGHDR_TO_DATA(P) ((void*)(&(P)[1]))
203#define DATA_TO_PGHDR(D) (&((PgHdr*)(D))[-1])
drh1c7880e2005-05-20 20:01:55 +0000204#define PGHDR_TO_EXTRA(G,P) ((void*)&((char*)(&(G)[1]))[(P)->pageSize])
drhac69b052004-05-12 13:30:07 +0000205#define PGHDR_TO_HIST(P,PGR) \
drh1c7880e2005-05-20 20:01:55 +0000206 ((PgHistory*)&((char*)(&(P)[1]))[(PGR)->pageSize+(PGR)->nExtra])
drhed7c8552001-04-11 14:29:21 +0000207
208/*
drhed7c8552001-04-11 14:29:21 +0000209** How big to make the hash table used for locating in-memory pages
danielk1977634f2982005-03-28 08:44:07 +0000210** by page number. This macro looks a little silly, but is evaluated
211** at compile-time, not run-time (at least for gcc this is true).
drhed7c8552001-04-11 14:29:21 +0000212*/
danielk1977634f2982005-03-28 08:44:07 +0000213#define N_PG_HASH (\
214 (MAX_PAGES>1024)?2048: \
215 (MAX_PAGES>512)?1024: \
216 (MAX_PAGES>256)?512: \
217 (MAX_PAGES>128)?256: \
218 (MAX_PAGES>64)?128:64 \
219)
drh836faa42003-01-11 13:30:57 +0000220
221/*
222** Hash a page number
223*/
224#define pager_hash(PN) ((PN)&(N_PG_HASH-1))
drhed7c8552001-04-11 14:29:21 +0000225
226/*
227** A open page cache is an instance of the following structure.
228*/
229struct Pager {
drh603240c2002-03-05 01:11:12 +0000230 u8 journalOpen; /* True if journal file descriptors is valid */
drh34e79ce2004-02-08 06:05:46 +0000231 u8 journalStarted; /* True if header of journal is synced */
232 u8 useJournal; /* Use a rollback journal on this file */
drh7bec5052005-02-06 02:45:41 +0000233 u8 noReadlock; /* Do not bother to obtain readlocks */
drhac69b052004-05-12 13:30:07 +0000234 u8 stmtOpen; /* True if the statement subjournal is open */
235 u8 stmtInUse; /* True we are in a statement subtransaction */
236 u8 stmtAutoopen; /* Open stmt journal when main journal is opened*/
drh603240c2002-03-05 01:11:12 +0000237 u8 noSync; /* Do not sync the journal if true */
drh968af522003-02-11 14:55:40 +0000238 u8 fullSync; /* Do extra syncs of the journal for robustness */
drha6abd042004-06-09 17:37:22 +0000239 u8 state; /* PAGER_UNLOCK, _SHARED, _RESERVED, etc. */
drh603240c2002-03-05 01:11:12 +0000240 u8 errMask; /* One of several kinds of errors */
241 u8 tempFile; /* zFilename is a temporary file */
242 u8 readOnly; /* True for a read-only database */
243 u8 needSync; /* True if an fsync() is needed on the journal */
drha6abd042004-06-09 17:37:22 +0000244 u8 dirtyCache; /* True if cached pages have changed */
drh193a6b42002-07-07 16:52:46 +0000245 u8 alwaysRollback; /* Disable dont_rollback() for all pages */
drhac69b052004-05-12 13:30:07 +0000246 u8 memDb; /* True to inhibit all file I/O */
drh6d156e42005-05-20 20:11:20 +0000247 u8 setMaster; /* True if a m-j name has been written to jrnl */
drhfcd35c72005-05-21 02:48:08 +0000248 int dbSize; /* Number of pages in the file */
249 int origDbSize; /* dbSize before the current change */
250 int stmtSize; /* Size of database (in pages) at stmt_begin() */
251 int nRec; /* Number of pages written to the journal */
252 u32 cksumInit; /* Quasi-random value added to every checksum */
253 int stmtNRec; /* Number of records in stmt subjournal */
254 int nExtra; /* Add this many bytes to each in-memory page */
255 int pageSize; /* Number of bytes in a page */
256 int nPage; /* Total number of in-memory pages */
257 int nMaxPage; /* High water mark of nPage */
258 int nRef; /* Number of in-memory pages with PgHdr.nRef>0 */
259 int mxPage; /* Maximum number of pages to hold in cache */
drh603240c2002-03-05 01:11:12 +0000260 u8 *aInJournal; /* One bit for each page in the database file */
drhac69b052004-05-12 13:30:07 +0000261 u8 *aInStmt; /* One bit for each page in the database */
drhfcd35c72005-05-21 02:48:08 +0000262 char *zFilename; /* Name of the database file */
263 char *zJournal; /* Name of the journal file */
264 char *zDirectory; /* Directory hold database and journal files */
drh9cbe6352005-11-29 03:13:21 +0000265 OsFile *fd, *jfd; /* File descriptors for database and journal */
266 OsFile *stfd; /* File descriptor for the statement subjournal*/
drh726de592004-06-10 23:35:50 +0000267 BusyHandler *pBusyHandler; /* Pointer to sqlite.busyHandler */
drhed7c8552001-04-11 14:29:21 +0000268 PgHdr *pFirst, *pLast; /* List of free pages */
drh341eae82003-01-21 02:39:36 +0000269 PgHdr *pFirstSynced; /* First free page with PgHdr.needSync==0 */
drhd9b02572001-04-15 00:37:09 +0000270 PgHdr *pAll; /* List of all pages */
drhac69b052004-05-12 13:30:07 +0000271 PgHdr *pStmt; /* List of pages in the statement subjournal */
drheb206252004-10-01 02:00:31 +0000272 i64 journalOff; /* Current byte offset in the journal file */
273 i64 journalHdr; /* Byte offset to previous journal header */
274 i64 stmtHdrOff; /* First journal header written this statement */
275 i64 stmtCksum; /* cksumInit when statement was started */
drh6d156e42005-05-20 20:11:20 +0000276 i64 stmtJSize; /* Size of journal at stmt_begin() */
danielk197776572402004-06-25 02:38:54 +0000277 int sectorSize; /* Assumed sector size during rollback */
drhfcd35c72005-05-21 02:48:08 +0000278#ifdef SQLITE_TEST
drh6d156e42005-05-20 20:11:20 +0000279 int nHit, nMiss, nOvfl; /* Cache hits, missing, and LRU overflows */
280 int nRead,nWrite; /* Database pages read/written */
drhfcd35c72005-05-21 02:48:08 +0000281#endif
drh6d156e42005-05-20 20:11:20 +0000282 void (*xDestructor)(void*,int); /* Call this routine when freeing pages */
283 void (*xReiniter)(void*,int); /* Call this routine when reloading pages */
284 void (*xCodec)(void*,void*,Pgno,int); /* Routine for en/decoding data */
285 void *pCodecArg; /* First argument to xCodec() */
drh76ff3a02004-09-24 22:32:30 +0000286 PgHdr *aHash[N_PG_HASH]; /* Hash table to map page number to PgHdr */
danielk197713f72992005-12-18 08:51:22 +0000287#ifndef SQLITE_OMIT_MEMORY_MANAGEMENT
288 Pager *pNext; /* Linked list of pagers in this thread */
289#endif
drhd9b02572001-04-15 00:37:09 +0000290};
291
292/*
drhfcd35c72005-05-21 02:48:08 +0000293** If SQLITE_TEST is defined then increment the variable given in
294** the argument
295*/
296#ifdef SQLITE_TEST
297# define TEST_INCR(x) x++
298#else
299# define TEST_INCR(x)
300#endif
301
302/*
drhd9b02572001-04-15 00:37:09 +0000303** These are bits that can be set in Pager.errMask.
danielk1977aef0bf62005-12-30 16:28:01 +0000304**
305** TODO: Maybe we just want a variable - Pager.errCode. Can we really
306** have two simultaneous error conditions?
307**
308** Recovering from an SQLITE_FULL, SQLITE_LOCK, SQLITE_CORRUPT or
309** SQLITE_IOERR error is not a simple matter, particularly if the pager
310** cache is shared between multiple connections.
311**
312** SQLITE_FULL (PAGER_ERR_FULL):
313** Cleared when the transaction is rolled back.
314**
315** SQLITE_CORRUPT (PAGER_ERR_CORRUPT):
316** Cannot be cleared. The upper layer must close the current pager
317** and open a new one on the same file to continue.
318**
319** SQLITE_PROTOCOL (PAGER_ERR_LOCK):
320** This error only occurs if an internal error occurs or another process
321** is not following the sqlite locking protocol (i.e. someone is
322** manipulating the database file using something other than sqlite).
323** This is handled in the same way as database corruption - the error
324** cannot be cleared except by closing the current pager and opening
325** a brand new one on the same file.
326**
327** SQLITE_IOERR (PAGER_ERR_DISK):
328** Cleared when the transaction is rolled back.
drhd9b02572001-04-15 00:37:09 +0000329*/
330#define PAGER_ERR_FULL 0x01 /* a write() failed */
danielk1977aef0bf62005-12-30 16:28:01 +0000331#define PAGER_ERR_LOCK 0x02 /* error in the locking protocol */
332#define PAGER_ERR_CORRUPT 0x04 /* database or journal corruption */
333#define PAGER_ERR_DISK 0x08 /* general disk I/O error - bad hard drive? */
drhd9b02572001-04-15 00:37:09 +0000334
335/*
drh5e00f6c2001-09-13 13:46:56 +0000336** Journal files begin with the following magic string. The data
337** was obtained from /dev/random. It is used only as a sanity check.
drh94f33312002-08-12 12:29:56 +0000338**
drhae2b40c2004-06-09 19:03:54 +0000339** Since version 2.8.0, the journal format contains additional sanity
340** checking information. If the power fails while the journal is begin
341** written, semi-random garbage data might appear in the journal
342** file after power is restored. If an attempt is then made
drh968af522003-02-11 14:55:40 +0000343** to roll the journal back, the database could be corrupted. The additional
344** sanity checking data is an attempt to discover the garbage in the
345** journal and ignore it.
346**
drhae2b40c2004-06-09 19:03:54 +0000347** The sanity checking information for the new journal format consists
drh968af522003-02-11 14:55:40 +0000348** of a 32-bit checksum on each page of data. The checksum covers both
drh90f5ecb2004-07-22 01:19:35 +0000349** the page number and the pPager->pageSize bytes of data for the page.
drh968af522003-02-11 14:55:40 +0000350** This cksum is initialized to a 32-bit random value that appears in the
351** journal file right after the header. The random initializer is important,
352** because garbage data that appears at the end of a journal is likely
353** data that was once in other files that have now been deleted. If the
354** garbage data came from an obsolete journal file, the checksums might
355** be correct. But by initializing the checksum to random value which
356** is different for every journal, we minimize that risk.
drhd9b02572001-04-15 00:37:09 +0000357*/
drhae2b40c2004-06-09 19:03:54 +0000358static const unsigned char aJournalMagic[] = {
359 0xd9, 0xd5, 0x05, 0xf9, 0x20, 0xa1, 0x63, 0xd7,
drhed7c8552001-04-11 14:29:21 +0000360};
361
362/*
drh726de592004-06-10 23:35:50 +0000363** The size of the header and of each page in the journal is determined
364** by the following macros.
drh968af522003-02-11 14:55:40 +0000365*/
drhae2b40c2004-06-09 19:03:54 +0000366#define JOURNAL_PG_SZ(pPager) ((pPager->pageSize) + 8)
drh968af522003-02-11 14:55:40 +0000367
danielk197776572402004-06-25 02:38:54 +0000368/*
369** The journal header size for this pager. In the future, this could be
370** set to some value read from the disk controller. The important
371** characteristic is that it is the same size as a disk sector.
372*/
373#define JOURNAL_HDR_SZ(pPager) (pPager->sectorSize)
374
drhb7f91642004-10-31 02:22:47 +0000375/*
376** The macro MEMDB is true if we are dealing with an in-memory database.
377** We do this as a macro so that if the SQLITE_OMIT_MEMORYDB macro is set,
378** the value of MEMDB will be a constant and the compiler will optimize
379** out code that would never execute.
380*/
381#ifdef SQLITE_OMIT_MEMORYDB
382# define MEMDB 0
383#else
384# define MEMDB pPager->memDb
385#endif
386
387/*
388** The default size of a disk sector
389*/
danielk197776572402004-06-25 02:38:54 +0000390#define PAGER_SECTOR_SIZE 512
391
392/*
393** Page number PAGER_MJ_PGNO is never used in an SQLite database (it is
394** reserved for working around a windows/posix incompatibility). It is
395** used in the journal to signify that the remainder of the journal file
396** is devoted to storing a master journal name - there are no more pages to
397** roll back. See comments for function writeMasterJournal() for details.
398*/
danielk1977599fcba2004-11-08 07:13:13 +0000399/* #define PAGER_MJ_PGNO(x) (PENDING_BYTE/((x)->pageSize)) */
400#define PAGER_MJ_PGNO(x) ((PENDING_BYTE/((x)->pageSize))+1)
danielk197713adf8a2004-06-03 16:08:41 +0000401
drh968af522003-02-11 14:55:40 +0000402/*
danielk197726836652005-01-17 01:33:13 +0000403** The maximum legal page number is (2^31 - 1).
404*/
405#define PAGER_MAX_PGNO 2147483647
406
407/*
drh726de592004-06-10 23:35:50 +0000408** Enable reference count tracking (for debugging) here:
drhdd793422001-06-28 01:54:48 +0000409*/
danielk1977aca790a2005-01-13 11:07:52 +0000410#ifdef SQLITE_DEBUG
drh3aac2dd2004-04-26 14:10:20 +0000411 int pager3_refinfo_enable = 0;
drhdd793422001-06-28 01:54:48 +0000412 static void pager_refinfo(PgHdr *p){
413 static int cnt = 0;
drh3aac2dd2004-04-26 14:10:20 +0000414 if( !pager3_refinfo_enable ) return;
drhfe63d1c2004-09-08 20:13:04 +0000415 sqlite3DebugPrintf(
416 "REFCNT: %4d addr=%p nRef=%d\n",
417 p->pgno, PGHDR_TO_DATA(p), p->nRef
drhdd793422001-06-28 01:54:48 +0000418 );
419 cnt++; /* Something to set a breakpoint on */
420 }
421# define REFINFO(X) pager_refinfo(X)
422#else
423# define REFINFO(X)
424#endif
425
426/*
drh34e79ce2004-02-08 06:05:46 +0000427** Read a 32-bit integer from the given file descriptor. Store the integer
428** that is read in *pRes. Return SQLITE_OK if everything worked, or an
429** error code is something goes wrong.
drh726de592004-06-10 23:35:50 +0000430**
431** All values are stored on disk as big-endian.
drh94f33312002-08-12 12:29:56 +0000432*/
drhae2b40c2004-06-09 19:03:54 +0000433static int read32bits(OsFile *fd, u32 *pRes){
drh94f33312002-08-12 12:29:56 +0000434 u32 res;
435 int rc;
drh054889e2005-11-30 03:20:31 +0000436 rc = sqlite3OsRead(fd, &res, sizeof(res));
drhae2b40c2004-06-09 19:03:54 +0000437 if( rc==SQLITE_OK ){
drh94f33312002-08-12 12:29:56 +0000438 unsigned char ac[4];
439 memcpy(ac, &res, 4);
440 res = (ac[0]<<24) | (ac[1]<<16) | (ac[2]<<8) | ac[3];
441 }
442 *pRes = res;
443 return rc;
444}
445
446/*
drh34e79ce2004-02-08 06:05:46 +0000447** Write a 32-bit integer into the given file descriptor. Return SQLITE_OK
448** on success or an error code is something goes wrong.
drh94f33312002-08-12 12:29:56 +0000449*/
450static int write32bits(OsFile *fd, u32 val){
451 unsigned char ac[4];
drh94f33312002-08-12 12:29:56 +0000452 ac[0] = (val>>24) & 0xff;
453 ac[1] = (val>>16) & 0xff;
454 ac[2] = (val>>8) & 0xff;
455 ac[3] = val & 0xff;
drh054889e2005-11-30 03:20:31 +0000456 return sqlite3OsWrite(fd, ac, 4);
drh94f33312002-08-12 12:29:56 +0000457}
458
drh2554f8b2003-01-22 01:26:44 +0000459/*
danielk1977aa5ccdf2004-06-14 05:10:42 +0000460** Write the 32-bit integer 'val' into the page identified by page header
461** 'p' at offset 'offset'.
drh2554f8b2003-01-22 01:26:44 +0000462*/
drh968af522003-02-11 14:55:40 +0000463static void store32bits(u32 val, PgHdr *p, int offset){
drh2554f8b2003-01-22 01:26:44 +0000464 unsigned char *ac;
drhec1bd0b2003-08-26 11:41:27 +0000465 ac = &((unsigned char*)PGHDR_TO_DATA(p))[offset];
drhae2b40c2004-06-09 19:03:54 +0000466 ac[0] = (val>>24) & 0xff;
467 ac[1] = (val>>16) & 0xff;
468 ac[2] = (val>>8) & 0xff;
469 ac[3] = val & 0xff;
drh2554f8b2003-01-22 01:26:44 +0000470}
471
danielk1977aa5ccdf2004-06-14 05:10:42 +0000472/*
473** Read a 32-bit integer at offset 'offset' from the page identified by
474** page header 'p'.
475*/
476static u32 retrieve32bits(PgHdr *p, int offset){
477 unsigned char *ac;
478 ac = &((unsigned char*)PGHDR_TO_DATA(p))[offset];
479 return (ac[0]<<24) | (ac[1]<<16) | (ac[2]<<8) | ac[3];
480}
481
drh94f33312002-08-12 12:29:56 +0000482
483/*
drhd9b02572001-04-15 00:37:09 +0000484** Convert the bits in the pPager->errMask into an approprate
485** return code.
486*/
487static int pager_errcode(Pager *pPager){
488 int rc = SQLITE_OK;
489 if( pPager->errMask & PAGER_ERR_LOCK ) rc = SQLITE_PROTOCOL;
drh81a20f22001-10-12 17:30:04 +0000490 if( pPager->errMask & PAGER_ERR_DISK ) rc = SQLITE_IOERR;
drhd9b02572001-04-15 00:37:09 +0000491 if( pPager->errMask & PAGER_ERR_FULL ) rc = SQLITE_FULL;
drhd9b02572001-04-15 00:37:09 +0000492 if( pPager->errMask & PAGER_ERR_CORRUPT ) rc = SQLITE_CORRUPT;
493 return rc;
drhed7c8552001-04-11 14:29:21 +0000494}
495
danielk1977aef0bf62005-12-30 16:28:01 +0000496/*
497** This function should be called when an error occurs within the pager
498** code to set the appropriate bits in Pager.errMask.
499*/
500static int pager_error(Pager *pPager, int rc){
501 switch( rc ){
502 case SQLITE_PROTOCOL:
503 pPager->errMask |= PAGER_ERR_LOCK;
504 break;
505 case SQLITE_IOERR:
506 pPager->errMask |= PAGER_ERR_DISK;
507 break;
508 case SQLITE_FULL:
509 pPager->errMask |= PAGER_ERR_FULL;
510 break;
511 case SQLITE_CORRUPT:
512 pPager->errMask |= PAGER_ERR_CORRUPT;
513 break;
514 }
515 return rc;
516}
517
danielk19773c407372005-02-15 02:54:14 +0000518#ifdef SQLITE_CHECK_PAGES
519/*
520** Return a 32-bit hash of the page data for pPage.
521*/
522static u32 pager_pagehash(PgHdr *pPage){
523 u32 hash = 0;
524 int i;
525 unsigned char *pData = (unsigned char *)PGHDR_TO_DATA(pPage);
526 for(i=0; i<pPage->pPager->pageSize; i++){
527 hash = (hash+i)^pData[i];
528 }
529 return hash;
530}
531
532/*
533** The CHECK_PAGE macro takes a PgHdr* as an argument. If SQLITE_CHECK_PAGES
534** is defined, and NDEBUG is not defined, an assert() statement checks
535** that the page is either dirty or still matches the calculated page-hash.
536*/
537#define CHECK_PAGE(x) checkPage(x)
538static void checkPage(PgHdr *pPg){
539 Pager *pPager = pPg->pPager;
540 assert( !pPg->pageHash || pPager->errMask || MEMDB || pPg->dirty ||
541 pPg->pageHash==pager_pagehash(pPg) );
542}
543
544#else
545#define CHECK_PAGE(x)
546#endif
547
drhed7c8552001-04-11 14:29:21 +0000548/*
danielk197776572402004-06-25 02:38:54 +0000549** When this is called the journal file for pager pPager must be open.
550** The master journal file name is read from the end of the file and
551** written into memory obtained from sqliteMalloc(). *pzMaster is
552** set to point at the memory and SQLITE_OK returned. The caller must
553** sqliteFree() *pzMaster.
554**
555** If no master journal file name is present *pzMaster is set to 0 and
556** SQLITE_OK returned.
557*/
558static int readMasterJournal(OsFile *pJrnl, char **pzMaster){
559 int rc;
560 u32 len;
drheb206252004-10-01 02:00:31 +0000561 i64 szJ;
danielk1977c3e8f5e2004-06-28 01:16:46 +0000562 u32 cksum;
danielk1977cafadba2004-06-25 11:11:54 +0000563 int i;
danielk197776572402004-06-25 02:38:54 +0000564 unsigned char aMagic[8]; /* A buffer to hold the magic header */
565
566 *pzMaster = 0;
567
drh054889e2005-11-30 03:20:31 +0000568 rc = sqlite3OsFileSize(pJrnl, &szJ);
danielk1977cafadba2004-06-25 11:11:54 +0000569 if( rc!=SQLITE_OK || szJ<16 ) return rc;
danielk197776572402004-06-25 02:38:54 +0000570
drh054889e2005-11-30 03:20:31 +0000571 rc = sqlite3OsSeek(pJrnl, szJ-16);
danielk197776572402004-06-25 02:38:54 +0000572 if( rc!=SQLITE_OK ) return rc;
573
574 rc = read32bits(pJrnl, &len);
575 if( rc!=SQLITE_OK ) return rc;
576
danielk1977cafadba2004-06-25 11:11:54 +0000577 rc = read32bits(pJrnl, &cksum);
578 if( rc!=SQLITE_OK ) return rc;
579
drh054889e2005-11-30 03:20:31 +0000580 rc = sqlite3OsRead(pJrnl, aMagic, 8);
danielk197776572402004-06-25 02:38:54 +0000581 if( rc!=SQLITE_OK || memcmp(aMagic, aJournalMagic, 8) ) return rc;
582
drh054889e2005-11-30 03:20:31 +0000583 rc = sqlite3OsSeek(pJrnl, szJ-16-len);
danielk197776572402004-06-25 02:38:54 +0000584 if( rc!=SQLITE_OK ) return rc;
585
danielk19778191bff2004-06-28 04:52:30 +0000586 *pzMaster = (char *)sqliteMalloc(len+1);
danielk197776572402004-06-25 02:38:54 +0000587 if( !*pzMaster ){
588 return SQLITE_NOMEM;
589 }
drh054889e2005-11-30 03:20:31 +0000590 rc = sqlite3OsRead(pJrnl, *pzMaster, len);
danielk197776572402004-06-25 02:38:54 +0000591 if( rc!=SQLITE_OK ){
592 sqliteFree(*pzMaster);
593 *pzMaster = 0;
594 return rc;
595 }
danielk1977cafadba2004-06-25 11:11:54 +0000596
597 /* See if the checksum matches the master journal name */
598 for(i=0; i<len; i++){
danielk19778191bff2004-06-28 04:52:30 +0000599 cksum -= (*pzMaster)[i];
danielk1977cafadba2004-06-25 11:11:54 +0000600 }
danielk19778191bff2004-06-28 04:52:30 +0000601 if( cksum ){
602 /* If the checksum doesn't add up, then one or more of the disk sectors
603 ** containing the master journal filename is corrupted. This means
604 ** definitely roll back, so just return SQLITE_OK and report a (nul)
605 ** master-journal filename.
606 */
danielk1977cafadba2004-06-25 11:11:54 +0000607 sqliteFree(*pzMaster);
608 *pzMaster = 0;
danielk1977aca790a2005-01-13 11:07:52 +0000609 }else{
610 (*pzMaster)[len] = '\0';
danielk1977cafadba2004-06-25 11:11:54 +0000611 }
danielk197776572402004-06-25 02:38:54 +0000612
613 return SQLITE_OK;
614}
615
616/*
617** Seek the journal file descriptor to the next sector boundary where a
618** journal header may be read or written. Pager.journalOff is updated with
619** the new seek offset.
620**
621** i.e for a sector size of 512:
622**
623** Input Offset Output Offset
624** ---------------------------------------
625** 0 0
626** 512 512
627** 100 512
628** 2000 2048
629**
630*/
631static int seekJournalHdr(Pager *pPager){
drheb206252004-10-01 02:00:31 +0000632 i64 offset = 0;
633 i64 c = pPager->journalOff;
danielk197776572402004-06-25 02:38:54 +0000634 if( c ){
635 offset = ((c-1)/JOURNAL_HDR_SZ(pPager) + 1) * JOURNAL_HDR_SZ(pPager);
636 }
637 assert( offset%JOURNAL_HDR_SZ(pPager)==0 );
638 assert( offset>=c );
639 assert( (offset-c)<JOURNAL_HDR_SZ(pPager) );
640 pPager->journalOff = offset;
drh054889e2005-11-30 03:20:31 +0000641 return sqlite3OsSeek(pPager->jfd, pPager->journalOff);
danielk197776572402004-06-25 02:38:54 +0000642}
643
644/*
645** The journal file must be open when this routine is called. A journal
646** header (JOURNAL_HDR_SZ bytes) is written into the journal file at the
647** current location.
648**
649** The format for the journal header is as follows:
650** - 8 bytes: Magic identifying journal format.
651** - 4 bytes: Number of records in journal, or -1 no-sync mode is on.
652** - 4 bytes: Random number used for page hash.
653** - 4 bytes: Initial database page count.
654** - 4 bytes: Sector size used by the process that wrote this journal.
655**
danielk1977f42f25c2004-06-25 07:21:28 +0000656** Followed by (JOURNAL_HDR_SZ - 24) bytes of unused space.
danielk197776572402004-06-25 02:38:54 +0000657*/
658static int writeJournalHdr(Pager *pPager){
659
660 int rc = seekJournalHdr(pPager);
661 if( rc ) return rc;
662
663 pPager->journalHdr = pPager->journalOff;
664 if( pPager->stmtHdrOff==0 ){
665 pPager->stmtHdrOff = pPager->journalHdr;
666 }
667 pPager->journalOff += JOURNAL_HDR_SZ(pPager);
668
669 /* FIX ME:
670 **
671 ** Possibly for a pager not in no-sync mode, the journal magic should not
672 ** be written until nRec is filled in as part of next syncJournal().
673 **
674 ** Actually maybe the whole journal header should be delayed until that
675 ** point. Think about this.
676 */
drh054889e2005-11-30 03:20:31 +0000677 rc = sqlite3OsWrite(pPager->jfd, aJournalMagic, sizeof(aJournalMagic));
danielk197776572402004-06-25 02:38:54 +0000678
679 if( rc==SQLITE_OK ){
680 /* The nRec Field. 0xFFFFFFFF for no-sync journals. */
drh9cbe6352005-11-29 03:13:21 +0000681 rc = write32bits(pPager->jfd, pPager->noSync ? 0xffffffff : 0);
danielk197776572402004-06-25 02:38:54 +0000682 }
683 if( rc==SQLITE_OK ){
684 /* The random check-hash initialiser */
685 sqlite3Randomness(sizeof(pPager->cksumInit), &pPager->cksumInit);
drh9cbe6352005-11-29 03:13:21 +0000686 rc = write32bits(pPager->jfd, pPager->cksumInit);
danielk197776572402004-06-25 02:38:54 +0000687 }
688 if( rc==SQLITE_OK ){
689 /* The initial database size */
drh9cbe6352005-11-29 03:13:21 +0000690 rc = write32bits(pPager->jfd, pPager->dbSize);
danielk197776572402004-06-25 02:38:54 +0000691 }
692 if( rc==SQLITE_OK ){
693 /* The assumed sector size for this process */
drh9cbe6352005-11-29 03:13:21 +0000694 rc = write32bits(pPager->jfd, pPager->sectorSize);
danielk197776572402004-06-25 02:38:54 +0000695 }
696
697 /* The journal header has been written successfully. Seek the journal
698 ** file descriptor to the end of the journal header sector.
699 */
700 if( rc==SQLITE_OK ){
drh054889e2005-11-30 03:20:31 +0000701 rc = sqlite3OsSeek(pPager->jfd, pPager->journalOff-1);
drhb4746b92005-09-09 01:32:06 +0000702 if( rc==SQLITE_OK ){
drh054889e2005-11-30 03:20:31 +0000703 rc = sqlite3OsWrite(pPager->jfd, "\000", 1);
drhb4746b92005-09-09 01:32:06 +0000704 }
danielk197776572402004-06-25 02:38:54 +0000705 }
706 return rc;
707}
708
709/*
710** The journal file must be open when this is called. A journal header file
711** (JOURNAL_HDR_SZ bytes) is read from the current location in the journal
712** file. See comments above function writeJournalHdr() for a description of
713** the journal header format.
714**
715** If the header is read successfully, *nRec is set to the number of
716** page records following this header and *dbSize is set to the size of the
717** database before the transaction began, in pages. Also, pPager->cksumInit
718** is set to the value read from the journal header. SQLITE_OK is returned
719** in this case.
720**
721** If the journal header file appears to be corrupted, SQLITE_DONE is
722** returned and *nRec and *dbSize are not set. If JOURNAL_HDR_SZ bytes
723** cannot be read from the journal file an error code is returned.
724*/
725static int readJournalHdr(
726 Pager *pPager,
drheb206252004-10-01 02:00:31 +0000727 i64 journalSize,
danielk197776572402004-06-25 02:38:54 +0000728 u32 *pNRec,
729 u32 *pDbSize
730){
731 int rc;
732 unsigned char aMagic[8]; /* A buffer to hold the magic header */
733
734 rc = seekJournalHdr(pPager);
735 if( rc ) return rc;
736
737 if( pPager->journalOff+JOURNAL_HDR_SZ(pPager) > journalSize ){
738 return SQLITE_DONE;
739 }
740
drh054889e2005-11-30 03:20:31 +0000741 rc = sqlite3OsRead(pPager->jfd, aMagic, sizeof(aMagic));
danielk197776572402004-06-25 02:38:54 +0000742 if( rc ) return rc;
743
744 if( memcmp(aMagic, aJournalMagic, sizeof(aMagic))!=0 ){
745 return SQLITE_DONE;
746 }
747
drh9cbe6352005-11-29 03:13:21 +0000748 rc = read32bits(pPager->jfd, pNRec);
danielk197776572402004-06-25 02:38:54 +0000749 if( rc ) return rc;
750
drh9cbe6352005-11-29 03:13:21 +0000751 rc = read32bits(pPager->jfd, &pPager->cksumInit);
danielk197776572402004-06-25 02:38:54 +0000752 if( rc ) return rc;
753
drh9cbe6352005-11-29 03:13:21 +0000754 rc = read32bits(pPager->jfd, pDbSize);
danielk197776572402004-06-25 02:38:54 +0000755 if( rc ) return rc;
756
757 /* Update the assumed sector-size to match the value used by
758 ** the process that created this journal. If this journal was
759 ** created by a process other than this one, then this routine
760 ** is being called from within pager_playback(). The local value
761 ** of Pager.sectorSize is restored at the end of that routine.
762 */
drh9cbe6352005-11-29 03:13:21 +0000763 rc = read32bits(pPager->jfd, (u32 *)&pPager->sectorSize);
danielk197776572402004-06-25 02:38:54 +0000764 if( rc ) return rc;
765
766 pPager->journalOff += JOURNAL_HDR_SZ(pPager);
drh054889e2005-11-30 03:20:31 +0000767 rc = sqlite3OsSeek(pPager->jfd, pPager->journalOff);
danielk197776572402004-06-25 02:38:54 +0000768 return rc;
769}
770
771
772/*
773** Write the supplied master journal name into the journal file for pager
danielk1977cafadba2004-06-25 11:11:54 +0000774** pPager at the current location. The master journal name must be the last
775** thing written to a journal file. If the pager is in full-sync mode, the
776** journal file descriptor is advanced to the next sector boundary before
777** anything is written. The format is:
778**
779** + 4 bytes: PAGER_MJ_PGNO.
780** + N bytes: length of master journal name.
781** + 4 bytes: N
782** + 4 bytes: Master journal name checksum.
783** + 8 bytes: aJournalMagic[].
784**
785** The master journal page checksum is the sum of the bytes in the master
786** journal name.
danielk1977aef0bf62005-12-30 16:28:01 +0000787**
788** If zMaster is a NULL pointer (occurs for a single database transaction),
789** this call is a no-op.
danielk197776572402004-06-25 02:38:54 +0000790*/
791static int writeMasterJournal(Pager *pPager, const char *zMaster){
792 int rc;
793 int len;
danielk1977cafadba2004-06-25 11:11:54 +0000794 int i;
danielk1977c3e8f5e2004-06-28 01:16:46 +0000795 u32 cksum = 0;
danielk197776572402004-06-25 02:38:54 +0000796
797 if( !zMaster || pPager->setMaster) return SQLITE_OK;
798 pPager->setMaster = 1;
799
800 len = strlen(zMaster);
danielk1977cafadba2004-06-25 11:11:54 +0000801 for(i=0; i<len; i++){
802 cksum += zMaster[i];
803 }
danielk197776572402004-06-25 02:38:54 +0000804
805 /* If in full-sync mode, advance to the next disk sector before writing
806 ** the master journal name. This is in case the previous page written to
807 ** the journal has already been synced.
808 */
809 if( pPager->fullSync ){
810 rc = seekJournalHdr(pPager);
811 if( rc!=SQLITE_OK ) return rc;
812 }
danielk1977cafadba2004-06-25 11:11:54 +0000813 pPager->journalOff += (len+20);
danielk197776572402004-06-25 02:38:54 +0000814
drh9cbe6352005-11-29 03:13:21 +0000815 rc = write32bits(pPager->jfd, PAGER_MJ_PGNO(pPager));
danielk197776572402004-06-25 02:38:54 +0000816 if( rc!=SQLITE_OK ) return rc;
817
drh054889e2005-11-30 03:20:31 +0000818 rc = sqlite3OsWrite(pPager->jfd, zMaster, len);
danielk197776572402004-06-25 02:38:54 +0000819 if( rc!=SQLITE_OK ) return rc;
820
drh9cbe6352005-11-29 03:13:21 +0000821 rc = write32bits(pPager->jfd, len);
danielk197776572402004-06-25 02:38:54 +0000822 if( rc!=SQLITE_OK ) return rc;
823
drh9cbe6352005-11-29 03:13:21 +0000824 rc = write32bits(pPager->jfd, cksum);
danielk1977cafadba2004-06-25 11:11:54 +0000825 if( rc!=SQLITE_OK ) return rc;
826
drh054889e2005-11-30 03:20:31 +0000827 rc = sqlite3OsWrite(pPager->jfd, aJournalMagic, sizeof(aJournalMagic));
drh2c8997b2005-08-27 16:36:48 +0000828 pPager->needSync = !pPager->noSync;
danielk197776572402004-06-25 02:38:54 +0000829 return rc;
830}
831
832/*
drh03eb96a2002-11-10 23:32:56 +0000833** Add or remove a page from the list of all pages that are in the
drhac69b052004-05-12 13:30:07 +0000834** statement journal.
drh03eb96a2002-11-10 23:32:56 +0000835**
836** The Pager keeps a separate list of pages that are currently in
drhac69b052004-05-12 13:30:07 +0000837** the statement journal. This helps the sqlite3pager_stmt_commit()
drh03eb96a2002-11-10 23:32:56 +0000838** routine run MUCH faster for the common case where there are many
drhac69b052004-05-12 13:30:07 +0000839** pages in memory but only a few are in the statement journal.
drh03eb96a2002-11-10 23:32:56 +0000840*/
drh3aac2dd2004-04-26 14:10:20 +0000841static void page_add_to_stmt_list(PgHdr *pPg){
drh03eb96a2002-11-10 23:32:56 +0000842 Pager *pPager = pPg->pPager;
drhac69b052004-05-12 13:30:07 +0000843 if( pPg->inStmt ) return;
844 assert( pPg->pPrevStmt==0 && pPg->pNextStmt==0 );
845 pPg->pPrevStmt = 0;
846 if( pPager->pStmt ){
847 pPager->pStmt->pPrevStmt = pPg;
drh03eb96a2002-11-10 23:32:56 +0000848 }
drhac69b052004-05-12 13:30:07 +0000849 pPg->pNextStmt = pPager->pStmt;
850 pPager->pStmt = pPg;
851 pPg->inStmt = 1;
drh03eb96a2002-11-10 23:32:56 +0000852}
drh3aac2dd2004-04-26 14:10:20 +0000853static void page_remove_from_stmt_list(PgHdr *pPg){
drhac69b052004-05-12 13:30:07 +0000854 if( !pPg->inStmt ) return;
855 if( pPg->pPrevStmt ){
856 assert( pPg->pPrevStmt->pNextStmt==pPg );
857 pPg->pPrevStmt->pNextStmt = pPg->pNextStmt;
drh03eb96a2002-11-10 23:32:56 +0000858 }else{
drhac69b052004-05-12 13:30:07 +0000859 assert( pPg->pPager->pStmt==pPg );
860 pPg->pPager->pStmt = pPg->pNextStmt;
drh03eb96a2002-11-10 23:32:56 +0000861 }
drhac69b052004-05-12 13:30:07 +0000862 if( pPg->pNextStmt ){
863 assert( pPg->pNextStmt->pPrevStmt==pPg );
864 pPg->pNextStmt->pPrevStmt = pPg->pPrevStmt;
drh03eb96a2002-11-10 23:32:56 +0000865 }
drhac69b052004-05-12 13:30:07 +0000866 pPg->pNextStmt = 0;
867 pPg->pPrevStmt = 0;
868 pPg->inStmt = 0;
drh03eb96a2002-11-10 23:32:56 +0000869}
870
871/*
drhed7c8552001-04-11 14:29:21 +0000872** Find a page in the hash table given its page number. Return
873** a pointer to the page or NULL if not found.
874*/
drhd9b02572001-04-15 00:37:09 +0000875static PgHdr *pager_lookup(Pager *pPager, Pgno pgno){
drh836faa42003-01-11 13:30:57 +0000876 PgHdr *p = pPager->aHash[pager_hash(pgno)];
drhed7c8552001-04-11 14:29:21 +0000877 while( p && p->pgno!=pgno ){
878 p = p->pNextHash;
879 }
880 return p;
881}
882
883/*
884** Unlock the database and clear the in-memory cache. This routine
885** sets the state of the pager back to what it was when it was first
886** opened. Any outstanding pages are invalidated and subsequent attempts
887** to access those pages will likely result in a coredump.
888*/
drhd9b02572001-04-15 00:37:09 +0000889static void pager_reset(Pager *pPager){
drhed7c8552001-04-11 14:29:21 +0000890 PgHdr *pPg, *pNext;
danielk1977e94ddc92005-03-21 03:53:38 +0000891 if( pPager->errMask ) return;
drhd9b02572001-04-15 00:37:09 +0000892 for(pPg=pPager->pAll; pPg; pPg=pNext){
893 pNext = pPg->pNextAll;
894 sqliteFree(pPg);
drhed7c8552001-04-11 14:29:21 +0000895 }
896 pPager->pFirst = 0;
drh341eae82003-01-21 02:39:36 +0000897 pPager->pFirstSynced = 0;
drhd9b02572001-04-15 00:37:09 +0000898 pPager->pLast = 0;
899 pPager->pAll = 0;
drhed7c8552001-04-11 14:29:21 +0000900 memset(pPager->aHash, 0, sizeof(pPager->aHash));
901 pPager->nPage = 0;
drha6abd042004-06-09 17:37:22 +0000902 if( pPager->state>=PAGER_RESERVED ){
drh3aac2dd2004-04-26 14:10:20 +0000903 sqlite3pager_rollback(pPager);
drhed7c8552001-04-11 14:29:21 +0000904 }
drh054889e2005-11-30 03:20:31 +0000905 sqlite3OsUnlock(pPager->fd, NO_LOCK);
drha6abd042004-06-09 17:37:22 +0000906 pPager->state = PAGER_UNLOCK;
drhd9b02572001-04-15 00:37:09 +0000907 pPager->dbSize = -1;
drhed7c8552001-04-11 14:29:21 +0000908 pPager->nRef = 0;
drh8cfbf082001-09-19 13:22:39 +0000909 assert( pPager->journalOpen==0 );
drhed7c8552001-04-11 14:29:21 +0000910}
911
danielk19776b456a22005-03-21 04:04:02 +0000912/*
drhed7c8552001-04-11 14:29:21 +0000913** When this routine is called, the pager has the journal file open and
drha6abd042004-06-09 17:37:22 +0000914** a RESERVED or EXCLUSIVE lock on the database. This routine releases
915** the database lock and acquires a SHARED lock in its place. The journal
916** file is deleted and closed.
drh50457892003-09-06 01:10:47 +0000917**
918** TODO: Consider keeping the journal file open for temporary databases.
919** This might give a performance improvement on windows where opening
920** a file is an expensive operation.
drhed7c8552001-04-11 14:29:21 +0000921*/
drhd9b02572001-04-15 00:37:09 +0000922static int pager_unwritelock(Pager *pPager){
drhd9b02572001-04-15 00:37:09 +0000923 PgHdr *pPg;
drh9c105bb2004-10-02 20:38:28 +0000924 int rc;
drhb7f91642004-10-31 02:22:47 +0000925 assert( !MEMDB );
drha6abd042004-06-09 17:37:22 +0000926 if( pPager->state<PAGER_RESERVED ){
927 return SQLITE_OK;
928 }
drh3aac2dd2004-04-26 14:10:20 +0000929 sqlite3pager_stmt_commit(pPager);
drhac69b052004-05-12 13:30:07 +0000930 if( pPager->stmtOpen ){
drh054889e2005-11-30 03:20:31 +0000931 sqlite3OsClose(&pPager->stfd);
drhac69b052004-05-12 13:30:07 +0000932 pPager->stmtOpen = 0;
drh0f892532002-05-30 12:27:03 +0000933 }
drhda47d772002-12-02 04:25:19 +0000934 if( pPager->journalOpen ){
drh054889e2005-11-30 03:20:31 +0000935 sqlite3OsClose(&pPager->jfd);
drhda47d772002-12-02 04:25:19 +0000936 pPager->journalOpen = 0;
drh054889e2005-11-30 03:20:31 +0000937 sqlite3Os.xDelete(pPager->zJournal);
drhda47d772002-12-02 04:25:19 +0000938 sqliteFree( pPager->aInJournal );
939 pPager->aInJournal = 0;
940 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
941 pPg->inJournal = 0;
942 pPg->dirty = 0;
drhdb48ee02003-01-16 13:42:43 +0000943 pPg->needSync = 0;
danielk19773c407372005-02-15 02:54:14 +0000944#ifdef SQLITE_CHECK_PAGES
945 pPg->pageHash = pager_pagehash(pPg);
946#endif
drhda47d772002-12-02 04:25:19 +0000947 }
danielk1977ef317ab2004-06-23 10:43:10 +0000948 pPager->dirtyCache = 0;
danielk1977ef317ab2004-06-23 10:43:10 +0000949 pPager->nRec = 0;
drhda47d772002-12-02 04:25:19 +0000950 }else{
drh88b01a12005-03-28 18:04:27 +0000951 assert( pPager->aInJournal==0 );
drha6abd042004-06-09 17:37:22 +0000952 assert( pPager->dirtyCache==0 || pPager->useJournal==0 );
drhd9b02572001-04-15 00:37:09 +0000953 }
drh054889e2005-11-30 03:20:31 +0000954 rc = sqlite3OsUnlock(pPager->fd, SHARED_LOCK);
drha6abd042004-06-09 17:37:22 +0000955 pPager->state = PAGER_SHARED;
danielk1977ef317ab2004-06-23 10:43:10 +0000956 pPager->origDbSize = 0;
danielk197776572402004-06-25 02:38:54 +0000957 pPager->setMaster = 0;
drh9c105bb2004-10-02 20:38:28 +0000958 return rc;
drhed7c8552001-04-11 14:29:21 +0000959}
960
drhed7c8552001-04-11 14:29:21 +0000961/*
drh968af522003-02-11 14:55:40 +0000962** Compute and return a checksum for the page of data.
drh34e79ce2004-02-08 06:05:46 +0000963**
964** This is not a real checksum. It is really just the sum of the
drh726de592004-06-10 23:35:50 +0000965** random initial value and the page number. We experimented with
966** a checksum of the entire data, but that was found to be too slow.
967**
968** Note that the page number is stored at the beginning of data and
969** the checksum is stored at the end. This is important. If journal
970** corruption occurs due to a power failure, the most likely scenario
971** is that one end or the other of the record will be changed. It is
972** much less likely that the two ends of the journal record will be
973** correct and the middle be corrupt. Thus, this "checksum" scheme,
974** though fast and simple, catches the mostly likely kind of corruption.
975**
976** FIX ME: Consider adding every 200th (or so) byte of the data to the
977** checksum. That way if a single page spans 3 or more disk sectors and
978** only the middle sector is corrupt, we will still have a reasonable
979** chance of failing the checksum and thus detecting the problem.
drh968af522003-02-11 14:55:40 +0000980*/
drh2646da72005-12-09 20:02:05 +0000981static u32 pager_cksum(Pager *pPager, Pgno pgno, const u8 *aData){
danielk1977ef317ab2004-06-23 10:43:10 +0000982 u32 cksum = pPager->cksumInit;
983 int i = pPager->pageSize-200;
984 while( i>0 ){
985 cksum += aData[i];
986 i -= 200;
987 }
drh968af522003-02-11 14:55:40 +0000988 return cksum;
989}
990
991/*
drhfa86c412002-02-02 15:01:15 +0000992** Read a single page from the journal file opened on file descriptor
993** jfd. Playback this one page.
drh968af522003-02-11 14:55:40 +0000994**
drh726de592004-06-10 23:35:50 +0000995** If useCksum==0 it means this journal does not use checksums. Checksums
996** are not used in statement journals because statement journals do not
997** need to survive power failures.
drhfa86c412002-02-02 15:01:15 +0000998*/
drhae2b40c2004-06-09 19:03:54 +0000999static int pager_playback_one_page(Pager *pPager, OsFile *jfd, int useCksum){
drhfa86c412002-02-02 15:01:15 +00001000 int rc;
drhae2b40c2004-06-09 19:03:54 +00001001 PgHdr *pPg; /* An existing page in the cache */
1002 Pgno pgno; /* The page number of a page in journal */
1003 u32 cksum; /* Checksum used for sanity checking */
drh90f5ecb2004-07-22 01:19:35 +00001004 u8 aData[SQLITE_MAX_PAGE_SIZE]; /* Temp storage for a page */
drhfa86c412002-02-02 15:01:15 +00001005
drh96362842005-03-20 22:47:56 +00001006 /* useCksum should be true for the main journal and false for
1007 ** statement journals. Verify that this is always the case
1008 */
drh9cbe6352005-11-29 03:13:21 +00001009 assert( jfd == (useCksum ? pPager->jfd : pPager->stfd) );
drh96362842005-03-20 22:47:56 +00001010
1011
drhae2b40c2004-06-09 19:03:54 +00001012 rc = read32bits(jfd, &pgno);
drh99ee3602003-02-16 19:13:36 +00001013 if( rc!=SQLITE_OK ) return rc;
drh054889e2005-11-30 03:20:31 +00001014 rc = sqlite3OsRead(jfd, &aData, pPager->pageSize);
drh99ee3602003-02-16 19:13:36 +00001015 if( rc!=SQLITE_OK ) return rc;
danielk197776572402004-06-25 02:38:54 +00001016 pPager->journalOff += pPager->pageSize + 4;
drhfa86c412002-02-02 15:01:15 +00001017
drh968af522003-02-11 14:55:40 +00001018 /* Sanity checking on the page. This is more important that I originally
1019 ** thought. If a power failure occurs while the journal is being written,
1020 ** it could cause invalid data to be written into the journal. We need to
1021 ** detect this invalid data (with high probability) and ignore it.
1022 */
danielk197775edc162004-06-26 01:48:18 +00001023 if( pgno==0 || pgno==PAGER_MJ_PGNO(pPager) ){
drh968af522003-02-11 14:55:40 +00001024 return SQLITE_DONE;
1025 }
drhae2b40c2004-06-09 19:03:54 +00001026 if( pgno>(unsigned)pPager->dbSize ){
drh968af522003-02-11 14:55:40 +00001027 return SQLITE_OK;
1028 }
drhae2b40c2004-06-09 19:03:54 +00001029 if( useCksum ){
1030 rc = read32bits(jfd, &cksum);
drh99ee3602003-02-16 19:13:36 +00001031 if( rc ) return rc;
danielk197776572402004-06-25 02:38:54 +00001032 pPager->journalOff += 4;
drhae2b40c2004-06-09 19:03:54 +00001033 if( pager_cksum(pPager, pgno, aData)!=cksum ){
drh968af522003-02-11 14:55:40 +00001034 return SQLITE_DONE;
1035 }
1036 }
drhfa86c412002-02-02 15:01:15 +00001037
danielk1977aa5ccdf2004-06-14 05:10:42 +00001038 assert( pPager->state==PAGER_RESERVED || pPager->state>=PAGER_EXCLUSIVE );
danielk1977a3f3a5f2004-06-10 04:32:16 +00001039
1040 /* If the pager is in RESERVED state, then there must be a copy of this
1041 ** page in the pager cache. In this case just update the pager cache,
danielk19770de0bb32004-06-10 05:59:24 +00001042 ** not the database file. The page is left marked dirty in this case.
1043 **
danielk1977a3f3a5f2004-06-10 04:32:16 +00001044 ** If in EXCLUSIVE state, then we update the pager cache if it exists
1045 ** and the main file. The page is then marked not dirty.
drh96362842005-03-20 22:47:56 +00001046 **
1047 ** Ticket #1171: The statement journal might contain page content that is
1048 ** different from the page content at the start of the transaction.
1049 ** This occurs when a page is changed prior to the start of a statement
1050 ** then changed again within the statement. When rolling back such a
1051 ** statement we must not write to the original database unless we know
1052 ** for certain that original page contents are in the main rollback
1053 ** journal. Otherwise, if a full ROLLBACK occurs after the statement
1054 ** rollback the full ROLLBACK will not restore the page to its original
1055 ** content. Two conditions must be met before writing to the database
1056 ** files. (1) the database must be locked. (2) we know that the original
1057 ** page content is in the main journal either because the page is not in
1058 ** cache or else it is marked as needSync==0.
drhfa86c412002-02-02 15:01:15 +00001059 */
drhae2b40c2004-06-09 19:03:54 +00001060 pPg = pager_lookup(pPager, pgno);
drh96362842005-03-20 22:47:56 +00001061 assert( pPager->state>=PAGER_EXCLUSIVE || pPg!=0 );
danielk1977ef73ee92004-11-06 12:26:07 +00001062 TRACE3("PLAYBACK %d page %d\n", PAGERID(pPager), pgno);
drh96362842005-03-20 22:47:56 +00001063 if( pPager->state>=PAGER_EXCLUSIVE && (pPg==0 || pPg->needSync==0) ){
drh054889e2005-11-30 03:20:31 +00001064 rc = sqlite3OsSeek(pPager->fd, (pgno-1)*(i64)pPager->pageSize);
drhb4746b92005-09-09 01:32:06 +00001065 if( rc==SQLITE_OK ){
drh054889e2005-11-30 03:20:31 +00001066 rc = sqlite3OsWrite(pPager->fd, aData, pPager->pageSize);
drhb4746b92005-09-09 01:32:06 +00001067 }
drh96362842005-03-20 22:47:56 +00001068 if( pPg ) pPg->dirty = 0;
danielk1977a3f3a5f2004-06-10 04:32:16 +00001069 }
drhfa86c412002-02-02 15:01:15 +00001070 if( pPg ){
danielk197728129562005-01-11 10:25:06 +00001071 /* No page should ever be explicitly rolled back that is in use, except
1072 ** for page 1 which is held in use in order to keep the lock on the
1073 ** database active. However such a page may be rolled back as a result
1074 ** of an internal error resulting in an automatic call to
1075 ** sqlite3pager_rollback().
drhacf4ac92003-12-17 23:57:34 +00001076 */
drhb6f41482004-05-14 01:58:11 +00001077 void *pData;
danielk197728129562005-01-11 10:25:06 +00001078 /* assert( pPg->nRef==0 || pPg->pgno==1 ); */
drhb6f41482004-05-14 01:58:11 +00001079 pData = PGHDR_TO_DATA(pPg);
drhae2b40c2004-06-09 19:03:54 +00001080 memcpy(pData, aData, pPager->pageSize);
drh726de592004-06-10 23:35:50 +00001081 if( pPager->xDestructor ){ /*** FIX ME: Should this be xReinit? ***/
drhb6f41482004-05-14 01:58:11 +00001082 pPager->xDestructor(pData, pPager->pageSize);
drhde647132004-05-07 17:57:49 +00001083 }
danielk19773c407372005-02-15 02:54:14 +00001084#ifdef SQLITE_CHECK_PAGES
drh96362842005-03-20 22:47:56 +00001085 pPg->pageHash = pager_pagehash(pPg);
danielk19773c407372005-02-15 02:54:14 +00001086#endif
drhb6f41482004-05-14 01:58:11 +00001087 CODEC(pPager, pData, pPg->pgno, 3);
drhfa86c412002-02-02 15:01:15 +00001088 }
1089 return rc;
1090}
1091
1092/*
danielk197713adf8a2004-06-03 16:08:41 +00001093** Parameter zMaster is the name of a master journal file. A single journal
1094** file that referred to the master journal file has just been rolled back.
1095** This routine checks if it is possible to delete the master journal file,
1096** and does so if it is.
drh726de592004-06-10 23:35:50 +00001097**
1098** The master journal file contains the names of all child journals.
1099** To tell if a master journal can be deleted, check to each of the
1100** children. If all children are either missing or do not refer to
1101** a different master journal, then this master journal can be deleted.
danielk197713adf8a2004-06-03 16:08:41 +00001102*/
1103static int pager_delmaster(const char *zMaster){
1104 int rc;
1105 int master_open = 0;
drh9cbe6352005-11-29 03:13:21 +00001106 OsFile *master = 0;
danielk197713adf8a2004-06-03 16:08:41 +00001107 char *zMasterJournal = 0; /* Contents of master journal file */
drheb206252004-10-01 02:00:31 +00001108 i64 nMasterJournal; /* Size of master journal file */
danielk197713adf8a2004-06-03 16:08:41 +00001109
1110 /* Open the master journal file exclusively in case some other process
1111 ** is running this routine also. Not that it makes too much difference.
1112 */
drh054889e2005-11-30 03:20:31 +00001113 rc = sqlite3Os.xOpenReadOnly(zMaster, &master);
danielk197713adf8a2004-06-03 16:08:41 +00001114 if( rc!=SQLITE_OK ) goto delmaster_out;
1115 master_open = 1;
drh054889e2005-11-30 03:20:31 +00001116 rc = sqlite3OsFileSize(master, &nMasterJournal);
danielk197713adf8a2004-06-03 16:08:41 +00001117 if( rc!=SQLITE_OK ) goto delmaster_out;
1118
1119 if( nMasterJournal>0 ){
danielk19775865e3d2004-06-14 06:03:57 +00001120 char *zJournal;
danielk197776572402004-06-25 02:38:54 +00001121 char *zMasterPtr = 0;
danielk19775865e3d2004-06-14 06:03:57 +00001122
1123 /* Load the entire master journal file into space obtained from
1124 ** sqliteMalloc() and pointed to by zMasterJournal.
danielk19775865e3d2004-06-14 06:03:57 +00001125 */
danielk197776572402004-06-25 02:38:54 +00001126 zMasterJournal = (char *)sqliteMalloc(nMasterJournal);
danielk197713adf8a2004-06-03 16:08:41 +00001127 if( !zMasterJournal ){
1128 rc = SQLITE_NOMEM;
1129 goto delmaster_out;
1130 }
drh054889e2005-11-30 03:20:31 +00001131 rc = sqlite3OsRead(master, zMasterJournal, nMasterJournal);
danielk197713adf8a2004-06-03 16:08:41 +00001132 if( rc!=SQLITE_OK ) goto delmaster_out;
1133
danielk19775865e3d2004-06-14 06:03:57 +00001134 zJournal = zMasterJournal;
1135 while( (zJournal-zMasterJournal)<nMasterJournal ){
drh054889e2005-11-30 03:20:31 +00001136 if( sqlite3Os.xFileExists(zJournal) ){
danielk197713adf8a2004-06-03 16:08:41 +00001137 /* One of the journals pointed to by the master journal exists.
1138 ** Open it and check if it points at the master journal. If
1139 ** so, return without deleting the master journal file.
1140 */
drh9cbe6352005-11-29 03:13:21 +00001141 OsFile *journal = 0;
drh3b7b78b2004-11-24 01:16:43 +00001142 int c;
danielk197713adf8a2004-06-03 16:08:41 +00001143
drh054889e2005-11-30 03:20:31 +00001144 rc = sqlite3Os.xOpenReadOnly(zJournal, &journal);
danielk197713adf8a2004-06-03 16:08:41 +00001145 if( rc!=SQLITE_OK ){
danielk197713adf8a2004-06-03 16:08:41 +00001146 goto delmaster_out;
1147 }
danielk197713adf8a2004-06-03 16:08:41 +00001148
drh9cbe6352005-11-29 03:13:21 +00001149 rc = readMasterJournal(journal, &zMasterPtr);
drh054889e2005-11-30 03:20:31 +00001150 sqlite3OsClose(&journal);
danielk19779eed5052004-06-04 10:38:30 +00001151 if( rc!=SQLITE_OK ){
danielk19779eed5052004-06-04 10:38:30 +00001152 goto delmaster_out;
1153 }
danielk197776572402004-06-25 02:38:54 +00001154
drh3b7b78b2004-11-24 01:16:43 +00001155 c = zMasterPtr!=0 && strcmp(zMasterPtr, zMaster)==0;
1156 sqliteFree(zMasterPtr);
1157 if( c ){
danielk197776572402004-06-25 02:38:54 +00001158 /* We have a match. Do not delete the master journal file. */
1159 goto delmaster_out;
danielk197713adf8a2004-06-03 16:08:41 +00001160 }
1161 }
danielk19775865e3d2004-06-14 06:03:57 +00001162 zJournal += (strlen(zJournal)+1);
danielk197713adf8a2004-06-03 16:08:41 +00001163 }
1164 }
1165
drh054889e2005-11-30 03:20:31 +00001166 sqlite3Os.xDelete(zMaster);
danielk197713adf8a2004-06-03 16:08:41 +00001167
1168delmaster_out:
1169 if( zMasterJournal ){
1170 sqliteFree(zMasterJournal);
1171 }
1172 if( master_open ){
drh054889e2005-11-30 03:20:31 +00001173 sqlite3OsClose(&master);
danielk197713adf8a2004-06-03 16:08:41 +00001174 }
1175 return rc;
1176}
1177
1178/*
drha6abd042004-06-09 17:37:22 +00001179** Make every page in the cache agree with what is on disk. In other words,
1180** reread the disk to reset the state of the cache.
1181**
1182** This routine is called after a rollback in which some of the dirty cache
1183** pages had never been written out to disk. We need to roll back the
1184** cache content and the easiest way to do that is to reread the old content
1185** back from the disk.
1186*/
1187static int pager_reload_cache(Pager *pPager){
1188 PgHdr *pPg;
1189 int rc = SQLITE_OK;
1190 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
drh90f5ecb2004-07-22 01:19:35 +00001191 char zBuf[SQLITE_MAX_PAGE_SIZE];
drha6abd042004-06-09 17:37:22 +00001192 if( !pPg->dirty ) continue;
1193 if( (int)pPg->pgno <= pPager->origDbSize ){
drh054889e2005-11-30 03:20:31 +00001194 rc = sqlite3OsSeek(pPager->fd, pPager->pageSize*(i64)(pPg->pgno-1));
drhb4746b92005-09-09 01:32:06 +00001195 if( rc==SQLITE_OK ){
drh054889e2005-11-30 03:20:31 +00001196 rc = sqlite3OsRead(pPager->fd, zBuf, pPager->pageSize);
drhb4746b92005-09-09 01:32:06 +00001197 }
danielk1977ef73ee92004-11-06 12:26:07 +00001198 TRACE3("REFETCH %d page %d\n", PAGERID(pPager), pPg->pgno);
drha6abd042004-06-09 17:37:22 +00001199 if( rc ) break;
drh25d65432004-07-22 15:02:25 +00001200 CODEC(pPager, zBuf, pPg->pgno, 2);
drha6abd042004-06-09 17:37:22 +00001201 }else{
drh90f5ecb2004-07-22 01:19:35 +00001202 memset(zBuf, 0, pPager->pageSize);
drha6abd042004-06-09 17:37:22 +00001203 }
drh90f5ecb2004-07-22 01:19:35 +00001204 if( pPg->nRef==0 || memcmp(zBuf, PGHDR_TO_DATA(pPg), pPager->pageSize) ){
1205 memcpy(PGHDR_TO_DATA(pPg), zBuf, pPager->pageSize);
drha6abd042004-06-09 17:37:22 +00001206 if( pPager->xReiniter ){
1207 pPager->xReiniter(PGHDR_TO_DATA(pPg), pPager->pageSize);
1208 }else{
drh90f5ecb2004-07-22 01:19:35 +00001209 memset(PGHDR_TO_EXTRA(pPg, pPager), 0, pPager->nExtra);
drha6abd042004-06-09 17:37:22 +00001210 }
1211 }
1212 pPg->needSync = 0;
1213 pPg->dirty = 0;
danielk19773c407372005-02-15 02:54:14 +00001214#ifdef SQLITE_CHECK_PAGES
1215 pPg->pageHash = pager_pagehash(pPg);
1216#endif
drha6abd042004-06-09 17:37:22 +00001217 }
1218 return rc;
1219}
1220
drha6abd042004-06-09 17:37:22 +00001221/*
drhcb4c40b2004-08-18 19:09:43 +00001222** Truncate the main file of the given pager to the number of pages
1223** indicated.
1224*/
1225static int pager_truncate(Pager *pPager, int nPage){
danielk197717221812005-02-15 03:38:05 +00001226 assert( pPager->state>=PAGER_EXCLUSIVE );
drh054889e2005-11-30 03:20:31 +00001227 return sqlite3OsTruncate(pPager->fd, pPager->pageSize*(i64)nPage);
drhcb4c40b2004-08-18 19:09:43 +00001228}
1229
1230/*
drhed7c8552001-04-11 14:29:21 +00001231** Playback the journal and thus restore the database file to
1232** the state it was in before we started making changes.
1233**
drh34e79ce2004-02-08 06:05:46 +00001234** The journal file format is as follows:
1235**
drhae2b40c2004-06-09 19:03:54 +00001236** (1) 8 byte prefix. A copy of aJournalMagic[].
1237** (2) 4 byte big-endian integer which is the number of valid page records
drh34e79ce2004-02-08 06:05:46 +00001238** in the journal. If this value is 0xffffffff, then compute the
drhae2b40c2004-06-09 19:03:54 +00001239** number of page records from the journal size.
1240** (3) 4 byte big-endian integer which is the initial value for the
1241** sanity checksum.
1242** (4) 4 byte integer which is the number of pages to truncate the
drh34e79ce2004-02-08 06:05:46 +00001243** database to during a rollback.
drhae2b40c2004-06-09 19:03:54 +00001244** (5) 4 byte integer which is the number of bytes in the master journal
1245** name. The value may be zero (indicate that there is no master
1246** journal.)
1247** (6) N bytes of the master journal name. The name will be nul-terminated
1248** and might be shorter than the value read from (5). If the first byte
1249** of the name is \000 then there is no master journal. The master
1250** journal name is stored in UTF-8.
1251** (7) Zero or more pages instances, each as follows:
drh34e79ce2004-02-08 06:05:46 +00001252** + 4 byte page number.
drhae2b40c2004-06-09 19:03:54 +00001253** + pPager->pageSize bytes of data.
1254** + 4 byte checksum
drh34e79ce2004-02-08 06:05:46 +00001255**
drhae2b40c2004-06-09 19:03:54 +00001256** When we speak of the journal header, we mean the first 6 items above.
1257** Each entry in the journal is an instance of the 7th item.
drh34e79ce2004-02-08 06:05:46 +00001258**
1259** Call the value from the second bullet "nRec". nRec is the number of
1260** valid page entries in the journal. In most cases, you can compute the
1261** value of nRec from the size of the journal file. But if a power
1262** failure occurred while the journal was being written, it could be the
1263** case that the size of the journal file had already been increased but
1264** the extra entries had not yet made it safely to disk. In such a case,
1265** the value of nRec computed from the file size would be too large. For
1266** that reason, we always use the nRec value in the header.
1267**
1268** If the nRec value is 0xffffffff it means that nRec should be computed
1269** from the file size. This value is used when the user selects the
1270** no-sync option for the journal. A power failure could lead to corruption
1271** in this case. But for things like temporary table (which will be
1272** deleted when the power is restored) we don't care.
1273**
drhd9b02572001-04-15 00:37:09 +00001274** If the file opened as the journal file is not a well-formed
danielk1977ece80f12004-06-23 01:05:26 +00001275** journal file then all pages up to the first corrupted page are rolled
1276** back (or no pages if the journal header is corrupted). The journal file
1277** is then deleted and SQLITE_OK returned, just as if no corruption had
1278** been encountered.
1279**
1280** If an I/O or malloc() error occurs, the journal-file is not deleted
1281** and an error code is returned.
drhed7c8552001-04-11 14:29:21 +00001282*/
danielk197776572402004-06-25 02:38:54 +00001283static int pager_playback(Pager *pPager){
drheb206252004-10-01 02:00:31 +00001284 i64 szJ; /* Size of the journal file in bytes */
danielk1977c3e8f5e2004-06-28 01:16:46 +00001285 u32 nRec; /* Number of Records in the journal */
drhd9b02572001-04-15 00:37:09 +00001286 int i; /* Loop counter */
1287 Pgno mxPg = 0; /* Size of the original file in pages */
drhae2b40c2004-06-09 19:03:54 +00001288 int rc; /* Result code of a subroutine */
danielk197713adf8a2004-06-03 16:08:41 +00001289 char *zMaster = 0; /* Name of master journal file if any */
drhed7c8552001-04-11 14:29:21 +00001290
drhc3a64ba2001-11-22 00:01:27 +00001291 /* Figure out how many records are in the journal. Abort early if
1292 ** the journal is empty.
drhed7c8552001-04-11 14:29:21 +00001293 */
drh8cfbf082001-09-19 13:22:39 +00001294 assert( pPager->journalOpen );
drh054889e2005-11-30 03:20:31 +00001295 rc = sqlite3OsFileSize(pPager->jfd, &szJ);
drhc3a64ba2001-11-22 00:01:27 +00001296 if( rc!=SQLITE_OK ){
1297 goto end_playback;
1298 }
drh240c5792004-02-08 00:40:52 +00001299
danielk197776572402004-06-25 02:38:54 +00001300 /* Read the master journal name from the journal, if it is present.
1301 ** If a master journal file name is specified, but the file is not
1302 ** present on disk, then the journal is not hot and does not need to be
1303 ** played back.
drh240c5792004-02-08 00:40:52 +00001304 */
drh9cbe6352005-11-29 03:13:21 +00001305 rc = readMasterJournal(pPager->jfd, &zMaster);
danielk197776572402004-06-25 02:38:54 +00001306 assert( rc!=SQLITE_DONE );
drh054889e2005-11-30 03:20:31 +00001307 if( rc!=SQLITE_OK || (zMaster && !sqlite3Os.xFileExists(zMaster)) ){
danielk197776572402004-06-25 02:38:54 +00001308 sqliteFree(zMaster);
1309 zMaster = 0;
1310 if( rc==SQLITE_DONE ) rc = SQLITE_OK;
drhc3a64ba2001-11-22 00:01:27 +00001311 goto end_playback;
1312 }
drh054889e2005-11-30 03:20:31 +00001313 sqlite3OsSeek(pPager->jfd, 0);
danielk197776572402004-06-25 02:38:54 +00001314 pPager->journalOff = 0;
drhc3a64ba2001-11-22 00:01:27 +00001315
danielk197776572402004-06-25 02:38:54 +00001316 /* This loop terminates either when the readJournalHdr() call returns
1317 ** SQLITE_DONE or an IO error occurs. */
1318 while( 1 ){
drhae2b40c2004-06-09 19:03:54 +00001319
danielk197776572402004-06-25 02:38:54 +00001320 /* Read the next journal header from the journal file. If there are
1321 ** not enough bytes left in the journal file for a complete header, or
1322 ** it is corrupted, then a process must of failed while writing it.
1323 ** This indicates nothing more needs to be rolled back.
1324 */
1325 rc = readJournalHdr(pPager, szJ, &nRec, &mxPg);
1326 if( rc!=SQLITE_OK ){
drh968af522003-02-11 14:55:40 +00001327 if( rc==SQLITE_DONE ){
drh968af522003-02-11 14:55:40 +00001328 rc = SQLITE_OK;
1329 }
danielk197776572402004-06-25 02:38:54 +00001330 goto end_playback;
1331 }
1332
1333 /* If nRec is 0xffffffff, then this journal was created by a process
1334 ** working in no-sync mode. This means that the rest of the journal
1335 ** file consists of pages, there are no more journal headers. Compute
1336 ** the value of nRec based on this assumption.
1337 */
1338 if( nRec==0xffffffff ){
1339 assert( pPager->journalOff==JOURNAL_HDR_SZ(pPager) );
1340 nRec = (szJ - JOURNAL_HDR_SZ(pPager))/JOURNAL_PG_SZ(pPager);
1341 }
1342
1343 /* If this is the first header read from the journal, truncate the
1344 ** database file back to it's original size.
1345 */
danielk197717221812005-02-15 03:38:05 +00001346 if( pPager->state>=PAGER_EXCLUSIVE &&
1347 pPager->journalOff==JOURNAL_HDR_SZ(pPager) ){
danielk197776572402004-06-25 02:38:54 +00001348 assert( pPager->origDbSize==0 || pPager->origDbSize==mxPg );
drhcb4c40b2004-08-18 19:09:43 +00001349 rc = pager_truncate(pPager, mxPg);
danielk197776572402004-06-25 02:38:54 +00001350 if( rc!=SQLITE_OK ){
1351 goto end_playback;
1352 }
1353 pPager->dbSize = mxPg;
1354 }
1355
drh054889e2005-11-30 03:20:31 +00001356 /* rc = sqlite3OsSeek(pPager->jfd, JOURNAL_HDR_SZ(pPager)); */
danielk197776572402004-06-25 02:38:54 +00001357 if( rc!=SQLITE_OK ) goto end_playback;
1358
1359 /* Copy original pages out of the journal and back into the database file.
1360 */
1361 for(i=0; i<nRec; i++){
drh9cbe6352005-11-29 03:13:21 +00001362 rc = pager_playback_one_page(pPager, pPager->jfd, 1);
danielk197776572402004-06-25 02:38:54 +00001363 if( rc!=SQLITE_OK ){
1364 if( rc==SQLITE_DONE ){
1365 rc = SQLITE_OK;
1366 pPager->journalOff = szJ;
1367 break;
1368 }else{
1369 goto end_playback;
1370 }
1371 }
drh968af522003-02-11 14:55:40 +00001372 }
drhed7c8552001-04-11 14:29:21 +00001373 }
drh81a20f22001-10-12 17:30:04 +00001374
drh4a0681e2003-02-13 01:58:20 +00001375 /* Pages that have been written to the journal but never synced
1376 ** where not restored by the loop above. We have to restore those
drh240c5792004-02-08 00:40:52 +00001377 ** pages by reading them back from the original database.
drhdb48ee02003-01-16 13:42:43 +00001378 */
danielk197776572402004-06-25 02:38:54 +00001379 assert( rc==SQLITE_OK );
1380 pager_reload_cache(pPager);
drh4a0681e2003-02-13 01:58:20 +00001381
1382end_playback:
danielk19778191bff2004-06-28 04:52:30 +00001383 if( rc==SQLITE_OK ){
1384 rc = pager_unwritelock(pPager);
1385 }
danielk197713adf8a2004-06-03 16:08:41 +00001386 if( zMaster ){
1387 /* If there was a master journal and this routine will return true,
danielk197732554c12005-01-22 03:39:39 +00001388 ** see if it is possible to delete the master journal.
danielk197713adf8a2004-06-03 16:08:41 +00001389 */
1390 if( rc==SQLITE_OK ){
danielk197732554c12005-01-22 03:39:39 +00001391 rc = pager_delmaster(zMaster);
danielk197713adf8a2004-06-03 16:08:41 +00001392 }
1393 sqliteFree(zMaster);
1394 }
danielk197776572402004-06-25 02:38:54 +00001395
1396 /* The Pager.sectorSize variable may have been updated while rolling
1397 ** back a journal created by a process with a different PAGER_SECTOR_SIZE
1398 ** value. Reset it to the correct value for this process.
1399 */
1400 pPager->sectorSize = PAGER_SECTOR_SIZE;
drhd9b02572001-04-15 00:37:09 +00001401 return rc;
drhed7c8552001-04-11 14:29:21 +00001402}
1403
1404/*
drhac69b052004-05-12 13:30:07 +00001405** Playback the statement journal.
drhfa86c412002-02-02 15:01:15 +00001406**
1407** This is similar to playing back the transaction journal but with
1408** a few extra twists.
1409**
drh663fc632002-02-02 18:49:19 +00001410** (1) The number of pages in the database file at the start of
drhac69b052004-05-12 13:30:07 +00001411** the statement is stored in pPager->stmtSize, not in the
drh663fc632002-02-02 18:49:19 +00001412** journal file itself.
drhfa86c412002-02-02 15:01:15 +00001413**
drhac69b052004-05-12 13:30:07 +00001414** (2) In addition to playing back the statement journal, also
drhfa86c412002-02-02 15:01:15 +00001415** playback all pages of the transaction journal beginning
drhac69b052004-05-12 13:30:07 +00001416** at offset pPager->stmtJSize.
drhfa86c412002-02-02 15:01:15 +00001417*/
drh3aac2dd2004-04-26 14:10:20 +00001418static int pager_stmt_playback(Pager *pPager){
drheb206252004-10-01 02:00:31 +00001419 i64 szJ; /* Size of the full journal */
1420 i64 hdrOff;
drh968af522003-02-11 14:55:40 +00001421 int nRec; /* Number of Records */
drhfa86c412002-02-02 15:01:15 +00001422 int i; /* Loop counter */
1423 int rc;
1424
danielk197776572402004-06-25 02:38:54 +00001425 szJ = pPager->journalOff;
1426#ifndef NDEBUG
1427 {
drheb206252004-10-01 02:00:31 +00001428 i64 os_szJ;
drh054889e2005-11-30 03:20:31 +00001429 rc = sqlite3OsFileSize(pPager->jfd, &os_szJ);
danielk197776572402004-06-25 02:38:54 +00001430 if( rc!=SQLITE_OK ) return rc;
1431 assert( szJ==os_szJ );
1432 }
1433#endif
1434
1435 /* Set hdrOff to be the offset to the first journal header written
1436 ** this statement transaction, or the end of the file if no journal
1437 ** header was written.
1438 */
1439 hdrOff = pPager->stmtHdrOff;
1440 assert( pPager->fullSync || !hdrOff );
1441 if( !hdrOff ){
1442 hdrOff = szJ;
1443 }
1444
drhfa86c412002-02-02 15:01:15 +00001445 /* Truncate the database back to its original size.
1446 */
danielk197717221812005-02-15 03:38:05 +00001447 if( pPager->state>=PAGER_EXCLUSIVE ){
1448 rc = pager_truncate(pPager, pPager->stmtSize);
1449 }
drhac69b052004-05-12 13:30:07 +00001450 pPager->dbSize = pPager->stmtSize;
drhfa86c412002-02-02 15:01:15 +00001451
drhac69b052004-05-12 13:30:07 +00001452 /* Figure out how many records are in the statement journal.
drhfa86c412002-02-02 15:01:15 +00001453 */
drhac69b052004-05-12 13:30:07 +00001454 assert( pPager->stmtInUse && pPager->journalOpen );
drh054889e2005-11-30 03:20:31 +00001455 sqlite3OsSeek(pPager->stfd, 0);
drhac69b052004-05-12 13:30:07 +00001456 nRec = pPager->stmtNRec;
drhfa86c412002-02-02 15:01:15 +00001457
drhac69b052004-05-12 13:30:07 +00001458 /* Copy original pages out of the statement journal and back into the
drhae2b40c2004-06-09 19:03:54 +00001459 ** database file. Note that the statement journal omits checksums from
1460 ** each record since power-failure recovery is not important to statement
1461 ** journals.
drhfa86c412002-02-02 15:01:15 +00001462 */
1463 for(i=nRec-1; i>=0; i--){
drh9cbe6352005-11-29 03:13:21 +00001464 rc = pager_playback_one_page(pPager, pPager->stfd, 0);
drh968af522003-02-11 14:55:40 +00001465 assert( rc!=SQLITE_DONE );
drh3aac2dd2004-04-26 14:10:20 +00001466 if( rc!=SQLITE_OK ) goto end_stmt_playback;
drhfa86c412002-02-02 15:01:15 +00001467 }
1468
danielk197776572402004-06-25 02:38:54 +00001469 /* Now roll some pages back from the transaction journal. Pager.stmtJSize
1470 ** was the size of the journal file when this statement was started, so
1471 ** everything after that needs to be rolled back, either into the
1472 ** database, the memory cache, or both.
1473 **
1474 ** If it is not zero, then Pager.stmtHdrOff is the offset to the start
1475 ** of the first journal header written during this statement transaction.
drhfa86c412002-02-02 15:01:15 +00001476 */
drh054889e2005-11-30 03:20:31 +00001477 rc = sqlite3OsSeek(pPager->jfd, pPager->stmtJSize);
drhfa86c412002-02-02 15:01:15 +00001478 if( rc!=SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00001479 goto end_stmt_playback;
drhfa86c412002-02-02 15:01:15 +00001480 }
danielk197776572402004-06-25 02:38:54 +00001481 pPager->journalOff = pPager->stmtJSize;
danielk197775edc162004-06-26 01:48:18 +00001482 pPager->cksumInit = pPager->stmtCksum;
1483 assert( JOURNAL_HDR_SZ(pPager)<(pPager->pageSize+8) );
1484 while( pPager->journalOff <= (hdrOff-(pPager->pageSize+8)) ){
drh9cbe6352005-11-29 03:13:21 +00001485 rc = pager_playback_one_page(pPager, pPager->jfd, 1);
danielk197776572402004-06-25 02:38:54 +00001486 assert( rc!=SQLITE_DONE );
1487 if( rc!=SQLITE_OK ) goto end_stmt_playback;
1488 }
1489
1490 while( pPager->journalOff < szJ ){
1491 u32 nRec;
1492 u32 dummy;
1493 rc = readJournalHdr(pPager, szJ, &nRec, &dummy);
drh968af522003-02-11 14:55:40 +00001494 if( rc!=SQLITE_OK ){
1495 assert( rc!=SQLITE_DONE );
drh3aac2dd2004-04-26 14:10:20 +00001496 goto end_stmt_playback;
drh968af522003-02-11 14:55:40 +00001497 }
danielk197775edc162004-06-26 01:48:18 +00001498 if( nRec==0 ){
1499 nRec = (szJ - pPager->journalOff) / (pPager->pageSize+8);
1500 }
danielk197776572402004-06-25 02:38:54 +00001501 for(i=nRec-1; i>=0 && pPager->journalOff < szJ; i--){
drh9cbe6352005-11-29 03:13:21 +00001502 rc = pager_playback_one_page(pPager, pPager->jfd, 1);
danielk197776572402004-06-25 02:38:54 +00001503 assert( rc!=SQLITE_DONE );
1504 if( rc!=SQLITE_OK ) goto end_stmt_playback;
1505 }
drhfa86c412002-02-02 15:01:15 +00001506 }
danielk197776572402004-06-25 02:38:54 +00001507
1508 pPager->journalOff = szJ;
drhfa86c412002-02-02 15:01:15 +00001509
drh3aac2dd2004-04-26 14:10:20 +00001510end_stmt_playback:
drhfa86c412002-02-02 15:01:15 +00001511 if( rc!=SQLITE_OK ){
drhfa86c412002-02-02 15:01:15 +00001512 pPager->errMask |= PAGER_ERR_CORRUPT;
drh49285702005-09-17 15:20:26 +00001513 rc = SQLITE_CORRUPT;
danielk197775edc162004-06-26 01:48:18 +00001514 }else{
1515 pPager->journalOff = szJ;
1516 /* pager_reload_cache(pPager); */
drhfa86c412002-02-02 15:01:15 +00001517 }
1518 return rc;
1519}
1520
1521/*
drhf57b14a2001-09-14 18:54:08 +00001522** Change the maximum number of in-memory pages that are allowed.
1523*/
drh3aac2dd2004-04-26 14:10:20 +00001524void sqlite3pager_set_cachesize(Pager *pPager, int mxPage){
drhf57b14a2001-09-14 18:54:08 +00001525 if( mxPage>10 ){
1526 pPager->mxPage = mxPage;
danielk1977ef317ab2004-06-23 10:43:10 +00001527 }else{
1528 pPager->mxPage = 10;
drhf57b14a2001-09-14 18:54:08 +00001529 }
1530}
1531
1532/*
drh973b6e32003-02-12 14:09:42 +00001533** Adjust the robustness of the database to damage due to OS crashes
1534** or power failures by changing the number of syncs()s when writing
1535** the rollback journal. There are three levels:
1536**
drh054889e2005-11-30 03:20:31 +00001537** OFF sqlite3OsSync() is never called. This is the default
drh973b6e32003-02-12 14:09:42 +00001538** for temporary and transient files.
1539**
1540** NORMAL The journal is synced once before writes begin on the
1541** database. This is normally adequate protection, but
1542** it is theoretically possible, though very unlikely,
1543** that an inopertune power failure could leave the journal
1544** in a state which would cause damage to the database
1545** when it is rolled back.
1546**
1547** FULL The journal is synced twice before writes begin on the
drh34e79ce2004-02-08 06:05:46 +00001548** database (with some additional information - the nRec field
1549** of the journal header - being written in between the two
1550** syncs). If we assume that writing a
drh973b6e32003-02-12 14:09:42 +00001551** single disk sector is atomic, then this mode provides
1552** assurance that the journal will not be corrupted to the
1553** point of causing damage to the database during rollback.
1554**
1555** Numeric values associated with these states are OFF==1, NORMAL=2,
1556** and FULL=3.
1557*/
danielk197793758c82005-01-21 08:13:14 +00001558#ifndef SQLITE_OMIT_PAGER_PRAGMAS
drh3aac2dd2004-04-26 14:10:20 +00001559void sqlite3pager_set_safety_level(Pager *pPager, int level){
drh973b6e32003-02-12 14:09:42 +00001560 pPager->noSync = level==1 || pPager->tempFile;
1561 pPager->fullSync = level==3 && !pPager->tempFile;
danielk19771d850a72004-05-31 08:26:49 +00001562 if( pPager->noSync ) pPager->needSync = 0;
drh973b6e32003-02-12 14:09:42 +00001563}
danielk197793758c82005-01-21 08:13:14 +00001564#endif
drh973b6e32003-02-12 14:09:42 +00001565
1566/*
drhaf6df112005-06-07 02:12:30 +00001567** The following global variable is incremented whenever the library
1568** attempts to open a temporary file. This information is used for
1569** testing and analysis only.
1570*/
1571int sqlite3_opentemp_count = 0;
1572
1573/*
1574** Open a temporary file. Write the name of the file into zFile
1575** (zFile must be at least SQLITE_TEMPNAME_SIZE bytes long.) Write
drhfa86c412002-02-02 15:01:15 +00001576** the file descriptor into *fd. Return SQLITE_OK on success or some
1577** other error code if we fail.
1578**
1579** The OS will automatically delete the temporary file when it is
1580** closed.
1581*/
drh9cbe6352005-11-29 03:13:21 +00001582static int sqlite3pager_opentemp(char *zFile, OsFile **pFd){
drhfa86c412002-02-02 15:01:15 +00001583 int cnt = 8;
1584 int rc;
drhaf6df112005-06-07 02:12:30 +00001585 sqlite3_opentemp_count++; /* Used for testing and analysis only */
drhfa86c412002-02-02 15:01:15 +00001586 do{
1587 cnt--;
drh054889e2005-11-30 03:20:31 +00001588 sqlite3Os.xTempFileName(zFile);
1589 rc = sqlite3Os.xOpenExclusive(zFile, pFd, 1);
danielk197713073932004-06-30 11:54:06 +00001590 }while( cnt>0 && rc!=SQLITE_OK && rc!=SQLITE_NOMEM );
drhfa86c412002-02-02 15:01:15 +00001591 return rc;
1592}
1593
1594/*
drhed7c8552001-04-11 14:29:21 +00001595** Create a new page cache and put a pointer to the page cache in *ppPager.
drh5e00f6c2001-09-13 13:46:56 +00001596** The file to be cached need not exist. The file is not locked until
drh3aac2dd2004-04-26 14:10:20 +00001597** the first call to sqlite3pager_get() and is only held open until the
1598** last page is released using sqlite3pager_unref().
drh382c0242001-10-06 16:33:02 +00001599**
drh6446c4d2001-12-15 14:22:18 +00001600** If zFilename is NULL then a randomly-named temporary file is created
1601** and used as the file to be cached. The file will be deleted
1602** automatically when it is closed.
drh90f5ecb2004-07-22 01:19:35 +00001603**
1604** If zFilename is ":memory:" then all information is held in cache.
1605** It is never written to disk. This can be used to implement an
1606** in-memory database.
drhed7c8552001-04-11 14:29:21 +00001607*/
drh3aac2dd2004-04-26 14:10:20 +00001608int sqlite3pager_open(
drh7e3b0a02001-04-28 16:52:40 +00001609 Pager **ppPager, /* Return the Pager structure here */
1610 const char *zFilename, /* Name of the database file to open */
drhda47d772002-12-02 04:25:19 +00001611 int nExtra, /* Extra bytes append to each in-memory page */
drh7bec5052005-02-06 02:45:41 +00001612 int flags /* flags controlling this file */
drh7e3b0a02001-04-28 16:52:40 +00001613){
danielk1977aef0bf62005-12-30 16:28:01 +00001614 Pager *pPager = 0;
danielk19778def5ea2004-06-16 10:39:52 +00001615 char *zFullPathname = 0;
drhed7c8552001-04-11 14:29:21 +00001616 int nameLen;
drh9cbe6352005-11-29 03:13:21 +00001617 OsFile *fd;
danielk1977cfe9a692004-06-16 12:00:29 +00001618 int rc = SQLITE_OK;
1619 int i;
danielk19778def5ea2004-06-16 10:39:52 +00001620 int tempFile = 0;
drhac69b052004-05-12 13:30:07 +00001621 int memDb = 0;
drh5e00f6c2001-09-13 13:46:56 +00001622 int readOnly = 0;
drh7bec5052005-02-06 02:45:41 +00001623 int useJournal = (flags & PAGER_OMIT_JOURNAL)==0;
1624 int noReadlock = (flags & PAGER_NO_READLOCK)!=0;
drh8cfbf082001-09-19 13:22:39 +00001625 char zTemp[SQLITE_TEMPNAME_SIZE];
danielk197713f72992005-12-18 08:51:22 +00001626 SqliteTsd *pTsd = sqlite3Tsd();
drhed7c8552001-04-11 14:29:21 +00001627
danielk1977aef0bf62005-12-30 16:28:01 +00001628 /* If malloc() has already failed return SQLITE_NOMEM. Before even
1629 ** testing for this, set *ppPager to NULL so the caller knows the pager
1630 ** structure was never allocated.
1631 */
drhd9b02572001-04-15 00:37:09 +00001632 *ppPager = 0;
danielk1977261919c2005-12-06 12:52:59 +00001633 if( sqlite3Tsd()->mallocFailed ){
drhd9b02572001-04-15 00:37:09 +00001634 return SQLITE_NOMEM;
1635 }
danielk1977aef0bf62005-12-30 16:28:01 +00001636 memset(&fd, 0, sizeof(fd));
1637
1638 /* Open the pager file and set zFullPathname to point at malloc()ed
1639 ** memory containing the complete filename (i.e. including the directory).
1640 */
drh901afd42003-08-26 11:25:58 +00001641 if( zFilename && zFilename[0] ){
drhb7f91642004-10-31 02:22:47 +00001642#ifndef SQLITE_OMIT_MEMORYDB
drhac69b052004-05-12 13:30:07 +00001643 if( strcmp(zFilename,":memory:")==0 ){
1644 memDb = 1;
drhda71ce12004-06-21 18:14:45 +00001645 zFullPathname = sqliteStrDup("");
drhb7f91642004-10-31 02:22:47 +00001646 }else
1647#endif
1648 {
drh054889e2005-11-30 03:20:31 +00001649 zFullPathname = sqlite3Os.xFullPathname(zFilename);
danielk19778def5ea2004-06-16 10:39:52 +00001650 if( zFullPathname ){
drh054889e2005-11-30 03:20:31 +00001651 rc = sqlite3Os.xOpenReadWrite(zFullPathname, &fd, &readOnly);
danielk19778def5ea2004-06-16 10:39:52 +00001652 }
drhac69b052004-05-12 13:30:07 +00001653 }
drh5e00f6c2001-09-13 13:46:56 +00001654 }else{
drh3aac2dd2004-04-26 14:10:20 +00001655 rc = sqlite3pager_opentemp(zTemp, &fd);
drh5e00f6c2001-09-13 13:46:56 +00001656 zFilename = zTemp;
drh054889e2005-11-30 03:20:31 +00001657 zFullPathname = sqlite3Os.xFullPathname(zFilename);
danielk19778def5ea2004-06-16 10:39:52 +00001658 if( rc==SQLITE_OK ){
1659 tempFile = 1;
1660 }
drh5e00f6c2001-09-13 13:46:56 +00001661 }
danielk1977aef0bf62005-12-30 16:28:01 +00001662
1663 /* Allocate the Pager structure. As part of the same allocation, allocate
1664 ** space for the full paths of the file, directory and journal
1665 ** (Pager.zFilename, Pager.zDirectory and Pager.zJournal).
1666 */
1667 if( zFullPathname ){
1668 nameLen = strlen(zFullPathname);
1669 pPager = sqliteMalloc( sizeof(*pPager) + nameLen*3 + 30 );
drh3e7a6092002-12-07 21:45:14 +00001670 }
danielk1977aef0bf62005-12-30 16:28:01 +00001671
1672 /* If an error occured in either of the blocks above, free the memory
1673 ** pointed to by zFullPathname, free the Pager structure and close the
1674 ** file. Since the pager is not allocated there is no need to set
1675 ** any Pager.errMask variables.
1676 */
1677 if( !pPager || !zFullPathname || rc!=SQLITE_OK ){
drh054889e2005-11-30 03:20:31 +00001678 sqlite3OsClose(&fd);
drhda71ce12004-06-21 18:14:45 +00001679 sqliteFree(zFullPathname);
danielk1977aef0bf62005-12-30 16:28:01 +00001680 sqliteFree(pPager);
1681 return ((rc==SQLITE_OK)?SQLITE_NOMEM:rc);
drhed7c8552001-04-11 14:29:21 +00001682 }
danielk1977aef0bf62005-12-30 16:28:01 +00001683
danielk1977ef73ee92004-11-06 12:26:07 +00001684 TRACE3("OPEN %d %s\n", FILEHANDLEID(fd), zFullPathname);
drhed7c8552001-04-11 14:29:21 +00001685 pPager->zFilename = (char*)&pPager[1];
drha76c82e2003-07-27 18:59:42 +00001686 pPager->zDirectory = &pPager->zFilename[nameLen+1];
1687 pPager->zJournal = &pPager->zDirectory[nameLen+1];
drh3e7a6092002-12-07 21:45:14 +00001688 strcpy(pPager->zFilename, zFullPathname);
drha76c82e2003-07-27 18:59:42 +00001689 strcpy(pPager->zDirectory, zFullPathname);
danielk1977aef0bf62005-12-30 16:28:01 +00001690
drha76c82e2003-07-27 18:59:42 +00001691 for(i=nameLen; i>0 && pPager->zDirectory[i-1]!='/'; i--){}
1692 if( i>0 ) pPager->zDirectory[i-1] = 0;
drh3e7a6092002-12-07 21:45:14 +00001693 strcpy(pPager->zJournal, zFullPathname);
1694 sqliteFree(zFullPathname);
drhed7c8552001-04-11 14:29:21 +00001695 strcpy(&pPager->zJournal[nameLen], "-journal");
drh9cbe6352005-11-29 03:13:21 +00001696 pPager->fd = fd;
drh8cfbf082001-09-19 13:22:39 +00001697 pPager->journalOpen = 0;
drhac69b052004-05-12 13:30:07 +00001698 pPager->useJournal = useJournal && !memDb;
drh7bec5052005-02-06 02:45:41 +00001699 pPager->noReadlock = noReadlock && readOnly;
drhac69b052004-05-12 13:30:07 +00001700 pPager->stmtOpen = 0;
1701 pPager->stmtInUse = 0;
drhed7c8552001-04-11 14:29:21 +00001702 pPager->nRef = 0;
drhac69b052004-05-12 13:30:07 +00001703 pPager->dbSize = memDb-1;
drh90f5ecb2004-07-22 01:19:35 +00001704 pPager->pageSize = SQLITE_DEFAULT_PAGE_SIZE;
drhac69b052004-05-12 13:30:07 +00001705 pPager->stmtSize = 0;
1706 pPager->stmtJSize = 0;
drhed7c8552001-04-11 14:29:21 +00001707 pPager->nPage = 0;
danielk1977e94ddc92005-03-21 03:53:38 +00001708 pPager->nMaxPage = 0;
drh90f5ecb2004-07-22 01:19:35 +00001709 pPager->mxPage = 100;
drha6abd042004-06-09 17:37:22 +00001710 pPager->state = PAGER_UNLOCK;
drhd9b02572001-04-15 00:37:09 +00001711 pPager->errMask = 0;
drh5e00f6c2001-09-13 13:46:56 +00001712 pPager->tempFile = tempFile;
drhac69b052004-05-12 13:30:07 +00001713 pPager->memDb = memDb;
drh5e00f6c2001-09-13 13:46:56 +00001714 pPager->readOnly = readOnly;
drhf57b14a2001-09-14 18:54:08 +00001715 pPager->needSync = 0;
drhda47d772002-12-02 04:25:19 +00001716 pPager->noSync = pPager->tempFile || !useJournal;
danielk197775edc162004-06-26 01:48:18 +00001717 pPager->fullSync = (pPager->noSync?0:1);
drhed7c8552001-04-11 14:29:21 +00001718 pPager->pFirst = 0;
drh341eae82003-01-21 02:39:36 +00001719 pPager->pFirstSynced = 0;
drhed7c8552001-04-11 14:29:21 +00001720 pPager->pLast = 0;
drh887dc4c2004-10-22 16:22:57 +00001721 pPager->nExtra = FORCE_ALIGNMENT(nExtra);
danielk197776572402004-06-25 02:38:54 +00001722 pPager->sectorSize = PAGER_SECTOR_SIZE;
drh90f5ecb2004-07-22 01:19:35 +00001723 pPager->pBusyHandler = 0;
drhed7c8552001-04-11 14:29:21 +00001724 memset(pPager->aHash, 0, sizeof(pPager->aHash));
1725 *ppPager = pPager;
danielk197713f72992005-12-18 08:51:22 +00001726 pPager->pNext = pTsd->pPager;
1727 pTsd->pPager = pPager;
drhed7c8552001-04-11 14:29:21 +00001728 return SQLITE_OK;
1729}
1730
1731/*
drh90f5ecb2004-07-22 01:19:35 +00001732** Set the busy handler function.
1733*/
1734void sqlite3pager_set_busyhandler(Pager *pPager, BusyHandler *pBusyHandler){
1735 pPager->pBusyHandler = pBusyHandler;
1736}
1737
1738/*
drh72f82862001-05-24 21:06:34 +00001739** Set the destructor for this pager. If not NULL, the destructor is called
drh5e00f6c2001-09-13 13:46:56 +00001740** when the reference count on each page reaches zero. The destructor can
1741** be used to clean up information in the extra segment appended to each page.
drh72f82862001-05-24 21:06:34 +00001742**
drh3aac2dd2004-04-26 14:10:20 +00001743** The destructor is not called as a result sqlite3pager_close().
1744** Destructors are only called by sqlite3pager_unref().
drh72f82862001-05-24 21:06:34 +00001745*/
drhb6f41482004-05-14 01:58:11 +00001746void sqlite3pager_set_destructor(Pager *pPager, void (*xDesc)(void*,int)){
drh72f82862001-05-24 21:06:34 +00001747 pPager->xDestructor = xDesc;
1748}
1749
1750/*
drha6abd042004-06-09 17:37:22 +00001751** Set the reinitializer for this pager. If not NULL, the reinitializer
1752** is called when the content of a page in cache is restored to its original
1753** value as a result of a rollback. The callback gives higher-level code
1754** an opportunity to restore the EXTRA section to agree with the restored
1755** page data.
1756*/
1757void sqlite3pager_set_reiniter(Pager *pPager, void (*xReinit)(void*,int)){
1758 pPager->xReiniter = xReinit;
1759}
1760
1761/*
drh1c7880e2005-05-20 20:01:55 +00001762** Set the page size. Return the new size. If the suggest new page
1763** size is inappropriate, then an alternative page size is selected
1764** and returned.
drh90f5ecb2004-07-22 01:19:35 +00001765*/
drh1c7880e2005-05-20 20:01:55 +00001766int sqlite3pager_set_pagesize(Pager *pPager, int pageSize){
drh90f5ecb2004-07-22 01:19:35 +00001767 assert( pageSize>=512 && pageSize<=SQLITE_MAX_PAGE_SIZE );
drh1c7880e2005-05-20 20:01:55 +00001768 if( !pPager->memDb ){
1769 pPager->pageSize = pageSize;
1770 }
1771 return pPager->pageSize;
drh90f5ecb2004-07-22 01:19:35 +00001772}
1773
1774/*
drhc9ac5ca2005-11-04 22:03:30 +00001775** The following set of routines are used to disable the simulated
1776** I/O error mechanism. These routines are used to avoid simulated
1777** errors in places where we do not care about errors.
1778**
1779** Unless -DSQLITE_TEST=1 is used, these routines are all no-ops
1780** and generate no code.
1781*/
1782#ifdef SQLITE_TEST
1783extern int sqlite3_io_error_pending;
1784extern int sqlite3_io_error_hit;
1785static int saved_cnt;
1786void clear_simulated_io_error(){
1787 sqlite3_io_error_hit = 0;
1788}
1789void disable_simulated_io_errors(void){
1790 saved_cnt = sqlite3_io_error_pending;
1791 sqlite3_io_error_pending = -1;
1792}
1793void enable_simulated_io_errors(void){
1794 sqlite3_io_error_pending = saved_cnt;
1795}
1796#else
drh152410f2005-11-05 15:11:22 +00001797# define clear_simulated_io_error()
1798# define disable_simulated_io_errors()
1799# define enable_simulated_io_errors()
drhc9ac5ca2005-11-04 22:03:30 +00001800#endif
1801
1802/*
drh90f5ecb2004-07-22 01:19:35 +00001803** Read the first N bytes from the beginning of the file into memory
danielk1977aef0bf62005-12-30 16:28:01 +00001804** that pDest points to.
1805**
1806** No error checking is done. The rational for this is that this function
1807** may be called even if the file does not exist or contain a header. In
1808** these cases sqlite3OsRead() will return an error, to which the correct
1809** response is to zero the memory at pDest and continue. A real IO error
1810** will presumably recur and be picked up later (Todo: Think about this).
drh90f5ecb2004-07-22 01:19:35 +00001811*/
1812void sqlite3pager_read_fileheader(Pager *pPager, int N, unsigned char *pDest){
1813 memset(pDest, 0, N);
drhb7f91642004-10-31 02:22:47 +00001814 if( MEMDB==0 ){
drh054889e2005-11-30 03:20:31 +00001815 sqlite3OsSeek(pPager->fd, 0);
1816 sqlite3OsRead(pPager->fd, pDest, N);
drhc9ac5ca2005-11-04 22:03:30 +00001817 clear_simulated_io_error();
drh90f5ecb2004-07-22 01:19:35 +00001818 }
1819}
1820
1821/*
drh5e00f6c2001-09-13 13:46:56 +00001822** Return the total number of pages in the disk file associated with
danielk197715f411d2005-09-16 10:18:45 +00001823** pPager.
1824**
1825** If the PENDING_BYTE lies on the page directly after the end of the
1826** file, then consider this page part of the file too. For example, if
1827** PENDING_BYTE is byte 4096 (the first byte of page 5) and the size of the
1828** file is 4096 bytes, 5 is returned instead of 4.
drhed7c8552001-04-11 14:29:21 +00001829*/
drh3aac2dd2004-04-26 14:10:20 +00001830int sqlite3pager_pagecount(Pager *pPager){
drheb206252004-10-01 02:00:31 +00001831 i64 n;
drhd9b02572001-04-15 00:37:09 +00001832 assert( pPager!=0 );
drhed7c8552001-04-11 14:29:21 +00001833 if( pPager->dbSize>=0 ){
danielk197715f411d2005-09-16 10:18:45 +00001834 n = pPager->dbSize;
1835 } else {
drh054889e2005-11-30 03:20:31 +00001836 if( sqlite3OsFileSize(pPager->fd, &n)!=SQLITE_OK ){
danielk197715f411d2005-09-16 10:18:45 +00001837 pPager->errMask |= PAGER_ERR_DISK;
1838 return 0;
1839 }
1840 if( n>0 && n<pPager->pageSize ){
1841 n = 1;
1842 }else{
1843 n /= pPager->pageSize;
1844 }
1845 if( pPager->state!=PAGER_UNLOCK ){
1846 pPager->dbSize = n;
1847 }
drhed7c8552001-04-11 14:29:21 +00001848 }
danielk197715f411d2005-09-16 10:18:45 +00001849 if( n==(PENDING_BYTE/pPager->pageSize) ){
drh1f595712004-06-15 01:40:29 +00001850 n++;
1851 }
drhed7c8552001-04-11 14:29:21 +00001852 return n;
1853}
1854
1855/*
drhf7c57532003-04-25 13:22:51 +00001856** Forward declaration
1857*/
danielk197776572402004-06-25 02:38:54 +00001858static int syncJournal(Pager*);
drhf7c57532003-04-25 13:22:51 +00001859
drhac69b052004-05-12 13:30:07 +00001860
1861/*
danielk1977f5fdda82004-11-03 08:44:05 +00001862** Unlink pPg from it's hash chain. Also set the page number to 0 to indicate
1863** that the page is not part of any hash chain. This is required because the
1864** sqlite3pager_movepage() routine can leave a page in the
1865** pNextFree/pPrevFree list that is not a part of any hash-chain.
1866*/
1867static void unlinkHashChain(Pager *pPager, PgHdr *pPg){
1868 if( pPg->pgno==0 ){
1869 /* If the page number is zero, then this page is not in any hash chain. */
1870 return;
1871 }
1872 if( pPg->pNextHash ){
1873 pPg->pNextHash->pPrevHash = pPg->pPrevHash;
1874 }
1875 if( pPg->pPrevHash ){
1876 assert( pPager->aHash[pager_hash(pPg->pgno)]!=pPg );
1877 pPg->pPrevHash->pNextHash = pPg->pNextHash;
1878 }else{
1879 int h = pager_hash(pPg->pgno);
1880 assert( pPager->aHash[h]==pPg );
1881 pPager->aHash[h] = pPg->pNextHash;
1882 }
1883
1884 pPg->pgno = 0;
1885 pPg->pNextHash = pPg->pPrevHash = 0;
1886}
1887
1888/*
drhac69b052004-05-12 13:30:07 +00001889** Unlink a page from the free list (the list of all pages where nRef==0)
1890** and from its hash collision chain.
1891*/
1892static void unlinkPage(PgHdr *pPg){
1893 Pager *pPager = pPg->pPager;
1894
1895 /* Keep the pFirstSynced pointer pointing at the first synchronized page */
1896 if( pPg==pPager->pFirstSynced ){
1897 PgHdr *p = pPg->pNextFree;
1898 while( p && p->needSync ){ p = p->pNextFree; }
1899 pPager->pFirstSynced = p;
1900 }
1901
1902 /* Unlink from the freelist */
1903 if( pPg->pPrevFree ){
1904 pPg->pPrevFree->pNextFree = pPg->pNextFree;
1905 }else{
1906 assert( pPager->pFirst==pPg );
1907 pPager->pFirst = pPg->pNextFree;
1908 }
1909 if( pPg->pNextFree ){
1910 pPg->pNextFree->pPrevFree = pPg->pPrevFree;
1911 }else{
1912 assert( pPager->pLast==pPg );
1913 pPager->pLast = pPg->pPrevFree;
1914 }
1915 pPg->pNextFree = pPg->pPrevFree = 0;
1916
1917 /* Unlink from the pgno hash table */
danielk1977f5fdda82004-11-03 08:44:05 +00001918 unlinkHashChain(pPager, pPg);
drhac69b052004-05-12 13:30:07 +00001919}
1920
danielk1977b84f96f2005-01-20 11:32:23 +00001921#ifndef SQLITE_OMIT_MEMORYDB
drhac69b052004-05-12 13:30:07 +00001922/*
1923** This routine is used to truncate an in-memory database. Delete
danielk1977369f27e2004-06-15 11:40:04 +00001924** all pages whose pgno is larger than pPager->dbSize and is unreferenced.
drhac69b052004-05-12 13:30:07 +00001925** Referenced pages larger than pPager->dbSize are zeroed.
1926*/
1927static void memoryTruncate(Pager *pPager){
1928 PgHdr *pPg;
1929 PgHdr **ppPg;
1930 int dbSize = pPager->dbSize;
1931
1932 ppPg = &pPager->pAll;
1933 while( (pPg = *ppPg)!=0 ){
1934 if( pPg->pgno<=dbSize ){
1935 ppPg = &pPg->pNextAll;
1936 }else if( pPg->nRef>0 ){
1937 memset(PGHDR_TO_DATA(pPg), 0, pPager->pageSize);
1938 ppPg = &pPg->pNextAll;
1939 }else{
1940 *ppPg = pPg->pNextAll;
1941 unlinkPage(pPg);
1942 sqliteFree(pPg);
1943 pPager->nPage--;
1944 }
1945 }
1946}
danielk1977b84f96f2005-01-20 11:32:23 +00001947#else
1948#define memoryTruncate(p)
1949#endif
drhac69b052004-05-12 13:30:07 +00001950
drhf7c57532003-04-25 13:22:51 +00001951/*
danielk197717221812005-02-15 03:38:05 +00001952** Try to obtain a lock on a file. Invoke the busy callback if the lock
drha4afb652005-07-09 02:16:02 +00001953** is currently not available. Repeat until the busy callback returns
danielk197717221812005-02-15 03:38:05 +00001954** false or until the lock succeeds.
1955**
1956** Return SQLITE_OK on success and an error code if we cannot obtain
1957** the lock.
1958*/
1959static int pager_wait_on_lock(Pager *pPager, int locktype){
1960 int rc;
1961 assert( PAGER_SHARED==SHARED_LOCK );
1962 assert( PAGER_RESERVED==RESERVED_LOCK );
1963 assert( PAGER_EXCLUSIVE==EXCLUSIVE_LOCK );
1964 if( pPager->state>=locktype ){
1965 rc = SQLITE_OK;
1966 }else{
danielk197717221812005-02-15 03:38:05 +00001967 do {
drh054889e2005-11-30 03:20:31 +00001968 rc = sqlite3OsLock(pPager->fd, locktype);
drha4afb652005-07-09 02:16:02 +00001969 }while( rc==SQLITE_BUSY && sqlite3InvokeBusyHandler(pPager->pBusyHandler) );
danielk197717221812005-02-15 03:38:05 +00001970 if( rc==SQLITE_OK ){
1971 pPager->state = locktype;
1972 }
1973 }
1974 return rc;
1975}
1976
1977/*
drhf7c57532003-04-25 13:22:51 +00001978** Truncate the file to the number of pages specified.
1979*/
drh3aac2dd2004-04-26 14:10:20 +00001980int sqlite3pager_truncate(Pager *pPager, Pgno nPage){
drhf7c57532003-04-25 13:22:51 +00001981 int rc;
drhdc3ff9c2004-08-18 02:10:15 +00001982 sqlite3pager_pagecount(pPager);
drh2e6d11b2003-04-25 15:37:57 +00001983 if( pPager->errMask!=0 ){
1984 rc = pager_errcode(pPager);
1985 return rc;
1986 }
drh7d02cb72003-06-04 16:24:39 +00001987 if( nPage>=(unsigned)pPager->dbSize ){
drhf7c57532003-04-25 13:22:51 +00001988 return SQLITE_OK;
1989 }
drhb7f91642004-10-31 02:22:47 +00001990 if( MEMDB ){
drhac69b052004-05-12 13:30:07 +00001991 pPager->dbSize = nPage;
1992 memoryTruncate(pPager);
1993 return SQLITE_OK;
1994 }
danielk197776572402004-06-25 02:38:54 +00001995 rc = syncJournal(pPager);
danielk1977369f27e2004-06-15 11:40:04 +00001996 if( rc!=SQLITE_OK ){
1997 return rc;
1998 }
danielk197717221812005-02-15 03:38:05 +00001999
2000 /* Get an exclusive lock on the database before truncating. */
2001 rc = pager_wait_on_lock(pPager, EXCLUSIVE_LOCK);
2002 if( rc!=SQLITE_OK ){
2003 return rc;
2004 }
2005
drhcb4c40b2004-08-18 19:09:43 +00002006 rc = pager_truncate(pPager, nPage);
drhf7c57532003-04-25 13:22:51 +00002007 if( rc==SQLITE_OK ){
2008 pPager->dbSize = nPage;
2009 }
2010 return rc;
2011}
2012
2013/*
drhed7c8552001-04-11 14:29:21 +00002014** Shutdown the page cache. Free all memory and close all files.
2015**
2016** If a transaction was in progress when this routine is called, that
2017** transaction is rolled back. All outstanding pages are invalidated
2018** and their memory is freed. Any attempt to use a page associated
2019** with this page cache after this function returns will likely
2020** result in a coredump.
danielk1977aef0bf62005-12-30 16:28:01 +00002021**
2022** This function always succeeds. If a transaction is active an attempt
2023** is made to roll it back. If an error occurs during the rollback
2024** a hot journal may be left in the filesystem but no error is returned
2025** to the caller.
drhed7c8552001-04-11 14:29:21 +00002026*/
drh3aac2dd2004-04-26 14:10:20 +00002027int sqlite3pager_close(Pager *pPager){
drhd9b02572001-04-15 00:37:09 +00002028 PgHdr *pPg, *pNext;
danielk197713f72992005-12-18 08:51:22 +00002029#ifndef SQLITE_OMIT_MEMORY_MANAGEMENT
2030 SqliteTsd *pTsd = sqlite3Tsd();
2031#endif
2032
drhed7c8552001-04-11 14:29:21 +00002033 switch( pPager->state ){
drha6abd042004-06-09 17:37:22 +00002034 case PAGER_RESERVED:
danielk1977aa5ccdf2004-06-14 05:10:42 +00002035 case PAGER_SYNCED:
drha6abd042004-06-09 17:37:22 +00002036 case PAGER_EXCLUSIVE: {
danielk1977b3bce662005-01-29 08:32:43 +00002037 /* We ignore any IO errors that occur during the rollback
2038 ** operation. So disable IO error simulation so that testing
2039 ** works more easily.
2040 */
drhc9ac5ca2005-11-04 22:03:30 +00002041 disable_simulated_io_errors();
drh3aac2dd2004-04-26 14:10:20 +00002042 sqlite3pager_rollback(pPager);
drhc9ac5ca2005-11-04 22:03:30 +00002043 enable_simulated_io_errors();
drhb7f91642004-10-31 02:22:47 +00002044 if( !MEMDB ){
drh054889e2005-11-30 03:20:31 +00002045 sqlite3OsUnlock(pPager->fd, NO_LOCK);
drhac69b052004-05-12 13:30:07 +00002046 }
danielk1977e94ddc92005-03-21 03:53:38 +00002047 assert( pPager->errMask || pPager->journalOpen==0 );
drhed7c8552001-04-11 14:29:21 +00002048 break;
2049 }
drha6abd042004-06-09 17:37:22 +00002050 case PAGER_SHARED: {
drhb7f91642004-10-31 02:22:47 +00002051 if( !MEMDB ){
drh054889e2005-11-30 03:20:31 +00002052 sqlite3OsUnlock(pPager->fd, NO_LOCK);
drhac69b052004-05-12 13:30:07 +00002053 }
drhed7c8552001-04-11 14:29:21 +00002054 break;
2055 }
2056 default: {
2057 /* Do nothing */
2058 break;
2059 }
2060 }
drhd9b02572001-04-15 00:37:09 +00002061 for(pPg=pPager->pAll; pPg; pPg=pNext){
danielk1977eac7a362004-06-16 07:45:24 +00002062#ifndef NDEBUG
drhb7f91642004-10-31 02:22:47 +00002063 if( MEMDB ){
danielk1977eac7a362004-06-16 07:45:24 +00002064 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
2065 assert( !pPg->alwaysRollback );
2066 assert( !pHist->pOrig );
2067 assert( !pHist->pStmt );
2068 }
2069#endif
drhd9b02572001-04-15 00:37:09 +00002070 pNext = pPg->pNextAll;
2071 sqliteFree(pPg);
drhed7c8552001-04-11 14:29:21 +00002072 }
danielk1977ef73ee92004-11-06 12:26:07 +00002073 TRACE2("CLOSE %d\n", PAGERID(pPager));
danielk1977e94ddc92005-03-21 03:53:38 +00002074 assert( pPager->errMask || (pPager->journalOpen==0 && pPager->stmtOpen==0) );
2075 if( pPager->journalOpen ){
drh054889e2005-11-30 03:20:31 +00002076 sqlite3OsClose(&pPager->jfd);
danielk1977e94ddc92005-03-21 03:53:38 +00002077 }
drh88b01a12005-03-28 18:04:27 +00002078 sqliteFree(pPager->aInJournal);
danielk1977e94ddc92005-03-21 03:53:38 +00002079 if( pPager->stmtOpen ){
drh054889e2005-11-30 03:20:31 +00002080 sqlite3OsClose(&pPager->stfd);
danielk1977e94ddc92005-03-21 03:53:38 +00002081 }
drh054889e2005-11-30 03:20:31 +00002082 sqlite3OsClose(&pPager->fd);
drh0f892532002-05-30 12:27:03 +00002083 /* Temp files are automatically deleted by the OS
2084 ** if( pPager->tempFile ){
drh054889e2005-11-30 03:20:31 +00002085 ** sqlite3Os.xDelete(pPager->zFilename);
drh0f892532002-05-30 12:27:03 +00002086 ** }
2087 */
danielk1977aca790a2005-01-13 11:07:52 +00002088
danielk197713f72992005-12-18 08:51:22 +00002089#ifndef SQLITE_OMIT_MEMORY_MANAGEMENT
danielk1977aef0bf62005-12-30 16:28:01 +00002090 /* Remove the pager from the linked list of pagers starting at
2091 ** SqliteTsd.pPager.
2092 */
danielk197713f72992005-12-18 08:51:22 +00002093 if( pPager==pTsd->pPager ){
2094 pTsd->pPager = pPager->pNext;
2095 }else{
2096 Pager *pTmp;
2097 for(pTmp = pTsd->pPager; pTmp->pNext!=pPager; pTmp=pTmp->pNext);
2098 pTmp->pNext = pPager->pNext;
2099 }
2100#endif
2101
drhed7c8552001-04-11 14:29:21 +00002102 sqliteFree(pPager);
2103 return SQLITE_OK;
2104}
2105
2106/*
drh5e00f6c2001-09-13 13:46:56 +00002107** Return the page number for the given page data.
drhed7c8552001-04-11 14:29:21 +00002108*/
drh3aac2dd2004-04-26 14:10:20 +00002109Pgno sqlite3pager_pagenumber(void *pData){
drhed7c8552001-04-11 14:29:21 +00002110 PgHdr *p = DATA_TO_PGHDR(pData);
2111 return p->pgno;
2112}
2113
2114/*
drhc8629a12004-05-08 20:07:40 +00002115** The page_ref() function increments the reference count for a page.
2116** If the page is currently on the freelist (the reference count is zero) then
drh7e3b0a02001-04-28 16:52:40 +00002117** remove it from the freelist.
drhc8629a12004-05-08 20:07:40 +00002118**
2119** For non-test systems, page_ref() is a macro that calls _page_ref()
2120** online of the reference count is zero. For test systems, page_ref()
2121** is a real function so that we can set breakpoints and trace it.
drh7e3b0a02001-04-28 16:52:40 +00002122*/
drh836faa42003-01-11 13:30:57 +00002123static void _page_ref(PgHdr *pPg){
drh7e3b0a02001-04-28 16:52:40 +00002124 if( pPg->nRef==0 ){
2125 /* The page is currently on the freelist. Remove it. */
drh341eae82003-01-21 02:39:36 +00002126 if( pPg==pPg->pPager->pFirstSynced ){
2127 PgHdr *p = pPg->pNextFree;
2128 while( p && p->needSync ){ p = p->pNextFree; }
2129 pPg->pPager->pFirstSynced = p;
2130 }
drh7e3b0a02001-04-28 16:52:40 +00002131 if( pPg->pPrevFree ){
2132 pPg->pPrevFree->pNextFree = pPg->pNextFree;
2133 }else{
2134 pPg->pPager->pFirst = pPg->pNextFree;
2135 }
2136 if( pPg->pNextFree ){
2137 pPg->pNextFree->pPrevFree = pPg->pPrevFree;
2138 }else{
2139 pPg->pPager->pLast = pPg->pPrevFree;
2140 }
2141 pPg->pPager->nRef++;
2142 }
2143 pPg->nRef++;
drhdd793422001-06-28 01:54:48 +00002144 REFINFO(pPg);
drhdf0b3b02001-06-23 11:36:20 +00002145}
danielk1977aca790a2005-01-13 11:07:52 +00002146#ifdef SQLITE_DEBUG
drhc8629a12004-05-08 20:07:40 +00002147 static void page_ref(PgHdr *pPg){
2148 if( pPg->nRef==0 ){
2149 _page_ref(pPg);
2150 }else{
2151 pPg->nRef++;
2152 REFINFO(pPg);
2153 }
2154 }
2155#else
2156# define page_ref(P) ((P)->nRef==0?_page_ref(P):(void)(P)->nRef++)
2157#endif
drhdf0b3b02001-06-23 11:36:20 +00002158
2159/*
2160** Increment the reference count for a page. The input pointer is
2161** a reference to the page data.
2162*/
drh3aac2dd2004-04-26 14:10:20 +00002163int sqlite3pager_ref(void *pData){
drhdf0b3b02001-06-23 11:36:20 +00002164 PgHdr *pPg = DATA_TO_PGHDR(pData);
2165 page_ref(pPg);
drh8c42ca92001-06-22 19:15:00 +00002166 return SQLITE_OK;
drh7e3b0a02001-04-28 16:52:40 +00002167}
2168
2169/*
drh34e79ce2004-02-08 06:05:46 +00002170** Sync the journal. In other words, make sure all the pages that have
2171** been written to the journal have actually reached the surface of the
2172** disk. It is not safe to modify the original database file until after
2173** the journal has been synced. If the original database is modified before
2174** the journal is synced and a power failure occurs, the unsynced journal
2175** data would be lost and we would be unable to completely rollback the
2176** database changes. Database corruption would occur.
2177**
2178** This routine also updates the nRec field in the header of the journal.
2179** (See comments on the pager_playback() routine for additional information.)
2180** If the sync mode is FULL, two syncs will occur. First the whole journal
2181** is synced, then the nRec field is updated, then a second sync occurs.
drhb19a2bc2001-09-16 00:13:26 +00002182**
drh34e79ce2004-02-08 06:05:46 +00002183** For temporary databases, we do not care if we are able to rollback
2184** after a power failure, so sync occurs.
drhfa86c412002-02-02 15:01:15 +00002185**
drh34e79ce2004-02-08 06:05:46 +00002186** This routine clears the needSync field of every page current held in
2187** memory.
drh50e5dad2001-09-15 00:57:28 +00002188*/
danielk197776572402004-06-25 02:38:54 +00002189static int syncJournal(Pager *pPager){
drh50e5dad2001-09-15 00:57:28 +00002190 PgHdr *pPg;
2191 int rc = SQLITE_OK;
drh03eb96a2002-11-10 23:32:56 +00002192
2193 /* Sync the journal before modifying the main database
2194 ** (assuming there is a journal and it needs to be synced.)
2195 */
danielk197776572402004-06-25 02:38:54 +00002196 if( pPager->needSync ){
drhfa86c412002-02-02 15:01:15 +00002197 if( !pPager->tempFile ){
drhdb48ee02003-01-16 13:42:43 +00002198 assert( pPager->journalOpen );
drh946966f2004-02-25 02:20:41 +00002199 /* assert( !pPager->noSync ); // noSync might be set if synchronous
2200 ** was turned off after the transaction was started. Ticket #615 */
drh968af522003-02-11 14:55:40 +00002201#ifndef NDEBUG
2202 {
drh34e79ce2004-02-08 06:05:46 +00002203 /* Make sure the pPager->nRec counter we are keeping agrees
2204 ** with the nRec computed from the size of the journal file.
2205 */
drheb206252004-10-01 02:00:31 +00002206 i64 jSz;
drh054889e2005-11-30 03:20:31 +00002207 rc = sqlite3OsFileSize(pPager->jfd, &jSz);
drh968af522003-02-11 14:55:40 +00002208 if( rc!=0 ) return rc;
danielk197776572402004-06-25 02:38:54 +00002209 assert( pPager->journalOff==jSz );
drh968af522003-02-11 14:55:40 +00002210 }
2211#endif
drhae2b40c2004-06-09 19:03:54 +00002212 {
danielk197776572402004-06-25 02:38:54 +00002213 /* Write the nRec value into the journal file header. If in
2214 ** full-synchronous mode, sync the journal first. This ensures that
2215 ** all data has really hit the disk before nRec is updated to mark
2216 ** it as a candidate for rollback.
2217 */
drhd8d66e82003-02-12 02:10:15 +00002218 if( pPager->fullSync ){
danielk1977ef73ee92004-11-06 12:26:07 +00002219 TRACE2("SYNC journal of %d\n", PAGERID(pPager));
drh054889e2005-11-30 03:20:31 +00002220 rc = sqlite3OsSync(pPager->jfd, 0);
drhd8d66e82003-02-12 02:10:15 +00002221 if( rc!=0 ) return rc;
2222 }
drh054889e2005-11-30 03:20:31 +00002223 rc = sqlite3OsSeek(pPager->jfd,
drhb4746b92005-09-09 01:32:06 +00002224 pPager->journalHdr + sizeof(aJournalMagic));
2225 if( rc ) return rc;
drh9cbe6352005-11-29 03:13:21 +00002226 rc = write32bits(pPager->jfd, pPager->nRec);
drh99ee3602003-02-16 19:13:36 +00002227 if( rc ) return rc;
danielk197713adf8a2004-06-03 16:08:41 +00002228
drh054889e2005-11-30 03:20:31 +00002229 rc = sqlite3OsSeek(pPager->jfd, pPager->journalOff);
drhb4746b92005-09-09 01:32:06 +00002230 if( rc ) return rc;
drh968af522003-02-11 14:55:40 +00002231 }
danielk1977ef73ee92004-11-06 12:26:07 +00002232 TRACE2("SYNC journal of %d\n", PAGERID(pPager));
drh054889e2005-11-30 03:20:31 +00002233 rc = sqlite3OsSync(pPager->jfd, pPager->fullSync);
drhfa86c412002-02-02 15:01:15 +00002234 if( rc!=0 ) return rc;
drhdb48ee02003-01-16 13:42:43 +00002235 pPager->journalStarted = 1;
drhfa86c412002-02-02 15:01:15 +00002236 }
drh50e5dad2001-09-15 00:57:28 +00002237 pPager->needSync = 0;
drh341eae82003-01-21 02:39:36 +00002238
2239 /* Erase the needSync flag from every page.
2240 */
2241 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
2242 pPg->needSync = 0;
2243 }
2244 pPager->pFirstSynced = pPager->pFirst;
drh50e5dad2001-09-15 00:57:28 +00002245 }
drh03eb96a2002-11-10 23:32:56 +00002246
drh341eae82003-01-21 02:39:36 +00002247#ifndef NDEBUG
2248 /* If the Pager.needSync flag is clear then the PgHdr.needSync
2249 ** flag must also be clear for all pages. Verify that this
2250 ** invariant is true.
drh03eb96a2002-11-10 23:32:56 +00002251 */
drh341eae82003-01-21 02:39:36 +00002252 else{
2253 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
2254 assert( pPg->needSync==0 );
2255 }
2256 assert( pPager->pFirstSynced==pPager->pFirst );
drh03eb96a2002-11-10 23:32:56 +00002257 }
drh341eae82003-01-21 02:39:36 +00002258#endif
drhdb48ee02003-01-16 13:42:43 +00002259
drh81a20f22001-10-12 17:30:04 +00002260 return rc;
drh50e5dad2001-09-15 00:57:28 +00002261}
2262
2263/*
drh2554f8b2003-01-22 01:26:44 +00002264** Given a list of pages (connected by the PgHdr.pDirty pointer) write
2265** every one of those pages out to the database file and mark them all
2266** as clean.
2267*/
2268static int pager_write_pagelist(PgHdr *pList){
2269 Pager *pPager;
2270 int rc;
2271
2272 if( pList==0 ) return SQLITE_OK;
2273 pPager = pList->pPager;
danielk19779eed5052004-06-04 10:38:30 +00002274
2275 /* At this point there may be either a RESERVED or EXCLUSIVE lock on the
2276 ** database file. If there is already an EXCLUSIVE lock, the following
drh054889e2005-11-30 03:20:31 +00002277 ** calls to sqlite3OsLock() are no-ops.
danielk19779eed5052004-06-04 10:38:30 +00002278 **
drha6abd042004-06-09 17:37:22 +00002279 ** Moving the lock from RESERVED to EXCLUSIVE actually involves going
2280 ** through an intermediate state PENDING. A PENDING lock prevents new
2281 ** readers from attaching to the database but is unsufficient for us to
2282 ** write. The idea of a PENDING lock is to prevent new readers from
2283 ** coming in while we wait for existing readers to clear.
danielk19779eed5052004-06-04 10:38:30 +00002284 **
drha6abd042004-06-09 17:37:22 +00002285 ** While the pager is in the RESERVED state, the original database file
2286 ** is unchanged and we can rollback without having to playback the
2287 ** journal into the original database file. Once we transition to
2288 ** EXCLUSIVE, it means the database file has been changed and any rollback
2289 ** will require a journal playback.
danielk19779eed5052004-06-04 10:38:30 +00002290 */
drh684917c2004-10-05 02:41:42 +00002291 rc = pager_wait_on_lock(pPager, EXCLUSIVE_LOCK);
danielk19779eed5052004-06-04 10:38:30 +00002292 if( rc!=SQLITE_OK ){
2293 return rc;
2294 }
2295
drh2554f8b2003-01-22 01:26:44 +00002296 while( pList ){
2297 assert( pList->dirty );
drh054889e2005-11-30 03:20:31 +00002298 rc = sqlite3OsSeek(pPager->fd, (pList->pgno-1)*(i64)pPager->pageSize);
drhb4746b92005-09-09 01:32:06 +00002299 if( rc ) return rc;
danielk1977687566d2004-11-02 12:56:41 +00002300 /* If there are dirty pages in the page cache with page numbers greater
2301 ** than Pager.dbSize, this means sqlite3pager_truncate() was called to
2302 ** make the file smaller (presumably by auto-vacuum code). Do not write
2303 ** any such pages to the file.
2304 */
2305 if( pList->pgno<=pPager->dbSize ){
2306 CODEC(pPager, PGHDR_TO_DATA(pList), pList->pgno, 6);
danielk1977ef73ee92004-11-06 12:26:07 +00002307 TRACE3("STORE %d page %d\n", PAGERID(pPager), pList->pgno);
drh054889e2005-11-30 03:20:31 +00002308 rc = sqlite3OsWrite(pPager->fd, PGHDR_TO_DATA(pList),
drh9c06c952005-11-26 00:25:00 +00002309 pPager->pageSize);
danielk1977687566d2004-11-02 12:56:41 +00002310 CODEC(pPager, PGHDR_TO_DATA(pList), pList->pgno, 0);
drhfcd35c72005-05-21 02:48:08 +00002311 TEST_INCR(pPager->nWrite);
danielk1977687566d2004-11-02 12:56:41 +00002312 }
2313#ifndef NDEBUG
2314 else{
danielk1977ef73ee92004-11-06 12:26:07 +00002315 TRACE3("NOSTORE %d page %d\n", PAGERID(pPager), pList->pgno);
danielk1977687566d2004-11-02 12:56:41 +00002316 }
2317#endif
drh2554f8b2003-01-22 01:26:44 +00002318 if( rc ) return rc;
2319 pList->dirty = 0;
danielk19773c407372005-02-15 02:54:14 +00002320#ifdef SQLITE_CHECK_PAGES
2321 pList->pageHash = pager_pagehash(pList);
2322#endif
drh2554f8b2003-01-22 01:26:44 +00002323 pList = pList->pDirty;
2324 }
2325 return SQLITE_OK;
2326}
2327
2328/*
2329** Collect every dirty page into a dirty list and
2330** return a pointer to the head of that list. All pages are
2331** collected even if they are still in use.
2332*/
2333static PgHdr *pager_get_all_dirty_pages(Pager *pPager){
2334 PgHdr *p, *pList;
2335 pList = 0;
2336 for(p=pPager->pAll; p; p=p->pNextAll){
2337 if( p->dirty ){
2338 p->pDirty = pList;
2339 pList = p;
2340 }
2341 }
2342 return pList;
2343}
2344
2345/*
drh165ffe92005-03-15 17:09:30 +00002346** Return TRUE if there is a hot journal on the given pager.
2347** A hot journal is one that needs to be played back.
2348**
2349** If the current size of the database file is 0 but a journal file
2350** exists, that is probably an old journal left over from a prior
2351** database with the same name. Just delete the journal.
2352*/
2353static int hasHotJournal(Pager *pPager){
2354 if( !pPager->useJournal ) return 0;
drh054889e2005-11-30 03:20:31 +00002355 if( !sqlite3Os.xFileExists(pPager->zJournal) ) return 0;
2356 if( sqlite3OsCheckReservedLock(pPager->fd) ) return 0;
drh165ffe92005-03-15 17:09:30 +00002357 if( sqlite3pager_pagecount(pPager)==0 ){
drh054889e2005-11-30 03:20:31 +00002358 sqlite3Os.xDelete(pPager->zJournal);
drh165ffe92005-03-15 17:09:30 +00002359 return 0;
2360 }else{
2361 return 1;
2362 }
2363}
2364
danielk19775591df52005-12-20 09:19:37 +00002365/*
danielk1977aef0bf62005-12-30 16:28:01 +00002366** Try to find a page in the cache that can be recycled.
2367**
2368** This routine may return SQLITE_IOERR, SQLITE_FULL or SQLITE_OK. It
2369** does not set the pPager->errMask variable.
danielk19775591df52005-12-20 09:19:37 +00002370*/
danielk197713f72992005-12-18 08:51:22 +00002371static int pager_recycle(Pager *pPager, int syncOk, PgHdr **ppPg){
2372 PgHdr *pPg;
2373 *ppPg = 0;
2374
2375 /* Find a page to recycle. Try to locate a page that does not
2376 ** require us to do an fsync() on the journal.
2377 */
2378 pPg = pPager->pFirstSynced;
2379
2380 /* If we could not find a page that does not require an fsync()
2381 ** on the journal file then fsync the journal file. This is a
2382 ** very slow operation, so we work hard to avoid it. But sometimes
2383 ** it can't be helped.
2384 */
danielk19775591df52005-12-20 09:19:37 +00002385 if( pPg==0 && pPager->pFirst && syncOk && !MEMDB){
danielk197713f72992005-12-18 08:51:22 +00002386 int rc = syncJournal(pPager);
2387 if( rc!=0 ){
danielk1977aef0bf62005-12-30 16:28:01 +00002388 return rc;
danielk197713f72992005-12-18 08:51:22 +00002389 }
2390 if( pPager->fullSync ){
2391 /* If in full-sync mode, write a new journal header into the
2392 ** journal file. This is done to avoid ever modifying a journal
2393 ** header that is involved in the rollback of pages that have
2394 ** already been written to the database (in case the header is
2395 ** trashed when the nRec field is updated).
2396 */
2397 pPager->nRec = 0;
2398 assert( pPager->journalOff > 0 );
2399 rc = writeJournalHdr(pPager);
2400 if( rc!=0 ){
danielk1977aef0bf62005-12-30 16:28:01 +00002401 return rc;
danielk197713f72992005-12-18 08:51:22 +00002402 }
2403 }
2404 pPg = pPager->pFirst;
2405 }
2406 if( pPg==0 ){
2407 return SQLITE_OK;
2408 }
2409
2410 assert( pPg->nRef==0 );
2411
2412 /* Write the page to the database file if it is dirty.
2413 */
2414 if( pPg->dirty ){
2415 int rc;
2416 assert( pPg->needSync==0 );
2417 pPg->pDirty = 0;
2418 rc = pager_write_pagelist( pPg );
2419 if( rc!=SQLITE_OK ){
danielk1977aef0bf62005-12-30 16:28:01 +00002420 return rc;
danielk197713f72992005-12-18 08:51:22 +00002421 }
2422 }
2423 assert( pPg->dirty==0 );
2424
2425 /* If the page we are recycling is marked as alwaysRollback, then
2426 ** set the global alwaysRollback flag, thus disabling the
2427 ** sqlite_dont_rollback() optimization for the rest of this transaction.
2428 ** It is necessary to do this because the page marked alwaysRollback
2429 ** might be reloaded at a later time but at that point we won't remember
2430 ** that is was marked alwaysRollback. This means that all pages must
2431 ** be marked as alwaysRollback from here on out.
2432 */
2433 if( pPg->alwaysRollback ){
2434 pPager->alwaysRollback = 1;
2435 }
2436
2437 /* Unlink the old page from the free list and the hash table
2438 */
2439 unlinkPage(pPg);
2440 TEST_INCR(pPager->nOvfl);
2441
2442 *ppPg = pPg;
2443 return SQLITE_OK;
2444}
2445
2446/*
2447** This function is called to free superfluous dynamically allocated memory
2448** held by the pager system. Memory in use by any SQLite pager allocated
2449** by the current thread may be sqliteFree()ed.
2450**
2451** nReq is the number of bytes of memory required. Once this much has
danielk19770190d1d2005-12-19 14:18:11 +00002452** been released, the function returns. A negative value for nReq means
2453** free as much memory as possible. The return value is the total number
danielk197713f72992005-12-18 08:51:22 +00002454** of bytes of memory released.
2455*/
danielk19770190d1d2005-12-19 14:18:11 +00002456#ifndef SQLITE_OMIT_MEMORY_MANAGEMENT
danielk197713f72992005-12-18 08:51:22 +00002457int sqlite3pager_release_memory(int nReq){
2458 SqliteTsd *pTsd = sqlite3Tsd();
danielk19770190d1d2005-12-19 14:18:11 +00002459 Pager *p;
danielk197713f72992005-12-18 08:51:22 +00002460 int nReleased = 0;
2461 int i;
2462
2463 /* Outermost loop runs for at most two iterations. First iteration we
2464 ** try to find memory that can be released without calling fsync(). Second
2465 ** iteration (which only runs if the first failed to free nReq bytes of
2466 ** memory) is permitted to call fsync(). This is of course much more
2467 ** expensive.
2468 */
2469 for(i=0; i==0 || i==1; i++){
2470
2471 /* Loop through all the SQLite pagers opened by the current thread. */
danielk19770190d1d2005-12-19 14:18:11 +00002472 for(p=pTsd->pPager; p && (nReq<0 || nReleased<nReq); p=p->pNext){
danielk197713f72992005-12-18 08:51:22 +00002473 PgHdr *pPg;
2474 int rc;
2475
2476 /* For each pager, try to free as many pages as possible (without
2477 ** calling fsync() if this is the first iteration of the outermost
2478 ** loop).
2479 */
danielk19770190d1d2005-12-19 14:18:11 +00002480 while( SQLITE_OK==(rc = pager_recycle(p, i, &pPg)) && pPg) {
danielk1977aef0bf62005-12-30 16:28:01 +00002481 /* We've found a page to free. At this point the page has been
danielk197713f72992005-12-18 08:51:22 +00002482 ** removed from the page hash-table, free-list and synced-list
danielk1977aef0bf62005-12-30 16:28:01 +00002483 ** (pFirstSynced). It is still in the all pages (pAll) list.
danielk197713f72992005-12-18 08:51:22 +00002484 ** Remove it from this list before freeing.
2485 **
2486 ** Todo: Check the Pager.pStmt list to make sure this is Ok. It
2487 ** probably is though.
2488 */
2489 PgHdr *pTmp;
danielk19770190d1d2005-12-19 14:18:11 +00002490 assert( pPg );
danielk1977aef0bf62005-12-30 16:28:01 +00002491 page_remove_from_stmt_list(pPg);
danielk19770190d1d2005-12-19 14:18:11 +00002492 if( pPg==p->pAll ){
2493 p->pAll = pPg->pNextAll;
danielk197713f72992005-12-18 08:51:22 +00002494 }else{
danielk19770190d1d2005-12-19 14:18:11 +00002495 for( pTmp=p->pAll; pTmp->pNextAll!=pPg; pTmp=pTmp->pNextAll );
danielk197713f72992005-12-18 08:51:22 +00002496 pTmp->pNextAll = pPg->pNextAll;
2497 }
2498 nReleased += sqliteAllocSize(pPg);
2499 sqliteFree(pPg);
2500 }
2501
2502 if( rc!=SQLITE_OK ){
danielk1977aef0bf62005-12-30 16:28:01 +00002503 /* An error occured whilst writing to the database file or
2504 ** journal in pager_recycle(). The error is not returned to the
2505 ** caller of this function. Instead, set the Pager.errMask variable.
2506 ** The error will be returned to the user (or users, in the case
2507 ** of a shared pager cache) of the pager for which the error occured.
danielk197713f72992005-12-18 08:51:22 +00002508 */
danielk1977aef0bf62005-12-30 16:28:01 +00002509 assert( rc==SQLITE_IOERR || rc==SQLITE_FULL );
2510 assert( p->state>=PAGER_RESERVED );
2511 pager_error(p, rc);
danielk197713f72992005-12-18 08:51:22 +00002512 }
2513 }
2514 }
danielk1977aef0bf62005-12-30 16:28:01 +00002515
danielk197713f72992005-12-18 08:51:22 +00002516 return nReleased;
2517}
danielk1977aef0bf62005-12-30 16:28:01 +00002518#endif /* SQLITE_OMIT_MEMORY_MANAGEMENT */
danielk197713f72992005-12-18 08:51:22 +00002519
drh165ffe92005-03-15 17:09:30 +00002520/*
drhd9b02572001-04-15 00:37:09 +00002521** Acquire a page.
2522**
drh58a11682001-11-10 13:51:08 +00002523** A read lock on the disk file is obtained when the first page is acquired.
drh5e00f6c2001-09-13 13:46:56 +00002524** This read lock is dropped when the last page is released.
drhd9b02572001-04-15 00:37:09 +00002525**
drh306dc212001-05-21 13:45:10 +00002526** A _get works for any page number greater than 0. If the database
2527** file is smaller than the requested page, then no actual disk
2528** read occurs and the memory image of the page is initialized to
2529** all zeros. The extra data appended to a page is always initialized
2530** to zeros the first time a page is loaded into memory.
2531**
drhd9b02572001-04-15 00:37:09 +00002532** The acquisition might fail for several reasons. In all cases,
2533** an appropriate error code is returned and *ppPage is set to NULL.
drh7e3b0a02001-04-28 16:52:40 +00002534**
drh3aac2dd2004-04-26 14:10:20 +00002535** See also sqlite3pager_lookup(). Both this routine and _lookup() attempt
drh7e3b0a02001-04-28 16:52:40 +00002536** to find a page in the in-memory cache first. If the page is not already
drh5e00f6c2001-09-13 13:46:56 +00002537** in memory, this routine goes to disk to read it in whereas _lookup()
drh7e3b0a02001-04-28 16:52:40 +00002538** just returns 0. This routine acquires a read-lock the first time it
2539** has to go to disk, and could also playback an old journal if necessary.
2540** Since _lookup() never goes to disk, it never has to deal with locks
2541** or journal files.
drhed7c8552001-04-11 14:29:21 +00002542*/
drh3aac2dd2004-04-26 14:10:20 +00002543int sqlite3pager_get(Pager *pPager, Pgno pgno, void **ppPage){
drhed7c8552001-04-11 14:29:21 +00002544 PgHdr *pPg;
drh165ffe92005-03-15 17:09:30 +00002545 int rc;
drhed7c8552001-04-11 14:29:21 +00002546
danielk197726836652005-01-17 01:33:13 +00002547 /* The maximum page number is 2^31. Return SQLITE_CORRUPT if a page
2548 ** number greater than this, or zero, is requested.
2549 */
drh267cb322005-09-16 17:16:52 +00002550 if( pgno>PAGER_MAX_PGNO || pgno==0 || pgno==PAGER_MJ_PGNO(pPager) ){
drh49285702005-09-17 15:20:26 +00002551 return SQLITE_CORRUPT_BKPT;
danielk197726836652005-01-17 01:33:13 +00002552 }
2553
drhd9b02572001-04-15 00:37:09 +00002554 /* Make sure we have not hit any critical errors.
2555 */
drh836faa42003-01-11 13:30:57 +00002556 assert( pPager!=0 );
drh2e6d11b2003-04-25 15:37:57 +00002557 *ppPage = 0;
drhd9b02572001-04-15 00:37:09 +00002558 if( pPager->errMask & ~(PAGER_ERR_FULL) ){
2559 return pager_errcode(pPager);
2560 }
2561
danielk197713adf8a2004-06-03 16:08:41 +00002562 /* If this is the first page accessed, then get a SHARED lock
drhed7c8552001-04-11 14:29:21 +00002563 ** on the database file.
2564 */
drhb7f91642004-10-31 02:22:47 +00002565 if( pPager->nRef==0 && !MEMDB ){
drh7bec5052005-02-06 02:45:41 +00002566 if( !pPager->noReadlock ){
2567 rc = pager_wait_on_lock(pPager, SHARED_LOCK);
2568 if( rc!=SQLITE_OK ){
danielk1977aef0bf62005-12-30 16:28:01 +00002569 return pager_error(pPager, rc);
drh7bec5052005-02-06 02:45:41 +00002570 }
drhed7c8552001-04-11 14:29:21 +00002571 }
2572
danielk197713adf8a2004-06-03 16:08:41 +00002573 /* If a journal file exists, and there is no RESERVED lock on the
2574 ** database file, then it either needs to be played back or deleted.
drhed7c8552001-04-11 14:29:21 +00002575 */
drh165ffe92005-03-15 17:09:30 +00002576 if( hasHotJournal(pPager) ){
drhe2227f02003-06-14 11:42:57 +00002577 int rc;
drhed7c8552001-04-11 14:29:21 +00002578
danielk197790ba3bd2004-06-25 08:32:25 +00002579 /* Get an EXCLUSIVE lock on the database file. At this point it is
2580 ** important that a RESERVED lock is not obtained on the way to the
2581 ** EXCLUSIVE lock. If it were, another process might open the
2582 ** database file, detect the RESERVED lock, and conclude that the
2583 ** database is safe to read while this process is still rolling it
2584 ** back.
2585 **
2586 ** Because the intermediate RESERVED lock is not requested, the
2587 ** second process will get to this point in the code and fail to
2588 ** obtain it's own EXCLUSIVE lock on the database file.
2589 */
drh054889e2005-11-30 03:20:31 +00002590 rc = sqlite3OsLock(pPager->fd, EXCLUSIVE_LOCK);
drha7fcb052001-12-14 15:09:55 +00002591 if( rc!=SQLITE_OK ){
drh054889e2005-11-30 03:20:31 +00002592 sqlite3OsUnlock(pPager->fd, NO_LOCK);
drha6abd042004-06-09 17:37:22 +00002593 pPager->state = PAGER_UNLOCK;
danielk1977aef0bf62005-12-30 16:28:01 +00002594 return pager_error(pPager, rc);
drha7fcb052001-12-14 15:09:55 +00002595 }
drha6abd042004-06-09 17:37:22 +00002596 pPager->state = PAGER_EXCLUSIVE;
drha7fcb052001-12-14 15:09:55 +00002597
drhe2227f02003-06-14 11:42:57 +00002598 /* Open the journal for reading only. Return SQLITE_BUSY if
2599 ** we are unable to open the journal file.
drhf57b3392001-10-08 13:22:32 +00002600 **
drhe2227f02003-06-14 11:42:57 +00002601 ** The journal file does not need to be locked itself. The
2602 ** journal file is never open unless the main database file holds
2603 ** a write lock, so there is never any chance of two or more
2604 ** processes opening the journal at the same time.
drhed7c8552001-04-11 14:29:21 +00002605 */
drh054889e2005-11-30 03:20:31 +00002606 rc = sqlite3Os.xOpenReadOnly(pPager->zJournal, &pPager->jfd);
drha7fcb052001-12-14 15:09:55 +00002607 if( rc!=SQLITE_OK ){
drh054889e2005-11-30 03:20:31 +00002608 sqlite3OsUnlock(pPager->fd, NO_LOCK);
drha6abd042004-06-09 17:37:22 +00002609 pPager->state = PAGER_UNLOCK;
drhed7c8552001-04-11 14:29:21 +00002610 return SQLITE_BUSY;
2611 }
drha7fcb052001-12-14 15:09:55 +00002612 pPager->journalOpen = 1;
drhdb48ee02003-01-16 13:42:43 +00002613 pPager->journalStarted = 0;
danielk197776572402004-06-25 02:38:54 +00002614 pPager->journalOff = 0;
2615 pPager->setMaster = 0;
2616 pPager->journalHdr = 0;
drhed7c8552001-04-11 14:29:21 +00002617
2618 /* Playback and delete the journal. Drop the database write
2619 ** lock and reacquire the read lock.
2620 */
danielk197776572402004-06-25 02:38:54 +00002621 rc = pager_playback(pPager);
drhd9b02572001-04-15 00:37:09 +00002622 if( rc!=SQLITE_OK ){
danielk1977aef0bf62005-12-30 16:28:01 +00002623 return pager_error(pPager, rc);
drhd9b02572001-04-15 00:37:09 +00002624 }
drhed7c8552001-04-11 14:29:21 +00002625 }
2626 pPg = 0;
2627 }else{
2628 /* Search for page in cache */
drhd9b02572001-04-15 00:37:09 +00002629 pPg = pager_lookup(pPager, pgno);
drhb7f91642004-10-31 02:22:47 +00002630 if( MEMDB && pPager->state==PAGER_UNLOCK ){
drha6abd042004-06-09 17:37:22 +00002631 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00002632 }
drhed7c8552001-04-11 14:29:21 +00002633 }
2634 if( pPg==0 ){
drhd9b02572001-04-15 00:37:09 +00002635 /* The requested page is not in the page cache. */
drhed7c8552001-04-11 14:29:21 +00002636 int h;
drhfcd35c72005-05-21 02:48:08 +00002637 TEST_INCR(pPager->nMiss);
drhb7f91642004-10-31 02:22:47 +00002638 if( pPager->nPage<pPager->mxPage || pPager->pFirst==0 || MEMDB ){
drhed7c8552001-04-11 14:29:21 +00002639 /* Create a new page */
drh1c7880e2005-05-20 20:01:55 +00002640 pPg = sqliteMallocRaw( sizeof(*pPg) + pPager->pageSize
drhac69b052004-05-12 13:30:07 +00002641 + sizeof(u32) + pPager->nExtra
drhb7f91642004-10-31 02:22:47 +00002642 + MEMDB*sizeof(PgHistory) );
drhd9b02572001-04-15 00:37:09 +00002643 if( pPg==0 ){
drhd9b02572001-04-15 00:37:09 +00002644 return SQLITE_NOMEM;
2645 }
drh8c1238a2003-01-02 14:43:55 +00002646 memset(pPg, 0, sizeof(*pPg));
drhb7f91642004-10-31 02:22:47 +00002647 if( MEMDB ){
drhac69b052004-05-12 13:30:07 +00002648 memset(PGHDR_TO_HIST(pPg, pPager), 0, sizeof(PgHistory));
2649 }
drhed7c8552001-04-11 14:29:21 +00002650 pPg->pPager = pPager;
drhd9b02572001-04-15 00:37:09 +00002651 pPg->pNextAll = pPager->pAll;
drhd79caeb2001-04-15 02:27:24 +00002652 pPager->pAll = pPg;
drhd9b02572001-04-15 00:37:09 +00002653 pPager->nPage++;
danielk1977e94ddc92005-03-21 03:53:38 +00002654 if( pPager->nPage>pPager->nMaxPage ){
2655 assert( pPager->nMaxPage==(pPager->nPage-1) );
2656 pPager->nMaxPage++;
2657 }
drhed7c8552001-04-11 14:29:21 +00002658 }else{
danielk197713f72992005-12-18 08:51:22 +00002659 rc = pager_recycle(pPager, 1, &pPg);
2660 if( rc!=SQLITE_OK ){
danielk1977aef0bf62005-12-30 16:28:01 +00002661 return pager_error(pPager, rc);
drh50e5dad2001-09-15 00:57:28 +00002662 }
danielk197713f72992005-12-18 08:51:22 +00002663 assert(pPg) ;
drhed7c8552001-04-11 14:29:21 +00002664 }
2665 pPg->pgno = pgno;
drh1ab43002002-01-14 09:28:19 +00002666 if( pPager->aInJournal && (int)pgno<=pPager->origDbSize ){
danielk19774adee202004-05-08 08:23:19 +00002667 sqlite3CheckMemory(pPager->aInJournal, pgno/8);
drhdb48ee02003-01-16 13:42:43 +00002668 assert( pPager->journalOpen );
drh6019e162001-07-02 17:51:45 +00002669 pPg->inJournal = (pPager->aInJournal[pgno/8] & (1<<(pgno&7)))!=0;
drhdb48ee02003-01-16 13:42:43 +00002670 pPg->needSync = 0;
drh6019e162001-07-02 17:51:45 +00002671 }else{
2672 pPg->inJournal = 0;
drhdb48ee02003-01-16 13:42:43 +00002673 pPg->needSync = 0;
drh6019e162001-07-02 17:51:45 +00002674 }
drhac69b052004-05-12 13:30:07 +00002675 if( pPager->aInStmt && (int)pgno<=pPager->stmtSize
2676 && (pPager->aInStmt[pgno/8] & (1<<(pgno&7)))!=0 ){
drh3aac2dd2004-04-26 14:10:20 +00002677 page_add_to_stmt_list(pPg);
drhfa86c412002-02-02 15:01:15 +00002678 }else{
drh3aac2dd2004-04-26 14:10:20 +00002679 page_remove_from_stmt_list(pPg);
drhfa86c412002-02-02 15:01:15 +00002680 }
drhed7c8552001-04-11 14:29:21 +00002681 pPg->dirty = 0;
2682 pPg->nRef = 1;
drhdd793422001-06-28 01:54:48 +00002683 REFINFO(pPg);
drhd9b02572001-04-15 00:37:09 +00002684 pPager->nRef++;
2685 h = pager_hash(pgno);
drhed7c8552001-04-11 14:29:21 +00002686 pPg->pNextHash = pPager->aHash[h];
2687 pPager->aHash[h] = pPg;
2688 if( pPg->pNextHash ){
2689 assert( pPg->pNextHash->pPrevHash==0 );
2690 pPg->pNextHash->pPrevHash = pPg;
2691 }
drh2e6d11b2003-04-25 15:37:57 +00002692 if( pPager->nExtra>0 ){
drh90f5ecb2004-07-22 01:19:35 +00002693 memset(PGHDR_TO_EXTRA(pPg, pPager), 0, pPager->nExtra);
drh2e6d11b2003-04-25 15:37:57 +00002694 }
drh2e6d11b2003-04-25 15:37:57 +00002695 if( pPager->errMask!=0 ){
drh3aac2dd2004-04-26 14:10:20 +00002696 sqlite3pager_unref(PGHDR_TO_DATA(pPg));
drh2e6d11b2003-04-25 15:37:57 +00002697 rc = pager_errcode(pPager);
2698 return rc;
2699 }
drh165ffe92005-03-15 17:09:30 +00002700 if( sqlite3pager_pagecount(pPager)<(int)pgno ){
drh90f5ecb2004-07-22 01:19:35 +00002701 memset(PGHDR_TO_DATA(pPg), 0, pPager->pageSize);
drh306dc212001-05-21 13:45:10 +00002702 }else{
drh81a20f22001-10-12 17:30:04 +00002703 int rc;
drhb7f91642004-10-31 02:22:47 +00002704 assert( MEMDB==0 );
drh054889e2005-11-30 03:20:31 +00002705 rc = sqlite3OsSeek(pPager->fd, (pgno-1)*(i64)pPager->pageSize);
drhb4746b92005-09-09 01:32:06 +00002706 if( rc==SQLITE_OK ){
drh054889e2005-11-30 03:20:31 +00002707 rc = sqlite3OsRead(pPager->fd, PGHDR_TO_DATA(pPg),
drh9c06c952005-11-26 00:25:00 +00002708 pPager->pageSize);
drhb4746b92005-09-09 01:32:06 +00002709 }
danielk1977ef73ee92004-11-06 12:26:07 +00002710 TRACE3("FETCH %d page %d\n", PAGERID(pPager), pPg->pgno);
drh9eb9e262004-02-11 02:18:05 +00002711 CODEC(pPager, PGHDR_TO_DATA(pPg), pPg->pgno, 3);
drh81a20f22001-10-12 17:30:04 +00002712 if( rc!=SQLITE_OK ){
drheb206252004-10-01 02:00:31 +00002713 i64 fileSize;
drh054889e2005-11-30 03:20:31 +00002714 if( sqlite3OsFileSize(pPager->fd,&fileSize)!=SQLITE_OK
drh90f5ecb2004-07-22 01:19:35 +00002715 || fileSize>=pgno*pPager->pageSize ){
drh3aac2dd2004-04-26 14:10:20 +00002716 sqlite3pager_unref(PGHDR_TO_DATA(pPg));
danielk1977aef0bf62005-12-30 16:28:01 +00002717 return pager_error(pPager, rc);
drh4e371ee2002-09-05 16:08:27 +00002718 }else{
drhc9ac5ca2005-11-04 22:03:30 +00002719 clear_simulated_io_error();
drh90f5ecb2004-07-22 01:19:35 +00002720 memset(PGHDR_TO_DATA(pPg), 0, pPager->pageSize);
drh4e371ee2002-09-05 16:08:27 +00002721 }
danielk197742741be2005-01-08 12:42:39 +00002722 }else{
drhfcd35c72005-05-21 02:48:08 +00002723 TEST_INCR(pPager->nRead);
drh81a20f22001-10-12 17:30:04 +00002724 }
drh306dc212001-05-21 13:45:10 +00002725 }
danielk19773c407372005-02-15 02:54:14 +00002726#ifdef SQLITE_CHECK_PAGES
2727 pPg->pageHash = pager_pagehash(pPg);
2728#endif
drhed7c8552001-04-11 14:29:21 +00002729 }else{
drhd9b02572001-04-15 00:37:09 +00002730 /* The requested page is in the page cache. */
drhfcd35c72005-05-21 02:48:08 +00002731 TEST_INCR(pPager->nHit);
drhdf0b3b02001-06-23 11:36:20 +00002732 page_ref(pPg);
drhed7c8552001-04-11 14:29:21 +00002733 }
2734 *ppPage = PGHDR_TO_DATA(pPg);
2735 return SQLITE_OK;
2736}
2737
2738/*
drh7e3b0a02001-04-28 16:52:40 +00002739** Acquire a page if it is already in the in-memory cache. Do
2740** not read the page from disk. Return a pointer to the page,
2741** or 0 if the page is not in cache.
2742**
drh3aac2dd2004-04-26 14:10:20 +00002743** See also sqlite3pager_get(). The difference between this routine
2744** and sqlite3pager_get() is that _get() will go to the disk and read
drh7e3b0a02001-04-28 16:52:40 +00002745** in the page if the page is not already in cache. This routine
drh5e00f6c2001-09-13 13:46:56 +00002746** returns NULL if the page is not in cache or if a disk I/O error
2747** has ever happened.
drh7e3b0a02001-04-28 16:52:40 +00002748*/
drh3aac2dd2004-04-26 14:10:20 +00002749void *sqlite3pager_lookup(Pager *pPager, Pgno pgno){
drh7e3b0a02001-04-28 16:52:40 +00002750 PgHdr *pPg;
2751
drh836faa42003-01-11 13:30:57 +00002752 assert( pPager!=0 );
2753 assert( pgno!=0 );
drh7e3b0a02001-04-28 16:52:40 +00002754 if( pPager->errMask & ~(PAGER_ERR_FULL) ){
2755 return 0;
2756 }
drh7e3b0a02001-04-28 16:52:40 +00002757 pPg = pager_lookup(pPager, pgno);
2758 if( pPg==0 ) return 0;
drhdf0b3b02001-06-23 11:36:20 +00002759 page_ref(pPg);
drh7e3b0a02001-04-28 16:52:40 +00002760 return PGHDR_TO_DATA(pPg);
2761}
2762
2763/*
drhed7c8552001-04-11 14:29:21 +00002764** Release a page.
2765**
2766** If the number of references to the page drop to zero, then the
2767** page is added to the LRU list. When all references to all pages
drhd9b02572001-04-15 00:37:09 +00002768** are released, a rollback occurs and the lock on the database is
drhed7c8552001-04-11 14:29:21 +00002769** removed.
2770*/
drh3aac2dd2004-04-26 14:10:20 +00002771int sqlite3pager_unref(void *pData){
drhed7c8552001-04-11 14:29:21 +00002772 PgHdr *pPg;
drhd9b02572001-04-15 00:37:09 +00002773
2774 /* Decrement the reference count for this page
2775 */
drhed7c8552001-04-11 14:29:21 +00002776 pPg = DATA_TO_PGHDR(pData);
2777 assert( pPg->nRef>0 );
drhed7c8552001-04-11 14:29:21 +00002778 pPg->nRef--;
drhdd793422001-06-28 01:54:48 +00002779 REFINFO(pPg);
drhd9b02572001-04-15 00:37:09 +00002780
danielk19773c407372005-02-15 02:54:14 +00002781 CHECK_PAGE(pPg);
2782
drh72f82862001-05-24 21:06:34 +00002783 /* When the number of references to a page reach 0, call the
2784 ** destructor and add the page to the freelist.
drhd9b02572001-04-15 00:37:09 +00002785 */
drhed7c8552001-04-11 14:29:21 +00002786 if( pPg->nRef==0 ){
drh1eaa2692001-09-18 02:02:23 +00002787 Pager *pPager;
2788 pPager = pPg->pPager;
drhd9b02572001-04-15 00:37:09 +00002789 pPg->pNextFree = 0;
2790 pPg->pPrevFree = pPager->pLast;
drhed7c8552001-04-11 14:29:21 +00002791 pPager->pLast = pPg;
drhd9b02572001-04-15 00:37:09 +00002792 if( pPg->pPrevFree ){
2793 pPg->pPrevFree->pNextFree = pPg;
drhed7c8552001-04-11 14:29:21 +00002794 }else{
2795 pPager->pFirst = pPg;
2796 }
drh341eae82003-01-21 02:39:36 +00002797 if( pPg->needSync==0 && pPager->pFirstSynced==0 ){
2798 pPager->pFirstSynced = pPg;
2799 }
drh72f82862001-05-24 21:06:34 +00002800 if( pPager->xDestructor ){
drhb6f41482004-05-14 01:58:11 +00002801 pPager->xDestructor(pData, pPager->pageSize);
drh72f82862001-05-24 21:06:34 +00002802 }
drhd9b02572001-04-15 00:37:09 +00002803
2804 /* When all pages reach the freelist, drop the read lock from
2805 ** the database file.
2806 */
2807 pPager->nRef--;
2808 assert( pPager->nRef>=0 );
drhb7f91642004-10-31 02:22:47 +00002809 if( pPager->nRef==0 && !MEMDB ){
drhd9b02572001-04-15 00:37:09 +00002810 pager_reset(pPager);
2811 }
drhed7c8552001-04-11 14:29:21 +00002812 }
drhd9b02572001-04-15 00:37:09 +00002813 return SQLITE_OK;
drhed7c8552001-04-11 14:29:21 +00002814}
2815
2816/*
drha6abd042004-06-09 17:37:22 +00002817** Create a journal file for pPager. There should already be a RESERVED
2818** or EXCLUSIVE lock on the database file when this routine is called.
drhda47d772002-12-02 04:25:19 +00002819**
2820** Return SQLITE_OK if everything. Return an error code and release the
2821** write lock if anything goes wrong.
2822*/
2823static int pager_open_journal(Pager *pPager){
2824 int rc;
drhb7f91642004-10-31 02:22:47 +00002825 assert( !MEMDB );
drha6abd042004-06-09 17:37:22 +00002826 assert( pPager->state>=PAGER_RESERVED );
drhda47d772002-12-02 04:25:19 +00002827 assert( pPager->journalOpen==0 );
2828 assert( pPager->useJournal );
drh88b01a12005-03-28 18:04:27 +00002829 assert( pPager->aInJournal==0 );
drh3aac2dd2004-04-26 14:10:20 +00002830 sqlite3pager_pagecount(pPager);
drhda47d772002-12-02 04:25:19 +00002831 pPager->aInJournal = sqliteMalloc( pPager->dbSize/8 + 1 );
2832 if( pPager->aInJournal==0 ){
drh9c105bb2004-10-02 20:38:28 +00002833 rc = SQLITE_NOMEM;
2834 goto failed_to_open_journal;
drhda47d772002-12-02 04:25:19 +00002835 }
drh054889e2005-11-30 03:20:31 +00002836 rc = sqlite3Os.xOpenExclusive(pPager->zJournal, &pPager->jfd,
drh9c06c952005-11-26 00:25:00 +00002837 pPager->tempFile);
danielk197776572402004-06-25 02:38:54 +00002838 pPager->journalOff = 0;
2839 pPager->setMaster = 0;
2840 pPager->journalHdr = 0;
drhda47d772002-12-02 04:25:19 +00002841 if( rc!=SQLITE_OK ){
drh9c105bb2004-10-02 20:38:28 +00002842 goto failed_to_open_journal;
drhda47d772002-12-02 04:25:19 +00002843 }
drh054889e2005-11-30 03:20:31 +00002844 sqlite3OsSetFullSync(pPager->jfd, pPager->fullSync);
2845 sqlite3OsSetFullSync(pPager->fd, pPager->fullSync);
2846 sqlite3OsOpenDirectory(pPager->jfd, pPager->zDirectory);
drhda47d772002-12-02 04:25:19 +00002847 pPager->journalOpen = 1;
drhdb48ee02003-01-16 13:42:43 +00002848 pPager->journalStarted = 0;
drhda47d772002-12-02 04:25:19 +00002849 pPager->needSync = 0;
2850 pPager->alwaysRollback = 0;
drh968af522003-02-11 14:55:40 +00002851 pPager->nRec = 0;
drh2e6d11b2003-04-25 15:37:57 +00002852 if( pPager->errMask!=0 ){
2853 rc = pager_errcode(pPager);
drhdd5b2fa2005-03-28 03:39:55 +00002854 goto failed_to_open_journal;
drh2e6d11b2003-04-25 15:37:57 +00002855 }
drhda47d772002-12-02 04:25:19 +00002856 pPager->origDbSize = pPager->dbSize;
drhae2b40c2004-06-09 19:03:54 +00002857
danielk197776572402004-06-25 02:38:54 +00002858 rc = writeJournalHdr(pPager);
2859
drhac69b052004-05-12 13:30:07 +00002860 if( pPager->stmtAutoopen && rc==SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00002861 rc = sqlite3pager_stmt_begin(pPager);
drhda47d772002-12-02 04:25:19 +00002862 }
danielk1977261919c2005-12-06 12:52:59 +00002863 if( rc!=SQLITE_OK && rc!=SQLITE_NOMEM ){
drhda47d772002-12-02 04:25:19 +00002864 rc = pager_unwritelock(pPager);
2865 if( rc==SQLITE_OK ){
2866 rc = SQLITE_FULL;
2867 }
2868 }
drh9c105bb2004-10-02 20:38:28 +00002869 return rc;
2870
2871failed_to_open_journal:
2872 sqliteFree(pPager->aInJournal);
2873 pPager->aInJournal = 0;
danielk1977261919c2005-12-06 12:52:59 +00002874 if( rc==SQLITE_NOMEM ){
2875 /* If this was a malloc() failure, then we will not be closing the pager
2876 ** file. So delete any journal file we may have just created. Otherwise,
2877 ** the system will get confused, we have a read-lock on the file and a
2878 ** mysterious journal has appeared in the filesystem.
2879 */
2880 sqlite3Os.xDelete(pPager->zJournal);
2881 }else{
2882 sqlite3OsUnlock(pPager->fd, NO_LOCK);
2883 pPager->state = PAGER_UNLOCK;
2884 }
drh9c105bb2004-10-02 20:38:28 +00002885 return rc;
drhda47d772002-12-02 04:25:19 +00002886}
2887
2888/*
drh4b845d72002-03-05 12:41:19 +00002889** Acquire a write-lock on the database. The lock is removed when
2890** the any of the following happen:
2891**
drh3aac2dd2004-04-26 14:10:20 +00002892** * sqlite3pager_commit() is called.
2893** * sqlite3pager_rollback() is called.
2894** * sqlite3pager_close() is called.
2895** * sqlite3pager_unref() is called to on every outstanding page.
drh4b845d72002-03-05 12:41:19 +00002896**
danielk197713adf8a2004-06-03 16:08:41 +00002897** The first parameter to this routine is a pointer to any open page of the
2898** database file. Nothing changes about the page - it is used merely to
2899** acquire a pointer to the Pager structure and as proof that there is
2900** already a read-lock on the database.
drh4b845d72002-03-05 12:41:19 +00002901**
danielk197713adf8a2004-06-03 16:08:41 +00002902** The second parameter indicates how much space in bytes to reserve for a
2903** master journal file-name at the start of the journal when it is created.
2904**
2905** A journal file is opened if this is not a temporary file. For temporary
2906** files, the opening of the journal file is deferred until there is an
2907** actual need to write to the journal.
drhda47d772002-12-02 04:25:19 +00002908**
drha6abd042004-06-09 17:37:22 +00002909** If the database is already reserved for writing, this routine is a no-op.
drh684917c2004-10-05 02:41:42 +00002910**
2911** If exFlag is true, go ahead and get an EXCLUSIVE lock on the file
2912** immediately instead of waiting until we try to flush the cache. The
2913** exFlag is ignored if a transaction is already active.
drh4b845d72002-03-05 12:41:19 +00002914*/
drh684917c2004-10-05 02:41:42 +00002915int sqlite3pager_begin(void *pData, int exFlag){
drh4b845d72002-03-05 12:41:19 +00002916 PgHdr *pPg = DATA_TO_PGHDR(pData);
2917 Pager *pPager = pPg->pPager;
2918 int rc = SQLITE_OK;
2919 assert( pPg->nRef>0 );
drha6abd042004-06-09 17:37:22 +00002920 assert( pPager->state!=PAGER_UNLOCK );
2921 if( pPager->state==PAGER_SHARED ){
drh4b845d72002-03-05 12:41:19 +00002922 assert( pPager->aInJournal==0 );
drhb7f91642004-10-31 02:22:47 +00002923 if( MEMDB ){
drha6abd042004-06-09 17:37:22 +00002924 pPager->state = PAGER_EXCLUSIVE;
drhac69b052004-05-12 13:30:07 +00002925 pPager->origDbSize = pPager->dbSize;
2926 }else{
drh054889e2005-11-30 03:20:31 +00002927 rc = sqlite3OsLock(pPager->fd, RESERVED_LOCK);
drh684917c2004-10-05 02:41:42 +00002928 if( rc==SQLITE_OK ){
2929 pPager->state = PAGER_RESERVED;
2930 if( exFlag ){
2931 rc = pager_wait_on_lock(pPager, EXCLUSIVE_LOCK);
2932 }
2933 }
danielk19779eed5052004-06-04 10:38:30 +00002934 if( rc!=SQLITE_OK ){
2935 return rc;
drhac69b052004-05-12 13:30:07 +00002936 }
drha6abd042004-06-09 17:37:22 +00002937 pPager->dirtyCache = 0;
danielk1977ef73ee92004-11-06 12:26:07 +00002938 TRACE2("TRANSACTION %d\n", PAGERID(pPager));
drhac69b052004-05-12 13:30:07 +00002939 if( pPager->useJournal && !pPager->tempFile ){
2940 rc = pager_open_journal(pPager);
2941 }
drh4b845d72002-03-05 12:41:19 +00002942 }
2943 }
2944 return rc;
2945}
2946
2947/*
drhed7c8552001-04-11 14:29:21 +00002948** Mark a data page as writeable. The page is written into the journal
2949** if it is not there already. This routine must be called before making
2950** changes to a page.
2951**
2952** The first time this routine is called, the pager creates a new
drha6abd042004-06-09 17:37:22 +00002953** journal and acquires a RESERVED lock on the database. If the RESERVED
drhed7c8552001-04-11 14:29:21 +00002954** lock could not be acquired, this routine returns SQLITE_BUSY. The
drh306dc212001-05-21 13:45:10 +00002955** calling routine must check for that return value and be careful not to
drhed7c8552001-04-11 14:29:21 +00002956** change any page data until this routine returns SQLITE_OK.
drhd9b02572001-04-15 00:37:09 +00002957**
2958** If the journal file could not be written because the disk is full,
2959** then this routine returns SQLITE_FULL and does an immediate rollback.
2960** All subsequent write attempts also return SQLITE_FULL until there
drh3aac2dd2004-04-26 14:10:20 +00002961** is a call to sqlite3pager_commit() or sqlite3pager_rollback() to
drhd9b02572001-04-15 00:37:09 +00002962** reset.
drhed7c8552001-04-11 14:29:21 +00002963*/
drh3aac2dd2004-04-26 14:10:20 +00002964int sqlite3pager_write(void *pData){
drh69688d52001-04-14 16:38:23 +00002965 PgHdr *pPg = DATA_TO_PGHDR(pData);
2966 Pager *pPager = pPg->pPager;
drhd79caeb2001-04-15 02:27:24 +00002967 int rc = SQLITE_OK;
drh69688d52001-04-14 16:38:23 +00002968
drh6446c4d2001-12-15 14:22:18 +00002969 /* Check for errors
2970 */
drhd9b02572001-04-15 00:37:09 +00002971 if( pPager->errMask ){
2972 return pager_errcode(pPager);
2973 }
drh5e00f6c2001-09-13 13:46:56 +00002974 if( pPager->readOnly ){
2975 return SQLITE_PERM;
2976 }
drh6446c4d2001-12-15 14:22:18 +00002977
danielk197776572402004-06-25 02:38:54 +00002978 assert( !pPager->setMaster );
2979
danielk19773c407372005-02-15 02:54:14 +00002980 CHECK_PAGE(pPg);
2981
drh6446c4d2001-12-15 14:22:18 +00002982 /* Mark the page as dirty. If the page has already been written
2983 ** to the journal then we can return right away.
2984 */
drhd9b02572001-04-15 00:37:09 +00002985 pPg->dirty = 1;
drhac69b052004-05-12 13:30:07 +00002986 if( pPg->inJournal && (pPg->inStmt || pPager->stmtInUse==0) ){
drha6abd042004-06-09 17:37:22 +00002987 pPager->dirtyCache = 1;
danielk1977a0bf2652004-11-04 14:30:04 +00002988 }else{
drh6446c4d2001-12-15 14:22:18 +00002989
danielk1977a0bf2652004-11-04 14:30:04 +00002990 /* If we get this far, it means that the page needs to be
2991 ** written to the transaction journal or the ckeckpoint journal
2992 ** or both.
2993 **
2994 ** First check to see that the transaction journal exists and
2995 ** create it if it does not.
2996 */
2997 assert( pPager->state!=PAGER_UNLOCK );
2998 rc = sqlite3pager_begin(pData, 0);
2999 if( rc!=SQLITE_OK ){
3000 return rc;
3001 }
3002 assert( pPager->state>=PAGER_RESERVED );
3003 if( !pPager->journalOpen && pPager->useJournal ){
3004 rc = pager_open_journal(pPager);
3005 if( rc!=SQLITE_OK ) return rc;
3006 }
3007 assert( pPager->journalOpen || !pPager->useJournal );
3008 pPager->dirtyCache = 1;
3009
3010 /* The transaction journal now exists and we have a RESERVED or an
3011 ** EXCLUSIVE lock on the main database file. Write the current page to
3012 ** the transaction journal if it is not there already.
3013 */
3014 if( !pPg->inJournal && (pPager->useJournal || MEMDB) ){
3015 if( (int)pPg->pgno <= pPager->origDbSize ){
3016 int szPg;
3017 u32 saved;
3018 if( MEMDB ){
3019 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
danielk1977ef73ee92004-11-06 12:26:07 +00003020 TRACE3("JOURNAL %d page %d\n", PAGERID(pPager), pPg->pgno);
danielk1977a0bf2652004-11-04 14:30:04 +00003021 assert( pHist->pOrig==0 );
3022 pHist->pOrig = sqliteMallocRaw( pPager->pageSize );
3023 if( pHist->pOrig ){
3024 memcpy(pHist->pOrig, PGHDR_TO_DATA(pPg), pPager->pageSize);
3025 }
3026 }else{
3027 u32 cksum;
drh267cb322005-09-16 17:16:52 +00003028 /* We should never write to the journal file the page that
3029 ** contains the database locks. The following assert verifies
3030 ** that we do not. */
3031 assert( pPg->pgno!=PAGER_MJ_PGNO(pPager) );
danielk1977a0bf2652004-11-04 14:30:04 +00003032 CODEC(pPager, pData, pPg->pgno, 7);
3033 cksum = pager_cksum(pPager, pPg->pgno, pData);
3034 saved = *(u32*)PGHDR_TO_EXTRA(pPg, pPager);
3035 store32bits(cksum, pPg, pPager->pageSize);
3036 szPg = pPager->pageSize+8;
3037 store32bits(pPg->pgno, pPg, -4);
drh054889e2005-11-30 03:20:31 +00003038 rc = sqlite3OsWrite(pPager->jfd, &((char*)pData)[-4], szPg);
danielk1977a0bf2652004-11-04 14:30:04 +00003039 pPager->journalOff += szPg;
3040 TRACE4("JOURNAL %d page %d needSync=%d\n",
danielk1977ef73ee92004-11-06 12:26:07 +00003041 PAGERID(pPager), pPg->pgno, pPg->needSync);
danielk1977a0bf2652004-11-04 14:30:04 +00003042 CODEC(pPager, pData, pPg->pgno, 0);
3043 *(u32*)PGHDR_TO_EXTRA(pPg, pPager) = saved;
3044 if( rc!=SQLITE_OK ){
3045 sqlite3pager_rollback(pPager);
3046 pPager->errMask |= PAGER_ERR_FULL;
3047 return rc;
3048 }
3049 pPager->nRec++;
3050 assert( pPager->aInJournal!=0 );
3051 pPager->aInJournal[pPg->pgno/8] |= 1<<(pPg->pgno&7);
3052 pPg->needSync = !pPager->noSync;
3053 if( pPager->stmtInUse ){
3054 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
3055 page_add_to_stmt_list(pPg);
3056 }
drhac69b052004-05-12 13:30:07 +00003057 }
danielk197713adf8a2004-06-03 16:08:41 +00003058 }else{
danielk1977a0bf2652004-11-04 14:30:04 +00003059 pPg->needSync = !pPager->journalStarted && !pPager->noSync;
3060 TRACE4("APPEND %d page %d needSync=%d\n",
danielk1977ef73ee92004-11-06 12:26:07 +00003061 PAGERID(pPager), pPg->pgno, pPg->needSync);
danielk1977a0bf2652004-11-04 14:30:04 +00003062 }
3063 if( pPg->needSync ){
3064 pPager->needSync = 1;
3065 }
3066 pPg->inJournal = 1;
3067 }
3068
3069 /* If the statement journal is open and the page is not in it,
3070 ** then write the current page to the statement journal. Note that
3071 ** the statement journal format differs from the standard journal format
3072 ** in that it omits the checksums and the header.
3073 */
3074 if( pPager->stmtInUse && !pPg->inStmt && (int)pPg->pgno<=pPager->stmtSize ){
3075 assert( pPg->inJournal || (int)pPg->pgno>pPager->origDbSize );
3076 if( MEMDB ){
3077 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
3078 assert( pHist->pStmt==0 );
3079 pHist->pStmt = sqliteMallocRaw( pPager->pageSize );
3080 if( pHist->pStmt ){
3081 memcpy(pHist->pStmt, PGHDR_TO_DATA(pPg), pPager->pageSize);
3082 }
danielk1977ef73ee92004-11-06 12:26:07 +00003083 TRACE3("STMT-JOURNAL %d page %d\n", PAGERID(pPager), pPg->pgno);
danielk1977a0bf2652004-11-04 14:30:04 +00003084 }else{
3085 store32bits(pPg->pgno, pPg, -4);
3086 CODEC(pPager, pData, pPg->pgno, 7);
drh054889e2005-11-30 03:20:31 +00003087 rc = sqlite3OsWrite(pPager->stfd,((char*)pData)-4,
drh9c06c952005-11-26 00:25:00 +00003088 pPager->pageSize+4);
danielk1977ef73ee92004-11-06 12:26:07 +00003089 TRACE3("STMT-JOURNAL %d page %d\n", PAGERID(pPager), pPg->pgno);
drhac69b052004-05-12 13:30:07 +00003090 CODEC(pPager, pData, pPg->pgno, 0);
drhac69b052004-05-12 13:30:07 +00003091 if( rc!=SQLITE_OK ){
3092 sqlite3pager_rollback(pPager);
3093 pPager->errMask |= PAGER_ERR_FULL;
3094 return rc;
3095 }
danielk1977a0bf2652004-11-04 14:30:04 +00003096 pPager->stmtNRec++;
3097 assert( pPager->aInStmt!=0 );
3098 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drhdb48ee02003-01-16 13:42:43 +00003099 }
danielk1977a0bf2652004-11-04 14:30:04 +00003100 page_add_to_stmt_list(pPg);
drhd9b02572001-04-15 00:37:09 +00003101 }
drhfa86c412002-02-02 15:01:15 +00003102 }
3103
3104 /* Update the database size and return.
3105 */
drh1ab43002002-01-14 09:28:19 +00003106 if( pPager->dbSize<(int)pPg->pgno ){
drh306dc212001-05-21 13:45:10 +00003107 pPager->dbSize = pPg->pgno;
drhb7f91642004-10-31 02:22:47 +00003108 if( !MEMDB && pPager->dbSize==PENDING_BYTE/pPager->pageSize ){
drh1f595712004-06-15 01:40:29 +00003109 pPager->dbSize++;
3110 }
drh306dc212001-05-21 13:45:10 +00003111 }
drh69688d52001-04-14 16:38:23 +00003112 return rc;
drhed7c8552001-04-11 14:29:21 +00003113}
3114
3115/*
drhaacc5432002-01-06 17:07:40 +00003116** Return TRUE if the page given in the argument was previously passed
drh3aac2dd2004-04-26 14:10:20 +00003117** to sqlite3pager_write(). In other words, return TRUE if it is ok
drh6019e162001-07-02 17:51:45 +00003118** to change the content of the page.
3119*/
drh3aac2dd2004-04-26 14:10:20 +00003120int sqlite3pager_iswriteable(void *pData){
drh6019e162001-07-02 17:51:45 +00003121 PgHdr *pPg = DATA_TO_PGHDR(pData);
3122 return pPg->dirty;
3123}
3124
danielk1977b84f96f2005-01-20 11:32:23 +00003125#ifndef SQLITE_OMIT_VACUUM
drh6019e162001-07-02 17:51:45 +00003126/*
drh001bbcb2003-03-19 03:14:00 +00003127** Replace the content of a single page with the information in the third
3128** argument.
3129*/
drh3aac2dd2004-04-26 14:10:20 +00003130int sqlite3pager_overwrite(Pager *pPager, Pgno pgno, void *pData){
drh001bbcb2003-03-19 03:14:00 +00003131 void *pPage;
3132 int rc;
3133
drh3aac2dd2004-04-26 14:10:20 +00003134 rc = sqlite3pager_get(pPager, pgno, &pPage);
drh001bbcb2003-03-19 03:14:00 +00003135 if( rc==SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00003136 rc = sqlite3pager_write(pPage);
drh001bbcb2003-03-19 03:14:00 +00003137 if( rc==SQLITE_OK ){
drh90f5ecb2004-07-22 01:19:35 +00003138 memcpy(pPage, pData, pPager->pageSize);
drh001bbcb2003-03-19 03:14:00 +00003139 }
drh3aac2dd2004-04-26 14:10:20 +00003140 sqlite3pager_unref(pPage);
drh001bbcb2003-03-19 03:14:00 +00003141 }
3142 return rc;
3143}
danielk1977b84f96f2005-01-20 11:32:23 +00003144#endif
drh001bbcb2003-03-19 03:14:00 +00003145
3146/*
drh30e58752002-03-02 20:41:57 +00003147** A call to this routine tells the pager that it is not necessary to
3148** write the information on page "pgno" back to the disk, even though
3149** that page might be marked as dirty.
3150**
3151** The overlying software layer calls this routine when all of the data
3152** on the given page is unused. The pager marks the page as clean so
3153** that it does not get written to disk.
3154**
3155** Tests show that this optimization, together with the
drh3aac2dd2004-04-26 14:10:20 +00003156** sqlite3pager_dont_rollback() below, more than double the speed
drh30e58752002-03-02 20:41:57 +00003157** of large INSERT operations and quadruple the speed of large DELETEs.
drh8e298f92002-07-06 16:28:47 +00003158**
3159** When this routine is called, set the alwaysRollback flag to true.
drh3aac2dd2004-04-26 14:10:20 +00003160** Subsequent calls to sqlite3pager_dont_rollback() for the same page
drh8e298f92002-07-06 16:28:47 +00003161** will thereafter be ignored. This is necessary to avoid a problem
3162** where a page with data is added to the freelist during one part of
3163** a transaction then removed from the freelist during a later part
3164** of the same transaction and reused for some other purpose. When it
3165** is first added to the freelist, this routine is called. When reused,
3166** the dont_rollback() routine is called. But because the page contains
3167** critical data, we still need to be sure it gets rolled back in spite
3168** of the dont_rollback() call.
drh30e58752002-03-02 20:41:57 +00003169*/
drh3aac2dd2004-04-26 14:10:20 +00003170void sqlite3pager_dont_write(Pager *pPager, Pgno pgno){
drh30e58752002-03-02 20:41:57 +00003171 PgHdr *pPg;
drh8e298f92002-07-06 16:28:47 +00003172
drhb7f91642004-10-31 02:22:47 +00003173 if( MEMDB ) return;
danielk1977eac7a362004-06-16 07:45:24 +00003174
drh30e58752002-03-02 20:41:57 +00003175 pPg = pager_lookup(pPager, pgno);
drh8e298f92002-07-06 16:28:47 +00003176 pPg->alwaysRollback = 1;
drh8f9b7282005-12-19 16:15:31 +00003177 if( pPg && pPg->dirty && !pPager->stmtInUse ){
drh8124a302002-06-25 14:43:57 +00003178 if( pPager->dbSize==(int)pPg->pgno && pPager->origDbSize<pPager->dbSize ){
3179 /* If this pages is the last page in the file and the file has grown
3180 ** during the current transaction, then do NOT mark the page as clean.
3181 ** When the database file grows, we must make sure that the last page
3182 ** gets written at least once so that the disk file will be the correct
3183 ** size. If you do not write this page and the size of the file
3184 ** on the disk ends up being too small, that can lead to database
3185 ** corruption during the next transaction.
3186 */
3187 }else{
danielk1977ef73ee92004-11-06 12:26:07 +00003188 TRACE3("DONT_WRITE page %d of %d\n", pgno, PAGERID(pPager));
drh8124a302002-06-25 14:43:57 +00003189 pPg->dirty = 0;
danielk19773c407372005-02-15 02:54:14 +00003190#ifdef SQLITE_CHECK_PAGES
3191 pPg->pageHash = pager_pagehash(pPg);
3192#endif
drh8124a302002-06-25 14:43:57 +00003193 }
drh30e58752002-03-02 20:41:57 +00003194 }
3195}
3196
3197/*
3198** A call to this routine tells the pager that if a rollback occurs,
3199** it is not necessary to restore the data on the given page. This
3200** means that the pager does not have to record the given page in the
3201** rollback journal.
3202*/
drh3aac2dd2004-04-26 14:10:20 +00003203void sqlite3pager_dont_rollback(void *pData){
drh30e58752002-03-02 20:41:57 +00003204 PgHdr *pPg = DATA_TO_PGHDR(pData);
3205 Pager *pPager = pPg->pPager;
3206
drha6abd042004-06-09 17:37:22 +00003207 if( pPager->state!=PAGER_EXCLUSIVE || pPager->journalOpen==0 ) return;
drhb7f91642004-10-31 02:22:47 +00003208 if( pPg->alwaysRollback || pPager->alwaysRollback || MEMDB ) return;
drh30e58752002-03-02 20:41:57 +00003209 if( !pPg->inJournal && (int)pPg->pgno <= pPager->origDbSize ){
3210 assert( pPager->aInJournal!=0 );
3211 pPager->aInJournal[pPg->pgno/8] |= 1<<(pPg->pgno&7);
3212 pPg->inJournal = 1;
drhac69b052004-05-12 13:30:07 +00003213 if( pPager->stmtInUse ){
3214 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drh3aac2dd2004-04-26 14:10:20 +00003215 page_add_to_stmt_list(pPg);
drh30e58752002-03-02 20:41:57 +00003216 }
danielk1977ef73ee92004-11-06 12:26:07 +00003217 TRACE3("DONT_ROLLBACK page %d of %d\n", pPg->pgno, PAGERID(pPager));
drh30e58752002-03-02 20:41:57 +00003218 }
drhac69b052004-05-12 13:30:07 +00003219 if( pPager->stmtInUse && !pPg->inStmt && (int)pPg->pgno<=pPager->stmtSize ){
drh30e58752002-03-02 20:41:57 +00003220 assert( pPg->inJournal || (int)pPg->pgno>pPager->origDbSize );
drhac69b052004-05-12 13:30:07 +00003221 assert( pPager->aInStmt!=0 );
3222 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drh3aac2dd2004-04-26 14:10:20 +00003223 page_add_to_stmt_list(pPg);
drh30e58752002-03-02 20:41:57 +00003224 }
3225}
3226
drhac69b052004-05-12 13:30:07 +00003227
danielk197793758c82005-01-21 08:13:14 +00003228#ifndef SQLITE_OMIT_MEMORYDB
drhac69b052004-05-12 13:30:07 +00003229/*
3230** Clear a PgHistory block
3231*/
3232static void clearHistory(PgHistory *pHist){
3233 sqliteFree(pHist->pOrig);
3234 sqliteFree(pHist->pStmt);
3235 pHist->pOrig = 0;
3236 pHist->pStmt = 0;
3237}
danielk197793758c82005-01-21 08:13:14 +00003238#else
3239#define clearHistory(x)
3240#endif
drhac69b052004-05-12 13:30:07 +00003241
drh30e58752002-03-02 20:41:57 +00003242/*
drhed7c8552001-04-11 14:29:21 +00003243** Commit all changes to the database and release the write lock.
drhd9b02572001-04-15 00:37:09 +00003244**
3245** If the commit fails for any reason, a rollback attempt is made
3246** and an error code is returned. If the commit worked, SQLITE_OK
3247** is returned.
drhed7c8552001-04-11 14:29:21 +00003248*/
drh3aac2dd2004-04-26 14:10:20 +00003249int sqlite3pager_commit(Pager *pPager){
drha1b351a2001-09-14 16:42:12 +00003250 int rc;
drhed7c8552001-04-11 14:29:21 +00003251 PgHdr *pPg;
drhd9b02572001-04-15 00:37:09 +00003252
3253 if( pPager->errMask==PAGER_ERR_FULL ){
drh3aac2dd2004-04-26 14:10:20 +00003254 rc = sqlite3pager_rollback(pPager);
drh4e371ee2002-09-05 16:08:27 +00003255 if( rc==SQLITE_OK ){
3256 rc = SQLITE_FULL;
3257 }
drhd9b02572001-04-15 00:37:09 +00003258 return rc;
3259 }
3260 if( pPager->errMask!=0 ){
3261 rc = pager_errcode(pPager);
3262 return rc;
3263 }
drha6abd042004-06-09 17:37:22 +00003264 if( pPager->state<PAGER_RESERVED ){
drhd9b02572001-04-15 00:37:09 +00003265 return SQLITE_ERROR;
3266 }
danielk1977ef73ee92004-11-06 12:26:07 +00003267 TRACE2("COMMIT %d\n", PAGERID(pPager));
drhb7f91642004-10-31 02:22:47 +00003268 if( MEMDB ){
drhac69b052004-05-12 13:30:07 +00003269 pPg = pager_get_all_dirty_pages(pPager);
3270 while( pPg ){
3271 clearHistory(PGHDR_TO_HIST(pPg, pPager));
3272 pPg->dirty = 0;
3273 pPg->inJournal = 0;
3274 pPg->inStmt = 0;
3275 pPg->pPrevStmt = pPg->pNextStmt = 0;
3276 pPg = pPg->pDirty;
3277 }
danielk1977eac7a362004-06-16 07:45:24 +00003278#ifndef NDEBUG
3279 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
3280 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
3281 assert( !pPg->alwaysRollback );
3282 assert( !pHist->pOrig );
3283 assert( !pHist->pStmt );
3284 }
3285#endif
drhac69b052004-05-12 13:30:07 +00003286 pPager->pStmt = 0;
drha6abd042004-06-09 17:37:22 +00003287 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00003288 return SQLITE_OK;
3289 }
drha6abd042004-06-09 17:37:22 +00003290 if( pPager->dirtyCache==0 ){
drh054889e2005-11-30 03:20:31 +00003291 /* Exit early (without doing the time-consuming sqlite3OsSync() calls)
drha1680452002-04-18 01:56:57 +00003292 ** if there have been no changes to the database file. */
drh341eae82003-01-21 02:39:36 +00003293 assert( pPager->needSync==0 );
drha1680452002-04-18 01:56:57 +00003294 rc = pager_unwritelock(pPager);
3295 pPager->dbSize = -1;
3296 return rc;
3297 }
drhda47d772002-12-02 04:25:19 +00003298 assert( pPager->journalOpen );
danielk1977d761c0c2004-11-05 16:37:02 +00003299 rc = sqlite3pager_sync(pPager, 0, 0);
drha6abd042004-06-09 17:37:22 +00003300 if( rc!=SQLITE_OK ){
3301 goto commit_abort;
3302 }
drhd9b02572001-04-15 00:37:09 +00003303 rc = pager_unwritelock(pPager);
3304 pPager->dbSize = -1;
3305 return rc;
3306
3307 /* Jump here if anything goes wrong during the commit process.
3308 */
3309commit_abort:
drh92f02c32004-09-02 14:57:08 +00003310 sqlite3pager_rollback(pPager);
drhed7c8552001-04-11 14:29:21 +00003311 return rc;
3312}
3313
3314/*
drha6abd042004-06-09 17:37:22 +00003315** Rollback all changes. The database falls back to PAGER_SHARED mode.
drhed7c8552001-04-11 14:29:21 +00003316** All in-memory cache pages revert to their original data contents.
3317** The journal is deleted.
drhd9b02572001-04-15 00:37:09 +00003318**
3319** This routine cannot fail unless some other process is not following
3320** the correct locking protocol (SQLITE_PROTOCOL) or unless some other
3321** process is writing trash into the journal file (SQLITE_CORRUPT) or
3322** unless a prior malloc() failed (SQLITE_NOMEM). Appropriate error
3323** codes are returned for all these occasions. Otherwise,
3324** SQLITE_OK is returned.
drhed7c8552001-04-11 14:29:21 +00003325*/
drh3aac2dd2004-04-26 14:10:20 +00003326int sqlite3pager_rollback(Pager *pPager){
drhed7c8552001-04-11 14:29:21 +00003327 int rc;
danielk1977ef73ee92004-11-06 12:26:07 +00003328 TRACE2("ROLLBACK %d\n", PAGERID(pPager));
drhb7f91642004-10-31 02:22:47 +00003329 if( MEMDB ){
drhac69b052004-05-12 13:30:07 +00003330 PgHdr *p;
3331 for(p=pPager->pAll; p; p=p->pNextAll){
3332 PgHistory *pHist;
danielk1977eac7a362004-06-16 07:45:24 +00003333 assert( !p->alwaysRollback );
3334 if( !p->dirty ){
3335 assert( !((PgHistory *)PGHDR_TO_HIST(p, pPager))->pOrig );
3336 assert( !((PgHistory *)PGHDR_TO_HIST(p, pPager))->pStmt );
3337 continue;
3338 }
3339
drhac69b052004-05-12 13:30:07 +00003340 pHist = PGHDR_TO_HIST(p, pPager);
3341 if( pHist->pOrig ){
3342 memcpy(PGHDR_TO_DATA(p), pHist->pOrig, pPager->pageSize);
danielk1977ef73ee92004-11-06 12:26:07 +00003343 TRACE3("ROLLBACK-PAGE %d of %d\n", p->pgno, PAGERID(pPager));
drhac69b052004-05-12 13:30:07 +00003344 }else{
danielk1977ef73ee92004-11-06 12:26:07 +00003345 TRACE3("PAGE %d is clean on %d\n", p->pgno, PAGERID(pPager));
drhac69b052004-05-12 13:30:07 +00003346 }
3347 clearHistory(pHist);
3348 p->dirty = 0;
3349 p->inJournal = 0;
3350 p->inStmt = 0;
3351 p->pPrevStmt = p->pNextStmt = 0;
danielk1977369f27e2004-06-15 11:40:04 +00003352
3353 if( pPager->xReiniter ){
3354 pPager->xReiniter(PGHDR_TO_DATA(p), pPager->pageSize);
3355 }
3356
drhac69b052004-05-12 13:30:07 +00003357 }
3358 pPager->pStmt = 0;
3359 pPager->dbSize = pPager->origDbSize;
3360 memoryTruncate(pPager);
3361 pPager->stmtInUse = 0;
drha6abd042004-06-09 17:37:22 +00003362 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00003363 return SQLITE_OK;
3364 }
3365
drha6abd042004-06-09 17:37:22 +00003366 if( !pPager->dirtyCache || !pPager->journalOpen ){
drhda47d772002-12-02 04:25:19 +00003367 rc = pager_unwritelock(pPager);
3368 pPager->dbSize = -1;
3369 return rc;
3370 }
drhdb48ee02003-01-16 13:42:43 +00003371
drhd9b02572001-04-15 00:37:09 +00003372 if( pPager->errMask!=0 && pPager->errMask!=PAGER_ERR_FULL ){
drha6abd042004-06-09 17:37:22 +00003373 if( pPager->state>=PAGER_EXCLUSIVE ){
danielk197776572402004-06-25 02:38:54 +00003374 pager_playback(pPager);
drh4b845d72002-03-05 12:41:19 +00003375 }
drhd9b02572001-04-15 00:37:09 +00003376 return pager_errcode(pPager);
drhed7c8552001-04-11 14:29:21 +00003377 }
drha6abd042004-06-09 17:37:22 +00003378 if( pPager->state==PAGER_RESERVED ){
danielk197717221812005-02-15 03:38:05 +00003379 int rc2;
drha6abd042004-06-09 17:37:22 +00003380 rc = pager_reload_cache(pPager);
danielk197717221812005-02-15 03:38:05 +00003381 rc2 = pager_unwritelock(pPager);
drha6abd042004-06-09 17:37:22 +00003382 if( rc==SQLITE_OK ){
3383 rc = rc2;
3384 }
3385 }else{
danielk197776572402004-06-25 02:38:54 +00003386 rc = pager_playback(pPager);
drhd9b02572001-04-15 00:37:09 +00003387 }
drhd9b02572001-04-15 00:37:09 +00003388 if( rc!=SQLITE_OK ){
drh49285702005-09-17 15:20:26 +00003389 rc = SQLITE_CORRUPT_BKPT;
drhd9b02572001-04-15 00:37:09 +00003390 pPager->errMask |= PAGER_ERR_CORRUPT;
3391 }
3392 pPager->dbSize = -1;
drhed7c8552001-04-11 14:29:21 +00003393 return rc;
drh98808ba2001-10-18 12:34:46 +00003394}
drhd9b02572001-04-15 00:37:09 +00003395
3396/*
drh5e00f6c2001-09-13 13:46:56 +00003397** Return TRUE if the database file is opened read-only. Return FALSE
3398** if the database is (in theory) writable.
3399*/
drh3aac2dd2004-04-26 14:10:20 +00003400int sqlite3pager_isreadonly(Pager *pPager){
drhbe0072d2001-09-13 14:46:09 +00003401 return pPager->readOnly;
drh5e00f6c2001-09-13 13:46:56 +00003402}
3403
3404/*
drhd9b02572001-04-15 00:37:09 +00003405** This routine is used for testing and analysis only.
3406*/
drh3aac2dd2004-04-26 14:10:20 +00003407int *sqlite3pager_stats(Pager *pPager){
danielk197742741be2005-01-08 12:42:39 +00003408 static int a[11];
drhd9b02572001-04-15 00:37:09 +00003409 a[0] = pPager->nRef;
3410 a[1] = pPager->nPage;
3411 a[2] = pPager->mxPage;
3412 a[3] = pPager->dbSize;
3413 a[4] = pPager->state;
3414 a[5] = pPager->errMask;
drhfcd35c72005-05-21 02:48:08 +00003415#ifdef SQLITE_TEST
drhd9b02572001-04-15 00:37:09 +00003416 a[6] = pPager->nHit;
3417 a[7] = pPager->nMiss;
3418 a[8] = pPager->nOvfl;
danielk197742741be2005-01-08 12:42:39 +00003419 a[9] = pPager->nRead;
3420 a[10] = pPager->nWrite;
drhfcd35c72005-05-21 02:48:08 +00003421#endif
drhd9b02572001-04-15 00:37:09 +00003422 return a;
3423}
drhdd793422001-06-28 01:54:48 +00003424
drhfa86c412002-02-02 15:01:15 +00003425/*
drhac69b052004-05-12 13:30:07 +00003426** Set the statement rollback point.
drhfa86c412002-02-02 15:01:15 +00003427**
3428** This routine should be called with the transaction journal already
drhac69b052004-05-12 13:30:07 +00003429** open. A new statement journal is created that can be used to rollback
drhaaab5722002-02-19 13:39:21 +00003430** changes of a single SQL command within a larger transaction.
drhfa86c412002-02-02 15:01:15 +00003431*/
drh3aac2dd2004-04-26 14:10:20 +00003432int sqlite3pager_stmt_begin(Pager *pPager){
drhfa86c412002-02-02 15:01:15 +00003433 int rc;
3434 char zTemp[SQLITE_TEMPNAME_SIZE];
drhac69b052004-05-12 13:30:07 +00003435 assert( !pPager->stmtInUse );
drhdc3ff9c2004-08-18 02:10:15 +00003436 assert( pPager->dbSize>=0 );
danielk1977ef73ee92004-11-06 12:26:07 +00003437 TRACE2("STMT-BEGIN %d\n", PAGERID(pPager));
drhb7f91642004-10-31 02:22:47 +00003438 if( MEMDB ){
drhac69b052004-05-12 13:30:07 +00003439 pPager->stmtInUse = 1;
3440 pPager->stmtSize = pPager->dbSize;
3441 return SQLITE_OK;
3442 }
drhda47d772002-12-02 04:25:19 +00003443 if( !pPager->journalOpen ){
drhac69b052004-05-12 13:30:07 +00003444 pPager->stmtAutoopen = 1;
drhda47d772002-12-02 04:25:19 +00003445 return SQLITE_OK;
3446 }
drhfa86c412002-02-02 15:01:15 +00003447 assert( pPager->journalOpen );
drhac69b052004-05-12 13:30:07 +00003448 pPager->aInStmt = sqliteMalloc( pPager->dbSize/8 + 1 );
3449 if( pPager->aInStmt==0 ){
danielk1977261919c2005-12-06 12:52:59 +00003450 /* sqlite3OsLock(pPager->fd, SHARED_LOCK); */
drhfa86c412002-02-02 15:01:15 +00003451 return SQLITE_NOMEM;
3452 }
drh968af522003-02-11 14:55:40 +00003453#ifndef NDEBUG
drh054889e2005-11-30 03:20:31 +00003454 rc = sqlite3OsFileSize(pPager->jfd, &pPager->stmtJSize);
drhac69b052004-05-12 13:30:07 +00003455 if( rc ) goto stmt_begin_failed;
danielk197776572402004-06-25 02:38:54 +00003456 assert( pPager->stmtJSize == pPager->journalOff );
drh968af522003-02-11 14:55:40 +00003457#endif
danielk197776572402004-06-25 02:38:54 +00003458 pPager->stmtJSize = pPager->journalOff;
drhac69b052004-05-12 13:30:07 +00003459 pPager->stmtSize = pPager->dbSize;
danielk197776572402004-06-25 02:38:54 +00003460 pPager->stmtHdrOff = 0;
danielk197775edc162004-06-26 01:48:18 +00003461 pPager->stmtCksum = pPager->cksumInit;
drhac69b052004-05-12 13:30:07 +00003462 if( !pPager->stmtOpen ){
3463 rc = sqlite3pager_opentemp(zTemp, &pPager->stfd);
3464 if( rc ) goto stmt_begin_failed;
3465 pPager->stmtOpen = 1;
3466 pPager->stmtNRec = 0;
drh0f892532002-05-30 12:27:03 +00003467 }
drhac69b052004-05-12 13:30:07 +00003468 pPager->stmtInUse = 1;
drhfa86c412002-02-02 15:01:15 +00003469 return SQLITE_OK;
3470
drhac69b052004-05-12 13:30:07 +00003471stmt_begin_failed:
3472 if( pPager->aInStmt ){
3473 sqliteFree(pPager->aInStmt);
3474 pPager->aInStmt = 0;
drhfa86c412002-02-02 15:01:15 +00003475 }
3476 return rc;
3477}
3478
3479/*
drhac69b052004-05-12 13:30:07 +00003480** Commit a statement.
drhfa86c412002-02-02 15:01:15 +00003481*/
drh3aac2dd2004-04-26 14:10:20 +00003482int sqlite3pager_stmt_commit(Pager *pPager){
drhac69b052004-05-12 13:30:07 +00003483 if( pPager->stmtInUse ){
drh03eb96a2002-11-10 23:32:56 +00003484 PgHdr *pPg, *pNext;
danielk1977ef73ee92004-11-06 12:26:07 +00003485 TRACE2("STMT-COMMIT %d\n", PAGERID(pPager));
drhb7f91642004-10-31 02:22:47 +00003486 if( !MEMDB ){
drh054889e2005-11-30 03:20:31 +00003487 sqlite3OsSeek(pPager->stfd, 0);
3488 /* sqlite3OsTruncate(pPager->stfd, 0); */
drhac69b052004-05-12 13:30:07 +00003489 sqliteFree( pPager->aInStmt );
3490 pPager->aInStmt = 0;
drh663fc632002-02-02 18:49:19 +00003491 }
drhac69b052004-05-12 13:30:07 +00003492 for(pPg=pPager->pStmt; pPg; pPg=pNext){
3493 pNext = pPg->pNextStmt;
3494 assert( pPg->inStmt );
3495 pPg->inStmt = 0;
3496 pPg->pPrevStmt = pPg->pNextStmt = 0;
drhb7f91642004-10-31 02:22:47 +00003497 if( MEMDB ){
drhac69b052004-05-12 13:30:07 +00003498 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
3499 sqliteFree(pHist->pStmt);
3500 pHist->pStmt = 0;
3501 }
3502 }
3503 pPager->stmtNRec = 0;
3504 pPager->stmtInUse = 0;
3505 pPager->pStmt = 0;
drh663fc632002-02-02 18:49:19 +00003506 }
drhac69b052004-05-12 13:30:07 +00003507 pPager->stmtAutoopen = 0;
drhfa86c412002-02-02 15:01:15 +00003508 return SQLITE_OK;
3509}
3510
3511/*
drhac69b052004-05-12 13:30:07 +00003512** Rollback a statement.
drhfa86c412002-02-02 15:01:15 +00003513*/
drh3aac2dd2004-04-26 14:10:20 +00003514int sqlite3pager_stmt_rollback(Pager *pPager){
drhfa86c412002-02-02 15:01:15 +00003515 int rc;
drhac69b052004-05-12 13:30:07 +00003516 if( pPager->stmtInUse ){
danielk1977ef73ee92004-11-06 12:26:07 +00003517 TRACE2("STMT-ROLLBACK %d\n", PAGERID(pPager));
drhb7f91642004-10-31 02:22:47 +00003518 if( MEMDB ){
drhac69b052004-05-12 13:30:07 +00003519 PgHdr *pPg;
3520 for(pPg=pPager->pStmt; pPg; pPg=pPg->pNextStmt){
3521 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
3522 if( pHist->pStmt ){
3523 memcpy(PGHDR_TO_DATA(pPg), pHist->pStmt, pPager->pageSize);
3524 sqliteFree(pHist->pStmt);
3525 pHist->pStmt = 0;
3526 }
3527 }
3528 pPager->dbSize = pPager->stmtSize;
3529 memoryTruncate(pPager);
3530 rc = SQLITE_OK;
3531 }else{
3532 rc = pager_stmt_playback(pPager);
3533 }
drh3aac2dd2004-04-26 14:10:20 +00003534 sqlite3pager_stmt_commit(pPager);
drh663fc632002-02-02 18:49:19 +00003535 }else{
3536 rc = SQLITE_OK;
3537 }
drhac69b052004-05-12 13:30:07 +00003538 pPager->stmtAutoopen = 0;
drhfa86c412002-02-02 15:01:15 +00003539 return rc;
3540}
3541
drh73509ee2003-04-06 20:44:45 +00003542/*
3543** Return the full pathname of the database file.
3544*/
drh3aac2dd2004-04-26 14:10:20 +00003545const char *sqlite3pager_filename(Pager *pPager){
drh73509ee2003-04-06 20:44:45 +00003546 return pPager->zFilename;
3547}
3548
drhb20ea9d2004-02-09 01:20:36 +00003549/*
danielk19775865e3d2004-06-14 06:03:57 +00003550** Return the directory of the database file.
3551*/
3552const char *sqlite3pager_dirname(Pager *pPager){
3553 return pPager->zDirectory;
3554}
3555
3556/*
3557** Return the full pathname of the journal file.
3558*/
3559const char *sqlite3pager_journalname(Pager *pPager){
3560 return pPager->zJournal;
3561}
3562
3563/*
drh2c8997b2005-08-27 16:36:48 +00003564** Return true if fsync() calls are disabled for this pager. Return FALSE
3565** if fsync()s are executed normally.
3566*/
3567int sqlite3pager_nosync(Pager *pPager){
3568 return pPager->noSync;
3569}
3570
3571/*
drhb20ea9d2004-02-09 01:20:36 +00003572** Set the codec for this pager
3573*/
drh3aac2dd2004-04-26 14:10:20 +00003574void sqlite3pager_set_codec(
drhb20ea9d2004-02-09 01:20:36 +00003575 Pager *pPager,
drh9eb9e262004-02-11 02:18:05 +00003576 void (*xCodec)(void*,void*,Pgno,int),
drhb20ea9d2004-02-09 01:20:36 +00003577 void *pCodecArg
3578){
3579 pPager->xCodec = xCodec;
3580 pPager->pCodecArg = pCodecArg;
3581}
3582
danielk197713adf8a2004-06-03 16:08:41 +00003583/*
danielk1977aa5ccdf2004-06-14 05:10:42 +00003584** This routine is called to increment the database file change-counter,
3585** stored at byte 24 of the pager file.
3586*/
3587static int pager_incr_changecounter(Pager *pPager){
3588 void *pPage;
3589 PgHdr *pPgHdr;
3590 u32 change_counter;
3591 int rc;
3592
3593 /* Open page 1 of the file for writing. */
3594 rc = sqlite3pager_get(pPager, 1, &pPage);
3595 if( rc!=SQLITE_OK ) return rc;
3596 rc = sqlite3pager_write(pPage);
3597 if( rc!=SQLITE_OK ) return rc;
3598
3599 /* Read the current value at byte 24. */
3600 pPgHdr = DATA_TO_PGHDR(pPage);
3601 change_counter = retrieve32bits(pPgHdr, 24);
3602
3603 /* Increment the value just read and write it back to byte 24. */
3604 change_counter++;
3605 store32bits(change_counter, pPgHdr, 24);
3606
3607 /* Release the page reference. */
3608 sqlite3pager_unref(pPage);
3609 return SQLITE_OK;
3610}
3611
3612/*
danielk197713adf8a2004-06-03 16:08:41 +00003613** Sync the database file for the pager pPager. zMaster points to the name
3614** of a master journal file that should be written into the individual
3615** journal file. zMaster may be NULL, which is interpreted as no master
3616** journal (a single database transaction).
3617**
3618** This routine ensures that the journal is synced, all dirty pages written
3619** to the database file and the database file synced. The only thing that
3620** remains to commit the transaction is to delete the journal file (or
3621** master journal file if specified).
3622**
3623** Note that if zMaster==NULL, this does not overwrite a previous value
3624** passed to an sqlite3pager_sync() call.
danielk1977d761c0c2004-11-05 16:37:02 +00003625**
3626** If parameter nTrunc is non-zero, then the pager file is truncated to
3627** nTrunc pages (this is used by auto-vacuum databases).
danielk197713adf8a2004-06-03 16:08:41 +00003628*/
danielk1977d761c0c2004-11-05 16:37:02 +00003629int sqlite3pager_sync(Pager *pPager, const char *zMaster, Pgno nTrunc){
danielk197713adf8a2004-06-03 16:08:41 +00003630 int rc = SQLITE_OK;
3631
danielk1977ef73ee92004-11-06 12:26:07 +00003632 TRACE4("DATABASE SYNC: File=%s zMaster=%s nTrunc=%d\n",
3633 pPager->zFilename, zMaster, nTrunc);
3634
danielk1977aa5ccdf2004-06-14 05:10:42 +00003635 /* If this is an in-memory db, or no pages have been written to, or this
3636 ** function has already been called, it is a no-op.
danielk197713adf8a2004-06-03 16:08:41 +00003637 */
drhb7f91642004-10-31 02:22:47 +00003638 if( pPager->state!=PAGER_SYNCED && !MEMDB && pPager->dirtyCache ){
danielk197713adf8a2004-06-03 16:08:41 +00003639 PgHdr *pPg;
3640 assert( pPager->journalOpen );
3641
danielk197776572402004-06-25 02:38:54 +00003642 /* If a master journal file name has already been written to the
3643 ** journal file, then no sync is required. This happens when it is
3644 ** written, then the process fails to upgrade from a RESERVED to an
3645 ** EXCLUSIVE lock. The next time the process tries to commit the
3646 ** transaction the m-j name will have already been written.
3647 */
3648 if( !pPager->setMaster ){
3649 rc = pager_incr_changecounter(pPager);
3650 if( rc!=SQLITE_OK ) goto sync_exit;
danielk1977ef73ee92004-11-06 12:26:07 +00003651#ifndef SQLITE_OMIT_AUTOVACUUM
3652 if( nTrunc!=0 ){
3653 /* If this transaction has made the database smaller, then all pages
3654 ** being discarded by the truncation must be written to the journal
3655 ** file.
3656 */
3657 Pgno i;
3658 void *pPage;
drh267cb322005-09-16 17:16:52 +00003659 int iSkip = PAGER_MJ_PGNO(pPager);
danielk1977ef73ee92004-11-06 12:26:07 +00003660 for( i=nTrunc+1; i<=pPager->origDbSize; i++ ){
drh267cb322005-09-16 17:16:52 +00003661 if( !(pPager->aInJournal[i/8] & (1<<(i&7))) && i!=iSkip ){
danielk1977ef73ee92004-11-06 12:26:07 +00003662 rc = sqlite3pager_get(pPager, i, &pPage);
3663 if( rc!=SQLITE_OK ) goto sync_exit;
3664 rc = sqlite3pager_write(pPage);
3665 sqlite3pager_unref(pPage);
3666 if( rc!=SQLITE_OK ) goto sync_exit;
3667 }
3668 }
3669 }
3670#endif
danielk197776572402004-06-25 02:38:54 +00003671 rc = writeMasterJournal(pPager, zMaster);
3672 if( rc!=SQLITE_OK ) goto sync_exit;
3673 rc = syncJournal(pPager);
3674 if( rc!=SQLITE_OK ) goto sync_exit;
3675 }
danielk197713adf8a2004-06-03 16:08:41 +00003676
danielk1977d761c0c2004-11-05 16:37:02 +00003677#ifndef SQLITE_OMIT_AUTOVACUUM
3678 if( nTrunc!=0 ){
3679 rc = sqlite3pager_truncate(pPager, nTrunc);
3680 if( rc!=SQLITE_OK ) goto sync_exit;
3681 }
3682#endif
3683
danielk197713adf8a2004-06-03 16:08:41 +00003684 /* Write all dirty pages to the database file */
3685 pPg = pager_get_all_dirty_pages(pPager);
3686 rc = pager_write_pagelist(pPg);
3687 if( rc!=SQLITE_OK ) goto sync_exit;
3688
danielk1977aa5ccdf2004-06-14 05:10:42 +00003689 /* Sync the database file. */
3690 if( !pPager->noSync ){
drh054889e2005-11-30 03:20:31 +00003691 rc = sqlite3OsSync(pPager->fd, 0);
danielk197713adf8a2004-06-03 16:08:41 +00003692 }
danielk1977aa5ccdf2004-06-14 05:10:42 +00003693
3694 pPager->state = PAGER_SYNCED;
danielk197713adf8a2004-06-03 16:08:41 +00003695 }
3696
3697sync_exit:
3698 return rc;
3699}
3700
danielk1977687566d2004-11-02 12:56:41 +00003701#ifndef SQLITE_OMIT_AUTOVACUUM
3702/*
3703** Move the page identified by pData to location pgno in the file.
3704**
3705** There must be no references to the current page pgno. If current page
3706** pgno is not already in the rollback journal, it is not written there by
3707** by this routine. The same applies to the page pData refers to on entry to
3708** this routine.
3709**
3710** References to the page refered to by pData remain valid. Updating any
3711** meta-data associated with page pData (i.e. data stored in the nExtra bytes
3712** allocated along with the page) is the responsibility of the caller.
3713**
danielk19775fd057a2005-03-09 13:09:43 +00003714** A transaction must be active when this routine is called. It used to be
3715** required that a statement transaction was not active, but this restriction
3716** has been removed (CREATE INDEX needs to move a page when a statement
3717** transaction is active).
danielk1977687566d2004-11-02 12:56:41 +00003718*/
3719int sqlite3pager_movepage(Pager *pPager, void *pData, Pgno pgno){
3720 PgHdr *pPg = DATA_TO_PGHDR(pData);
3721 PgHdr *pPgOld;
danielk1977f5fdda82004-11-03 08:44:05 +00003722 int h;
danielk197794daf7f2004-11-08 09:26:09 +00003723 Pgno needSyncPgno = 0;
danielk1977687566d2004-11-02 12:56:41 +00003724
danielk1977687566d2004-11-02 12:56:41 +00003725 assert( pPg->nRef>0 );
3726
danielk1977599fcba2004-11-08 07:13:13 +00003727 TRACE5("MOVE %d page %d (needSync=%d) moves to %d\n",
3728 PAGERID(pPager), pPg->pgno, pPg->needSync, pgno);
danielk1977ef73ee92004-11-06 12:26:07 +00003729
danielk197794daf7f2004-11-08 09:26:09 +00003730 if( pPg->needSync ){
3731 needSyncPgno = pPg->pgno;
3732 assert( pPg->inJournal );
3733 assert( pPg->dirty );
danielk1977ae825582004-11-23 09:06:55 +00003734 assert( pPager->needSync );
danielk197794daf7f2004-11-08 09:26:09 +00003735 }
3736
danielk1977687566d2004-11-02 12:56:41 +00003737 /* Unlink pPg from it's hash-chain */
danielk1977f5fdda82004-11-03 08:44:05 +00003738 unlinkHashChain(pPager, pPg);
danielk1977687566d2004-11-02 12:56:41 +00003739
danielk1977ef73ee92004-11-06 12:26:07 +00003740 /* If the cache contains a page with page-number pgno, remove it
danielk1977599fcba2004-11-08 07:13:13 +00003741 ** from it's hash chain. Also, if the PgHdr.needSync was set for
3742 ** page pgno before the 'move' operation, it needs to be retained
3743 ** for the page moved there.
danielk1977f5fdda82004-11-03 08:44:05 +00003744 */
danielk1977687566d2004-11-02 12:56:41 +00003745 pPgOld = pager_lookup(pPager, pgno);
3746 if( pPgOld ){
danielk1977f5fdda82004-11-03 08:44:05 +00003747 assert( pPgOld->nRef==0 );
3748 unlinkHashChain(pPager, pPgOld);
3749 pPgOld->dirty = 0;
danielk1977ef73ee92004-11-06 12:26:07 +00003750 if( pPgOld->needSync ){
danielk197745901d62004-11-10 15:27:38 +00003751 assert( pPgOld->inJournal );
3752 pPg->inJournal = 1;
danielk1977ef73ee92004-11-06 12:26:07 +00003753 pPg->needSync = 1;
danielk1977ae825582004-11-23 09:06:55 +00003754 assert( pPager->needSync );
danielk1977ef73ee92004-11-06 12:26:07 +00003755 }
danielk1977687566d2004-11-02 12:56:41 +00003756 }
3757
danielk1977f5fdda82004-11-03 08:44:05 +00003758 /* Change the page number for pPg and insert it into the new hash-chain. */
3759 pPg->pgno = pgno;
3760 h = pager_hash(pgno);
3761 if( pPager->aHash[h] ){
3762 assert( pPager->aHash[h]->pPrevHash==0 );
3763 pPager->aHash[h]->pPrevHash = pPg;
3764 }
3765 pPg->pNextHash = pPager->aHash[h];
3766 pPager->aHash[h] = pPg;
3767 pPg->pPrevHash = 0;
3768
danielk1977687566d2004-11-02 12:56:41 +00003769 pPg->dirty = 1;
3770 pPager->dirtyCache = 1;
3771
danielk197794daf7f2004-11-08 09:26:09 +00003772 if( needSyncPgno ){
3773 /* If needSyncPgno is non-zero, then the journal file needs to be
3774 ** sync()ed before any data is written to database file page needSyncPgno.
3775 ** Currently, no such page exists in the page-cache and the
3776 ** Pager.aInJournal bit has been set. This needs to be remedied by loading
3777 ** the page into the pager-cache and setting the PgHdr.needSync flag.
danielk1977ae825582004-11-23 09:06:55 +00003778 **
3779 ** The sqlite3pager_get() call may cause the journal to sync. So make
3780 ** sure the Pager.needSync flag is set too.
danielk197794daf7f2004-11-08 09:26:09 +00003781 */
3782 int rc;
3783 void *pNeedSync;
danielk1977ae825582004-11-23 09:06:55 +00003784 assert( pPager->needSync );
danielk197794daf7f2004-11-08 09:26:09 +00003785 rc = sqlite3pager_get(pPager, needSyncPgno, &pNeedSync);
3786 if( rc!=SQLITE_OK ) return rc;
danielk1977ae825582004-11-23 09:06:55 +00003787 pPager->needSync = 1;
danielk197794daf7f2004-11-08 09:26:09 +00003788 DATA_TO_PGHDR(pNeedSync)->needSync = 1;
3789 DATA_TO_PGHDR(pNeedSync)->inJournal = 1;
3790 DATA_TO_PGHDR(pNeedSync)->dirty = 1;
3791 sqlite3pager_unref(pNeedSync);
3792 }
3793
danielk1977687566d2004-11-02 12:56:41 +00003794 return SQLITE_OK;
3795}
3796#endif
3797
dougcurrie81c95ef2004-06-18 23:21:47 +00003798#if defined(SQLITE_DEBUG) || defined(SQLITE_TEST)
drh89ac8c12004-06-09 14:17:20 +00003799/*
3800** Return the current state of the file lock for the given pager.
3801** The return value is one of NO_LOCK, SHARED_LOCK, RESERVED_LOCK,
3802** PENDING_LOCK, or EXCLUSIVE_LOCK.
3803*/
3804int sqlite3pager_lockstate(Pager *pPager){
drh054889e2005-11-30 03:20:31 +00003805 return sqlite3OsLockState(pPager->fd);
drh89ac8c12004-06-09 14:17:20 +00003806}
3807#endif
3808
danielk197793758c82005-01-21 08:13:14 +00003809#ifdef SQLITE_DEBUG
drhdd793422001-06-28 01:54:48 +00003810/*
3811** Print a listing of all referenced pages and their ref count.
3812*/
drh3aac2dd2004-04-26 14:10:20 +00003813void sqlite3pager_refdump(Pager *pPager){
drhdd793422001-06-28 01:54:48 +00003814 PgHdr *pPg;
3815 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
3816 if( pPg->nRef<=0 ) continue;
drhfe63d1c2004-09-08 20:13:04 +00003817 sqlite3DebugPrintf("PAGE %3d addr=%p nRef=%d\n",
3818 pPg->pgno, PGHDR_TO_DATA(pPg), pPg->nRef);
drhdd793422001-06-28 01:54:48 +00003819 }
3820}
3821#endif
drh2e66f0b2005-04-28 17:18:48 +00003822
3823#endif /* SQLITE_OMIT_DISKIO */