blob: 3f5b9fff632acbd7156d476d08d2f33dec8886f8 [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**
drh6d08b4d2004-07-20 12:45:22 +000021** @(#) $Id: pager.c,v 1.151 2004/07/20 12:45:22 drh Exp $
drhed7c8552001-04-11 14:29:21 +000022*/
drh829e8022002-11-06 14:08:11 +000023#include "os.h" /* Must be first to enable large file support */
drhd9b02572001-04-15 00:37:09 +000024#include "sqliteInt.h"
drhed7c8552001-04-11 14:29:21 +000025#include "pager.h"
drhed7c8552001-04-11 14:29:21 +000026#include <assert.h>
drhd9b02572001-04-15 00:37:09 +000027#include <string.h>
drhed7c8552001-04-11 14:29:21 +000028
29/*
drhdb48ee02003-01-16 13:42:43 +000030** Macros for troubleshooting. Normally turned off
31*/
danielk1977466be562004-06-10 02:16:01 +000032#if 0
drhdb48ee02003-01-16 13:42:43 +000033static Pager *mainPager = 0;
34#define SET_PAGER(X) if( mainPager==0 ) mainPager = (X)
35#define CLR_PAGER(X) if( mainPager==(X) ) mainPager = 0
drh35d4c2f2004-06-10 01:30:59 +000036#define TRACE1(X) if( pPager==mainPager ) sqlite3DebugPrintf(X)
37#define TRACE2(X,Y) if( pPager==mainPager ) sqlite3DebugPrintf(X,Y)
38#define TRACE3(X,Y,Z) if( pPager==mainPager ) sqlite3DebugPrintf(X,Y,Z)
drhdb48ee02003-01-16 13:42:43 +000039#else
40#define SET_PAGER(X)
41#define CLR_PAGER(X)
42#define TRACE1(X)
43#define TRACE2(X,Y)
44#define TRACE3(X,Y,Z)
45#endif
46
47
48/*
drhed7c8552001-04-11 14:29:21 +000049** The page cache as a whole is always in one of the following
50** states:
51**
drha6abd042004-06-09 17:37:22 +000052** PAGER_UNLOCK The page cache is not currently reading or
drhed7c8552001-04-11 14:29:21 +000053** writing the database file. There is no
54** data held in memory. This is the initial
55** state.
56**
drha6abd042004-06-09 17:37:22 +000057** PAGER_SHARED The page cache is reading the database.
drhed7c8552001-04-11 14:29:21 +000058** Writing is not permitted. There can be
59** multiple readers accessing the same database
drh69688d52001-04-14 16:38:23 +000060** file at the same time.
drhed7c8552001-04-11 14:29:21 +000061**
drh726de592004-06-10 23:35:50 +000062** PAGER_RESERVED This process has reserved the database for writing
63** but has not yet made any changes. Only one process
64** at a time can reserve the database. The original
65** database file has not been modified so other
66** processes may still be reading the on-disk
drha6abd042004-06-09 17:37:22 +000067** database file.
68**
69** PAGER_EXCLUSIVE The page cache is writing the database.
drhed7c8552001-04-11 14:29:21 +000070** Access is exclusive. No other processes or
71** threads can be reading or writing while one
72** process is writing.
73**
danielk1977aa5ccdf2004-06-14 05:10:42 +000074** PAGER_SYNCED The pager moves to this state from PAGER_EXCLUSIVE
75** after all dirty pages have been written to the
76** database file and the file has been synced to
77** disk. All that remains to do is to remove the
78** journal file and the transaction will be
79** committed.
80**
drha6abd042004-06-09 17:37:22 +000081** The page cache comes up in PAGER_UNLOCK. The first time a
drh726de592004-06-10 23:35:50 +000082** sqlite3pager_get() occurs, the state transitions to PAGER_SHARED.
drhed7c8552001-04-11 14:29:21 +000083** After all pages have been released using sqlite_page_unref(),
drha6abd042004-06-09 17:37:22 +000084** the state transitions back to PAGER_UNLOCK. The first time
drh726de592004-06-10 23:35:50 +000085** that sqlite3pager_write() is called, the state transitions to
drha6abd042004-06-09 17:37:22 +000086** PAGER_RESERVED. (Note that sqlite_page_write() can only be
drh306dc212001-05-21 13:45:10 +000087** called on an outstanding page which means that the pager must
drha6abd042004-06-09 17:37:22 +000088** be in PAGER_SHARED before it transitions to PAGER_RESERVED.)
drh726de592004-06-10 23:35:50 +000089** The transition to PAGER_EXCLUSIVE occurs when before any changes
90** are made to the database file. After an sqlite3pager_rollback()
91** or sqlite_pager_commit(), the state goes back to PAGER_SHARED.
drhed7c8552001-04-11 14:29:21 +000092*/
drha6abd042004-06-09 17:37:22 +000093#define PAGER_UNLOCK 0
94#define PAGER_SHARED 1
95#define PAGER_RESERVED 2
96#define PAGER_EXCLUSIVE 3
danielk1977aa5ccdf2004-06-14 05:10:42 +000097#define PAGER_SYNCED 4
drhed7c8552001-04-11 14:29:21 +000098
drhd9b02572001-04-15 00:37:09 +000099
drhed7c8552001-04-11 14:29:21 +0000100/*
101** Each in-memory image of a page begins with the following header.
drhbd03cae2001-06-02 02:40:57 +0000102** This header is only visible to this pager module. The client
103** code that calls pager sees only the data that follows the header.
drhf6038712004-02-08 18:07:34 +0000104**
drh3aac2dd2004-04-26 14:10:20 +0000105** Client code should call sqlite3pager_write() on a page prior to making
106** any modifications to that page. The first time sqlite3pager_write()
drhf6038712004-02-08 18:07:34 +0000107** is called, the original page contents are written into the rollback
108** journal and PgHdr.inJournal and PgHdr.needSync are set. Later, once
109** the journal page has made it onto the disk surface, PgHdr.needSync
110** is cleared. The modified page cannot be written back into the original
111** database file until the journal pages has been synced to disk and the
112** PgHdr.needSync has been cleared.
113**
drh3aac2dd2004-04-26 14:10:20 +0000114** The PgHdr.dirty flag is set when sqlite3pager_write() is called and
drhf6038712004-02-08 18:07:34 +0000115** is cleared again when the page content is written back to the original
116** database file.
drhed7c8552001-04-11 14:29:21 +0000117*/
drhd9b02572001-04-15 00:37:09 +0000118typedef struct PgHdr PgHdr;
drhed7c8552001-04-11 14:29:21 +0000119struct PgHdr {
120 Pager *pPager; /* The pager to which this page belongs */
121 Pgno pgno; /* The page number for this page */
drh69688d52001-04-14 16:38:23 +0000122 PgHdr *pNextHash, *pPrevHash; /* Hash collision chain for PgHdr.pgno */
drhd9b02572001-04-15 00:37:09 +0000123 PgHdr *pNextFree, *pPrevFree; /* Freelist of pages where nRef==0 */
drhac69b052004-05-12 13:30:07 +0000124 PgHdr *pNextAll; /* A list of all pages */
125 PgHdr *pNextStmt, *pPrevStmt; /* List of pages in the statement journal */
drh193a6b42002-07-07 16:52:46 +0000126 u8 inJournal; /* TRUE if has been written to journal */
drhac69b052004-05-12 13:30:07 +0000127 u8 inStmt; /* TRUE if in the statement subjournal */
drh193a6b42002-07-07 16:52:46 +0000128 u8 dirty; /* TRUE if we need to write back changes */
drhdb48ee02003-01-16 13:42:43 +0000129 u8 needSync; /* Sync journal before writing this page */
drh193a6b42002-07-07 16:52:46 +0000130 u8 alwaysRollback; /* Disable dont_rollback() for this page */
drhac69b052004-05-12 13:30:07 +0000131 short int nRef; /* Number of users of this page */
drh2554f8b2003-01-22 01:26:44 +0000132 PgHdr *pDirty; /* Dirty pages sorted by PgHdr.pgno */
drhd0ba1932004-02-10 01:54:28 +0000133 /* SQLITE_PAGE_SIZE bytes of page data follow this header */
drh973b6e32003-02-12 14:09:42 +0000134 /* Pager.nExtra bytes of local data follow the page data */
drhed7c8552001-04-11 14:29:21 +0000135};
136
drhac69b052004-05-12 13:30:07 +0000137/*
138** For an in-memory only database, some extra information is recorded about
139** each page so that changes can be rolled back. (Journal files are not
140** used for in-memory databases.) The following information is added to
141** the end of every EXTRA block for in-memory databases.
142**
143** This information could have been added directly to the PgHdr structure.
144** But then it would take up an extra 8 bytes of storage on every PgHdr
145** even for disk-based databases. Splitting it out saves 8 bytes. This
146** is only a savings of 0.8% but those percentages add up.
147*/
148typedef struct PgHistory PgHistory;
149struct PgHistory {
150 u8 *pOrig; /* Original page text. Restore to this on a full rollback */
151 u8 *pStmt; /* Text as it was at the beginning of the current statement */
152};
drh9eb9e262004-02-11 02:18:05 +0000153
154/*
155** A macro used for invoking the codec if there is one
156*/
157#ifdef SQLITE_HAS_CODEC
158# define CODEC(P,D,N,X) if( P->xCodec ){ P->xCodec(P->pCodecArg,D,N,X); }
159#else
160# define CODEC(P,D,N,X)
161#endif
162
drhed7c8552001-04-11 14:29:21 +0000163/*
drh69688d52001-04-14 16:38:23 +0000164** Convert a pointer to a PgHdr into a pointer to its data
165** and back again.
drhed7c8552001-04-11 14:29:21 +0000166*/
167#define PGHDR_TO_DATA(P) ((void*)(&(P)[1]))
168#define DATA_TO_PGHDR(D) (&((PgHdr*)(D))[-1])
drhd0ba1932004-02-10 01:54:28 +0000169#define PGHDR_TO_EXTRA(P) ((void*)&((char*)(&(P)[1]))[SQLITE_PAGE_SIZE])
drhac69b052004-05-12 13:30:07 +0000170#define PGHDR_TO_HIST(P,PGR) \
171 ((PgHistory*)&((char*)(&(P)[1]))[(PGR)->pageSize+(PGR)->nExtra])
drhed7c8552001-04-11 14:29:21 +0000172
173/*
drhed7c8552001-04-11 14:29:21 +0000174** How big to make the hash table used for locating in-memory pages
drh836faa42003-01-11 13:30:57 +0000175** by page number.
drhed7c8552001-04-11 14:29:21 +0000176*/
drh836faa42003-01-11 13:30:57 +0000177#define N_PG_HASH 2048
178
179/*
180** Hash a page number
181*/
182#define pager_hash(PN) ((PN)&(N_PG_HASH-1))
drhed7c8552001-04-11 14:29:21 +0000183
184/*
185** A open page cache is an instance of the following structure.
186*/
187struct Pager {
188 char *zFilename; /* Name of the database file */
189 char *zJournal; /* Name of the journal file */
drha76c82e2003-07-27 18:59:42 +0000190 char *zDirectory; /* Directory hold database and journal files */
drh8cfbf082001-09-19 13:22:39 +0000191 OsFile fd, jfd; /* File descriptors for database and journal */
drhac69b052004-05-12 13:30:07 +0000192 OsFile stfd; /* File descriptor for the statement subjournal*/
drhed7c8552001-04-11 14:29:21 +0000193 int dbSize; /* Number of pages in the file */
drh69688d52001-04-14 16:38:23 +0000194 int origDbSize; /* dbSize before the current change */
drhac69b052004-05-12 13:30:07 +0000195 int stmtSize; /* Size of database (in pages) at stmt_begin() */
196 off_t stmtJSize; /* Size of journal at stmt_begin() */
drh968af522003-02-11 14:55:40 +0000197 int nRec; /* Number of pages written to the journal */
198 u32 cksumInit; /* Quasi-random value added to every checksum */
drhac69b052004-05-12 13:30:07 +0000199 int stmtNRec; /* Number of records in stmt subjournal */
drh7e3b0a02001-04-28 16:52:40 +0000200 int nExtra; /* Add this many bytes to each in-memory page */
drhb6f41482004-05-14 01:58:11 +0000201 void (*xDestructor)(void*,int); /* Call this routine when freeing pages */
drha6abd042004-06-09 17:37:22 +0000202 void (*xReiniter)(void*,int); /* Call this routine when reloading pages */
drhb6f41482004-05-14 01:58:11 +0000203 int pageSize; /* Number of bytes in a page */
drhed7c8552001-04-11 14:29:21 +0000204 int nPage; /* Total number of in-memory pages */
drhd9b02572001-04-15 00:37:09 +0000205 int nRef; /* Number of in-memory pages with PgHdr.nRef>0 */
drhed7c8552001-04-11 14:29:21 +0000206 int mxPage; /* Maximum number of pages to hold in cache */
drhd9b02572001-04-15 00:37:09 +0000207 int nHit, nMiss, nOvfl; /* Cache hits, missing, and LRU overflows */
drh9eb9e262004-02-11 02:18:05 +0000208 void (*xCodec)(void*,void*,Pgno,int); /* Routine for en/decoding data */
drhb20ea9d2004-02-09 01:20:36 +0000209 void *pCodecArg; /* First argument to xCodec() */
drh603240c2002-03-05 01:11:12 +0000210 u8 journalOpen; /* True if journal file descriptors is valid */
drh34e79ce2004-02-08 06:05:46 +0000211 u8 journalStarted; /* True if header of journal is synced */
212 u8 useJournal; /* Use a rollback journal on this file */
drhac69b052004-05-12 13:30:07 +0000213 u8 stmtOpen; /* True if the statement subjournal is open */
214 u8 stmtInUse; /* True we are in a statement subtransaction */
215 u8 stmtAutoopen; /* Open stmt journal when main journal is opened*/
drh603240c2002-03-05 01:11:12 +0000216 u8 noSync; /* Do not sync the journal if true */
drh968af522003-02-11 14:55:40 +0000217 u8 fullSync; /* Do extra syncs of the journal for robustness */
drha6abd042004-06-09 17:37:22 +0000218 u8 state; /* PAGER_UNLOCK, _SHARED, _RESERVED, etc. */
drh603240c2002-03-05 01:11:12 +0000219 u8 errMask; /* One of several kinds of errors */
220 u8 tempFile; /* zFilename is a temporary file */
221 u8 readOnly; /* True for a read-only database */
222 u8 needSync; /* True if an fsync() is needed on the journal */
drha6abd042004-06-09 17:37:22 +0000223 u8 dirtyCache; /* True if cached pages have changed */
drh193a6b42002-07-07 16:52:46 +0000224 u8 alwaysRollback; /* Disable dont_rollback() for all pages */
drhac69b052004-05-12 13:30:07 +0000225 u8 memDb; /* True to inhibit all file I/O */
drh603240c2002-03-05 01:11:12 +0000226 u8 *aInJournal; /* One bit for each page in the database file */
drhac69b052004-05-12 13:30:07 +0000227 u8 *aInStmt; /* One bit for each page in the database */
drh726de592004-06-10 23:35:50 +0000228 BusyHandler *pBusyHandler; /* Pointer to sqlite.busyHandler */
drhed7c8552001-04-11 14:29:21 +0000229 PgHdr *pFirst, *pLast; /* List of free pages */
drh341eae82003-01-21 02:39:36 +0000230 PgHdr *pFirstSynced; /* First free page with PgHdr.needSync==0 */
drhd9b02572001-04-15 00:37:09 +0000231 PgHdr *pAll; /* List of all pages */
drhac69b052004-05-12 13:30:07 +0000232 PgHdr *pStmt; /* List of pages in the statement subjournal */
drh726de592004-06-10 23:35:50 +0000233 PgHdr *aHash[N_PG_HASH]; /* Hash table to map page number to PgHdr */
danielk197776572402004-06-25 02:38:54 +0000234 off_t journalOff; /* Current byte offset in the journal file */
235 off_t journalHdr; /* Byte offset to previous journal header */
236 off_t stmtHdrOff; /* First journal header written this statement */
danielk197775edc162004-06-26 01:48:18 +0000237 off_t stmtCksum; /* cksumInit when statement was started */
danielk197776572402004-06-25 02:38:54 +0000238 int sectorSize; /* Assumed sector size during rollback */
239 u8 setMaster; /* True if a m-j name has been written to jrnl */
drhd9b02572001-04-15 00:37:09 +0000240};
241
242/*
243** These are bits that can be set in Pager.errMask.
244*/
245#define PAGER_ERR_FULL 0x01 /* a write() failed */
246#define PAGER_ERR_MEM 0x02 /* malloc() failed */
247#define PAGER_ERR_LOCK 0x04 /* error in the locking protocol */
248#define PAGER_ERR_CORRUPT 0x08 /* database or journal corruption */
drh81a20f22001-10-12 17:30:04 +0000249#define PAGER_ERR_DISK 0x10 /* general disk I/O error - bad hard drive? */
drhd9b02572001-04-15 00:37:09 +0000250
251/*
drh5e00f6c2001-09-13 13:46:56 +0000252** Journal files begin with the following magic string. The data
253** was obtained from /dev/random. It is used only as a sanity check.
drh94f33312002-08-12 12:29:56 +0000254**
drhae2b40c2004-06-09 19:03:54 +0000255** Since version 2.8.0, the journal format contains additional sanity
256** checking information. If the power fails while the journal is begin
257** written, semi-random garbage data might appear in the journal
258** file after power is restored. If an attempt is then made
drh968af522003-02-11 14:55:40 +0000259** to roll the journal back, the database could be corrupted. The additional
260** sanity checking data is an attempt to discover the garbage in the
261** journal and ignore it.
262**
drhae2b40c2004-06-09 19:03:54 +0000263** The sanity checking information for the new journal format consists
drh968af522003-02-11 14:55:40 +0000264** of a 32-bit checksum on each page of data. The checksum covers both
drhd0ba1932004-02-10 01:54:28 +0000265** the page number and the SQLITE_PAGE_SIZE bytes of data for the page.
drh968af522003-02-11 14:55:40 +0000266** This cksum is initialized to a 32-bit random value that appears in the
267** journal file right after the header. The random initializer is important,
268** because garbage data that appears at the end of a journal is likely
269** data that was once in other files that have now been deleted. If the
270** garbage data came from an obsolete journal file, the checksums might
271** be correct. But by initializing the checksum to random value which
272** is different for every journal, we minimize that risk.
drhd9b02572001-04-15 00:37:09 +0000273*/
drhae2b40c2004-06-09 19:03:54 +0000274static const unsigned char aJournalMagic[] = {
275 0xd9, 0xd5, 0x05, 0xf9, 0x20, 0xa1, 0x63, 0xd7,
drhed7c8552001-04-11 14:29:21 +0000276};
277
278/*
drh726de592004-06-10 23:35:50 +0000279** The size of the header and of each page in the journal is determined
280** by the following macros.
drh968af522003-02-11 14:55:40 +0000281*/
drhae2b40c2004-06-09 19:03:54 +0000282#define JOURNAL_PG_SZ(pPager) ((pPager->pageSize) + 8)
drh968af522003-02-11 14:55:40 +0000283
danielk197776572402004-06-25 02:38:54 +0000284/*
285** The journal header size for this pager. In the future, this could be
286** set to some value read from the disk controller. The important
287** characteristic is that it is the same size as a disk sector.
288*/
289#define JOURNAL_HDR_SZ(pPager) (pPager->sectorSize)
290
291#define PAGER_SECTOR_SIZE 512
292
293/*
294** Page number PAGER_MJ_PGNO is never used in an SQLite database (it is
295** reserved for working around a windows/posix incompatibility). It is
296** used in the journal to signify that the remainder of the journal file
297** is devoted to storing a master journal name - there are no more pages to
298** roll back. See comments for function writeMasterJournal() for details.
299*/
300#define PAGER_MJ_PGNO(x) (PENDING_BYTE/((x)->pageSize))
danielk197713adf8a2004-06-03 16:08:41 +0000301
drh968af522003-02-11 14:55:40 +0000302/*
drh726de592004-06-10 23:35:50 +0000303** Enable reference count tracking (for debugging) here:
drhdd793422001-06-28 01:54:48 +0000304*/
drh74587e52002-08-13 00:01:16 +0000305#ifdef SQLITE_TEST
drh3aac2dd2004-04-26 14:10:20 +0000306 int pager3_refinfo_enable = 0;
drhdd793422001-06-28 01:54:48 +0000307 static void pager_refinfo(PgHdr *p){
308 static int cnt = 0;
drh3aac2dd2004-04-26 14:10:20 +0000309 if( !pager3_refinfo_enable ) return;
drhdd793422001-06-28 01:54:48 +0000310 printf(
311 "REFCNT: %4d addr=0x%08x nRef=%d\n",
312 p->pgno, (int)PGHDR_TO_DATA(p), p->nRef
313 );
314 cnt++; /* Something to set a breakpoint on */
315 }
316# define REFINFO(X) pager_refinfo(X)
317#else
318# define REFINFO(X)
319#endif
320
321/*
drh34e79ce2004-02-08 06:05:46 +0000322** Read a 32-bit integer from the given file descriptor. Store the integer
323** that is read in *pRes. Return SQLITE_OK if everything worked, or an
324** error code is something goes wrong.
drh726de592004-06-10 23:35:50 +0000325**
326** All values are stored on disk as big-endian.
drh94f33312002-08-12 12:29:56 +0000327*/
drhae2b40c2004-06-09 19:03:54 +0000328static int read32bits(OsFile *fd, u32 *pRes){
drh94f33312002-08-12 12:29:56 +0000329 u32 res;
330 int rc;
danielk19774adee202004-05-08 08:23:19 +0000331 rc = sqlite3OsRead(fd, &res, sizeof(res));
drhae2b40c2004-06-09 19:03:54 +0000332 if( rc==SQLITE_OK ){
drh94f33312002-08-12 12:29:56 +0000333 unsigned char ac[4];
334 memcpy(ac, &res, 4);
335 res = (ac[0]<<24) | (ac[1]<<16) | (ac[2]<<8) | ac[3];
336 }
337 *pRes = res;
338 return rc;
339}
340
341/*
drh34e79ce2004-02-08 06:05:46 +0000342** Write a 32-bit integer into the given file descriptor. Return SQLITE_OK
343** on success or an error code is something goes wrong.
drh94f33312002-08-12 12:29:56 +0000344*/
345static int write32bits(OsFile *fd, u32 val){
346 unsigned char ac[4];
drh94f33312002-08-12 12:29:56 +0000347 ac[0] = (val>>24) & 0xff;
348 ac[1] = (val>>16) & 0xff;
349 ac[2] = (val>>8) & 0xff;
350 ac[3] = val & 0xff;
danielk19774adee202004-05-08 08:23:19 +0000351 return sqlite3OsWrite(fd, ac, 4);
drh94f33312002-08-12 12:29:56 +0000352}
353
drh2554f8b2003-01-22 01:26:44 +0000354/*
danielk1977aa5ccdf2004-06-14 05:10:42 +0000355** Write the 32-bit integer 'val' into the page identified by page header
356** 'p' at offset 'offset'.
drh2554f8b2003-01-22 01:26:44 +0000357*/
drh968af522003-02-11 14:55:40 +0000358static void store32bits(u32 val, PgHdr *p, int offset){
drh2554f8b2003-01-22 01:26:44 +0000359 unsigned char *ac;
drhec1bd0b2003-08-26 11:41:27 +0000360 ac = &((unsigned char*)PGHDR_TO_DATA(p))[offset];
drhae2b40c2004-06-09 19:03:54 +0000361 ac[0] = (val>>24) & 0xff;
362 ac[1] = (val>>16) & 0xff;
363 ac[2] = (val>>8) & 0xff;
364 ac[3] = val & 0xff;
drh2554f8b2003-01-22 01:26:44 +0000365}
366
danielk1977aa5ccdf2004-06-14 05:10:42 +0000367/*
368** Read a 32-bit integer at offset 'offset' from the page identified by
369** page header 'p'.
370*/
371static u32 retrieve32bits(PgHdr *p, int offset){
372 unsigned char *ac;
373 ac = &((unsigned char*)PGHDR_TO_DATA(p))[offset];
374 return (ac[0]<<24) | (ac[1]<<16) | (ac[2]<<8) | ac[3];
375}
376
drh94f33312002-08-12 12:29:56 +0000377
378/*
drhd9b02572001-04-15 00:37:09 +0000379** Convert the bits in the pPager->errMask into an approprate
380** return code.
381*/
382static int pager_errcode(Pager *pPager){
383 int rc = SQLITE_OK;
384 if( pPager->errMask & PAGER_ERR_LOCK ) rc = SQLITE_PROTOCOL;
drh81a20f22001-10-12 17:30:04 +0000385 if( pPager->errMask & PAGER_ERR_DISK ) rc = SQLITE_IOERR;
drhd9b02572001-04-15 00:37:09 +0000386 if( pPager->errMask & PAGER_ERR_FULL ) rc = SQLITE_FULL;
387 if( pPager->errMask & PAGER_ERR_MEM ) rc = SQLITE_NOMEM;
388 if( pPager->errMask & PAGER_ERR_CORRUPT ) rc = SQLITE_CORRUPT;
389 return rc;
drhed7c8552001-04-11 14:29:21 +0000390}
391
392/*
danielk197776572402004-06-25 02:38:54 +0000393** When this is called the journal file for pager pPager must be open.
394** The master journal file name is read from the end of the file and
395** written into memory obtained from sqliteMalloc(). *pzMaster is
396** set to point at the memory and SQLITE_OK returned. The caller must
397** sqliteFree() *pzMaster.
398**
399** If no master journal file name is present *pzMaster is set to 0 and
400** SQLITE_OK returned.
401*/
402static int readMasterJournal(OsFile *pJrnl, char **pzMaster){
403 int rc;
404 u32 len;
405 off_t szJ;
danielk1977c3e8f5e2004-06-28 01:16:46 +0000406 u32 cksum;
danielk1977cafadba2004-06-25 11:11:54 +0000407 int i;
danielk197776572402004-06-25 02:38:54 +0000408 unsigned char aMagic[8]; /* A buffer to hold the magic header */
409
410 *pzMaster = 0;
411
412 rc = sqlite3OsFileSize(pJrnl, &szJ);
danielk1977cafadba2004-06-25 11:11:54 +0000413 if( rc!=SQLITE_OK || szJ<16 ) return rc;
danielk197776572402004-06-25 02:38:54 +0000414
danielk1977cafadba2004-06-25 11:11:54 +0000415 rc = sqlite3OsSeek(pJrnl, szJ-16);
danielk197776572402004-06-25 02:38:54 +0000416 if( rc!=SQLITE_OK ) return rc;
417
418 rc = read32bits(pJrnl, &len);
419 if( rc!=SQLITE_OK ) return rc;
420
danielk1977cafadba2004-06-25 11:11:54 +0000421 rc = read32bits(pJrnl, &cksum);
422 if( rc!=SQLITE_OK ) return rc;
423
danielk197776572402004-06-25 02:38:54 +0000424 rc = sqlite3OsRead(pJrnl, aMagic, 8);
425 if( rc!=SQLITE_OK || memcmp(aMagic, aJournalMagic, 8) ) return rc;
426
danielk19778191bff2004-06-28 04:52:30 +0000427 rc = sqlite3OsSeek(pJrnl, szJ-16-len);
danielk197776572402004-06-25 02:38:54 +0000428 if( rc!=SQLITE_OK ) return rc;
429
danielk19778191bff2004-06-28 04:52:30 +0000430 *pzMaster = (char *)sqliteMalloc(len+1);
danielk197776572402004-06-25 02:38:54 +0000431 if( !*pzMaster ){
432 return SQLITE_NOMEM;
433 }
434 rc = sqlite3OsRead(pJrnl, *pzMaster, len);
435 if( rc!=SQLITE_OK ){
436 sqliteFree(*pzMaster);
437 *pzMaster = 0;
438 return rc;
439 }
danielk1977cafadba2004-06-25 11:11:54 +0000440
441 /* See if the checksum matches the master journal name */
442 for(i=0; i<len; i++){
danielk19778191bff2004-06-28 04:52:30 +0000443 cksum -= (*pzMaster)[i];
danielk1977cafadba2004-06-25 11:11:54 +0000444 }
danielk19778191bff2004-06-28 04:52:30 +0000445 if( cksum ){
446 /* If the checksum doesn't add up, then one or more of the disk sectors
447 ** containing the master journal filename is corrupted. This means
448 ** definitely roll back, so just return SQLITE_OK and report a (nul)
449 ** master-journal filename.
450 */
danielk1977cafadba2004-06-25 11:11:54 +0000451 sqliteFree(*pzMaster);
452 *pzMaster = 0;
453 }
danielk19778191bff2004-06-28 04:52:30 +0000454 (*pzMaster)[len] = '\0';
danielk197776572402004-06-25 02:38:54 +0000455
456 return SQLITE_OK;
457}
458
459/*
460** Seek the journal file descriptor to the next sector boundary where a
461** journal header may be read or written. Pager.journalOff is updated with
462** the new seek offset.
463**
464** i.e for a sector size of 512:
465**
466** Input Offset Output Offset
467** ---------------------------------------
468** 0 0
469** 512 512
470** 100 512
471** 2000 2048
472**
473*/
474static int seekJournalHdr(Pager *pPager){
475 off_t offset = 0;
476 off_t c = pPager->journalOff;
477 if( c ){
478 offset = ((c-1)/JOURNAL_HDR_SZ(pPager) + 1) * JOURNAL_HDR_SZ(pPager);
479 }
480 assert( offset%JOURNAL_HDR_SZ(pPager)==0 );
481 assert( offset>=c );
482 assert( (offset-c)<JOURNAL_HDR_SZ(pPager) );
483 pPager->journalOff = offset;
484 return sqlite3OsSeek(&pPager->jfd, pPager->journalOff);
485}
486
487/*
488** The journal file must be open when this routine is called. A journal
489** header (JOURNAL_HDR_SZ bytes) is written into the journal file at the
490** current location.
491**
492** The format for the journal header is as follows:
493** - 8 bytes: Magic identifying journal format.
494** - 4 bytes: Number of records in journal, or -1 no-sync mode is on.
495** - 4 bytes: Random number used for page hash.
496** - 4 bytes: Initial database page count.
497** - 4 bytes: Sector size used by the process that wrote this journal.
498**
danielk1977f42f25c2004-06-25 07:21:28 +0000499** Followed by (JOURNAL_HDR_SZ - 24) bytes of unused space.
danielk197776572402004-06-25 02:38:54 +0000500*/
501static int writeJournalHdr(Pager *pPager){
502
503 int rc = seekJournalHdr(pPager);
504 if( rc ) return rc;
505
506 pPager->journalHdr = pPager->journalOff;
507 if( pPager->stmtHdrOff==0 ){
508 pPager->stmtHdrOff = pPager->journalHdr;
509 }
510 pPager->journalOff += JOURNAL_HDR_SZ(pPager);
511
512 /* FIX ME:
513 **
514 ** Possibly for a pager not in no-sync mode, the journal magic should not
515 ** be written until nRec is filled in as part of next syncJournal().
516 **
517 ** Actually maybe the whole journal header should be delayed until that
518 ** point. Think about this.
519 */
520 rc = sqlite3OsWrite(&pPager->jfd, aJournalMagic, sizeof(aJournalMagic));
521
522 if( rc==SQLITE_OK ){
523 /* The nRec Field. 0xFFFFFFFF for no-sync journals. */
524 rc = write32bits(&pPager->jfd, pPager->noSync ? 0xffffffff : 0);
525 }
526 if( rc==SQLITE_OK ){
527 /* The random check-hash initialiser */
528 sqlite3Randomness(sizeof(pPager->cksumInit), &pPager->cksumInit);
529 rc = write32bits(&pPager->jfd, pPager->cksumInit);
530 }
531 if( rc==SQLITE_OK ){
532 /* The initial database size */
533 rc = write32bits(&pPager->jfd, pPager->dbSize);
534 }
535 if( rc==SQLITE_OK ){
536 /* The assumed sector size for this process */
537 rc = write32bits(&pPager->jfd, pPager->sectorSize);
538 }
539
540 /* The journal header has been written successfully. Seek the journal
541 ** file descriptor to the end of the journal header sector.
542 */
543 if( rc==SQLITE_OK ){
544 sqlite3OsSeek(&pPager->jfd, pPager->journalOff-1);
545 rc = sqlite3OsWrite(&pPager->jfd, "\000", 1);
546 }
547 return rc;
548}
549
550/*
551** The journal file must be open when this is called. A journal header file
552** (JOURNAL_HDR_SZ bytes) is read from the current location in the journal
553** file. See comments above function writeJournalHdr() for a description of
554** the journal header format.
555**
556** If the header is read successfully, *nRec is set to the number of
557** page records following this header and *dbSize is set to the size of the
558** database before the transaction began, in pages. Also, pPager->cksumInit
559** is set to the value read from the journal header. SQLITE_OK is returned
560** in this case.
561**
562** If the journal header file appears to be corrupted, SQLITE_DONE is
563** returned and *nRec and *dbSize are not set. If JOURNAL_HDR_SZ bytes
564** cannot be read from the journal file an error code is returned.
565*/
566static int readJournalHdr(
567 Pager *pPager,
568 off_t journalSize,
569 u32 *pNRec,
570 u32 *pDbSize
571){
572 int rc;
573 unsigned char aMagic[8]; /* A buffer to hold the magic header */
574
575 rc = seekJournalHdr(pPager);
576 if( rc ) return rc;
577
578 if( pPager->journalOff+JOURNAL_HDR_SZ(pPager) > journalSize ){
579 return SQLITE_DONE;
580 }
581
582 rc = sqlite3OsRead(&pPager->jfd, aMagic, sizeof(aMagic));
583 if( rc ) return rc;
584
585 if( memcmp(aMagic, aJournalMagic, sizeof(aMagic))!=0 ){
586 return SQLITE_DONE;
587 }
588
589 rc = read32bits(&pPager->jfd, pNRec);
590 if( rc ) return rc;
591
592 rc = read32bits(&pPager->jfd, &pPager->cksumInit);
593 if( rc ) return rc;
594
595 rc = read32bits(&pPager->jfd, pDbSize);
596 if( rc ) return rc;
597
598 /* Update the assumed sector-size to match the value used by
599 ** the process that created this journal. If this journal was
600 ** created by a process other than this one, then this routine
601 ** is being called from within pager_playback(). The local value
602 ** of Pager.sectorSize is restored at the end of that routine.
603 */
danielk1977c3e8f5e2004-06-28 01:16:46 +0000604 rc = read32bits(&pPager->jfd, (u32 *)&pPager->sectorSize);
danielk197776572402004-06-25 02:38:54 +0000605 if( rc ) return rc;
606
607 pPager->journalOff += JOURNAL_HDR_SZ(pPager);
608 rc = sqlite3OsSeek(&pPager->jfd, pPager->journalOff);
609 return rc;
610}
611
612
613/*
614** Write the supplied master journal name into the journal file for pager
danielk1977cafadba2004-06-25 11:11:54 +0000615** pPager at the current location. The master journal name must be the last
616** thing written to a journal file. If the pager is in full-sync mode, the
617** journal file descriptor is advanced to the next sector boundary before
618** anything is written. The format is:
619**
620** + 4 bytes: PAGER_MJ_PGNO.
621** + N bytes: length of master journal name.
622** + 4 bytes: N
623** + 4 bytes: Master journal name checksum.
624** + 8 bytes: aJournalMagic[].
625**
626** The master journal page checksum is the sum of the bytes in the master
627** journal name.
danielk197776572402004-06-25 02:38:54 +0000628*/
629static int writeMasterJournal(Pager *pPager, const char *zMaster){
630 int rc;
631 int len;
danielk1977cafadba2004-06-25 11:11:54 +0000632 int i;
danielk1977c3e8f5e2004-06-28 01:16:46 +0000633 u32 cksum = 0;
danielk197776572402004-06-25 02:38:54 +0000634
635 if( !zMaster || pPager->setMaster) return SQLITE_OK;
636 pPager->setMaster = 1;
637
638 len = strlen(zMaster);
danielk1977cafadba2004-06-25 11:11:54 +0000639 for(i=0; i<len; i++){
640 cksum += zMaster[i];
641 }
danielk197776572402004-06-25 02:38:54 +0000642
643 /* If in full-sync mode, advance to the next disk sector before writing
644 ** the master journal name. This is in case the previous page written to
645 ** the journal has already been synced.
646 */
647 if( pPager->fullSync ){
648 rc = seekJournalHdr(pPager);
649 if( rc!=SQLITE_OK ) return rc;
650 }
danielk1977cafadba2004-06-25 11:11:54 +0000651 pPager->journalOff += (len+20);
danielk197776572402004-06-25 02:38:54 +0000652
653 rc = write32bits(&pPager->jfd, PAGER_MJ_PGNO(pPager));
654 if( rc!=SQLITE_OK ) return rc;
655
656 rc = sqlite3OsWrite(&pPager->jfd, zMaster, len);
657 if( rc!=SQLITE_OK ) return rc;
658
659 rc = write32bits(&pPager->jfd, len);
660 if( rc!=SQLITE_OK ) return rc;
661
danielk1977cafadba2004-06-25 11:11:54 +0000662 rc = write32bits(&pPager->jfd, cksum);
663 if( rc!=SQLITE_OK ) return rc;
664
danielk197776572402004-06-25 02:38:54 +0000665 rc = sqlite3OsWrite(&pPager->jfd, aJournalMagic, sizeof(aJournalMagic));
666 return rc;
667}
668
669/*
drh03eb96a2002-11-10 23:32:56 +0000670** Add or remove a page from the list of all pages that are in the
drhac69b052004-05-12 13:30:07 +0000671** statement journal.
drh03eb96a2002-11-10 23:32:56 +0000672**
673** The Pager keeps a separate list of pages that are currently in
drhac69b052004-05-12 13:30:07 +0000674** the statement journal. This helps the sqlite3pager_stmt_commit()
drh03eb96a2002-11-10 23:32:56 +0000675** routine run MUCH faster for the common case where there are many
drhac69b052004-05-12 13:30:07 +0000676** pages in memory but only a few are in the statement journal.
drh03eb96a2002-11-10 23:32:56 +0000677*/
drh3aac2dd2004-04-26 14:10:20 +0000678static void page_add_to_stmt_list(PgHdr *pPg){
drh03eb96a2002-11-10 23:32:56 +0000679 Pager *pPager = pPg->pPager;
drhac69b052004-05-12 13:30:07 +0000680 if( pPg->inStmt ) return;
681 assert( pPg->pPrevStmt==0 && pPg->pNextStmt==0 );
682 pPg->pPrevStmt = 0;
683 if( pPager->pStmt ){
684 pPager->pStmt->pPrevStmt = pPg;
drh03eb96a2002-11-10 23:32:56 +0000685 }
drhac69b052004-05-12 13:30:07 +0000686 pPg->pNextStmt = pPager->pStmt;
687 pPager->pStmt = pPg;
688 pPg->inStmt = 1;
drh03eb96a2002-11-10 23:32:56 +0000689}
drh3aac2dd2004-04-26 14:10:20 +0000690static void page_remove_from_stmt_list(PgHdr *pPg){
drhac69b052004-05-12 13:30:07 +0000691 if( !pPg->inStmt ) return;
692 if( pPg->pPrevStmt ){
693 assert( pPg->pPrevStmt->pNextStmt==pPg );
694 pPg->pPrevStmt->pNextStmt = pPg->pNextStmt;
drh03eb96a2002-11-10 23:32:56 +0000695 }else{
drhac69b052004-05-12 13:30:07 +0000696 assert( pPg->pPager->pStmt==pPg );
697 pPg->pPager->pStmt = pPg->pNextStmt;
drh03eb96a2002-11-10 23:32:56 +0000698 }
drhac69b052004-05-12 13:30:07 +0000699 if( pPg->pNextStmt ){
700 assert( pPg->pNextStmt->pPrevStmt==pPg );
701 pPg->pNextStmt->pPrevStmt = pPg->pPrevStmt;
drh03eb96a2002-11-10 23:32:56 +0000702 }
drhac69b052004-05-12 13:30:07 +0000703 pPg->pNextStmt = 0;
704 pPg->pPrevStmt = 0;
705 pPg->inStmt = 0;
drh03eb96a2002-11-10 23:32:56 +0000706}
707
708/*
drhed7c8552001-04-11 14:29:21 +0000709** Find a page in the hash table given its page number. Return
710** a pointer to the page or NULL if not found.
711*/
drhd9b02572001-04-15 00:37:09 +0000712static PgHdr *pager_lookup(Pager *pPager, Pgno pgno){
drh836faa42003-01-11 13:30:57 +0000713 PgHdr *p = pPager->aHash[pager_hash(pgno)];
drhed7c8552001-04-11 14:29:21 +0000714 while( p && p->pgno!=pgno ){
715 p = p->pNextHash;
716 }
717 return p;
718}
719
720/*
721** Unlock the database and clear the in-memory cache. This routine
722** sets the state of the pager back to what it was when it was first
723** opened. Any outstanding pages are invalidated and subsequent attempts
724** to access those pages will likely result in a coredump.
725*/
drhd9b02572001-04-15 00:37:09 +0000726static void pager_reset(Pager *pPager){
drhed7c8552001-04-11 14:29:21 +0000727 PgHdr *pPg, *pNext;
drhd9b02572001-04-15 00:37:09 +0000728 for(pPg=pPager->pAll; pPg; pPg=pNext){
729 pNext = pPg->pNextAll;
730 sqliteFree(pPg);
drhed7c8552001-04-11 14:29:21 +0000731 }
732 pPager->pFirst = 0;
drh341eae82003-01-21 02:39:36 +0000733 pPager->pFirstSynced = 0;
drhd9b02572001-04-15 00:37:09 +0000734 pPager->pLast = 0;
735 pPager->pAll = 0;
drhed7c8552001-04-11 14:29:21 +0000736 memset(pPager->aHash, 0, sizeof(pPager->aHash));
737 pPager->nPage = 0;
drha6abd042004-06-09 17:37:22 +0000738 if( pPager->state>=PAGER_RESERVED ){
drh3aac2dd2004-04-26 14:10:20 +0000739 sqlite3pager_rollback(pPager);
drhed7c8552001-04-11 14:29:21 +0000740 }
drha6abd042004-06-09 17:37:22 +0000741 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
742 pPager->state = PAGER_UNLOCK;
drhd9b02572001-04-15 00:37:09 +0000743 pPager->dbSize = -1;
drhed7c8552001-04-11 14:29:21 +0000744 pPager->nRef = 0;
drh8cfbf082001-09-19 13:22:39 +0000745 assert( pPager->journalOpen==0 );
drhed7c8552001-04-11 14:29:21 +0000746}
747
748/*
749** When this routine is called, the pager has the journal file open and
drha6abd042004-06-09 17:37:22 +0000750** a RESERVED or EXCLUSIVE lock on the database. This routine releases
751** the database lock and acquires a SHARED lock in its place. The journal
752** file is deleted and closed.
drh50457892003-09-06 01:10:47 +0000753**
754** TODO: Consider keeping the journal file open for temporary databases.
755** This might give a performance improvement on windows where opening
756** a file is an expensive operation.
drhed7c8552001-04-11 14:29:21 +0000757*/
drhd9b02572001-04-15 00:37:09 +0000758static int pager_unwritelock(Pager *pPager){
drhd9b02572001-04-15 00:37:09 +0000759 PgHdr *pPg;
danielk1977eac7a362004-06-16 07:45:24 +0000760 assert( !pPager->memDb );
drha6abd042004-06-09 17:37:22 +0000761 if( pPager->state<PAGER_RESERVED ){
762 return SQLITE_OK;
763 }
drh3aac2dd2004-04-26 14:10:20 +0000764 sqlite3pager_stmt_commit(pPager);
drhac69b052004-05-12 13:30:07 +0000765 if( pPager->stmtOpen ){
766 sqlite3OsClose(&pPager->stfd);
767 pPager->stmtOpen = 0;
drh0f892532002-05-30 12:27:03 +0000768 }
drhda47d772002-12-02 04:25:19 +0000769 if( pPager->journalOpen ){
danielk19774adee202004-05-08 08:23:19 +0000770 sqlite3OsClose(&pPager->jfd);
drhda47d772002-12-02 04:25:19 +0000771 pPager->journalOpen = 0;
danielk19774adee202004-05-08 08:23:19 +0000772 sqlite3OsDelete(pPager->zJournal);
drhda47d772002-12-02 04:25:19 +0000773 sqliteFree( pPager->aInJournal );
774 pPager->aInJournal = 0;
775 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
776 pPg->inJournal = 0;
777 pPg->dirty = 0;
drhdb48ee02003-01-16 13:42:43 +0000778 pPg->needSync = 0;
drhda47d772002-12-02 04:25:19 +0000779 }
danielk1977ef317ab2004-06-23 10:43:10 +0000780 pPager->dirtyCache = 0;
danielk1977ef317ab2004-06-23 10:43:10 +0000781 pPager->nRec = 0;
drhda47d772002-12-02 04:25:19 +0000782 }else{
drha6abd042004-06-09 17:37:22 +0000783 assert( pPager->dirtyCache==0 || pPager->useJournal==0 );
drhd9b02572001-04-15 00:37:09 +0000784 }
drha6abd042004-06-09 17:37:22 +0000785 sqlite3OsUnlock(&pPager->fd, SHARED_LOCK);
786 pPager->state = PAGER_SHARED;
danielk1977ef317ab2004-06-23 10:43:10 +0000787 pPager->origDbSize = 0;
danielk197776572402004-06-25 02:38:54 +0000788 pPager->setMaster = 0;
drha6abd042004-06-09 17:37:22 +0000789 return SQLITE_OK;
drhed7c8552001-04-11 14:29:21 +0000790}
791
drhed7c8552001-04-11 14:29:21 +0000792/*
drh968af522003-02-11 14:55:40 +0000793** Compute and return a checksum for the page of data.
drh34e79ce2004-02-08 06:05:46 +0000794**
795** This is not a real checksum. It is really just the sum of the
drh726de592004-06-10 23:35:50 +0000796** random initial value and the page number. We experimented with
797** a checksum of the entire data, but that was found to be too slow.
798**
799** Note that the page number is stored at the beginning of data and
800** the checksum is stored at the end. This is important. If journal
801** corruption occurs due to a power failure, the most likely scenario
802** is that one end or the other of the record will be changed. It is
803** much less likely that the two ends of the journal record will be
804** correct and the middle be corrupt. Thus, this "checksum" scheme,
805** though fast and simple, catches the mostly likely kind of corruption.
806**
807** FIX ME: Consider adding every 200th (or so) byte of the data to the
808** checksum. That way if a single page spans 3 or more disk sectors and
809** only the middle sector is corrupt, we will still have a reasonable
810** chance of failing the checksum and thus detecting the problem.
drh968af522003-02-11 14:55:40 +0000811*/
812static u32 pager_cksum(Pager *pPager, Pgno pgno, const char *aData){
danielk1977ef317ab2004-06-23 10:43:10 +0000813 u32 cksum = pPager->cksumInit;
814 int i = pPager->pageSize-200;
815 while( i>0 ){
816 cksum += aData[i];
817 i -= 200;
818 }
drh968af522003-02-11 14:55:40 +0000819 return cksum;
820}
821
822/*
drhfa86c412002-02-02 15:01:15 +0000823** Read a single page from the journal file opened on file descriptor
824** jfd. Playback this one page.
drh968af522003-02-11 14:55:40 +0000825**
drh726de592004-06-10 23:35:50 +0000826** If useCksum==0 it means this journal does not use checksums. Checksums
827** are not used in statement journals because statement journals do not
828** need to survive power failures.
drhfa86c412002-02-02 15:01:15 +0000829*/
drhae2b40c2004-06-09 19:03:54 +0000830static int pager_playback_one_page(Pager *pPager, OsFile *jfd, int useCksum){
drhfa86c412002-02-02 15:01:15 +0000831 int rc;
drhae2b40c2004-06-09 19:03:54 +0000832 PgHdr *pPg; /* An existing page in the cache */
833 Pgno pgno; /* The page number of a page in journal */
834 u32 cksum; /* Checksum used for sanity checking */
835 u8 aData[SQLITE_PAGE_SIZE]; /* Store data here */
drhfa86c412002-02-02 15:01:15 +0000836
drhae2b40c2004-06-09 19:03:54 +0000837 rc = read32bits(jfd, &pgno);
drh99ee3602003-02-16 19:13:36 +0000838 if( rc!=SQLITE_OK ) return rc;
drhae2b40c2004-06-09 19:03:54 +0000839 rc = sqlite3OsRead(jfd, &aData, pPager->pageSize);
drh99ee3602003-02-16 19:13:36 +0000840 if( rc!=SQLITE_OK ) return rc;
danielk197776572402004-06-25 02:38:54 +0000841 pPager->journalOff += pPager->pageSize + 4;
drhfa86c412002-02-02 15:01:15 +0000842
drh968af522003-02-11 14:55:40 +0000843 /* Sanity checking on the page. This is more important that I originally
844 ** thought. If a power failure occurs while the journal is being written,
845 ** it could cause invalid data to be written into the journal. We need to
846 ** detect this invalid data (with high probability) and ignore it.
847 */
danielk197775edc162004-06-26 01:48:18 +0000848 if( pgno==0 || pgno==PAGER_MJ_PGNO(pPager) ){
drh968af522003-02-11 14:55:40 +0000849 return SQLITE_DONE;
850 }
drhae2b40c2004-06-09 19:03:54 +0000851 if( pgno>(unsigned)pPager->dbSize ){
drh968af522003-02-11 14:55:40 +0000852 return SQLITE_OK;
853 }
drhae2b40c2004-06-09 19:03:54 +0000854 if( useCksum ){
855 rc = read32bits(jfd, &cksum);
drh99ee3602003-02-16 19:13:36 +0000856 if( rc ) return rc;
danielk197776572402004-06-25 02:38:54 +0000857 pPager->journalOff += 4;
drhae2b40c2004-06-09 19:03:54 +0000858 if( pager_cksum(pPager, pgno, aData)!=cksum ){
drh968af522003-02-11 14:55:40 +0000859 return SQLITE_DONE;
860 }
861 }
drhfa86c412002-02-02 15:01:15 +0000862
danielk1977aa5ccdf2004-06-14 05:10:42 +0000863 assert( pPager->state==PAGER_RESERVED || pPager->state>=PAGER_EXCLUSIVE );
danielk1977a3f3a5f2004-06-10 04:32:16 +0000864
865 /* If the pager is in RESERVED state, then there must be a copy of this
866 ** page in the pager cache. In this case just update the pager cache,
danielk19770de0bb32004-06-10 05:59:24 +0000867 ** not the database file. The page is left marked dirty in this case.
868 **
danielk1977a3f3a5f2004-06-10 04:32:16 +0000869 ** If in EXCLUSIVE state, then we update the pager cache if it exists
870 ** and the main file. The page is then marked not dirty.
drhfa86c412002-02-02 15:01:15 +0000871 */
drhae2b40c2004-06-09 19:03:54 +0000872 pPg = pager_lookup(pPager, pgno);
danielk1977aa5ccdf2004-06-14 05:10:42 +0000873 assert( pPager->state>=PAGER_EXCLUSIVE || pPg );
drhae2b40c2004-06-09 19:03:54 +0000874 TRACE2("PLAYBACK page %d\n", pgno);
danielk1977aa5ccdf2004-06-14 05:10:42 +0000875 if( pPager->state>=PAGER_EXCLUSIVE ){
danielk1977a3f3a5f2004-06-10 04:32:16 +0000876 sqlite3OsSeek(&pPager->fd, (pgno-1)*(off_t)SQLITE_PAGE_SIZE);
877 rc = sqlite3OsWrite(&pPager->fd, aData, SQLITE_PAGE_SIZE);
878 }
drhfa86c412002-02-02 15:01:15 +0000879 if( pPg ){
drhacf4ac92003-12-17 23:57:34 +0000880 /* No page should ever be rolled back that is in use, except for page
881 ** 1 which is held in use in order to keep the lock on the database
882 ** active.
883 */
drhb6f41482004-05-14 01:58:11 +0000884 void *pData;
drhacf4ac92003-12-17 23:57:34 +0000885 assert( pPg->nRef==0 || pPg->pgno==1 );
drhb6f41482004-05-14 01:58:11 +0000886 pData = PGHDR_TO_DATA(pPg);
drhae2b40c2004-06-09 19:03:54 +0000887 memcpy(pData, aData, pPager->pageSize);
drh726de592004-06-10 23:35:50 +0000888 if( pPager->xDestructor ){ /*** FIX ME: Should this be xReinit? ***/
drhb6f41482004-05-14 01:58:11 +0000889 pPager->xDestructor(pData, pPager->pageSize);
drhde647132004-05-07 17:57:49 +0000890 }
danielk1977aa5ccdf2004-06-14 05:10:42 +0000891 if( pPager->state>=PAGER_EXCLUSIVE ){
danielk19770de0bb32004-06-10 05:59:24 +0000892 pPg->dirty = 0;
893 pPg->needSync = 0;
894 }
drhb6f41482004-05-14 01:58:11 +0000895 CODEC(pPager, pData, pPg->pgno, 3);
drhfa86c412002-02-02 15:01:15 +0000896 }
897 return rc;
898}
899
900/*
danielk197713adf8a2004-06-03 16:08:41 +0000901** Parameter zMaster is the name of a master journal file. A single journal
902** file that referred to the master journal file has just been rolled back.
903** This routine checks if it is possible to delete the master journal file,
904** and does so if it is.
drh726de592004-06-10 23:35:50 +0000905**
906** The master journal file contains the names of all child journals.
907** To tell if a master journal can be deleted, check to each of the
908** children. If all children are either missing or do not refer to
909** a different master journal, then this master journal can be deleted.
danielk197713adf8a2004-06-03 16:08:41 +0000910*/
911static int pager_delmaster(const char *zMaster){
912 int rc;
913 int master_open = 0;
914 OsFile master;
915 char *zMasterJournal = 0; /* Contents of master journal file */
916 off_t nMasterJournal; /* Size of master journal file */
917
918 /* Open the master journal file exclusively in case some other process
919 ** is running this routine also. Not that it makes too much difference.
920 */
drhda71ce12004-06-21 18:14:45 +0000921 memset(&master, 0, sizeof(master));
danielk19778191bff2004-06-28 04:52:30 +0000922 rc = sqlite3OsOpenReadOnly(zMaster, &master);
danielk197713adf8a2004-06-03 16:08:41 +0000923 if( rc!=SQLITE_OK ) goto delmaster_out;
924 master_open = 1;
danielk197713adf8a2004-06-03 16:08:41 +0000925 rc = sqlite3OsFileSize(&master, &nMasterJournal);
926 if( rc!=SQLITE_OK ) goto delmaster_out;
927
928 if( nMasterJournal>0 ){
danielk19775865e3d2004-06-14 06:03:57 +0000929 char *zJournal;
danielk197776572402004-06-25 02:38:54 +0000930 char *zMasterPtr = 0;
danielk19775865e3d2004-06-14 06:03:57 +0000931
932 /* Load the entire master journal file into space obtained from
933 ** sqliteMalloc() and pointed to by zMasterJournal.
danielk19775865e3d2004-06-14 06:03:57 +0000934 */
danielk197776572402004-06-25 02:38:54 +0000935 zMasterJournal = (char *)sqliteMalloc(nMasterJournal);
danielk197713adf8a2004-06-03 16:08:41 +0000936 if( !zMasterJournal ){
937 rc = SQLITE_NOMEM;
938 goto delmaster_out;
939 }
940 rc = sqlite3OsRead(&master, zMasterJournal, nMasterJournal);
941 if( rc!=SQLITE_OK ) goto delmaster_out;
942
danielk19775865e3d2004-06-14 06:03:57 +0000943 zJournal = zMasterJournal;
944 while( (zJournal-zMasterJournal)<nMasterJournal ){
danielk197713adf8a2004-06-03 16:08:41 +0000945 if( sqlite3OsFileExists(zJournal) ){
946 /* One of the journals pointed to by the master journal exists.
947 ** Open it and check if it points at the master journal. If
948 ** so, return without deleting the master journal file.
949 */
950 OsFile journal;
danielk197713adf8a2004-06-03 16:08:41 +0000951
drhda71ce12004-06-21 18:14:45 +0000952 memset(&journal, 0, sizeof(journal));
danielk197713adf8a2004-06-03 16:08:41 +0000953 rc = sqlite3OsOpenReadOnly(zJournal, &journal);
954 if( rc!=SQLITE_OK ){
danielk197713adf8a2004-06-03 16:08:41 +0000955 goto delmaster_out;
956 }
danielk197713adf8a2004-06-03 16:08:41 +0000957
danielk197776572402004-06-25 02:38:54 +0000958 rc = readMasterJournal(&journal, &zMasterPtr);
959 sqlite3OsClose(&journal);
danielk19779eed5052004-06-04 10:38:30 +0000960 if( rc!=SQLITE_OK ){
danielk19779eed5052004-06-04 10:38:30 +0000961 goto delmaster_out;
962 }
danielk197776572402004-06-25 02:38:54 +0000963
964 if( zMasterPtr && !strcmp(zMasterPtr, zMaster) ){
965 /* We have a match. Do not delete the master journal file. */
966 goto delmaster_out;
danielk197713adf8a2004-06-03 16:08:41 +0000967 }
968 }
danielk19775865e3d2004-06-14 06:03:57 +0000969 zJournal += (strlen(zJournal)+1);
danielk197713adf8a2004-06-03 16:08:41 +0000970 }
971 }
972
973 sqlite3OsDelete(zMaster);
974
975delmaster_out:
976 if( zMasterJournal ){
977 sqliteFree(zMasterJournal);
978 }
979 if( master_open ){
980 sqlite3OsClose(&master);
981 }
982 return rc;
983}
984
985/*
drha6abd042004-06-09 17:37:22 +0000986** Make every page in the cache agree with what is on disk. In other words,
987** reread the disk to reset the state of the cache.
988**
989** This routine is called after a rollback in which some of the dirty cache
990** pages had never been written out to disk. We need to roll back the
991** cache content and the easiest way to do that is to reread the old content
992** back from the disk.
993*/
994static int pager_reload_cache(Pager *pPager){
995 PgHdr *pPg;
996 int rc = SQLITE_OK;
997 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
998 char zBuf[SQLITE_PAGE_SIZE];
999 if( !pPg->dirty ) continue;
1000 if( (int)pPg->pgno <= pPager->origDbSize ){
1001 sqlite3OsSeek(&pPager->fd, SQLITE_PAGE_SIZE*(off_t)(pPg->pgno-1));
1002 rc = sqlite3OsRead(&pPager->fd, zBuf, SQLITE_PAGE_SIZE);
1003 TRACE2("REFETCH page %d\n", pPg->pgno);
1004 CODEC(pPager, zBuf, pPg->pgno, 2);
1005 if( rc ) break;
1006 }else{
1007 memset(zBuf, 0, SQLITE_PAGE_SIZE);
1008 }
1009 if( pPg->nRef==0 || memcmp(zBuf, PGHDR_TO_DATA(pPg), SQLITE_PAGE_SIZE) ){
1010 memcpy(PGHDR_TO_DATA(pPg), zBuf, SQLITE_PAGE_SIZE);
1011 if( pPager->xReiniter ){
1012 pPager->xReiniter(PGHDR_TO_DATA(pPg), pPager->pageSize);
1013 }else{
1014 memset(PGHDR_TO_EXTRA(pPg), 0, pPager->nExtra);
1015 }
1016 }
1017 pPg->needSync = 0;
1018 pPg->dirty = 0;
1019 }
1020 return rc;
1021}
1022
drha6abd042004-06-09 17:37:22 +00001023/*
drhed7c8552001-04-11 14:29:21 +00001024** Playback the journal and thus restore the database file to
1025** the state it was in before we started making changes.
1026**
drh34e79ce2004-02-08 06:05:46 +00001027** The journal file format is as follows:
1028**
drhae2b40c2004-06-09 19:03:54 +00001029** (1) 8 byte prefix. A copy of aJournalMagic[].
1030** (2) 4 byte big-endian integer which is the number of valid page records
drh34e79ce2004-02-08 06:05:46 +00001031** in the journal. If this value is 0xffffffff, then compute the
drhae2b40c2004-06-09 19:03:54 +00001032** number of page records from the journal size.
1033** (3) 4 byte big-endian integer which is the initial value for the
1034** sanity checksum.
1035** (4) 4 byte integer which is the number of pages to truncate the
drh34e79ce2004-02-08 06:05:46 +00001036** database to during a rollback.
drhae2b40c2004-06-09 19:03:54 +00001037** (5) 4 byte integer which is the number of bytes in the master journal
1038** name. The value may be zero (indicate that there is no master
1039** journal.)
1040** (6) N bytes of the master journal name. The name will be nul-terminated
1041** and might be shorter than the value read from (5). If the first byte
1042** of the name is \000 then there is no master journal. The master
1043** journal name is stored in UTF-8.
1044** (7) Zero or more pages instances, each as follows:
drh34e79ce2004-02-08 06:05:46 +00001045** + 4 byte page number.
drhae2b40c2004-06-09 19:03:54 +00001046** + pPager->pageSize bytes of data.
1047** + 4 byte checksum
drh34e79ce2004-02-08 06:05:46 +00001048**
drhae2b40c2004-06-09 19:03:54 +00001049** When we speak of the journal header, we mean the first 6 items above.
1050** Each entry in the journal is an instance of the 7th item.
drh34e79ce2004-02-08 06:05:46 +00001051**
1052** Call the value from the second bullet "nRec". nRec is the number of
1053** valid page entries in the journal. In most cases, you can compute the
1054** value of nRec from the size of the journal file. But if a power
1055** failure occurred while the journal was being written, it could be the
1056** case that the size of the journal file had already been increased but
1057** the extra entries had not yet made it safely to disk. In such a case,
1058** the value of nRec computed from the file size would be too large. For
1059** that reason, we always use the nRec value in the header.
1060**
1061** If the nRec value is 0xffffffff it means that nRec should be computed
1062** from the file size. This value is used when the user selects the
1063** no-sync option for the journal. A power failure could lead to corruption
1064** in this case. But for things like temporary table (which will be
1065** deleted when the power is restored) we don't care.
1066**
drhd9b02572001-04-15 00:37:09 +00001067** If the file opened as the journal file is not a well-formed
danielk1977ece80f12004-06-23 01:05:26 +00001068** journal file then all pages up to the first corrupted page are rolled
1069** back (or no pages if the journal header is corrupted). The journal file
1070** is then deleted and SQLITE_OK returned, just as if no corruption had
1071** been encountered.
1072**
1073** If an I/O or malloc() error occurs, the journal-file is not deleted
1074** and an error code is returned.
drhed7c8552001-04-11 14:29:21 +00001075*/
danielk197776572402004-06-25 02:38:54 +00001076static int pager_playback(Pager *pPager){
drh968af522003-02-11 14:55:40 +00001077 off_t szJ; /* Size of the journal file in bytes */
danielk1977c3e8f5e2004-06-28 01:16:46 +00001078 u32 nRec; /* Number of Records in the journal */
drhd9b02572001-04-15 00:37:09 +00001079 int i; /* Loop counter */
1080 Pgno mxPg = 0; /* Size of the original file in pages */
drhae2b40c2004-06-09 19:03:54 +00001081 int rc; /* Result code of a subroutine */
danielk197713adf8a2004-06-03 16:08:41 +00001082 char *zMaster = 0; /* Name of master journal file if any */
drhed7c8552001-04-11 14:29:21 +00001083
drhc3a64ba2001-11-22 00:01:27 +00001084 /* Figure out how many records are in the journal. Abort early if
1085 ** the journal is empty.
drhed7c8552001-04-11 14:29:21 +00001086 */
drh8cfbf082001-09-19 13:22:39 +00001087 assert( pPager->journalOpen );
danielk19774adee202004-05-08 08:23:19 +00001088 rc = sqlite3OsFileSize(&pPager->jfd, &szJ);
drhc3a64ba2001-11-22 00:01:27 +00001089 if( rc!=SQLITE_OK ){
1090 goto end_playback;
1091 }
drh240c5792004-02-08 00:40:52 +00001092
danielk197776572402004-06-25 02:38:54 +00001093 /* Read the master journal name from the journal, if it is present.
1094 ** If a master journal file name is specified, but the file is not
1095 ** present on disk, then the journal is not hot and does not need to be
1096 ** played back.
drh240c5792004-02-08 00:40:52 +00001097 */
danielk197776572402004-06-25 02:38:54 +00001098 rc = readMasterJournal(&pPager->jfd, &zMaster);
1099 assert( rc!=SQLITE_DONE );
1100 if( rc!=SQLITE_OK || (zMaster && !sqlite3OsFileExists(zMaster)) ){
1101 sqliteFree(zMaster);
1102 zMaster = 0;
1103 if( rc==SQLITE_DONE ) rc = SQLITE_OK;
drhc3a64ba2001-11-22 00:01:27 +00001104 goto end_playback;
1105 }
danielk197776572402004-06-25 02:38:54 +00001106 sqlite3OsSeek(&pPager->jfd, 0);
1107 pPager->journalOff = 0;
drhc3a64ba2001-11-22 00:01:27 +00001108
danielk197776572402004-06-25 02:38:54 +00001109 /* This loop terminates either when the readJournalHdr() call returns
1110 ** SQLITE_DONE or an IO error occurs. */
1111 while( 1 ){
drhae2b40c2004-06-09 19:03:54 +00001112
danielk197776572402004-06-25 02:38:54 +00001113 /* Read the next journal header from the journal file. If there are
1114 ** not enough bytes left in the journal file for a complete header, or
1115 ** it is corrupted, then a process must of failed while writing it.
1116 ** This indicates nothing more needs to be rolled back.
1117 */
1118 rc = readJournalHdr(pPager, szJ, &nRec, &mxPg);
1119 if( rc!=SQLITE_OK ){
drh968af522003-02-11 14:55:40 +00001120 if( rc==SQLITE_DONE ){
drh968af522003-02-11 14:55:40 +00001121 rc = SQLITE_OK;
1122 }
danielk197776572402004-06-25 02:38:54 +00001123 goto end_playback;
1124 }
1125
1126 /* If nRec is 0xffffffff, then this journal was created by a process
1127 ** working in no-sync mode. This means that the rest of the journal
1128 ** file consists of pages, there are no more journal headers. Compute
1129 ** the value of nRec based on this assumption.
1130 */
1131 if( nRec==0xffffffff ){
1132 assert( pPager->journalOff==JOURNAL_HDR_SZ(pPager) );
1133 nRec = (szJ - JOURNAL_HDR_SZ(pPager))/JOURNAL_PG_SZ(pPager);
1134 }
1135
1136 /* If this is the first header read from the journal, truncate the
1137 ** database file back to it's original size.
1138 */
1139 if( pPager->journalOff==JOURNAL_HDR_SZ(pPager) ){
1140 assert( pPager->origDbSize==0 || pPager->origDbSize==mxPg );
1141 rc = sqlite3OsTruncate(&pPager->fd, SQLITE_PAGE_SIZE*(off_t)mxPg);
1142 if( rc!=SQLITE_OK ){
1143 goto end_playback;
1144 }
1145 pPager->dbSize = mxPg;
1146 }
1147
1148 /* rc = sqlite3OsSeek(&pPager->jfd, JOURNAL_HDR_SZ(pPager)); */
1149 if( rc!=SQLITE_OK ) goto end_playback;
1150
1151 /* Copy original pages out of the journal and back into the database file.
1152 */
1153 for(i=0; i<nRec; i++){
1154 rc = pager_playback_one_page(pPager, &pPager->jfd, 1);
1155 if( rc!=SQLITE_OK ){
1156 if( rc==SQLITE_DONE ){
1157 rc = SQLITE_OK;
1158 pPager->journalOff = szJ;
1159 break;
1160 }else{
1161 goto end_playback;
1162 }
1163 }
drh968af522003-02-11 14:55:40 +00001164 }
drhed7c8552001-04-11 14:29:21 +00001165 }
drh81a20f22001-10-12 17:30:04 +00001166
drh4a0681e2003-02-13 01:58:20 +00001167 /* Pages that have been written to the journal but never synced
1168 ** where not restored by the loop above. We have to restore those
drh240c5792004-02-08 00:40:52 +00001169 ** pages by reading them back from the original database.
drhdb48ee02003-01-16 13:42:43 +00001170 */
danielk197776572402004-06-25 02:38:54 +00001171 assert( rc==SQLITE_OK );
1172 pager_reload_cache(pPager);
drh4a0681e2003-02-13 01:58:20 +00001173
1174end_playback:
danielk19778191bff2004-06-28 04:52:30 +00001175 if( rc==SQLITE_OK ){
1176 rc = pager_unwritelock(pPager);
1177 }
danielk197713adf8a2004-06-03 16:08:41 +00001178 if( zMaster ){
1179 /* If there was a master journal and this routine will return true,
1180 ** see if it is possible to delete the master journal. If errors
1181 ** occur during this process, ignore them.
1182 */
1183 if( rc==SQLITE_OK ){
1184 pager_delmaster(zMaster);
1185 }
1186 sqliteFree(zMaster);
1187 }
danielk197776572402004-06-25 02:38:54 +00001188
1189 /* The Pager.sectorSize variable may have been updated while rolling
1190 ** back a journal created by a process with a different PAGER_SECTOR_SIZE
1191 ** value. Reset it to the correct value for this process.
1192 */
1193 pPager->sectorSize = PAGER_SECTOR_SIZE;
drhd9b02572001-04-15 00:37:09 +00001194 return rc;
drhed7c8552001-04-11 14:29:21 +00001195}
1196
1197/*
drhac69b052004-05-12 13:30:07 +00001198** Playback the statement journal.
drhfa86c412002-02-02 15:01:15 +00001199**
1200** This is similar to playing back the transaction journal but with
1201** a few extra twists.
1202**
drh663fc632002-02-02 18:49:19 +00001203** (1) The number of pages in the database file at the start of
drhac69b052004-05-12 13:30:07 +00001204** the statement is stored in pPager->stmtSize, not in the
drh663fc632002-02-02 18:49:19 +00001205** journal file itself.
drhfa86c412002-02-02 15:01:15 +00001206**
drhac69b052004-05-12 13:30:07 +00001207** (2) In addition to playing back the statement journal, also
drhfa86c412002-02-02 15:01:15 +00001208** playback all pages of the transaction journal beginning
drhac69b052004-05-12 13:30:07 +00001209** at offset pPager->stmtJSize.
drhfa86c412002-02-02 15:01:15 +00001210*/
drh3aac2dd2004-04-26 14:10:20 +00001211static int pager_stmt_playback(Pager *pPager){
drh968af522003-02-11 14:55:40 +00001212 off_t szJ; /* Size of the full journal */
danielk197776572402004-06-25 02:38:54 +00001213 off_t hdrOff;
drh968af522003-02-11 14:55:40 +00001214 int nRec; /* Number of Records */
drhfa86c412002-02-02 15:01:15 +00001215 int i; /* Loop counter */
1216 int rc;
1217
danielk197776572402004-06-25 02:38:54 +00001218 szJ = pPager->journalOff;
1219#ifndef NDEBUG
1220 {
1221 off_t os_szJ;
1222 rc = sqlite3OsFileSize(&pPager->jfd, &os_szJ);
1223 if( rc!=SQLITE_OK ) return rc;
1224 assert( szJ==os_szJ );
1225 }
1226#endif
1227
1228 /* Set hdrOff to be the offset to the first journal header written
1229 ** this statement transaction, or the end of the file if no journal
1230 ** header was written.
1231 */
1232 hdrOff = pPager->stmtHdrOff;
1233 assert( pPager->fullSync || !hdrOff );
1234 if( !hdrOff ){
1235 hdrOff = szJ;
1236 }
1237
1238
drhfa86c412002-02-02 15:01:15 +00001239 /* Truncate the database back to its original size.
1240 */
drhac69b052004-05-12 13:30:07 +00001241 rc = sqlite3OsTruncate(&pPager->fd, SQLITE_PAGE_SIZE*(off_t)pPager->stmtSize);
1242 pPager->dbSize = pPager->stmtSize;
drhfa86c412002-02-02 15:01:15 +00001243
drhac69b052004-05-12 13:30:07 +00001244 /* Figure out how many records are in the statement journal.
drhfa86c412002-02-02 15:01:15 +00001245 */
drhac69b052004-05-12 13:30:07 +00001246 assert( pPager->stmtInUse && pPager->journalOpen );
1247 sqlite3OsSeek(&pPager->stfd, 0);
1248 nRec = pPager->stmtNRec;
drhfa86c412002-02-02 15:01:15 +00001249
drhac69b052004-05-12 13:30:07 +00001250 /* Copy original pages out of the statement journal and back into the
drhae2b40c2004-06-09 19:03:54 +00001251 ** database file. Note that the statement journal omits checksums from
1252 ** each record since power-failure recovery is not important to statement
1253 ** journals.
drhfa86c412002-02-02 15:01:15 +00001254 */
1255 for(i=nRec-1; i>=0; i--){
drhae2b40c2004-06-09 19:03:54 +00001256 rc = pager_playback_one_page(pPager, &pPager->stfd, 0);
drh968af522003-02-11 14:55:40 +00001257 assert( rc!=SQLITE_DONE );
drh3aac2dd2004-04-26 14:10:20 +00001258 if( rc!=SQLITE_OK ) goto end_stmt_playback;
drhfa86c412002-02-02 15:01:15 +00001259 }
1260
danielk197776572402004-06-25 02:38:54 +00001261 /* Now roll some pages back from the transaction journal. Pager.stmtJSize
1262 ** was the size of the journal file when this statement was started, so
1263 ** everything after that needs to be rolled back, either into the
1264 ** database, the memory cache, or both.
1265 **
1266 ** If it is not zero, then Pager.stmtHdrOff is the offset to the start
1267 ** of the first journal header written during this statement transaction.
drhfa86c412002-02-02 15:01:15 +00001268 */
drhac69b052004-05-12 13:30:07 +00001269 rc = sqlite3OsSeek(&pPager->jfd, pPager->stmtJSize);
drhfa86c412002-02-02 15:01:15 +00001270 if( rc!=SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00001271 goto end_stmt_playback;
drhfa86c412002-02-02 15:01:15 +00001272 }
danielk197776572402004-06-25 02:38:54 +00001273 pPager->journalOff = pPager->stmtJSize;
danielk197775edc162004-06-26 01:48:18 +00001274 pPager->cksumInit = pPager->stmtCksum;
1275 assert( JOURNAL_HDR_SZ(pPager)<(pPager->pageSize+8) );
1276 while( pPager->journalOff <= (hdrOff-(pPager->pageSize+8)) ){
drhae2b40c2004-06-09 19:03:54 +00001277 rc = pager_playback_one_page(pPager, &pPager->jfd, 1);
danielk197776572402004-06-25 02:38:54 +00001278 assert( rc!=SQLITE_DONE );
1279 if( rc!=SQLITE_OK ) goto end_stmt_playback;
1280 }
1281
1282 while( pPager->journalOff < szJ ){
1283 u32 nRec;
1284 u32 dummy;
1285 rc = readJournalHdr(pPager, szJ, &nRec, &dummy);
drh968af522003-02-11 14:55:40 +00001286 if( rc!=SQLITE_OK ){
1287 assert( rc!=SQLITE_DONE );
drh3aac2dd2004-04-26 14:10:20 +00001288 goto end_stmt_playback;
drh968af522003-02-11 14:55:40 +00001289 }
danielk197775edc162004-06-26 01:48:18 +00001290 if( nRec==0 ){
1291 nRec = (szJ - pPager->journalOff) / (pPager->pageSize+8);
1292 }
danielk197776572402004-06-25 02:38:54 +00001293 for(i=nRec-1; i>=0 && pPager->journalOff < szJ; i--){
1294 rc = pager_playback_one_page(pPager, &pPager->jfd, 1);
1295 assert( rc!=SQLITE_DONE );
1296 if( rc!=SQLITE_OK ) goto end_stmt_playback;
1297 }
drhfa86c412002-02-02 15:01:15 +00001298 }
danielk197776572402004-06-25 02:38:54 +00001299
1300 pPager->journalOff = szJ;
drhfa86c412002-02-02 15:01:15 +00001301
drh3aac2dd2004-04-26 14:10:20 +00001302end_stmt_playback:
drhfa86c412002-02-02 15:01:15 +00001303 if( rc!=SQLITE_OK ){
drhfa86c412002-02-02 15:01:15 +00001304 pPager->errMask |= PAGER_ERR_CORRUPT;
1305 rc = SQLITE_CORRUPT;
danielk197775edc162004-06-26 01:48:18 +00001306 }else{
1307 pPager->journalOff = szJ;
1308 /* pager_reload_cache(pPager); */
drhfa86c412002-02-02 15:01:15 +00001309 }
1310 return rc;
1311}
1312
1313/*
drhf57b14a2001-09-14 18:54:08 +00001314** Change the maximum number of in-memory pages that are allowed.
drhcd61c282002-03-06 22:01:34 +00001315**
1316** The maximum number is the absolute value of the mxPage parameter.
1317** If mxPage is negative, the noSync flag is also set. noSync bypasses
danielk19774adee202004-05-08 08:23:19 +00001318** calls to sqlite3OsSync(). The pager runs much faster with noSync on,
drhcd61c282002-03-06 22:01:34 +00001319** but if the operating system crashes or there is an abrupt power
1320** failure, the database file might be left in an inconsistent and
1321** unrepairable state.
drhf57b14a2001-09-14 18:54:08 +00001322*/
drh3aac2dd2004-04-26 14:10:20 +00001323void sqlite3pager_set_cachesize(Pager *pPager, int mxPage){
drh603240c2002-03-05 01:11:12 +00001324 if( mxPage>=0 ){
drha1680452002-04-18 01:56:57 +00001325 pPager->noSync = pPager->tempFile;
danielk19771d850a72004-05-31 08:26:49 +00001326 if( pPager->noSync ) pPager->needSync = 0;
drh603240c2002-03-05 01:11:12 +00001327 }else{
1328 pPager->noSync = 1;
1329 mxPage = -mxPage;
1330 }
drhf57b14a2001-09-14 18:54:08 +00001331 if( mxPage>10 ){
1332 pPager->mxPage = mxPage;
danielk1977ef317ab2004-06-23 10:43:10 +00001333 }else{
1334 pPager->mxPage = 10;
drhf57b14a2001-09-14 18:54:08 +00001335 }
1336}
1337
1338/*
drh973b6e32003-02-12 14:09:42 +00001339** Adjust the robustness of the database to damage due to OS crashes
1340** or power failures by changing the number of syncs()s when writing
1341** the rollback journal. There are three levels:
1342**
danielk19774adee202004-05-08 08:23:19 +00001343** OFF sqlite3OsSync() is never called. This is the default
drh973b6e32003-02-12 14:09:42 +00001344** for temporary and transient files.
1345**
1346** NORMAL The journal is synced once before writes begin on the
1347** database. This is normally adequate protection, but
1348** it is theoretically possible, though very unlikely,
1349** that an inopertune power failure could leave the journal
1350** in a state which would cause damage to the database
1351** when it is rolled back.
1352**
1353** FULL The journal is synced twice before writes begin on the
drh34e79ce2004-02-08 06:05:46 +00001354** database (with some additional information - the nRec field
1355** of the journal header - being written in between the two
1356** syncs). If we assume that writing a
drh973b6e32003-02-12 14:09:42 +00001357** single disk sector is atomic, then this mode provides
1358** assurance that the journal will not be corrupted to the
1359** point of causing damage to the database during rollback.
1360**
1361** Numeric values associated with these states are OFF==1, NORMAL=2,
1362** and FULL=3.
1363*/
drh3aac2dd2004-04-26 14:10:20 +00001364void sqlite3pager_set_safety_level(Pager *pPager, int level){
drh973b6e32003-02-12 14:09:42 +00001365 pPager->noSync = level==1 || pPager->tempFile;
1366 pPager->fullSync = level==3 && !pPager->tempFile;
danielk19771d850a72004-05-31 08:26:49 +00001367 if( pPager->noSync ) pPager->needSync = 0;
drh973b6e32003-02-12 14:09:42 +00001368}
1369
1370/*
drhfa86c412002-02-02 15:01:15 +00001371** Open a temporary file. Write the name of the file into zName
1372** (zName must be at least SQLITE_TEMPNAME_SIZE bytes long.) Write
1373** the file descriptor into *fd. Return SQLITE_OK on success or some
1374** other error code if we fail.
1375**
1376** The OS will automatically delete the temporary file when it is
1377** closed.
1378*/
drh3aac2dd2004-04-26 14:10:20 +00001379static int sqlite3pager_opentemp(char *zFile, OsFile *fd){
drhfa86c412002-02-02 15:01:15 +00001380 int cnt = 8;
1381 int rc;
1382 do{
1383 cnt--;
danielk19774adee202004-05-08 08:23:19 +00001384 sqlite3OsTempFileName(zFile);
1385 rc = sqlite3OsOpenExclusive(zFile, fd, 1);
danielk197713073932004-06-30 11:54:06 +00001386 }while( cnt>0 && rc!=SQLITE_OK && rc!=SQLITE_NOMEM );
drhfa86c412002-02-02 15:01:15 +00001387 return rc;
1388}
1389
1390/*
drhed7c8552001-04-11 14:29:21 +00001391** Create a new page cache and put a pointer to the page cache in *ppPager.
drh5e00f6c2001-09-13 13:46:56 +00001392** The file to be cached need not exist. The file is not locked until
drh3aac2dd2004-04-26 14:10:20 +00001393** the first call to sqlite3pager_get() and is only held open until the
1394** last page is released using sqlite3pager_unref().
drh382c0242001-10-06 16:33:02 +00001395**
drh6446c4d2001-12-15 14:22:18 +00001396** If zFilename is NULL then a randomly-named temporary file is created
1397** and used as the file to be cached. The file will be deleted
1398** automatically when it is closed.
drhed7c8552001-04-11 14:29:21 +00001399*/
drh3aac2dd2004-04-26 14:10:20 +00001400int sqlite3pager_open(
drh7e3b0a02001-04-28 16:52:40 +00001401 Pager **ppPager, /* Return the Pager structure here */
1402 const char *zFilename, /* Name of the database file to open */
1403 int mxPage, /* Max number of in-memory cache pages */
drhda47d772002-12-02 04:25:19 +00001404 int nExtra, /* Extra bytes append to each in-memory page */
danielk197724162fe2004-06-04 06:22:00 +00001405 int useJournal, /* TRUE to use a rollback journal on this file */
1406 void *pBusyHandler /* Busy callback */
drh7e3b0a02001-04-28 16:52:40 +00001407){
drhed7c8552001-04-11 14:29:21 +00001408 Pager *pPager;
danielk19778def5ea2004-06-16 10:39:52 +00001409 char *zFullPathname = 0;
drhed7c8552001-04-11 14:29:21 +00001410 int nameLen;
drh8cfbf082001-09-19 13:22:39 +00001411 OsFile fd;
danielk1977cfe9a692004-06-16 12:00:29 +00001412 int rc = SQLITE_OK;
1413 int i;
danielk19778def5ea2004-06-16 10:39:52 +00001414 int tempFile = 0;
drhac69b052004-05-12 13:30:07 +00001415 int memDb = 0;
drh5e00f6c2001-09-13 13:46:56 +00001416 int readOnly = 0;
drh8cfbf082001-09-19 13:22:39 +00001417 char zTemp[SQLITE_TEMPNAME_SIZE];
drhed7c8552001-04-11 14:29:21 +00001418
drhd9b02572001-04-15 00:37:09 +00001419 *ppPager = 0;
drhda71ce12004-06-21 18:14:45 +00001420 memset(&fd, 0, sizeof(fd));
danielk19776f8a5032004-05-10 10:34:51 +00001421 if( sqlite3_malloc_failed ){
drhd9b02572001-04-15 00:37:09 +00001422 return SQLITE_NOMEM;
1423 }
drh901afd42003-08-26 11:25:58 +00001424 if( zFilename && zFilename[0] ){
drhac69b052004-05-12 13:30:07 +00001425 if( strcmp(zFilename,":memory:")==0 ){
1426 memDb = 1;
drhda71ce12004-06-21 18:14:45 +00001427 zFullPathname = sqliteStrDup("");
drhac69b052004-05-12 13:30:07 +00001428 rc = SQLITE_OK;
1429 }else{
1430 zFullPathname = sqlite3OsFullPathname(zFilename);
danielk19778def5ea2004-06-16 10:39:52 +00001431 if( zFullPathname ){
1432 rc = sqlite3OsOpenReadWrite(zFullPathname, &fd, &readOnly);
1433 }
drhac69b052004-05-12 13:30:07 +00001434 }
drh5e00f6c2001-09-13 13:46:56 +00001435 }else{
drh3aac2dd2004-04-26 14:10:20 +00001436 rc = sqlite3pager_opentemp(zTemp, &fd);
drh5e00f6c2001-09-13 13:46:56 +00001437 zFilename = zTemp;
danielk19774adee202004-05-08 08:23:19 +00001438 zFullPathname = sqlite3OsFullPathname(zFilename);
danielk19778def5ea2004-06-16 10:39:52 +00001439 if( rc==SQLITE_OK ){
1440 tempFile = 1;
1441 }
drh5e00f6c2001-09-13 13:46:56 +00001442 }
danielk19778def5ea2004-06-16 10:39:52 +00001443 if( !zFullPathname ){
danielk1977b5548a82004-06-26 13:51:33 +00001444 sqlite3OsClose(&fd);
drh3e7a6092002-12-07 21:45:14 +00001445 return SQLITE_NOMEM;
1446 }
drh8cfbf082001-09-19 13:22:39 +00001447 if( rc!=SQLITE_OK ){
drhda71ce12004-06-21 18:14:45 +00001448 sqlite3OsClose(&fd);
1449 sqliteFree(zFullPathname);
danielk19778def5ea2004-06-16 10:39:52 +00001450 return rc;
drhed7c8552001-04-11 14:29:21 +00001451 }
drh3e7a6092002-12-07 21:45:14 +00001452 nameLen = strlen(zFullPathname);
drha76c82e2003-07-27 18:59:42 +00001453 pPager = sqliteMalloc( sizeof(*pPager) + nameLen*3 + 30 );
drhd9b02572001-04-15 00:37:09 +00001454 if( pPager==0 ){
drhda71ce12004-06-21 18:14:45 +00001455 sqlite3OsClose(&fd);
1456 sqliteFree(zFullPathname);
drhd9b02572001-04-15 00:37:09 +00001457 return SQLITE_NOMEM;
1458 }
drhdb48ee02003-01-16 13:42:43 +00001459 SET_PAGER(pPager);
drhed7c8552001-04-11 14:29:21 +00001460 pPager->zFilename = (char*)&pPager[1];
drha76c82e2003-07-27 18:59:42 +00001461 pPager->zDirectory = &pPager->zFilename[nameLen+1];
1462 pPager->zJournal = &pPager->zDirectory[nameLen+1];
drh3e7a6092002-12-07 21:45:14 +00001463 strcpy(pPager->zFilename, zFullPathname);
drha76c82e2003-07-27 18:59:42 +00001464 strcpy(pPager->zDirectory, zFullPathname);
1465 for(i=nameLen; i>0 && pPager->zDirectory[i-1]!='/'; i--){}
1466 if( i>0 ) pPager->zDirectory[i-1] = 0;
drh3e7a6092002-12-07 21:45:14 +00001467 strcpy(pPager->zJournal, zFullPathname);
1468 sqliteFree(zFullPathname);
drhed7c8552001-04-11 14:29:21 +00001469 strcpy(&pPager->zJournal[nameLen], "-journal");
1470 pPager->fd = fd;
drh6d08b4d2004-07-20 12:45:22 +00001471#if OS_UNIX
drhd5b447d2004-07-19 22:08:09 +00001472 pPager->fd.pPager = pPager;
drh6d08b4d2004-07-20 12:45:22 +00001473#endif
drh8cfbf082001-09-19 13:22:39 +00001474 pPager->journalOpen = 0;
drhac69b052004-05-12 13:30:07 +00001475 pPager->useJournal = useJournal && !memDb;
1476 pPager->stmtOpen = 0;
1477 pPager->stmtInUse = 0;
drhed7c8552001-04-11 14:29:21 +00001478 pPager->nRef = 0;
drhac69b052004-05-12 13:30:07 +00001479 pPager->dbSize = memDb-1;
1480 pPager->pageSize = SQLITE_PAGE_SIZE;
1481 pPager->stmtSize = 0;
1482 pPager->stmtJSize = 0;
drhed7c8552001-04-11 14:29:21 +00001483 pPager->nPage = 0;
drhd79caeb2001-04-15 02:27:24 +00001484 pPager->mxPage = mxPage>5 ? mxPage : 10;
drha6abd042004-06-09 17:37:22 +00001485 pPager->state = PAGER_UNLOCK;
drhd9b02572001-04-15 00:37:09 +00001486 pPager->errMask = 0;
drh5e00f6c2001-09-13 13:46:56 +00001487 pPager->tempFile = tempFile;
drhac69b052004-05-12 13:30:07 +00001488 pPager->memDb = memDb;
drh5e00f6c2001-09-13 13:46:56 +00001489 pPager->readOnly = readOnly;
drhf57b14a2001-09-14 18:54:08 +00001490 pPager->needSync = 0;
drhda47d772002-12-02 04:25:19 +00001491 pPager->noSync = pPager->tempFile || !useJournal;
danielk197775edc162004-06-26 01:48:18 +00001492 pPager->fullSync = (pPager->noSync?0:1);
drhed7c8552001-04-11 14:29:21 +00001493 pPager->pFirst = 0;
drh341eae82003-01-21 02:39:36 +00001494 pPager->pFirstSynced = 0;
drhed7c8552001-04-11 14:29:21 +00001495 pPager->pLast = 0;
drh7c717f72001-06-24 20:39:41 +00001496 pPager->nExtra = nExtra;
danielk197776572402004-06-25 02:38:54 +00001497 pPager->sectorSize = PAGER_SECTOR_SIZE;
danielk197724162fe2004-06-04 06:22:00 +00001498 pPager->pBusyHandler = (BusyHandler *)pBusyHandler;
drhed7c8552001-04-11 14:29:21 +00001499 memset(pPager->aHash, 0, sizeof(pPager->aHash));
1500 *ppPager = pPager;
1501 return SQLITE_OK;
1502}
1503
1504/*
drh72f82862001-05-24 21:06:34 +00001505** Set the destructor for this pager. If not NULL, the destructor is called
drh5e00f6c2001-09-13 13:46:56 +00001506** when the reference count on each page reaches zero. The destructor can
1507** be used to clean up information in the extra segment appended to each page.
drh72f82862001-05-24 21:06:34 +00001508**
drh3aac2dd2004-04-26 14:10:20 +00001509** The destructor is not called as a result sqlite3pager_close().
1510** Destructors are only called by sqlite3pager_unref().
drh72f82862001-05-24 21:06:34 +00001511*/
drhb6f41482004-05-14 01:58:11 +00001512void sqlite3pager_set_destructor(Pager *pPager, void (*xDesc)(void*,int)){
drh72f82862001-05-24 21:06:34 +00001513 pPager->xDestructor = xDesc;
1514}
1515
1516/*
drha6abd042004-06-09 17:37:22 +00001517** Set the reinitializer for this pager. If not NULL, the reinitializer
1518** is called when the content of a page in cache is restored to its original
1519** value as a result of a rollback. The callback gives higher-level code
1520** an opportunity to restore the EXTRA section to agree with the restored
1521** page data.
1522*/
1523void sqlite3pager_set_reiniter(Pager *pPager, void (*xReinit)(void*,int)){
1524 pPager->xReiniter = xReinit;
1525}
1526
1527/*
drh5e00f6c2001-09-13 13:46:56 +00001528** Return the total number of pages in the disk file associated with
1529** pPager.
drhed7c8552001-04-11 14:29:21 +00001530*/
drh3aac2dd2004-04-26 14:10:20 +00001531int sqlite3pager_pagecount(Pager *pPager){
drh28be87c2002-11-05 23:03:02 +00001532 off_t n;
drhd9b02572001-04-15 00:37:09 +00001533 assert( pPager!=0 );
drhed7c8552001-04-11 14:29:21 +00001534 if( pPager->dbSize>=0 ){
1535 return pPager->dbSize;
1536 }
danielk19774adee202004-05-08 08:23:19 +00001537 if( sqlite3OsFileSize(&pPager->fd, &n)!=SQLITE_OK ){
drh81a20f22001-10-12 17:30:04 +00001538 pPager->errMask |= PAGER_ERR_DISK;
drh8cfbf082001-09-19 13:22:39 +00001539 return 0;
drhed7c8552001-04-11 14:29:21 +00001540 }
drhd0ba1932004-02-10 01:54:28 +00001541 n /= SQLITE_PAGE_SIZE;
drh1f595712004-06-15 01:40:29 +00001542 if( !pPager->memDb && n==PENDING_BYTE/SQLITE_PAGE_SIZE ){
1543 n++;
1544 }
drha6abd042004-06-09 17:37:22 +00001545 if( pPager->state!=PAGER_UNLOCK ){
drhed7c8552001-04-11 14:29:21 +00001546 pPager->dbSize = n;
1547 }
1548 return n;
1549}
1550
1551/*
drhf7c57532003-04-25 13:22:51 +00001552** Forward declaration
1553*/
danielk197776572402004-06-25 02:38:54 +00001554static int syncJournal(Pager*);
drhf7c57532003-04-25 13:22:51 +00001555
drhac69b052004-05-12 13:30:07 +00001556
1557/*
1558** Unlink a page from the free list (the list of all pages where nRef==0)
1559** and from its hash collision chain.
1560*/
1561static void unlinkPage(PgHdr *pPg){
1562 Pager *pPager = pPg->pPager;
1563
1564 /* Keep the pFirstSynced pointer pointing at the first synchronized page */
1565 if( pPg==pPager->pFirstSynced ){
1566 PgHdr *p = pPg->pNextFree;
1567 while( p && p->needSync ){ p = p->pNextFree; }
1568 pPager->pFirstSynced = p;
1569 }
1570
1571 /* Unlink from the freelist */
1572 if( pPg->pPrevFree ){
1573 pPg->pPrevFree->pNextFree = pPg->pNextFree;
1574 }else{
1575 assert( pPager->pFirst==pPg );
1576 pPager->pFirst = pPg->pNextFree;
1577 }
1578 if( pPg->pNextFree ){
1579 pPg->pNextFree->pPrevFree = pPg->pPrevFree;
1580 }else{
1581 assert( pPager->pLast==pPg );
1582 pPager->pLast = pPg->pPrevFree;
1583 }
1584 pPg->pNextFree = pPg->pPrevFree = 0;
1585
1586 /* Unlink from the pgno hash table */
1587 if( pPg->pNextHash ){
1588 pPg->pNextHash->pPrevHash = pPg->pPrevHash;
1589 }
1590 if( pPg->pPrevHash ){
1591 pPg->pPrevHash->pNextHash = pPg->pNextHash;
1592 }else{
1593 int h = pager_hash(pPg->pgno);
1594 assert( pPager->aHash[h]==pPg );
1595 pPager->aHash[h] = pPg->pNextHash;
1596 }
1597 pPg->pNextHash = pPg->pPrevHash = 0;
1598}
1599
1600/*
1601** This routine is used to truncate an in-memory database. Delete
danielk1977369f27e2004-06-15 11:40:04 +00001602** all pages whose pgno is larger than pPager->dbSize and is unreferenced.
drhac69b052004-05-12 13:30:07 +00001603** Referenced pages larger than pPager->dbSize are zeroed.
1604*/
1605static void memoryTruncate(Pager *pPager){
1606 PgHdr *pPg;
1607 PgHdr **ppPg;
1608 int dbSize = pPager->dbSize;
1609
1610 ppPg = &pPager->pAll;
1611 while( (pPg = *ppPg)!=0 ){
1612 if( pPg->pgno<=dbSize ){
1613 ppPg = &pPg->pNextAll;
1614 }else if( pPg->nRef>0 ){
1615 memset(PGHDR_TO_DATA(pPg), 0, pPager->pageSize);
1616 ppPg = &pPg->pNextAll;
1617 }else{
1618 *ppPg = pPg->pNextAll;
1619 unlinkPage(pPg);
1620 sqliteFree(pPg);
1621 pPager->nPage--;
1622 }
1623 }
1624}
1625
drhf7c57532003-04-25 13:22:51 +00001626/*
1627** Truncate the file to the number of pages specified.
1628*/
drh3aac2dd2004-04-26 14:10:20 +00001629int sqlite3pager_truncate(Pager *pPager, Pgno nPage){
drhf7c57532003-04-25 13:22:51 +00001630 int rc;
drh2e6d11b2003-04-25 15:37:57 +00001631 if( pPager->dbSize<0 ){
drh3aac2dd2004-04-26 14:10:20 +00001632 sqlite3pager_pagecount(pPager);
drh2e6d11b2003-04-25 15:37:57 +00001633 }
1634 if( pPager->errMask!=0 ){
1635 rc = pager_errcode(pPager);
1636 return rc;
1637 }
drh7d02cb72003-06-04 16:24:39 +00001638 if( nPage>=(unsigned)pPager->dbSize ){
drhf7c57532003-04-25 13:22:51 +00001639 return SQLITE_OK;
1640 }
drhac69b052004-05-12 13:30:07 +00001641 if( pPager->memDb ){
1642 pPager->dbSize = nPage;
1643 memoryTruncate(pPager);
1644 return SQLITE_OK;
1645 }
danielk197776572402004-06-25 02:38:54 +00001646 rc = syncJournal(pPager);
danielk1977369f27e2004-06-15 11:40:04 +00001647 if( rc!=SQLITE_OK ){
1648 return rc;
1649 }
danielk19774adee202004-05-08 08:23:19 +00001650 rc = sqlite3OsTruncate(&pPager->fd, SQLITE_PAGE_SIZE*(off_t)nPage);
drhf7c57532003-04-25 13:22:51 +00001651 if( rc==SQLITE_OK ){
1652 pPager->dbSize = nPage;
1653 }
1654 return rc;
1655}
1656
1657/*
drhed7c8552001-04-11 14:29:21 +00001658** Shutdown the page cache. Free all memory and close all files.
1659**
1660** If a transaction was in progress when this routine is called, that
1661** transaction is rolled back. All outstanding pages are invalidated
1662** and their memory is freed. Any attempt to use a page associated
1663** with this page cache after this function returns will likely
1664** result in a coredump.
1665*/
drh3aac2dd2004-04-26 14:10:20 +00001666int sqlite3pager_close(Pager *pPager){
drhd9b02572001-04-15 00:37:09 +00001667 PgHdr *pPg, *pNext;
drhed7c8552001-04-11 14:29:21 +00001668 switch( pPager->state ){
drha6abd042004-06-09 17:37:22 +00001669 case PAGER_RESERVED:
danielk1977aa5ccdf2004-06-14 05:10:42 +00001670 case PAGER_SYNCED:
drha6abd042004-06-09 17:37:22 +00001671 case PAGER_EXCLUSIVE: {
drh3aac2dd2004-04-26 14:10:20 +00001672 sqlite3pager_rollback(pPager);
drhac69b052004-05-12 13:30:07 +00001673 if( !pPager->memDb ){
drha6abd042004-06-09 17:37:22 +00001674 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
drhac69b052004-05-12 13:30:07 +00001675 }
drh8cfbf082001-09-19 13:22:39 +00001676 assert( pPager->journalOpen==0 );
drhed7c8552001-04-11 14:29:21 +00001677 break;
1678 }
drha6abd042004-06-09 17:37:22 +00001679 case PAGER_SHARED: {
drhac69b052004-05-12 13:30:07 +00001680 if( !pPager->memDb ){
drha6abd042004-06-09 17:37:22 +00001681 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
drhac69b052004-05-12 13:30:07 +00001682 }
drhed7c8552001-04-11 14:29:21 +00001683 break;
1684 }
1685 default: {
1686 /* Do nothing */
1687 break;
1688 }
1689 }
drhd9b02572001-04-15 00:37:09 +00001690 for(pPg=pPager->pAll; pPg; pPg=pNext){
danielk1977eac7a362004-06-16 07:45:24 +00001691#ifndef NDEBUG
1692 if( pPager->memDb ){
1693 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
1694 assert( !pPg->alwaysRollback );
1695 assert( !pHist->pOrig );
1696 assert( !pHist->pStmt );
1697 }
1698#endif
drhd9b02572001-04-15 00:37:09 +00001699 pNext = pPg->pNextAll;
1700 sqliteFree(pPg);
drhed7c8552001-04-11 14:29:21 +00001701 }
drhda71ce12004-06-21 18:14:45 +00001702 sqlite3OsClose(&pPager->fd);
drh8cfbf082001-09-19 13:22:39 +00001703 assert( pPager->journalOpen==0 );
drh0f892532002-05-30 12:27:03 +00001704 /* Temp files are automatically deleted by the OS
1705 ** if( pPager->tempFile ){
danielk19774adee202004-05-08 08:23:19 +00001706 ** sqlite3OsDelete(pPager->zFilename);
drh0f892532002-05-30 12:27:03 +00001707 ** }
1708 */
drhdb48ee02003-01-16 13:42:43 +00001709 CLR_PAGER(pPager);
drh73509ee2003-04-06 20:44:45 +00001710 if( pPager->zFilename!=(char*)&pPager[1] ){
drha76c82e2003-07-27 18:59:42 +00001711 assert( 0 ); /* Cannot happen */
drh73509ee2003-04-06 20:44:45 +00001712 sqliteFree(pPager->zFilename);
1713 sqliteFree(pPager->zJournal);
drha76c82e2003-07-27 18:59:42 +00001714 sqliteFree(pPager->zDirectory);
drh73509ee2003-04-06 20:44:45 +00001715 }
drhed7c8552001-04-11 14:29:21 +00001716 sqliteFree(pPager);
1717 return SQLITE_OK;
1718}
1719
1720/*
drh5e00f6c2001-09-13 13:46:56 +00001721** Return the page number for the given page data.
drhed7c8552001-04-11 14:29:21 +00001722*/
drh3aac2dd2004-04-26 14:10:20 +00001723Pgno sqlite3pager_pagenumber(void *pData){
drhed7c8552001-04-11 14:29:21 +00001724 PgHdr *p = DATA_TO_PGHDR(pData);
1725 return p->pgno;
1726}
1727
1728/*
drhc8629a12004-05-08 20:07:40 +00001729** The page_ref() function increments the reference count for a page.
1730** If the page is currently on the freelist (the reference count is zero) then
drh7e3b0a02001-04-28 16:52:40 +00001731** remove it from the freelist.
drhc8629a12004-05-08 20:07:40 +00001732**
1733** For non-test systems, page_ref() is a macro that calls _page_ref()
1734** online of the reference count is zero. For test systems, page_ref()
1735** is a real function so that we can set breakpoints and trace it.
drh7e3b0a02001-04-28 16:52:40 +00001736*/
drh836faa42003-01-11 13:30:57 +00001737static void _page_ref(PgHdr *pPg){
drh7e3b0a02001-04-28 16:52:40 +00001738 if( pPg->nRef==0 ){
1739 /* The page is currently on the freelist. Remove it. */
drh341eae82003-01-21 02:39:36 +00001740 if( pPg==pPg->pPager->pFirstSynced ){
1741 PgHdr *p = pPg->pNextFree;
1742 while( p && p->needSync ){ p = p->pNextFree; }
1743 pPg->pPager->pFirstSynced = p;
1744 }
drh7e3b0a02001-04-28 16:52:40 +00001745 if( pPg->pPrevFree ){
1746 pPg->pPrevFree->pNextFree = pPg->pNextFree;
1747 }else{
1748 pPg->pPager->pFirst = pPg->pNextFree;
1749 }
1750 if( pPg->pNextFree ){
1751 pPg->pNextFree->pPrevFree = pPg->pPrevFree;
1752 }else{
1753 pPg->pPager->pLast = pPg->pPrevFree;
1754 }
1755 pPg->pPager->nRef++;
1756 }
1757 pPg->nRef++;
drhdd793422001-06-28 01:54:48 +00001758 REFINFO(pPg);
drhdf0b3b02001-06-23 11:36:20 +00001759}
drhc8629a12004-05-08 20:07:40 +00001760#ifdef SQLITE_TEST
1761 static void page_ref(PgHdr *pPg){
1762 if( pPg->nRef==0 ){
1763 _page_ref(pPg);
1764 }else{
1765 pPg->nRef++;
1766 REFINFO(pPg);
1767 }
1768 }
1769#else
1770# define page_ref(P) ((P)->nRef==0?_page_ref(P):(void)(P)->nRef++)
1771#endif
drhdf0b3b02001-06-23 11:36:20 +00001772
1773/*
1774** Increment the reference count for a page. The input pointer is
1775** a reference to the page data.
1776*/
drh3aac2dd2004-04-26 14:10:20 +00001777int sqlite3pager_ref(void *pData){
drhdf0b3b02001-06-23 11:36:20 +00001778 PgHdr *pPg = DATA_TO_PGHDR(pData);
1779 page_ref(pPg);
drh8c42ca92001-06-22 19:15:00 +00001780 return SQLITE_OK;
drh7e3b0a02001-04-28 16:52:40 +00001781}
1782
1783/*
drh34e79ce2004-02-08 06:05:46 +00001784** Sync the journal. In other words, make sure all the pages that have
1785** been written to the journal have actually reached the surface of the
1786** disk. It is not safe to modify the original database file until after
1787** the journal has been synced. If the original database is modified before
1788** the journal is synced and a power failure occurs, the unsynced journal
1789** data would be lost and we would be unable to completely rollback the
1790** database changes. Database corruption would occur.
1791**
1792** This routine also updates the nRec field in the header of the journal.
1793** (See comments on the pager_playback() routine for additional information.)
1794** If the sync mode is FULL, two syncs will occur. First the whole journal
1795** is synced, then the nRec field is updated, then a second sync occurs.
drhb19a2bc2001-09-16 00:13:26 +00001796**
drh34e79ce2004-02-08 06:05:46 +00001797** For temporary databases, we do not care if we are able to rollback
1798** after a power failure, so sync occurs.
drhfa86c412002-02-02 15:01:15 +00001799**
drh34e79ce2004-02-08 06:05:46 +00001800** This routine clears the needSync field of every page current held in
1801** memory.
drh50e5dad2001-09-15 00:57:28 +00001802*/
danielk197776572402004-06-25 02:38:54 +00001803static int syncJournal(Pager *pPager){
drh50e5dad2001-09-15 00:57:28 +00001804 PgHdr *pPg;
1805 int rc = SQLITE_OK;
drh03eb96a2002-11-10 23:32:56 +00001806
1807 /* Sync the journal before modifying the main database
1808 ** (assuming there is a journal and it needs to be synced.)
1809 */
danielk197776572402004-06-25 02:38:54 +00001810 if( pPager->needSync ){
drhfa86c412002-02-02 15:01:15 +00001811 if( !pPager->tempFile ){
drhdb48ee02003-01-16 13:42:43 +00001812 assert( pPager->journalOpen );
drh946966f2004-02-25 02:20:41 +00001813 /* assert( !pPager->noSync ); // noSync might be set if synchronous
1814 ** was turned off after the transaction was started. Ticket #615 */
drh968af522003-02-11 14:55:40 +00001815#ifndef NDEBUG
1816 {
drh34e79ce2004-02-08 06:05:46 +00001817 /* Make sure the pPager->nRec counter we are keeping agrees
1818 ** with the nRec computed from the size of the journal file.
1819 */
danielk197776572402004-06-25 02:38:54 +00001820 off_t jSz;
danielk19774adee202004-05-08 08:23:19 +00001821 rc = sqlite3OsFileSize(&pPager->jfd, &jSz);
drh968af522003-02-11 14:55:40 +00001822 if( rc!=0 ) return rc;
danielk197776572402004-06-25 02:38:54 +00001823 assert( pPager->journalOff==jSz );
drh968af522003-02-11 14:55:40 +00001824 }
1825#endif
drhae2b40c2004-06-09 19:03:54 +00001826 {
danielk197776572402004-06-25 02:38:54 +00001827 /* Write the nRec value into the journal file header. If in
1828 ** full-synchronous mode, sync the journal first. This ensures that
1829 ** all data has really hit the disk before nRec is updated to mark
1830 ** it as a candidate for rollback.
1831 */
drhd8d66e82003-02-12 02:10:15 +00001832 if( pPager->fullSync ){
drha6abd042004-06-09 17:37:22 +00001833 TRACE2("SYNC journal of %d\n", pPager->fd.h);
danielk19774adee202004-05-08 08:23:19 +00001834 rc = sqlite3OsSync(&pPager->jfd);
drhd8d66e82003-02-12 02:10:15 +00001835 if( rc!=0 ) return rc;
1836 }
danielk197776572402004-06-25 02:38:54 +00001837 sqlite3OsSeek(&pPager->jfd, pPager->journalHdr + sizeof(aJournalMagic));
drh99ee3602003-02-16 19:13:36 +00001838 rc = write32bits(&pPager->jfd, pPager->nRec);
1839 if( rc ) return rc;
danielk197713adf8a2004-06-03 16:08:41 +00001840
danielk197776572402004-06-25 02:38:54 +00001841 sqlite3OsSeek(&pPager->jfd, pPager->journalOff);
drh968af522003-02-11 14:55:40 +00001842 }
drha6abd042004-06-09 17:37:22 +00001843 TRACE2("SYNC journal of %d\n", pPager->fd.h);
danielk19774adee202004-05-08 08:23:19 +00001844 rc = sqlite3OsSync(&pPager->jfd);
drhfa86c412002-02-02 15:01:15 +00001845 if( rc!=0 ) return rc;
drhdb48ee02003-01-16 13:42:43 +00001846 pPager->journalStarted = 1;
drhfa86c412002-02-02 15:01:15 +00001847 }
drh50e5dad2001-09-15 00:57:28 +00001848 pPager->needSync = 0;
drh341eae82003-01-21 02:39:36 +00001849
1850 /* Erase the needSync flag from every page.
1851 */
1852 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
1853 pPg->needSync = 0;
1854 }
1855 pPager->pFirstSynced = pPager->pFirst;
drh50e5dad2001-09-15 00:57:28 +00001856 }
drh03eb96a2002-11-10 23:32:56 +00001857
drh341eae82003-01-21 02:39:36 +00001858#ifndef NDEBUG
1859 /* If the Pager.needSync flag is clear then the PgHdr.needSync
1860 ** flag must also be clear for all pages. Verify that this
1861 ** invariant is true.
drh03eb96a2002-11-10 23:32:56 +00001862 */
drh341eae82003-01-21 02:39:36 +00001863 else{
1864 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
1865 assert( pPg->needSync==0 );
1866 }
1867 assert( pPager->pFirstSynced==pPager->pFirst );
drh03eb96a2002-11-10 23:32:56 +00001868 }
drh341eae82003-01-21 02:39:36 +00001869#endif
drhdb48ee02003-01-16 13:42:43 +00001870
drh81a20f22001-10-12 17:30:04 +00001871 return rc;
drh50e5dad2001-09-15 00:57:28 +00001872}
1873
1874/*
drh2554f8b2003-01-22 01:26:44 +00001875** Given a list of pages (connected by the PgHdr.pDirty pointer) write
1876** every one of those pages out to the database file and mark them all
1877** as clean.
1878*/
1879static int pager_write_pagelist(PgHdr *pList){
1880 Pager *pPager;
1881 int rc;
danielk19779eed5052004-06-04 10:38:30 +00001882 int busy = 1;
drh2554f8b2003-01-22 01:26:44 +00001883
1884 if( pList==0 ) return SQLITE_OK;
1885 pPager = pList->pPager;
danielk19779eed5052004-06-04 10:38:30 +00001886
1887 /* At this point there may be either a RESERVED or EXCLUSIVE lock on the
1888 ** database file. If there is already an EXCLUSIVE lock, the following
1889 ** calls to sqlite3OsLock() are no-ops.
1890 **
drha6abd042004-06-09 17:37:22 +00001891 ** Moving the lock from RESERVED to EXCLUSIVE actually involves going
1892 ** through an intermediate state PENDING. A PENDING lock prevents new
1893 ** readers from attaching to the database but is unsufficient for us to
1894 ** write. The idea of a PENDING lock is to prevent new readers from
1895 ** coming in while we wait for existing readers to clear.
danielk19779eed5052004-06-04 10:38:30 +00001896 **
drha6abd042004-06-09 17:37:22 +00001897 ** While the pager is in the RESERVED state, the original database file
1898 ** is unchanged and we can rollback without having to playback the
1899 ** journal into the original database file. Once we transition to
1900 ** EXCLUSIVE, it means the database file has been changed and any rollback
1901 ** will require a journal playback.
danielk19779eed5052004-06-04 10:38:30 +00001902 */
danielk19779eed5052004-06-04 10:38:30 +00001903 do {
1904 rc = sqlite3OsLock(&pPager->fd, EXCLUSIVE_LOCK);
1905 }while( rc==SQLITE_BUSY &&
1906 pPager->pBusyHandler &&
1907 pPager->pBusyHandler->xFunc &&
danielk19772a764eb2004-06-12 01:43:26 +00001908 pPager->pBusyHandler->xFunc(pPager->pBusyHandler->pArg, busy++)
danielk19779eed5052004-06-04 10:38:30 +00001909 );
1910 if( rc!=SQLITE_OK ){
1911 return rc;
1912 }
drha6abd042004-06-09 17:37:22 +00001913 pPager->state = PAGER_EXCLUSIVE;
danielk19779eed5052004-06-04 10:38:30 +00001914
drh2554f8b2003-01-22 01:26:44 +00001915 while( pList ){
1916 assert( pList->dirty );
danielk19774adee202004-05-08 08:23:19 +00001917 sqlite3OsSeek(&pPager->fd, (pList->pgno-1)*(off_t)SQLITE_PAGE_SIZE);
drh9eb9e262004-02-11 02:18:05 +00001918 CODEC(pPager, PGHDR_TO_DATA(pList), pList->pgno, 6);
drha6abd042004-06-09 17:37:22 +00001919 TRACE2("STORE page %d\n", pList->pgno);
danielk19774adee202004-05-08 08:23:19 +00001920 rc = sqlite3OsWrite(&pPager->fd, PGHDR_TO_DATA(pList), SQLITE_PAGE_SIZE);
drh9eb9e262004-02-11 02:18:05 +00001921 CODEC(pPager, PGHDR_TO_DATA(pList), pList->pgno, 0);
drh2554f8b2003-01-22 01:26:44 +00001922 if( rc ) return rc;
1923 pList->dirty = 0;
1924 pList = pList->pDirty;
1925 }
1926 return SQLITE_OK;
1927}
1928
1929/*
1930** Collect every dirty page into a dirty list and
1931** return a pointer to the head of that list. All pages are
1932** collected even if they are still in use.
1933*/
1934static PgHdr *pager_get_all_dirty_pages(Pager *pPager){
1935 PgHdr *p, *pList;
1936 pList = 0;
1937 for(p=pPager->pAll; p; p=p->pNextAll){
1938 if( p->dirty ){
1939 p->pDirty = pList;
1940 pList = p;
1941 }
1942 }
1943 return pList;
1944}
1945
1946/*
drhd9b02572001-04-15 00:37:09 +00001947** Acquire a page.
1948**
drh58a11682001-11-10 13:51:08 +00001949** A read lock on the disk file is obtained when the first page is acquired.
drh5e00f6c2001-09-13 13:46:56 +00001950** This read lock is dropped when the last page is released.
drhd9b02572001-04-15 00:37:09 +00001951**
drh306dc212001-05-21 13:45:10 +00001952** A _get works for any page number greater than 0. If the database
1953** file is smaller than the requested page, then no actual disk
1954** read occurs and the memory image of the page is initialized to
1955** all zeros. The extra data appended to a page is always initialized
1956** to zeros the first time a page is loaded into memory.
1957**
drhd9b02572001-04-15 00:37:09 +00001958** The acquisition might fail for several reasons. In all cases,
1959** an appropriate error code is returned and *ppPage is set to NULL.
drh7e3b0a02001-04-28 16:52:40 +00001960**
drh3aac2dd2004-04-26 14:10:20 +00001961** See also sqlite3pager_lookup(). Both this routine and _lookup() attempt
drh7e3b0a02001-04-28 16:52:40 +00001962** to find a page in the in-memory cache first. If the page is not already
drh5e00f6c2001-09-13 13:46:56 +00001963** in memory, this routine goes to disk to read it in whereas _lookup()
drh7e3b0a02001-04-28 16:52:40 +00001964** just returns 0. This routine acquires a read-lock the first time it
1965** has to go to disk, and could also playback an old journal if necessary.
1966** Since _lookup() never goes to disk, it never has to deal with locks
1967** or journal files.
drhed7c8552001-04-11 14:29:21 +00001968*/
drh3aac2dd2004-04-26 14:10:20 +00001969int sqlite3pager_get(Pager *pPager, Pgno pgno, void **ppPage){
drhed7c8552001-04-11 14:29:21 +00001970 PgHdr *pPg;
drh8766c342002-11-09 00:33:15 +00001971 int rc;
drhed7c8552001-04-11 14:29:21 +00001972
drhd9b02572001-04-15 00:37:09 +00001973 /* Make sure we have not hit any critical errors.
1974 */
drh836faa42003-01-11 13:30:57 +00001975 assert( pPager!=0 );
1976 assert( pgno!=0 );
drh2e6d11b2003-04-25 15:37:57 +00001977 *ppPage = 0;
drhd9b02572001-04-15 00:37:09 +00001978 if( pPager->errMask & ~(PAGER_ERR_FULL) ){
1979 return pager_errcode(pPager);
1980 }
1981
danielk197713adf8a2004-06-03 16:08:41 +00001982 /* If this is the first page accessed, then get a SHARED lock
drhed7c8552001-04-11 14:29:21 +00001983 ** on the database file.
1984 */
drhac69b052004-05-12 13:30:07 +00001985 if( pPager->nRef==0 && !pPager->memDb ){
danielk197724162fe2004-06-04 06:22:00 +00001986 int busy = 1;
danielk19779eed5052004-06-04 10:38:30 +00001987 do {
1988 rc = sqlite3OsLock(&pPager->fd, SHARED_LOCK);
1989 }while( rc==SQLITE_BUSY &&
1990 pPager->pBusyHandler &&
1991 pPager->pBusyHandler->xFunc &&
danielk19772a764eb2004-06-12 01:43:26 +00001992 pPager->pBusyHandler->xFunc(pPager->pBusyHandler->pArg, busy++)
danielk19779eed5052004-06-04 10:38:30 +00001993 );
1994 if( rc!=SQLITE_OK ){
1995 return rc;
drhed7c8552001-04-11 14:29:21 +00001996 }
drha6abd042004-06-09 17:37:22 +00001997 pPager->state = PAGER_SHARED;
drhed7c8552001-04-11 14:29:21 +00001998
danielk197713adf8a2004-06-03 16:08:41 +00001999 /* If a journal file exists, and there is no RESERVED lock on the
2000 ** database file, then it either needs to be played back or deleted.
drhed7c8552001-04-11 14:29:21 +00002001 */
danielk197713adf8a2004-06-03 16:08:41 +00002002 if( pPager->useJournal &&
2003 sqlite3OsFileExists(pPager->zJournal) &&
drha6abd042004-06-09 17:37:22 +00002004 !sqlite3OsCheckReservedLock(&pPager->fd)
danielk197713adf8a2004-06-03 16:08:41 +00002005 ){
drhe2227f02003-06-14 11:42:57 +00002006 int rc;
drhed7c8552001-04-11 14:29:21 +00002007
danielk197790ba3bd2004-06-25 08:32:25 +00002008 /* Get an EXCLUSIVE lock on the database file. At this point it is
2009 ** important that a RESERVED lock is not obtained on the way to the
2010 ** EXCLUSIVE lock. If it were, another process might open the
2011 ** database file, detect the RESERVED lock, and conclude that the
2012 ** database is safe to read while this process is still rolling it
2013 ** back.
2014 **
2015 ** Because the intermediate RESERVED lock is not requested, the
2016 ** second process will get to this point in the code and fail to
2017 ** obtain it's own EXCLUSIVE lock on the database file.
2018 */
danielk197713adf8a2004-06-03 16:08:41 +00002019 rc = sqlite3OsLock(&pPager->fd, EXCLUSIVE_LOCK);
drha7fcb052001-12-14 15:09:55 +00002020 if( rc!=SQLITE_OK ){
drha6abd042004-06-09 17:37:22 +00002021 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
2022 pPager->state = PAGER_UNLOCK;
drh8766c342002-11-09 00:33:15 +00002023 return rc;
drha7fcb052001-12-14 15:09:55 +00002024 }
drha6abd042004-06-09 17:37:22 +00002025 pPager->state = PAGER_EXCLUSIVE;
drha7fcb052001-12-14 15:09:55 +00002026
drhe2227f02003-06-14 11:42:57 +00002027 /* Open the journal for reading only. Return SQLITE_BUSY if
2028 ** we are unable to open the journal file.
drhf57b3392001-10-08 13:22:32 +00002029 **
drhe2227f02003-06-14 11:42:57 +00002030 ** The journal file does not need to be locked itself. The
2031 ** journal file is never open unless the main database file holds
2032 ** a write lock, so there is never any chance of two or more
2033 ** processes opening the journal at the same time.
drhed7c8552001-04-11 14:29:21 +00002034 */
danielk19774adee202004-05-08 08:23:19 +00002035 rc = sqlite3OsOpenReadOnly(pPager->zJournal, &pPager->jfd);
drha7fcb052001-12-14 15:09:55 +00002036 if( rc!=SQLITE_OK ){
drha6abd042004-06-09 17:37:22 +00002037 sqlite3OsUnlock(&pPager->fd, NO_LOCK);
2038 pPager->state = PAGER_UNLOCK;
drhed7c8552001-04-11 14:29:21 +00002039 return SQLITE_BUSY;
2040 }
drha7fcb052001-12-14 15:09:55 +00002041 pPager->journalOpen = 1;
drhdb48ee02003-01-16 13:42:43 +00002042 pPager->journalStarted = 0;
danielk197776572402004-06-25 02:38:54 +00002043 pPager->journalOff = 0;
2044 pPager->setMaster = 0;
2045 pPager->journalHdr = 0;
drhed7c8552001-04-11 14:29:21 +00002046
2047 /* Playback and delete the journal. Drop the database write
2048 ** lock and reacquire the read lock.
2049 */
danielk197776572402004-06-25 02:38:54 +00002050 rc = pager_playback(pPager);
drhd9b02572001-04-15 00:37:09 +00002051 if( rc!=SQLITE_OK ){
2052 return rc;
2053 }
drhed7c8552001-04-11 14:29:21 +00002054 }
2055 pPg = 0;
2056 }else{
2057 /* Search for page in cache */
drhd9b02572001-04-15 00:37:09 +00002058 pPg = pager_lookup(pPager, pgno);
drha6abd042004-06-09 17:37:22 +00002059 if( pPager->memDb && pPager->state==PAGER_UNLOCK ){
2060 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00002061 }
drhed7c8552001-04-11 14:29:21 +00002062 }
2063 if( pPg==0 ){
drhd9b02572001-04-15 00:37:09 +00002064 /* The requested page is not in the page cache. */
drhed7c8552001-04-11 14:29:21 +00002065 int h;
drh7e3b0a02001-04-28 16:52:40 +00002066 pPager->nMiss++;
drhac69b052004-05-12 13:30:07 +00002067 if( pPager->nPage<pPager->mxPage || pPager->pFirst==0 || pPager->memDb ){
drhed7c8552001-04-11 14:29:21 +00002068 /* Create a new page */
drhd0ba1932004-02-10 01:54:28 +00002069 pPg = sqliteMallocRaw( sizeof(*pPg) + SQLITE_PAGE_SIZE
drhac69b052004-05-12 13:30:07 +00002070 + sizeof(u32) + pPager->nExtra
2071 + pPager->memDb*sizeof(PgHistory) );
drhd9b02572001-04-15 00:37:09 +00002072 if( pPg==0 ){
danielk19778def5ea2004-06-16 10:39:52 +00002073 if( !pPager->memDb ){
2074 pager_unwritelock(pPager);
2075 }
drhd9b02572001-04-15 00:37:09 +00002076 pPager->errMask |= PAGER_ERR_MEM;
2077 return SQLITE_NOMEM;
2078 }
drh8c1238a2003-01-02 14:43:55 +00002079 memset(pPg, 0, sizeof(*pPg));
drhac69b052004-05-12 13:30:07 +00002080 if( pPager->memDb ){
2081 memset(PGHDR_TO_HIST(pPg, pPager), 0, sizeof(PgHistory));
2082 }
drhed7c8552001-04-11 14:29:21 +00002083 pPg->pPager = pPager;
drhd9b02572001-04-15 00:37:09 +00002084 pPg->pNextAll = pPager->pAll;
drhd79caeb2001-04-15 02:27:24 +00002085 pPager->pAll = pPg;
drhd9b02572001-04-15 00:37:09 +00002086 pPager->nPage++;
drhed7c8552001-04-11 14:29:21 +00002087 }else{
drhdb48ee02003-01-16 13:42:43 +00002088 /* Find a page to recycle. Try to locate a page that does not
2089 ** require us to do an fsync() on the journal.
2090 */
drh341eae82003-01-21 02:39:36 +00002091 pPg = pPager->pFirstSynced;
drhb19a2bc2001-09-16 00:13:26 +00002092
drhdb48ee02003-01-16 13:42:43 +00002093 /* If we could not find a page that does not require an fsync()
2094 ** on the journal file then fsync the journal file. This is a
2095 ** very slow operation, so we work hard to avoid it. But sometimes
2096 ** it can't be helped.
drhb19a2bc2001-09-16 00:13:26 +00002097 */
drh603240c2002-03-05 01:11:12 +00002098 if( pPg==0 ){
danielk197776572402004-06-25 02:38:54 +00002099 int rc = syncJournal(pPager);
drh50e5dad2001-09-15 00:57:28 +00002100 if( rc!=0 ){
drh3aac2dd2004-04-26 14:10:20 +00002101 sqlite3pager_rollback(pPager);
drh50e5dad2001-09-15 00:57:28 +00002102 return SQLITE_IOERR;
2103 }
danielk197776572402004-06-25 02:38:54 +00002104 if( pPager->fullSync ){
2105 /* If in full-sync mode, write a new journal header into the
2106 ** journal file. This is done to avoid ever modifying a journal
2107 ** header that is involved in the rollback of pages that have
2108 ** already been written to the database (in case the header is
2109 ** trashed when the nRec field is updated).
2110 */
2111 pPager->nRec = 0;
danielk1977f187bd92004-06-25 06:23:22 +00002112 assert( pPager->journalOff > 0 );
danielk197776572402004-06-25 02:38:54 +00002113 rc = writeJournalHdr(pPager);
2114 if( rc!=0 ){
2115 sqlite3pager_rollback(pPager);
2116 return SQLITE_IOERR;
2117 }
2118 }
drh50e5dad2001-09-15 00:57:28 +00002119 pPg = pPager->pFirst;
2120 }
drhd9b02572001-04-15 00:37:09 +00002121 assert( pPg->nRef==0 );
drhdb48ee02003-01-16 13:42:43 +00002122
2123 /* Write the page to the database file if it is dirty.
2124 */
2125 if( pPg->dirty ){
2126 assert( pPg->needSync==0 );
drh2554f8b2003-01-22 01:26:44 +00002127 pPg->pDirty = 0;
2128 rc = pager_write_pagelist( pPg );
drhdb48ee02003-01-16 13:42:43 +00002129 if( rc!=SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00002130 sqlite3pager_rollback(pPager);
drhdb48ee02003-01-16 13:42:43 +00002131 return SQLITE_IOERR;
2132 }
drhdb48ee02003-01-16 13:42:43 +00002133 }
drh50e5dad2001-09-15 00:57:28 +00002134 assert( pPg->dirty==0 );
drhd9b02572001-04-15 00:37:09 +00002135
drhdb48ee02003-01-16 13:42:43 +00002136 /* If the page we are recycling is marked as alwaysRollback, then
drh193a6b42002-07-07 16:52:46 +00002137 ** set the global alwaysRollback flag, thus disabling the
2138 ** sqlite_dont_rollback() optimization for the rest of this transaction.
2139 ** It is necessary to do this because the page marked alwaysRollback
2140 ** might be reloaded at a later time but at that point we won't remember
2141 ** that is was marked alwaysRollback. This means that all pages must
2142 ** be marked as alwaysRollback from here on out.
2143 */
2144 if( pPg->alwaysRollback ){
2145 pPager->alwaysRollback = 1;
2146 }
2147
drhd9b02572001-04-15 00:37:09 +00002148 /* Unlink the old page from the free list and the hash table
2149 */
drhac69b052004-05-12 13:30:07 +00002150 unlinkPage(pPg);
drhd9b02572001-04-15 00:37:09 +00002151 pPager->nOvfl++;
drhed7c8552001-04-11 14:29:21 +00002152 }
2153 pPg->pgno = pgno;
drh1ab43002002-01-14 09:28:19 +00002154 if( pPager->aInJournal && (int)pgno<=pPager->origDbSize ){
danielk19774adee202004-05-08 08:23:19 +00002155 sqlite3CheckMemory(pPager->aInJournal, pgno/8);
drhdb48ee02003-01-16 13:42:43 +00002156 assert( pPager->journalOpen );
drh6019e162001-07-02 17:51:45 +00002157 pPg->inJournal = (pPager->aInJournal[pgno/8] & (1<<(pgno&7)))!=0;
drhdb48ee02003-01-16 13:42:43 +00002158 pPg->needSync = 0;
drh6019e162001-07-02 17:51:45 +00002159 }else{
2160 pPg->inJournal = 0;
drhdb48ee02003-01-16 13:42:43 +00002161 pPg->needSync = 0;
drh6019e162001-07-02 17:51:45 +00002162 }
drhac69b052004-05-12 13:30:07 +00002163 if( pPager->aInStmt && (int)pgno<=pPager->stmtSize
2164 && (pPager->aInStmt[pgno/8] & (1<<(pgno&7)))!=0 ){
drh3aac2dd2004-04-26 14:10:20 +00002165 page_add_to_stmt_list(pPg);
drhfa86c412002-02-02 15:01:15 +00002166 }else{
drh3aac2dd2004-04-26 14:10:20 +00002167 page_remove_from_stmt_list(pPg);
drhfa86c412002-02-02 15:01:15 +00002168 }
drhed7c8552001-04-11 14:29:21 +00002169 pPg->dirty = 0;
2170 pPg->nRef = 1;
drhdd793422001-06-28 01:54:48 +00002171 REFINFO(pPg);
drhd9b02572001-04-15 00:37:09 +00002172 pPager->nRef++;
2173 h = pager_hash(pgno);
drhed7c8552001-04-11 14:29:21 +00002174 pPg->pNextHash = pPager->aHash[h];
2175 pPager->aHash[h] = pPg;
2176 if( pPg->pNextHash ){
2177 assert( pPg->pNextHash->pPrevHash==0 );
2178 pPg->pNextHash->pPrevHash = pPg;
2179 }
drh2e6d11b2003-04-25 15:37:57 +00002180 if( pPager->nExtra>0 ){
2181 memset(PGHDR_TO_EXTRA(pPg), 0, pPager->nExtra);
2182 }
drh3aac2dd2004-04-26 14:10:20 +00002183 if( pPager->dbSize<0 ) sqlite3pager_pagecount(pPager);
drh2e6d11b2003-04-25 15:37:57 +00002184 if( pPager->errMask!=0 ){
drh3aac2dd2004-04-26 14:10:20 +00002185 sqlite3pager_unref(PGHDR_TO_DATA(pPg));
drh2e6d11b2003-04-25 15:37:57 +00002186 rc = pager_errcode(pPager);
2187 return rc;
2188 }
drh1ab43002002-01-14 09:28:19 +00002189 if( pPager->dbSize<(int)pgno ){
drhd0ba1932004-02-10 01:54:28 +00002190 memset(PGHDR_TO_DATA(pPg), 0, SQLITE_PAGE_SIZE);
drh306dc212001-05-21 13:45:10 +00002191 }else{
drh81a20f22001-10-12 17:30:04 +00002192 int rc;
drhac69b052004-05-12 13:30:07 +00002193 assert( pPager->memDb==0 );
danielk19774adee202004-05-08 08:23:19 +00002194 sqlite3OsSeek(&pPager->fd, (pgno-1)*(off_t)SQLITE_PAGE_SIZE);
2195 rc = sqlite3OsRead(&pPager->fd, PGHDR_TO_DATA(pPg), SQLITE_PAGE_SIZE);
drha6abd042004-06-09 17:37:22 +00002196 TRACE2("FETCH page %d\n", pPg->pgno);
drh9eb9e262004-02-11 02:18:05 +00002197 CODEC(pPager, PGHDR_TO_DATA(pPg), pPg->pgno, 3);
drh81a20f22001-10-12 17:30:04 +00002198 if( rc!=SQLITE_OK ){
drh28be87c2002-11-05 23:03:02 +00002199 off_t fileSize;
danielk19774adee202004-05-08 08:23:19 +00002200 if( sqlite3OsFileSize(&pPager->fd,&fileSize)!=SQLITE_OK
drhd0ba1932004-02-10 01:54:28 +00002201 || fileSize>=pgno*SQLITE_PAGE_SIZE ){
drh3aac2dd2004-04-26 14:10:20 +00002202 sqlite3pager_unref(PGHDR_TO_DATA(pPg));
drh4e371ee2002-09-05 16:08:27 +00002203 return rc;
2204 }else{
drhd0ba1932004-02-10 01:54:28 +00002205 memset(PGHDR_TO_DATA(pPg), 0, SQLITE_PAGE_SIZE);
drh4e371ee2002-09-05 16:08:27 +00002206 }
drh81a20f22001-10-12 17:30:04 +00002207 }
drh306dc212001-05-21 13:45:10 +00002208 }
drhed7c8552001-04-11 14:29:21 +00002209 }else{
drhd9b02572001-04-15 00:37:09 +00002210 /* The requested page is in the page cache. */
drh7e3b0a02001-04-28 16:52:40 +00002211 pPager->nHit++;
drhdf0b3b02001-06-23 11:36:20 +00002212 page_ref(pPg);
drhed7c8552001-04-11 14:29:21 +00002213 }
2214 *ppPage = PGHDR_TO_DATA(pPg);
2215 return SQLITE_OK;
2216}
2217
2218/*
drh7e3b0a02001-04-28 16:52:40 +00002219** Acquire a page if it is already in the in-memory cache. Do
2220** not read the page from disk. Return a pointer to the page,
2221** or 0 if the page is not in cache.
2222**
drh3aac2dd2004-04-26 14:10:20 +00002223** See also sqlite3pager_get(). The difference between this routine
2224** and sqlite3pager_get() is that _get() will go to the disk and read
drh7e3b0a02001-04-28 16:52:40 +00002225** in the page if the page is not already in cache. This routine
drh5e00f6c2001-09-13 13:46:56 +00002226** returns NULL if the page is not in cache or if a disk I/O error
2227** has ever happened.
drh7e3b0a02001-04-28 16:52:40 +00002228*/
drh3aac2dd2004-04-26 14:10:20 +00002229void *sqlite3pager_lookup(Pager *pPager, Pgno pgno){
drh7e3b0a02001-04-28 16:52:40 +00002230 PgHdr *pPg;
2231
drh836faa42003-01-11 13:30:57 +00002232 assert( pPager!=0 );
2233 assert( pgno!=0 );
drh7e3b0a02001-04-28 16:52:40 +00002234 if( pPager->errMask & ~(PAGER_ERR_FULL) ){
2235 return 0;
2236 }
drh7e3b0a02001-04-28 16:52:40 +00002237 pPg = pager_lookup(pPager, pgno);
2238 if( pPg==0 ) return 0;
drhdf0b3b02001-06-23 11:36:20 +00002239 page_ref(pPg);
drh7e3b0a02001-04-28 16:52:40 +00002240 return PGHDR_TO_DATA(pPg);
2241}
2242
2243/*
drhed7c8552001-04-11 14:29:21 +00002244** Release a page.
2245**
2246** If the number of references to the page drop to zero, then the
2247** page is added to the LRU list. When all references to all pages
drhd9b02572001-04-15 00:37:09 +00002248** are released, a rollback occurs and the lock on the database is
drhed7c8552001-04-11 14:29:21 +00002249** removed.
2250*/
drh3aac2dd2004-04-26 14:10:20 +00002251int sqlite3pager_unref(void *pData){
drhed7c8552001-04-11 14:29:21 +00002252 PgHdr *pPg;
drhd9b02572001-04-15 00:37:09 +00002253
2254 /* Decrement the reference count for this page
2255 */
drhed7c8552001-04-11 14:29:21 +00002256 pPg = DATA_TO_PGHDR(pData);
2257 assert( pPg->nRef>0 );
drhed7c8552001-04-11 14:29:21 +00002258 pPg->nRef--;
drhdd793422001-06-28 01:54:48 +00002259 REFINFO(pPg);
drhd9b02572001-04-15 00:37:09 +00002260
drh72f82862001-05-24 21:06:34 +00002261 /* When the number of references to a page reach 0, call the
2262 ** destructor and add the page to the freelist.
drhd9b02572001-04-15 00:37:09 +00002263 */
drhed7c8552001-04-11 14:29:21 +00002264 if( pPg->nRef==0 ){
drh1eaa2692001-09-18 02:02:23 +00002265 Pager *pPager;
2266 pPager = pPg->pPager;
drhd9b02572001-04-15 00:37:09 +00002267 pPg->pNextFree = 0;
2268 pPg->pPrevFree = pPager->pLast;
drhed7c8552001-04-11 14:29:21 +00002269 pPager->pLast = pPg;
drhd9b02572001-04-15 00:37:09 +00002270 if( pPg->pPrevFree ){
2271 pPg->pPrevFree->pNextFree = pPg;
drhed7c8552001-04-11 14:29:21 +00002272 }else{
2273 pPager->pFirst = pPg;
2274 }
drh341eae82003-01-21 02:39:36 +00002275 if( pPg->needSync==0 && pPager->pFirstSynced==0 ){
2276 pPager->pFirstSynced = pPg;
2277 }
drh72f82862001-05-24 21:06:34 +00002278 if( pPager->xDestructor ){
drhb6f41482004-05-14 01:58:11 +00002279 pPager->xDestructor(pData, pPager->pageSize);
drh72f82862001-05-24 21:06:34 +00002280 }
drhd9b02572001-04-15 00:37:09 +00002281
2282 /* When all pages reach the freelist, drop the read lock from
2283 ** the database file.
2284 */
2285 pPager->nRef--;
2286 assert( pPager->nRef>=0 );
drhac69b052004-05-12 13:30:07 +00002287 if( pPager->nRef==0 && !pPager->memDb ){
drhd9b02572001-04-15 00:37:09 +00002288 pager_reset(pPager);
2289 }
drhed7c8552001-04-11 14:29:21 +00002290 }
drhd9b02572001-04-15 00:37:09 +00002291 return SQLITE_OK;
drhed7c8552001-04-11 14:29:21 +00002292}
2293
2294/*
drha6abd042004-06-09 17:37:22 +00002295** Create a journal file for pPager. There should already be a RESERVED
2296** or EXCLUSIVE lock on the database file when this routine is called.
drhda47d772002-12-02 04:25:19 +00002297**
2298** Return SQLITE_OK if everything. Return an error code and release the
2299** write lock if anything goes wrong.
2300*/
2301static int pager_open_journal(Pager *pPager){
2302 int rc;
danielk1977eac7a362004-06-16 07:45:24 +00002303 assert( !pPager->memDb );
drha6abd042004-06-09 17:37:22 +00002304 assert( pPager->state>=PAGER_RESERVED );
drhda47d772002-12-02 04:25:19 +00002305 assert( pPager->journalOpen==0 );
2306 assert( pPager->useJournal );
drh3aac2dd2004-04-26 14:10:20 +00002307 sqlite3pager_pagecount(pPager);
drhda47d772002-12-02 04:25:19 +00002308 pPager->aInJournal = sqliteMalloc( pPager->dbSize/8 + 1 );
2309 if( pPager->aInJournal==0 ){
drha6abd042004-06-09 17:37:22 +00002310 sqlite3OsUnlock(&pPager->fd, SHARED_LOCK);
2311 pPager->state = PAGER_SHARED;
drhda47d772002-12-02 04:25:19 +00002312 return SQLITE_NOMEM;
2313 }
danielk19774adee202004-05-08 08:23:19 +00002314 rc = sqlite3OsOpenExclusive(pPager->zJournal, &pPager->jfd,pPager->tempFile);
danielk197776572402004-06-25 02:38:54 +00002315 pPager->journalOff = 0;
2316 pPager->setMaster = 0;
2317 pPager->journalHdr = 0;
drhda47d772002-12-02 04:25:19 +00002318 if( rc!=SQLITE_OK ){
2319 sqliteFree(pPager->aInJournal);
2320 pPager->aInJournal = 0;
drha6abd042004-06-09 17:37:22 +00002321 sqlite3OsUnlock(&pPager->fd, SHARED_LOCK);
2322 pPager->state = PAGER_SHARED;
danielk197796fb0dd2004-06-30 09:49:22 +00002323 return rc;
drhda47d772002-12-02 04:25:19 +00002324 }
danielk19774adee202004-05-08 08:23:19 +00002325 sqlite3OsOpenDirectory(pPager->zDirectory, &pPager->jfd);
drhda47d772002-12-02 04:25:19 +00002326 pPager->journalOpen = 1;
drhdb48ee02003-01-16 13:42:43 +00002327 pPager->journalStarted = 0;
drhda47d772002-12-02 04:25:19 +00002328 pPager->needSync = 0;
2329 pPager->alwaysRollback = 0;
drh968af522003-02-11 14:55:40 +00002330 pPager->nRec = 0;
drh2e6d11b2003-04-25 15:37:57 +00002331 if( pPager->errMask!=0 ){
2332 rc = pager_errcode(pPager);
2333 return rc;
2334 }
drhda47d772002-12-02 04:25:19 +00002335 pPager->origDbSize = pPager->dbSize;
drhae2b40c2004-06-09 19:03:54 +00002336
danielk197776572402004-06-25 02:38:54 +00002337 rc = writeJournalHdr(pPager);
2338
drhac69b052004-05-12 13:30:07 +00002339 if( pPager->stmtAutoopen && rc==SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00002340 rc = sqlite3pager_stmt_begin(pPager);
drhda47d772002-12-02 04:25:19 +00002341 }
2342 if( rc!=SQLITE_OK ){
2343 rc = pager_unwritelock(pPager);
2344 if( rc==SQLITE_OK ){
2345 rc = SQLITE_FULL;
2346 }
2347 }
2348 return rc;
2349}
2350
2351/*
drh4b845d72002-03-05 12:41:19 +00002352** Acquire a write-lock on the database. The lock is removed when
2353** the any of the following happen:
2354**
drh3aac2dd2004-04-26 14:10:20 +00002355** * sqlite3pager_commit() is called.
2356** * sqlite3pager_rollback() is called.
2357** * sqlite3pager_close() is called.
2358** * sqlite3pager_unref() is called to on every outstanding page.
drh4b845d72002-03-05 12:41:19 +00002359**
danielk197713adf8a2004-06-03 16:08:41 +00002360** The first parameter to this routine is a pointer to any open page of the
2361** database file. Nothing changes about the page - it is used merely to
2362** acquire a pointer to the Pager structure and as proof that there is
2363** already a read-lock on the database.
drh4b845d72002-03-05 12:41:19 +00002364**
danielk197713adf8a2004-06-03 16:08:41 +00002365** The second parameter indicates how much space in bytes to reserve for a
2366** master journal file-name at the start of the journal when it is created.
2367**
2368** A journal file is opened if this is not a temporary file. For temporary
2369** files, the opening of the journal file is deferred until there is an
2370** actual need to write to the journal.
drhda47d772002-12-02 04:25:19 +00002371**
drha6abd042004-06-09 17:37:22 +00002372** If the database is already reserved for writing, this routine is a no-op.
drh4b845d72002-03-05 12:41:19 +00002373*/
danielk197740b38dc2004-06-26 08:38:24 +00002374int sqlite3pager_begin(void *pData){
drh4b845d72002-03-05 12:41:19 +00002375 PgHdr *pPg = DATA_TO_PGHDR(pData);
2376 Pager *pPager = pPg->pPager;
2377 int rc = SQLITE_OK;
2378 assert( pPg->nRef>0 );
drha6abd042004-06-09 17:37:22 +00002379 assert( pPager->state!=PAGER_UNLOCK );
2380 if( pPager->state==PAGER_SHARED ){
drh4b845d72002-03-05 12:41:19 +00002381 assert( pPager->aInJournal==0 );
drhac69b052004-05-12 13:30:07 +00002382 if( pPager->memDb ){
drha6abd042004-06-09 17:37:22 +00002383 pPager->state = PAGER_EXCLUSIVE;
drhac69b052004-05-12 13:30:07 +00002384 pPager->origDbSize = pPager->dbSize;
2385 }else{
danielk197724162fe2004-06-04 06:22:00 +00002386 int busy = 1;
danielk19779eed5052004-06-04 10:38:30 +00002387 do {
danielk19779eed5052004-06-04 10:38:30 +00002388 rc = sqlite3OsLock(&pPager->fd, RESERVED_LOCK);
2389 }while( rc==SQLITE_BUSY &&
2390 pPager->pBusyHandler &&
2391 pPager->pBusyHandler->xFunc &&
danielk19772a764eb2004-06-12 01:43:26 +00002392 pPager->pBusyHandler->xFunc(pPager->pBusyHandler->pArg, busy++)
danielk19779eed5052004-06-04 10:38:30 +00002393 );
2394 if( rc!=SQLITE_OK ){
2395 return rc;
drhac69b052004-05-12 13:30:07 +00002396 }
drha6abd042004-06-09 17:37:22 +00002397 pPager->state = PAGER_RESERVED;
2398 pPager->dirtyCache = 0;
danielk197776572402004-06-25 02:38:54 +00002399 TRACE2("TRANSACTION %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002400 if( pPager->useJournal && !pPager->tempFile ){
2401 rc = pager_open_journal(pPager);
2402 }
drh4b845d72002-03-05 12:41:19 +00002403 }
2404 }
2405 return rc;
2406}
2407
2408/*
drhed7c8552001-04-11 14:29:21 +00002409** Mark a data page as writeable. The page is written into the journal
2410** if it is not there already. This routine must be called before making
2411** changes to a page.
2412**
2413** The first time this routine is called, the pager creates a new
drha6abd042004-06-09 17:37:22 +00002414** journal and acquires a RESERVED lock on the database. If the RESERVED
drhed7c8552001-04-11 14:29:21 +00002415** lock could not be acquired, this routine returns SQLITE_BUSY. The
drh306dc212001-05-21 13:45:10 +00002416** calling routine must check for that return value and be careful not to
drhed7c8552001-04-11 14:29:21 +00002417** change any page data until this routine returns SQLITE_OK.
drhd9b02572001-04-15 00:37:09 +00002418**
2419** If the journal file could not be written because the disk is full,
2420** then this routine returns SQLITE_FULL and does an immediate rollback.
2421** All subsequent write attempts also return SQLITE_FULL until there
drh3aac2dd2004-04-26 14:10:20 +00002422** is a call to sqlite3pager_commit() or sqlite3pager_rollback() to
drhd9b02572001-04-15 00:37:09 +00002423** reset.
drhed7c8552001-04-11 14:29:21 +00002424*/
drh3aac2dd2004-04-26 14:10:20 +00002425int sqlite3pager_write(void *pData){
drh69688d52001-04-14 16:38:23 +00002426 PgHdr *pPg = DATA_TO_PGHDR(pData);
2427 Pager *pPager = pPg->pPager;
drhd79caeb2001-04-15 02:27:24 +00002428 int rc = SQLITE_OK;
drh69688d52001-04-14 16:38:23 +00002429
drh6446c4d2001-12-15 14:22:18 +00002430 /* Check for errors
2431 */
drhd9b02572001-04-15 00:37:09 +00002432 if( pPager->errMask ){
2433 return pager_errcode(pPager);
2434 }
drh5e00f6c2001-09-13 13:46:56 +00002435 if( pPager->readOnly ){
2436 return SQLITE_PERM;
2437 }
drh6446c4d2001-12-15 14:22:18 +00002438
danielk197776572402004-06-25 02:38:54 +00002439 assert( !pPager->setMaster );
2440
drh6446c4d2001-12-15 14:22:18 +00002441 /* Mark the page as dirty. If the page has already been written
2442 ** to the journal then we can return right away.
2443 */
drhd9b02572001-04-15 00:37:09 +00002444 pPg->dirty = 1;
drhac69b052004-05-12 13:30:07 +00002445 if( pPg->inJournal && (pPg->inStmt || pPager->stmtInUse==0) ){
drha6abd042004-06-09 17:37:22 +00002446 pPager->dirtyCache = 1;
drhfa86c412002-02-02 15:01:15 +00002447 return SQLITE_OK;
2448 }
drh6446c4d2001-12-15 14:22:18 +00002449
2450 /* If we get this far, it means that the page needs to be
drhfa86c412002-02-02 15:01:15 +00002451 ** written to the transaction journal or the ckeckpoint journal
2452 ** or both.
2453 **
2454 ** First check to see that the transaction journal exists and
2455 ** create it if it does not.
drh6446c4d2001-12-15 14:22:18 +00002456 */
drha6abd042004-06-09 17:37:22 +00002457 assert( pPager->state!=PAGER_UNLOCK );
danielk197740b38dc2004-06-26 08:38:24 +00002458 rc = sqlite3pager_begin(pData);
drhda47d772002-12-02 04:25:19 +00002459 if( rc!=SQLITE_OK ){
2460 return rc;
2461 }
drha6abd042004-06-09 17:37:22 +00002462 assert( pPager->state>=PAGER_RESERVED );
drhda47d772002-12-02 04:25:19 +00002463 if( !pPager->journalOpen && pPager->useJournal ){
2464 rc = pager_open_journal(pPager);
2465 if( rc!=SQLITE_OK ) return rc;
2466 }
2467 assert( pPager->journalOpen || !pPager->useJournal );
drha6abd042004-06-09 17:37:22 +00002468 pPager->dirtyCache = 1;
drh6446c4d2001-12-15 14:22:18 +00002469
drha6abd042004-06-09 17:37:22 +00002470 /* The transaction journal now exists and we have a RESERVED or an
2471 ** EXCLUSIVE lock on the main database file. Write the current page to
2472 ** the transaction journal if it is not there already.
drh6446c4d2001-12-15 14:22:18 +00002473 */
drhac69b052004-05-12 13:30:07 +00002474 if( !pPg->inJournal && (pPager->useJournal || pPager->memDb) ){
drhdb48ee02003-01-16 13:42:43 +00002475 if( (int)pPg->pgno <= pPager->origDbSize ){
drh968af522003-02-11 14:55:40 +00002476 int szPg;
2477 u32 saved;
drhac69b052004-05-12 13:30:07 +00002478 if( pPager->memDb ){
2479 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
drha6abd042004-06-09 17:37:22 +00002480 TRACE2("JOURNAL page %d\n", pPg->pgno);
drhac69b052004-05-12 13:30:07 +00002481 assert( pHist->pOrig==0 );
2482 pHist->pOrig = sqliteMallocRaw( pPager->pageSize );
2483 if( pHist->pOrig ){
2484 memcpy(pHist->pOrig, PGHDR_TO_DATA(pPg), pPager->pageSize);
2485 }
2486 pPg->inJournal = 1;
danielk197713adf8a2004-06-03 16:08:41 +00002487 }else{
drhae2b40c2004-06-09 19:03:54 +00002488 u32 cksum = pager_cksum(pPager, pPg->pgno, pData);
2489 saved = *(u32*)PGHDR_TO_EXTRA(pPg);
2490 store32bits(cksum, pPg, SQLITE_PAGE_SIZE);
2491 szPg = SQLITE_PAGE_SIZE+8;
drhac69b052004-05-12 13:30:07 +00002492 store32bits(pPg->pgno, pPg, -4);
2493 CODEC(pPager, pData, pPg->pgno, 7);
2494 rc = sqlite3OsWrite(&pPager->jfd, &((char*)pData)[-4], szPg);
danielk197776572402004-06-25 02:38:54 +00002495 pPager->journalOff += szPg;
drha6abd042004-06-09 17:37:22 +00002496 TRACE3("JOURNAL page %d needSync=%d\n", pPg->pgno, pPg->needSync);
drhac69b052004-05-12 13:30:07 +00002497 CODEC(pPager, pData, pPg->pgno, 0);
drhae2b40c2004-06-09 19:03:54 +00002498 *(u32*)PGHDR_TO_EXTRA(pPg) = saved;
drhac69b052004-05-12 13:30:07 +00002499 if( rc!=SQLITE_OK ){
2500 sqlite3pager_rollback(pPager);
2501 pPager->errMask |= PAGER_ERR_FULL;
2502 return rc;
2503 }
2504 pPager->nRec++;
2505 assert( pPager->aInJournal!=0 );
2506 pPager->aInJournal[pPg->pgno/8] |= 1<<(pPg->pgno&7);
2507 pPg->needSync = !pPager->noSync;
2508 pPg->inJournal = 1;
2509 if( pPager->stmtInUse ){
2510 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
2511 page_add_to_stmt_list(pPg);
2512 }
drhdb48ee02003-01-16 13:42:43 +00002513 }
drhdb48ee02003-01-16 13:42:43 +00002514 }else{
2515 pPg->needSync = !pPager->journalStarted && !pPager->noSync;
drha6abd042004-06-09 17:37:22 +00002516 TRACE3("APPEND page %d needSync=%d\n", pPg->pgno, pPg->needSync);
drhd9b02572001-04-15 00:37:09 +00002517 }
drhdb48ee02003-01-16 13:42:43 +00002518 if( pPg->needSync ){
2519 pPager->needSync = 1;
drhfa86c412002-02-02 15:01:15 +00002520 }
drh69688d52001-04-14 16:38:23 +00002521 }
drh6446c4d2001-12-15 14:22:18 +00002522
drhac69b052004-05-12 13:30:07 +00002523 /* If the statement journal is open and the page is not in it,
2524 ** then write the current page to the statement journal. Note that
drhae2b40c2004-06-09 19:03:54 +00002525 ** the statement journal format differs from the standard journal format
2526 ** in that it omits the checksums and the header.
drh6446c4d2001-12-15 14:22:18 +00002527 */
drhac69b052004-05-12 13:30:07 +00002528 if( pPager->stmtInUse && !pPg->inStmt && (int)pPg->pgno<=pPager->stmtSize ){
drh1e336b42002-02-14 12:50:33 +00002529 assert( pPg->inJournal || (int)pPg->pgno>pPager->origDbSize );
drhac69b052004-05-12 13:30:07 +00002530 if( pPager->memDb ){
2531 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
2532 assert( pHist->pStmt==0 );
2533 pHist->pStmt = sqliteMallocRaw( pPager->pageSize );
2534 if( pHist->pStmt ){
2535 memcpy(pHist->pStmt, PGHDR_TO_DATA(pPg), pPager->pageSize);
2536 }
drha6abd042004-06-09 17:37:22 +00002537 TRACE2("STMT-JOURNAL page %d\n", pPg->pgno);
drhac69b052004-05-12 13:30:07 +00002538 }else{
2539 store32bits(pPg->pgno, pPg, -4);
2540 CODEC(pPager, pData, pPg->pgno, 7);
2541 rc = sqlite3OsWrite(&pPager->stfd, ((char*)pData)-4, SQLITE_PAGE_SIZE+4);
drha6abd042004-06-09 17:37:22 +00002542 TRACE2("STMT-JOURNAL page %d\n", pPg->pgno);
drhac69b052004-05-12 13:30:07 +00002543 CODEC(pPager, pData, pPg->pgno, 0);
2544 if( rc!=SQLITE_OK ){
2545 sqlite3pager_rollback(pPager);
2546 pPager->errMask |= PAGER_ERR_FULL;
2547 return rc;
2548 }
2549 pPager->stmtNRec++;
2550 assert( pPager->aInStmt!=0 );
2551 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drhfa86c412002-02-02 15:01:15 +00002552 }
drh3aac2dd2004-04-26 14:10:20 +00002553 page_add_to_stmt_list(pPg);
drhfa86c412002-02-02 15:01:15 +00002554 }
2555
2556 /* Update the database size and return.
2557 */
drh1ab43002002-01-14 09:28:19 +00002558 if( pPager->dbSize<(int)pPg->pgno ){
drh306dc212001-05-21 13:45:10 +00002559 pPager->dbSize = pPg->pgno;
drh1f595712004-06-15 01:40:29 +00002560 if( !pPager->memDb && pPager->dbSize==PENDING_BYTE/pPager->pageSize ){
2561 pPager->dbSize++;
2562 }
drh306dc212001-05-21 13:45:10 +00002563 }
drh69688d52001-04-14 16:38:23 +00002564 return rc;
drhed7c8552001-04-11 14:29:21 +00002565}
2566
2567/*
drhaacc5432002-01-06 17:07:40 +00002568** Return TRUE if the page given in the argument was previously passed
drh3aac2dd2004-04-26 14:10:20 +00002569** to sqlite3pager_write(). In other words, return TRUE if it is ok
drh6019e162001-07-02 17:51:45 +00002570** to change the content of the page.
2571*/
drh3aac2dd2004-04-26 14:10:20 +00002572int sqlite3pager_iswriteable(void *pData){
drh6019e162001-07-02 17:51:45 +00002573 PgHdr *pPg = DATA_TO_PGHDR(pData);
2574 return pPg->dirty;
2575}
2576
2577/*
drh001bbcb2003-03-19 03:14:00 +00002578** Replace the content of a single page with the information in the third
2579** argument.
2580*/
drh3aac2dd2004-04-26 14:10:20 +00002581int sqlite3pager_overwrite(Pager *pPager, Pgno pgno, void *pData){
drh001bbcb2003-03-19 03:14:00 +00002582 void *pPage;
2583 int rc;
2584
drh3aac2dd2004-04-26 14:10:20 +00002585 rc = sqlite3pager_get(pPager, pgno, &pPage);
drh001bbcb2003-03-19 03:14:00 +00002586 if( rc==SQLITE_OK ){
drh3aac2dd2004-04-26 14:10:20 +00002587 rc = sqlite3pager_write(pPage);
drh001bbcb2003-03-19 03:14:00 +00002588 if( rc==SQLITE_OK ){
drhd0ba1932004-02-10 01:54:28 +00002589 memcpy(pPage, pData, SQLITE_PAGE_SIZE);
drh001bbcb2003-03-19 03:14:00 +00002590 }
drh3aac2dd2004-04-26 14:10:20 +00002591 sqlite3pager_unref(pPage);
drh001bbcb2003-03-19 03:14:00 +00002592 }
2593 return rc;
2594}
2595
2596/*
drh30e58752002-03-02 20:41:57 +00002597** A call to this routine tells the pager that it is not necessary to
2598** write the information on page "pgno" back to the disk, even though
2599** that page might be marked as dirty.
2600**
2601** The overlying software layer calls this routine when all of the data
2602** on the given page is unused. The pager marks the page as clean so
2603** that it does not get written to disk.
2604**
2605** Tests show that this optimization, together with the
drh3aac2dd2004-04-26 14:10:20 +00002606** sqlite3pager_dont_rollback() below, more than double the speed
drh30e58752002-03-02 20:41:57 +00002607** of large INSERT operations and quadruple the speed of large DELETEs.
drh8e298f92002-07-06 16:28:47 +00002608**
2609** When this routine is called, set the alwaysRollback flag to true.
drh3aac2dd2004-04-26 14:10:20 +00002610** Subsequent calls to sqlite3pager_dont_rollback() for the same page
drh8e298f92002-07-06 16:28:47 +00002611** will thereafter be ignored. This is necessary to avoid a problem
2612** where a page with data is added to the freelist during one part of
2613** a transaction then removed from the freelist during a later part
2614** of the same transaction and reused for some other purpose. When it
2615** is first added to the freelist, this routine is called. When reused,
2616** the dont_rollback() routine is called. But because the page contains
2617** critical data, we still need to be sure it gets rolled back in spite
2618** of the dont_rollback() call.
drh30e58752002-03-02 20:41:57 +00002619*/
drh3aac2dd2004-04-26 14:10:20 +00002620void sqlite3pager_dont_write(Pager *pPager, Pgno pgno){
drh30e58752002-03-02 20:41:57 +00002621 PgHdr *pPg;
drh8e298f92002-07-06 16:28:47 +00002622
danielk1977eac7a362004-06-16 07:45:24 +00002623 if( pPager->memDb ) return;
2624
drh30e58752002-03-02 20:41:57 +00002625 pPg = pager_lookup(pPager, pgno);
drh8e298f92002-07-06 16:28:47 +00002626 pPg->alwaysRollback = 1;
drh30e58752002-03-02 20:41:57 +00002627 if( pPg && pPg->dirty ){
drh8124a302002-06-25 14:43:57 +00002628 if( pPager->dbSize==(int)pPg->pgno && pPager->origDbSize<pPager->dbSize ){
2629 /* If this pages is the last page in the file and the file has grown
2630 ** during the current transaction, then do NOT mark the page as clean.
2631 ** When the database file grows, we must make sure that the last page
2632 ** gets written at least once so that the disk file will be the correct
2633 ** size. If you do not write this page and the size of the file
2634 ** on the disk ends up being too small, that can lead to database
2635 ** corruption during the next transaction.
2636 */
2637 }else{
drha6abd042004-06-09 17:37:22 +00002638 TRACE3("DONT_WRITE page %d of %d\n", pgno, pPager->fd.h);
drh8124a302002-06-25 14:43:57 +00002639 pPg->dirty = 0;
2640 }
drh30e58752002-03-02 20:41:57 +00002641 }
2642}
2643
2644/*
2645** A call to this routine tells the pager that if a rollback occurs,
2646** it is not necessary to restore the data on the given page. This
2647** means that the pager does not have to record the given page in the
2648** rollback journal.
2649*/
drh3aac2dd2004-04-26 14:10:20 +00002650void sqlite3pager_dont_rollback(void *pData){
drh30e58752002-03-02 20:41:57 +00002651 PgHdr *pPg = DATA_TO_PGHDR(pData);
2652 Pager *pPager = pPg->pPager;
2653
drha6abd042004-06-09 17:37:22 +00002654 if( pPager->state!=PAGER_EXCLUSIVE || pPager->journalOpen==0 ) return;
drhac69b052004-05-12 13:30:07 +00002655 if( pPg->alwaysRollback || pPager->alwaysRollback || pPager->memDb ) return;
drh30e58752002-03-02 20:41:57 +00002656 if( !pPg->inJournal && (int)pPg->pgno <= pPager->origDbSize ){
2657 assert( pPager->aInJournal!=0 );
2658 pPager->aInJournal[pPg->pgno/8] |= 1<<(pPg->pgno&7);
2659 pPg->inJournal = 1;
drhac69b052004-05-12 13:30:07 +00002660 if( pPager->stmtInUse ){
2661 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drh3aac2dd2004-04-26 14:10:20 +00002662 page_add_to_stmt_list(pPg);
drh30e58752002-03-02 20:41:57 +00002663 }
drha6abd042004-06-09 17:37:22 +00002664 TRACE3("DONT_ROLLBACK page %d of %d\n", pPg->pgno, pPager->fd.h);
drh30e58752002-03-02 20:41:57 +00002665 }
drhac69b052004-05-12 13:30:07 +00002666 if( pPager->stmtInUse && !pPg->inStmt && (int)pPg->pgno<=pPager->stmtSize ){
drh30e58752002-03-02 20:41:57 +00002667 assert( pPg->inJournal || (int)pPg->pgno>pPager->origDbSize );
drhac69b052004-05-12 13:30:07 +00002668 assert( pPager->aInStmt!=0 );
2669 pPager->aInStmt[pPg->pgno/8] |= 1<<(pPg->pgno&7);
drh3aac2dd2004-04-26 14:10:20 +00002670 page_add_to_stmt_list(pPg);
drh30e58752002-03-02 20:41:57 +00002671 }
2672}
2673
drhac69b052004-05-12 13:30:07 +00002674
2675/*
2676** Clear a PgHistory block
2677*/
2678static void clearHistory(PgHistory *pHist){
2679 sqliteFree(pHist->pOrig);
2680 sqliteFree(pHist->pStmt);
2681 pHist->pOrig = 0;
2682 pHist->pStmt = 0;
2683}
2684
drh30e58752002-03-02 20:41:57 +00002685/*
drhed7c8552001-04-11 14:29:21 +00002686** Commit all changes to the database and release the write lock.
drhd9b02572001-04-15 00:37:09 +00002687**
2688** If the commit fails for any reason, a rollback attempt is made
2689** and an error code is returned. If the commit worked, SQLITE_OK
2690** is returned.
drhed7c8552001-04-11 14:29:21 +00002691*/
drh3aac2dd2004-04-26 14:10:20 +00002692int sqlite3pager_commit(Pager *pPager){
drha1b351a2001-09-14 16:42:12 +00002693 int rc;
drhed7c8552001-04-11 14:29:21 +00002694 PgHdr *pPg;
drhd9b02572001-04-15 00:37:09 +00002695
2696 if( pPager->errMask==PAGER_ERR_FULL ){
drh3aac2dd2004-04-26 14:10:20 +00002697 rc = sqlite3pager_rollback(pPager);
drh4e371ee2002-09-05 16:08:27 +00002698 if( rc==SQLITE_OK ){
2699 rc = SQLITE_FULL;
2700 }
drhd9b02572001-04-15 00:37:09 +00002701 return rc;
2702 }
2703 if( pPager->errMask!=0 ){
2704 rc = pager_errcode(pPager);
2705 return rc;
2706 }
drha6abd042004-06-09 17:37:22 +00002707 if( pPager->state<PAGER_RESERVED ){
drhd9b02572001-04-15 00:37:09 +00002708 return SQLITE_ERROR;
2709 }
drha6abd042004-06-09 17:37:22 +00002710 TRACE2("COMMIT %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002711 if( pPager->memDb ){
2712 pPg = pager_get_all_dirty_pages(pPager);
2713 while( pPg ){
2714 clearHistory(PGHDR_TO_HIST(pPg, pPager));
2715 pPg->dirty = 0;
2716 pPg->inJournal = 0;
2717 pPg->inStmt = 0;
2718 pPg->pPrevStmt = pPg->pNextStmt = 0;
2719 pPg = pPg->pDirty;
2720 }
danielk1977eac7a362004-06-16 07:45:24 +00002721#ifndef NDEBUG
2722 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
2723 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
2724 assert( !pPg->alwaysRollback );
2725 assert( !pHist->pOrig );
2726 assert( !pHist->pStmt );
2727 }
2728#endif
drhac69b052004-05-12 13:30:07 +00002729 pPager->pStmt = 0;
drha6abd042004-06-09 17:37:22 +00002730 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00002731 return SQLITE_OK;
2732 }
drha6abd042004-06-09 17:37:22 +00002733 if( pPager->dirtyCache==0 ){
danielk19774adee202004-05-08 08:23:19 +00002734 /* Exit early (without doing the time-consuming sqlite3OsSync() calls)
drha1680452002-04-18 01:56:57 +00002735 ** if there have been no changes to the database file. */
drh341eae82003-01-21 02:39:36 +00002736 assert( pPager->needSync==0 );
drha1680452002-04-18 01:56:57 +00002737 rc = pager_unwritelock(pPager);
2738 pPager->dbSize = -1;
2739 return rc;
2740 }
drhda47d772002-12-02 04:25:19 +00002741 assert( pPager->journalOpen );
danielk197713adf8a2004-06-03 16:08:41 +00002742 rc = sqlite3pager_sync(pPager, 0);
drha6abd042004-06-09 17:37:22 +00002743 if( rc!=SQLITE_OK ){
2744 goto commit_abort;
2745 }
drhd9b02572001-04-15 00:37:09 +00002746 rc = pager_unwritelock(pPager);
2747 pPager->dbSize = -1;
2748 return rc;
2749
2750 /* Jump here if anything goes wrong during the commit process.
2751 */
2752commit_abort:
drh3aac2dd2004-04-26 14:10:20 +00002753 rc = sqlite3pager_rollback(pPager);
drhd9b02572001-04-15 00:37:09 +00002754 if( rc==SQLITE_OK ){
2755 rc = SQLITE_FULL;
drhed7c8552001-04-11 14:29:21 +00002756 }
drhed7c8552001-04-11 14:29:21 +00002757 return rc;
2758}
2759
2760/*
drha6abd042004-06-09 17:37:22 +00002761** Rollback all changes. The database falls back to PAGER_SHARED mode.
drhed7c8552001-04-11 14:29:21 +00002762** All in-memory cache pages revert to their original data contents.
2763** The journal is deleted.
drhd9b02572001-04-15 00:37:09 +00002764**
2765** This routine cannot fail unless some other process is not following
2766** the correct locking protocol (SQLITE_PROTOCOL) or unless some other
2767** process is writing trash into the journal file (SQLITE_CORRUPT) or
2768** unless a prior malloc() failed (SQLITE_NOMEM). Appropriate error
2769** codes are returned for all these occasions. Otherwise,
2770** SQLITE_OK is returned.
drhed7c8552001-04-11 14:29:21 +00002771*/
drh3aac2dd2004-04-26 14:10:20 +00002772int sqlite3pager_rollback(Pager *pPager){
drhed7c8552001-04-11 14:29:21 +00002773 int rc;
drha6abd042004-06-09 17:37:22 +00002774 TRACE2("ROLLBACK %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002775 if( pPager->memDb ){
2776 PgHdr *p;
2777 for(p=pPager->pAll; p; p=p->pNextAll){
2778 PgHistory *pHist;
danielk1977eac7a362004-06-16 07:45:24 +00002779 assert( !p->alwaysRollback );
2780 if( !p->dirty ){
2781 assert( !((PgHistory *)PGHDR_TO_HIST(p, pPager))->pOrig );
2782 assert( !((PgHistory *)PGHDR_TO_HIST(p, pPager))->pStmt );
2783 continue;
2784 }
2785
drhac69b052004-05-12 13:30:07 +00002786 pHist = PGHDR_TO_HIST(p, pPager);
2787 if( pHist->pOrig ){
2788 memcpy(PGHDR_TO_DATA(p), pHist->pOrig, pPager->pageSize);
2789 TRACE2("ROLLBACK-PAGE %d\n", p->pgno);
2790 }else{
2791 TRACE2("PAGE %d is clean\n", p->pgno);
2792 }
2793 clearHistory(pHist);
2794 p->dirty = 0;
2795 p->inJournal = 0;
2796 p->inStmt = 0;
2797 p->pPrevStmt = p->pNextStmt = 0;
danielk1977369f27e2004-06-15 11:40:04 +00002798
2799 if( pPager->xReiniter ){
2800 pPager->xReiniter(PGHDR_TO_DATA(p), pPager->pageSize);
2801 }
2802
drhac69b052004-05-12 13:30:07 +00002803 }
2804 pPager->pStmt = 0;
2805 pPager->dbSize = pPager->origDbSize;
2806 memoryTruncate(pPager);
2807 pPager->stmtInUse = 0;
drha6abd042004-06-09 17:37:22 +00002808 pPager->state = PAGER_SHARED;
drhac69b052004-05-12 13:30:07 +00002809 return SQLITE_OK;
2810 }
2811
drha6abd042004-06-09 17:37:22 +00002812 if( !pPager->dirtyCache || !pPager->journalOpen ){
drhda47d772002-12-02 04:25:19 +00002813 rc = pager_unwritelock(pPager);
2814 pPager->dbSize = -1;
2815 return rc;
2816 }
drhdb48ee02003-01-16 13:42:43 +00002817
drhd9b02572001-04-15 00:37:09 +00002818 if( pPager->errMask!=0 && pPager->errMask!=PAGER_ERR_FULL ){
drha6abd042004-06-09 17:37:22 +00002819 if( pPager->state>=PAGER_EXCLUSIVE ){
danielk197776572402004-06-25 02:38:54 +00002820 pager_playback(pPager);
drh4b845d72002-03-05 12:41:19 +00002821 }
drhd9b02572001-04-15 00:37:09 +00002822 return pager_errcode(pPager);
drhed7c8552001-04-11 14:29:21 +00002823 }
drha6abd042004-06-09 17:37:22 +00002824 if( pPager->state==PAGER_RESERVED ){
2825 int rc2;
2826 rc = pager_reload_cache(pPager);
2827 rc2 = pager_unwritelock(pPager);
2828 if( rc==SQLITE_OK ){
2829 rc = rc2;
2830 }
2831 }else{
danielk197776572402004-06-25 02:38:54 +00002832 rc = pager_playback(pPager);
drhd9b02572001-04-15 00:37:09 +00002833 }
drhd9b02572001-04-15 00:37:09 +00002834 if( rc!=SQLITE_OK ){
2835 rc = SQLITE_CORRUPT;
2836 pPager->errMask |= PAGER_ERR_CORRUPT;
2837 }
2838 pPager->dbSize = -1;
drhed7c8552001-04-11 14:29:21 +00002839 return rc;
drh98808ba2001-10-18 12:34:46 +00002840}
drhd9b02572001-04-15 00:37:09 +00002841
2842/*
drh5e00f6c2001-09-13 13:46:56 +00002843** Return TRUE if the database file is opened read-only. Return FALSE
2844** if the database is (in theory) writable.
2845*/
drh3aac2dd2004-04-26 14:10:20 +00002846int sqlite3pager_isreadonly(Pager *pPager){
drhbe0072d2001-09-13 14:46:09 +00002847 return pPager->readOnly;
drh5e00f6c2001-09-13 13:46:56 +00002848}
2849
2850/*
drhd9b02572001-04-15 00:37:09 +00002851** This routine is used for testing and analysis only.
2852*/
drh3aac2dd2004-04-26 14:10:20 +00002853int *sqlite3pager_stats(Pager *pPager){
drhd9b02572001-04-15 00:37:09 +00002854 static int a[9];
2855 a[0] = pPager->nRef;
2856 a[1] = pPager->nPage;
2857 a[2] = pPager->mxPage;
2858 a[3] = pPager->dbSize;
2859 a[4] = pPager->state;
2860 a[5] = pPager->errMask;
2861 a[6] = pPager->nHit;
2862 a[7] = pPager->nMiss;
2863 a[8] = pPager->nOvfl;
2864 return a;
2865}
drhdd793422001-06-28 01:54:48 +00002866
drhfa86c412002-02-02 15:01:15 +00002867/*
drhac69b052004-05-12 13:30:07 +00002868** Set the statement rollback point.
drhfa86c412002-02-02 15:01:15 +00002869**
2870** This routine should be called with the transaction journal already
drhac69b052004-05-12 13:30:07 +00002871** open. A new statement journal is created that can be used to rollback
drhaaab5722002-02-19 13:39:21 +00002872** changes of a single SQL command within a larger transaction.
drhfa86c412002-02-02 15:01:15 +00002873*/
drh3aac2dd2004-04-26 14:10:20 +00002874int sqlite3pager_stmt_begin(Pager *pPager){
drhfa86c412002-02-02 15:01:15 +00002875 int rc;
2876 char zTemp[SQLITE_TEMPNAME_SIZE];
drhac69b052004-05-12 13:30:07 +00002877 assert( !pPager->stmtInUse );
drha6abd042004-06-09 17:37:22 +00002878 TRACE2("STMT-BEGIN %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002879 if( pPager->memDb ){
2880 pPager->stmtInUse = 1;
2881 pPager->stmtSize = pPager->dbSize;
2882 return SQLITE_OK;
2883 }
drhda47d772002-12-02 04:25:19 +00002884 if( !pPager->journalOpen ){
drhac69b052004-05-12 13:30:07 +00002885 pPager->stmtAutoopen = 1;
drhda47d772002-12-02 04:25:19 +00002886 return SQLITE_OK;
2887 }
drhfa86c412002-02-02 15:01:15 +00002888 assert( pPager->journalOpen );
drhac69b052004-05-12 13:30:07 +00002889 pPager->aInStmt = sqliteMalloc( pPager->dbSize/8 + 1 );
2890 if( pPager->aInStmt==0 ){
danielk19779eed5052004-06-04 10:38:30 +00002891 sqlite3OsLock(&pPager->fd, SHARED_LOCK);
drhfa86c412002-02-02 15:01:15 +00002892 return SQLITE_NOMEM;
2893 }
drh968af522003-02-11 14:55:40 +00002894#ifndef NDEBUG
drhac69b052004-05-12 13:30:07 +00002895 rc = sqlite3OsFileSize(&pPager->jfd, &pPager->stmtJSize);
2896 if( rc ) goto stmt_begin_failed;
danielk197776572402004-06-25 02:38:54 +00002897 assert( pPager->stmtJSize == pPager->journalOff );
drh968af522003-02-11 14:55:40 +00002898#endif
danielk197776572402004-06-25 02:38:54 +00002899 pPager->stmtJSize = pPager->journalOff;
drhac69b052004-05-12 13:30:07 +00002900 pPager->stmtSize = pPager->dbSize;
danielk197776572402004-06-25 02:38:54 +00002901 pPager->stmtHdrOff = 0;
danielk197775edc162004-06-26 01:48:18 +00002902 pPager->stmtCksum = pPager->cksumInit;
drhac69b052004-05-12 13:30:07 +00002903 if( !pPager->stmtOpen ){
2904 rc = sqlite3pager_opentemp(zTemp, &pPager->stfd);
2905 if( rc ) goto stmt_begin_failed;
2906 pPager->stmtOpen = 1;
2907 pPager->stmtNRec = 0;
drh0f892532002-05-30 12:27:03 +00002908 }
drhac69b052004-05-12 13:30:07 +00002909 pPager->stmtInUse = 1;
drhfa86c412002-02-02 15:01:15 +00002910 return SQLITE_OK;
2911
drhac69b052004-05-12 13:30:07 +00002912stmt_begin_failed:
2913 if( pPager->aInStmt ){
2914 sqliteFree(pPager->aInStmt);
2915 pPager->aInStmt = 0;
drhfa86c412002-02-02 15:01:15 +00002916 }
2917 return rc;
2918}
2919
2920/*
drhac69b052004-05-12 13:30:07 +00002921** Commit a statement.
drhfa86c412002-02-02 15:01:15 +00002922*/
drh3aac2dd2004-04-26 14:10:20 +00002923int sqlite3pager_stmt_commit(Pager *pPager){
drhac69b052004-05-12 13:30:07 +00002924 if( pPager->stmtInUse ){
drh03eb96a2002-11-10 23:32:56 +00002925 PgHdr *pPg, *pNext;
drha6abd042004-06-09 17:37:22 +00002926 TRACE2("STMT-COMMIT %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002927 if( !pPager->memDb ){
2928 sqlite3OsSeek(&pPager->stfd, 0);
2929 /* sqlite3OsTruncate(&pPager->stfd, 0); */
2930 sqliteFree( pPager->aInStmt );
2931 pPager->aInStmt = 0;
drh663fc632002-02-02 18:49:19 +00002932 }
drhac69b052004-05-12 13:30:07 +00002933 for(pPg=pPager->pStmt; pPg; pPg=pNext){
2934 pNext = pPg->pNextStmt;
2935 assert( pPg->inStmt );
2936 pPg->inStmt = 0;
2937 pPg->pPrevStmt = pPg->pNextStmt = 0;
2938 if( pPager->memDb ){
2939 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
2940 sqliteFree(pHist->pStmt);
2941 pHist->pStmt = 0;
2942 }
2943 }
2944 pPager->stmtNRec = 0;
2945 pPager->stmtInUse = 0;
2946 pPager->pStmt = 0;
drh663fc632002-02-02 18:49:19 +00002947 }
drhac69b052004-05-12 13:30:07 +00002948 pPager->stmtAutoopen = 0;
drhfa86c412002-02-02 15:01:15 +00002949 return SQLITE_OK;
2950}
2951
2952/*
drhac69b052004-05-12 13:30:07 +00002953** Rollback a statement.
drhfa86c412002-02-02 15:01:15 +00002954*/
drh3aac2dd2004-04-26 14:10:20 +00002955int sqlite3pager_stmt_rollback(Pager *pPager){
drhfa86c412002-02-02 15:01:15 +00002956 int rc;
drhac69b052004-05-12 13:30:07 +00002957 if( pPager->stmtInUse ){
drha6abd042004-06-09 17:37:22 +00002958 TRACE2("STMT-ROLLBACK %d\n", pPager->fd.h);
drhac69b052004-05-12 13:30:07 +00002959 if( pPager->memDb ){
2960 PgHdr *pPg;
2961 for(pPg=pPager->pStmt; pPg; pPg=pPg->pNextStmt){
2962 PgHistory *pHist = PGHDR_TO_HIST(pPg, pPager);
2963 if( pHist->pStmt ){
2964 memcpy(PGHDR_TO_DATA(pPg), pHist->pStmt, pPager->pageSize);
2965 sqliteFree(pHist->pStmt);
2966 pHist->pStmt = 0;
2967 }
2968 }
2969 pPager->dbSize = pPager->stmtSize;
2970 memoryTruncate(pPager);
2971 rc = SQLITE_OK;
2972 }else{
2973 rc = pager_stmt_playback(pPager);
2974 }
drh3aac2dd2004-04-26 14:10:20 +00002975 sqlite3pager_stmt_commit(pPager);
drh663fc632002-02-02 18:49:19 +00002976 }else{
2977 rc = SQLITE_OK;
2978 }
drhac69b052004-05-12 13:30:07 +00002979 pPager->stmtAutoopen = 0;
drhfa86c412002-02-02 15:01:15 +00002980 return rc;
2981}
2982
drh73509ee2003-04-06 20:44:45 +00002983/*
2984** Return the full pathname of the database file.
2985*/
drh3aac2dd2004-04-26 14:10:20 +00002986const char *sqlite3pager_filename(Pager *pPager){
drh73509ee2003-04-06 20:44:45 +00002987 return pPager->zFilename;
2988}
2989
drhb20ea9d2004-02-09 01:20:36 +00002990/*
danielk19775865e3d2004-06-14 06:03:57 +00002991** Return the directory of the database file.
2992*/
2993const char *sqlite3pager_dirname(Pager *pPager){
2994 return pPager->zDirectory;
2995}
2996
2997/*
2998** Return the full pathname of the journal file.
2999*/
3000const char *sqlite3pager_journalname(Pager *pPager){
3001 return pPager->zJournal;
3002}
3003
3004/*
drhb20ea9d2004-02-09 01:20:36 +00003005** Set the codec for this pager
3006*/
drh3aac2dd2004-04-26 14:10:20 +00003007void sqlite3pager_set_codec(
drhb20ea9d2004-02-09 01:20:36 +00003008 Pager *pPager,
drh9eb9e262004-02-11 02:18:05 +00003009 void (*xCodec)(void*,void*,Pgno,int),
drhb20ea9d2004-02-09 01:20:36 +00003010 void *pCodecArg
3011){
3012 pPager->xCodec = xCodec;
3013 pPager->pCodecArg = pCodecArg;
3014}
3015
danielk197713adf8a2004-06-03 16:08:41 +00003016/*
danielk1977aa5ccdf2004-06-14 05:10:42 +00003017** This routine is called to increment the database file change-counter,
3018** stored at byte 24 of the pager file.
3019*/
3020static int pager_incr_changecounter(Pager *pPager){
3021 void *pPage;
3022 PgHdr *pPgHdr;
3023 u32 change_counter;
3024 int rc;
3025
3026 /* Open page 1 of the file for writing. */
3027 rc = sqlite3pager_get(pPager, 1, &pPage);
3028 if( rc!=SQLITE_OK ) return rc;
3029 rc = sqlite3pager_write(pPage);
3030 if( rc!=SQLITE_OK ) return rc;
3031
3032 /* Read the current value at byte 24. */
3033 pPgHdr = DATA_TO_PGHDR(pPage);
3034 change_counter = retrieve32bits(pPgHdr, 24);
3035
3036 /* Increment the value just read and write it back to byte 24. */
3037 change_counter++;
3038 store32bits(change_counter, pPgHdr, 24);
3039
3040 /* Release the page reference. */
3041 sqlite3pager_unref(pPage);
3042 return SQLITE_OK;
3043}
3044
3045/*
danielk197713adf8a2004-06-03 16:08:41 +00003046** Sync the database file for the pager pPager. zMaster points to the name
3047** of a master journal file that should be written into the individual
3048** journal file. zMaster may be NULL, which is interpreted as no master
3049** journal (a single database transaction).
3050**
3051** This routine ensures that the journal is synced, all dirty pages written
3052** to the database file and the database file synced. The only thing that
3053** remains to commit the transaction is to delete the journal file (or
3054** master journal file if specified).
3055**
3056** Note that if zMaster==NULL, this does not overwrite a previous value
3057** passed to an sqlite3pager_sync() call.
3058*/
3059int sqlite3pager_sync(Pager *pPager, const char *zMaster){
3060 int rc = SQLITE_OK;
3061
danielk1977aa5ccdf2004-06-14 05:10:42 +00003062 /* If this is an in-memory db, or no pages have been written to, or this
3063 ** function has already been called, it is a no-op.
danielk197713adf8a2004-06-03 16:08:41 +00003064 */
danielk1977aa5ccdf2004-06-14 05:10:42 +00003065 if( pPager->state!=PAGER_SYNCED && !pPager->memDb && pPager->dirtyCache ){
danielk197713adf8a2004-06-03 16:08:41 +00003066 PgHdr *pPg;
3067 assert( pPager->journalOpen );
3068
danielk197776572402004-06-25 02:38:54 +00003069 /* If a master journal file name has already been written to the
3070 ** journal file, then no sync is required. This happens when it is
3071 ** written, then the process fails to upgrade from a RESERVED to an
3072 ** EXCLUSIVE lock. The next time the process tries to commit the
3073 ** transaction the m-j name will have already been written.
3074 */
3075 if( !pPager->setMaster ){
3076 rc = pager_incr_changecounter(pPager);
3077 if( rc!=SQLITE_OK ) goto sync_exit;
3078 rc = writeMasterJournal(pPager, zMaster);
3079 if( rc!=SQLITE_OK ) goto sync_exit;
3080 rc = syncJournal(pPager);
3081 if( rc!=SQLITE_OK ) goto sync_exit;
3082 }
danielk197713adf8a2004-06-03 16:08:41 +00003083
3084 /* Write all dirty pages to the database file */
3085 pPg = pager_get_all_dirty_pages(pPager);
3086 rc = pager_write_pagelist(pPg);
3087 if( rc!=SQLITE_OK ) goto sync_exit;
3088
danielk1977aa5ccdf2004-06-14 05:10:42 +00003089 /* Sync the database file. */
3090 if( !pPager->noSync ){
danielk197713adf8a2004-06-03 16:08:41 +00003091 rc = sqlite3OsSync(&pPager->fd);
3092 }
danielk1977aa5ccdf2004-06-14 05:10:42 +00003093
3094 pPager->state = PAGER_SYNCED;
danielk197713adf8a2004-06-03 16:08:41 +00003095 }
3096
3097sync_exit:
3098 return rc;
3099}
3100
dougcurrie81c95ef2004-06-18 23:21:47 +00003101#if defined(SQLITE_DEBUG) || defined(SQLITE_TEST)
drh89ac8c12004-06-09 14:17:20 +00003102/*
3103** Return the current state of the file lock for the given pager.
3104** The return value is one of NO_LOCK, SHARED_LOCK, RESERVED_LOCK,
3105** PENDING_LOCK, or EXCLUSIVE_LOCK.
3106*/
3107int sqlite3pager_lockstate(Pager *pPager){
danielk1977e3026632004-06-22 11:29:02 +00003108#ifdef OS_TEST
danielk19778a6c5502004-06-22 12:18:32 +00003109 return pPager->fd->fd.locktype;
danielk1977e3026632004-06-22 11:29:02 +00003110#else
drh89ac8c12004-06-09 14:17:20 +00003111 return pPager->fd.locktype;
danielk1977e3026632004-06-22 11:29:02 +00003112#endif
drh89ac8c12004-06-09 14:17:20 +00003113}
3114#endif
3115
drh74587e52002-08-13 00:01:16 +00003116#ifdef SQLITE_TEST
drhdd793422001-06-28 01:54:48 +00003117/*
3118** Print a listing of all referenced pages and their ref count.
3119*/
drh3aac2dd2004-04-26 14:10:20 +00003120void sqlite3pager_refdump(Pager *pPager){
drhdd793422001-06-28 01:54:48 +00003121 PgHdr *pPg;
3122 for(pPg=pPager->pAll; pPg; pPg=pPg->pNextAll){
3123 if( pPg->nRef<=0 ) continue;
3124 printf("PAGE %3d addr=0x%08x nRef=%d\n",
3125 pPg->pgno, (int)PGHDR_TO_DATA(pPg), pPg->nRef);
3126 }
3127}
3128#endif