danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 1 | /* |
| 2 | ** 2008 August 05 |
| 3 | ** |
| 4 | ** The author disclaims copyright to this source code. In place of |
| 5 | ** a legal notice, here is a blessing: |
| 6 | ** |
| 7 | ** May you do good and not evil. |
| 8 | ** May you find forgiveness for yourself and forgive others. |
| 9 | ** May you share freely, never taking more than you give. |
| 10 | ** |
| 11 | ************************************************************************* |
| 12 | ** This file implements that page cache. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 13 | */ |
| 14 | #include "sqliteInt.h" |
| 15 | |
| 16 | /* |
drh | 72e6a39 | 2016-05-11 23:54:14 +0000 | [diff] [blame] | 17 | ** A complete page cache is an instance of this structure. Every |
| 18 | ** entry in the cache holds a single page of the database file. The |
| 19 | ** btree layer only operates on the cached copy of the database pages. |
| 20 | ** |
| 21 | ** A page cache entry is "clean" if it exactly matches what is currently |
| 22 | ** on disk. A page is "dirty" if it has been modified and needs to be |
| 23 | ** persisted to disk. |
dan | b2ef900 | 2016-05-11 15:41:15 +0000 | [diff] [blame] | 24 | ** |
| 25 | ** pDirty, pDirtyTail, pSynced: |
| 26 | ** All dirty pages are linked into the doubly linked list using |
| 27 | ** PgHdr.pDirtyNext and pDirtyPrev. The list is maintained in LRU order |
| 28 | ** such that p was added to the list more recently than p->pDirtyNext. |
| 29 | ** PCache.pDirty points to the first (newest) element in the list and |
| 30 | ** pDirtyTail to the last (oldest). |
| 31 | ** |
| 32 | ** The PCache.pSynced variable is used to optimize searching for a dirty |
| 33 | ** page to eject from the cache mid-transaction. It is better to eject |
| 34 | ** a page that does not require a journal sync than one that does. |
drh | 5eaebf3 | 2018-09-21 19:06:09 +0000 | [diff] [blame] | 35 | ** Therefore, pSynced is maintained so that it *almost* always points |
dan | b2ef900 | 2016-05-11 15:41:15 +0000 | [diff] [blame] | 36 | ** to either the oldest page in the pDirty/pDirtyTail list that has a |
| 37 | ** clear PGHDR_NEED_SYNC flag or to a page that is older than this one |
| 38 | ** (so that the right page to eject can be found by following pDirtyPrev |
| 39 | ** pointers). |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 40 | */ |
| 41 | struct PCache { |
danielk1977 | d491e1b | 2008-08-26 18:05:48 +0000 | [diff] [blame] | 42 | PgHdr *pDirty, *pDirtyTail; /* List of dirty pages in LRU order */ |
| 43 | PgHdr *pSynced; /* Last synced page in dirty page list */ |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 44 | int nRefSum; /* Sum of ref counts over all pages */ |
drh | 3b42abb | 2011-11-09 14:23:04 +0000 | [diff] [blame] | 45 | int szCache; /* Configured cache size */ |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 46 | int szSpill; /* Size before spilling occurs */ |
drh | a85f7e3 | 2008-08-28 02:26:07 +0000 | [diff] [blame] | 47 | int szPage; /* Size of every page in this cache */ |
| 48 | int szExtra; /* Size of extra space for each page */ |
drh | fe21a79 | 2014-02-03 17:04:29 +0000 | [diff] [blame] | 49 | u8 bPurgeable; /* True if pages are on backing store */ |
| 50 | u8 eCreate; /* eCreate value for for xFetch() */ |
drh | a85f7e3 | 2008-08-28 02:26:07 +0000 | [diff] [blame] | 51 | int (*xStress)(void*,PgHdr*); /* Call to try make a page clean */ |
| 52 | void *pStress; /* Argument to xStress */ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 53 | sqlite3_pcache *pCache; /* Pluggable cache module */ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 54 | }; |
| 55 | |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 56 | /********************************** Test and Debug Logic **********************/ |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 57 | /* |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 58 | ** Debug tracing macros. Enable by by changing the "0" to "1" and |
| 59 | ** recompiling. |
| 60 | ** |
| 61 | ** When sqlite3PcacheTrace is 1, single line trace messages are issued. |
| 62 | ** When sqlite3PcacheTrace is 2, a dump of the pcache showing all cache entries |
| 63 | ** is displayed for many operations, resulting in a lot of output. |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 64 | */ |
| 65 | #if defined(SQLITE_DEBUG) && 0 |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 66 | int sqlite3PcacheTrace = 2; /* 0: off 1: simple 2: cache dumps */ |
| 67 | int sqlite3PcacheMxDump = 9999; /* Max cache entries for pcacheDump() */ |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 68 | # define pcacheTrace(X) if(sqlite3PcacheTrace){sqlite3DebugPrintf X;} |
drh | f6e3e31 | 2022-08-27 14:43:34 +0000 | [diff] [blame] | 69 | static void pcachePageTrace(int i, sqlite3_pcache_page *pLower){ |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 70 | PgHdr *pPg; |
| 71 | unsigned char *a; |
drh | f6e3e31 | 2022-08-27 14:43:34 +0000 | [diff] [blame] | 72 | int j; |
| 73 | pPg = (PgHdr*)pLower->pExtra; |
| 74 | printf("%3d: nRef %2d flgs %02x data ", i, pPg->nRef, pPg->flags); |
| 75 | a = (unsigned char *)pLower->pBuf; |
| 76 | for(j=0; j<12; j++) printf("%02x", a[j]); |
| 77 | printf(" ptr %p\n", pPg); |
| 78 | } |
| 79 | static void pcacheDump(PCache *pCache){ |
| 80 | int N; |
| 81 | int i; |
| 82 | sqlite3_pcache_page *pLower; |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 83 | |
| 84 | if( sqlite3PcacheTrace<2 ) return; |
| 85 | if( pCache->pCache==0 ) return; |
| 86 | N = sqlite3PcachePagecount(pCache); |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 87 | if( N>sqlite3PcacheMxDump ) N = sqlite3PcacheMxDump; |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 88 | for(i=1; i<=N; i++){ |
| 89 | pLower = sqlite3GlobalConfig.pcache2.xFetch(pCache->pCache, i, 0); |
| 90 | if( pLower==0 ) continue; |
drh | f6e3e31 | 2022-08-27 14:43:34 +0000 | [diff] [blame] | 91 | pcachePageTrace(i, pLower); |
| 92 | if( ((PgHdr*)pLower)->pPage==0 ){ |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 93 | sqlite3GlobalConfig.pcache2.xUnpin(pCache->pCache, pLower, 0); |
| 94 | } |
| 95 | } |
| 96 | } |
drh | f6e3e31 | 2022-08-27 14:43:34 +0000 | [diff] [blame] | 97 | #else |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 98 | # define pcacheTrace(X) |
drh | f6e3e31 | 2022-08-27 14:43:34 +0000 | [diff] [blame] | 99 | # define pcachePageTrace(PGNO, X) |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 100 | # define pcacheDump(X) |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 101 | #endif |
| 102 | |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 103 | /* |
drh | f0f025b | 2022-08-27 16:11:00 +0000 | [diff] [blame] | 104 | ** Return 1 if pPg is on the dirty list for pCache. Return 0 if not. |
| 105 | ** This routine runs inside of assert() statements only. |
| 106 | */ |
| 107 | #ifdef SQLITE_DEBUG |
| 108 | static int pageOnDirtyList(PCache *pCache, PgHdr *pPg){ |
| 109 | PgHdr *p; |
| 110 | for(p=pCache->pDirty; p; p=p->pDirtyNext){ |
| 111 | if( p==pPg ) return 1; |
| 112 | } |
| 113 | return 0; |
| 114 | } |
| 115 | #endif |
| 116 | |
| 117 | /* |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 118 | ** Check invariants on a PgHdr entry. Return true if everything is OK. |
| 119 | ** Return false if any invariant is violated. |
| 120 | ** |
| 121 | ** This routine is for use inside of assert() statements only. For |
| 122 | ** example: |
| 123 | ** |
| 124 | ** assert( sqlite3PcachePageSanity(pPg) ); |
| 125 | */ |
drh | d879e3e | 2017-02-13 13:35:55 +0000 | [diff] [blame] | 126 | #ifdef SQLITE_DEBUG |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 127 | int sqlite3PcachePageSanity(PgHdr *pPg){ |
| 128 | PCache *pCache; |
| 129 | assert( pPg!=0 ); |
drh | cbed604 | 2016-12-13 18:34:01 +0000 | [diff] [blame] | 130 | assert( pPg->pgno>0 || pPg->pPager==0 ); /* Page number is 1 or more */ |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 131 | pCache = pPg->pCache; |
| 132 | assert( pCache!=0 ); /* Every page has an associated PCache */ |
| 133 | if( pPg->flags & PGHDR_CLEAN ){ |
| 134 | assert( (pPg->flags & PGHDR_DIRTY)==0 );/* Cannot be both CLEAN and DIRTY */ |
drh | f0f025b | 2022-08-27 16:11:00 +0000 | [diff] [blame] | 135 | assert( !pageOnDirtyList(pCache, pPg) );/* CLEAN pages not on dirty list */ |
drh | f6e3e31 | 2022-08-27 14:43:34 +0000 | [diff] [blame] | 136 | }else{ |
| 137 | assert( (pPg->flags & PGHDR_DIRTY)!=0 );/* If not CLEAN must be DIRTY */ |
| 138 | assert( pPg->pDirtyNext==0 || pPg->pDirtyNext->pDirtyPrev==pPg ); |
| 139 | assert( pPg->pDirtyPrev==0 || pPg->pDirtyPrev->pDirtyNext==pPg ); |
| 140 | assert( pPg->pDirtyPrev!=0 || pCache->pDirty==pPg ); |
drh | f0f025b | 2022-08-27 16:11:00 +0000 | [diff] [blame] | 141 | assert( pageOnDirtyList(pCache, pPg) ); |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 142 | } |
| 143 | /* WRITEABLE pages must also be DIRTY */ |
| 144 | if( pPg->flags & PGHDR_WRITEABLE ){ |
| 145 | assert( pPg->flags & PGHDR_DIRTY ); /* WRITEABLE implies DIRTY */ |
| 146 | } |
| 147 | /* NEED_SYNC can be set independently of WRITEABLE. This can happen, |
| 148 | ** for example, when using the sqlite3PagerDontWrite() optimization: |
| 149 | ** (1) Page X is journalled, and gets WRITEABLE and NEED_SEEK. |
| 150 | ** (2) Page X moved to freelist, WRITEABLE is cleared |
| 151 | ** (3) Page X reused, WRITEABLE is set again |
| 152 | ** If NEED_SYNC had been cleared in step 2, then it would not be reset |
| 153 | ** in step 3, and page might be written into the database without first |
| 154 | ** syncing the rollback journal, which might cause corruption on a power |
| 155 | ** loss. |
drh | 3b02a07 | 2016-05-13 17:22:33 +0000 | [diff] [blame] | 156 | ** |
| 157 | ** Another example is when the database page size is smaller than the |
| 158 | ** disk sector size. When any page of a sector is journalled, all pages |
| 159 | ** in that sector are marked NEED_SYNC even if they are still CLEAN, just |
| 160 | ** in case they are later modified, since all pages in the same sector |
| 161 | ** must be journalled and synced before any of those pages can be safely |
| 162 | ** written. |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 163 | */ |
| 164 | return 1; |
| 165 | } |
| 166 | #endif /* SQLITE_DEBUG */ |
| 167 | |
| 168 | |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 169 | /********************************** Linked List Management ********************/ |
| 170 | |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 171 | /* Allowed values for second argument to pcacheManageDirtyList() */ |
| 172 | #define PCACHE_DIRTYLIST_REMOVE 1 /* Remove pPage from dirty list */ |
| 173 | #define PCACHE_DIRTYLIST_ADD 2 /* Add pPage to the dirty list */ |
| 174 | #define PCACHE_DIRTYLIST_FRONT 3 /* Move pPage to the front of the list */ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 175 | |
| 176 | /* |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 177 | ** Manage pPage's participation on the dirty list. Bits of the addRemove |
| 178 | ** argument determines what operation to do. The 0x01 bit means first |
| 179 | ** remove pPage from the dirty list. The 0x02 means add pPage back to |
| 180 | ** the dirty list. Doing both moves pPage to the front of the dirty list. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 181 | */ |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 182 | static void pcacheManageDirtyList(PgHdr *pPage, u8 addRemove){ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 183 | PCache *p = pPage->pCache; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 184 | |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 185 | pcacheTrace(("%p.DIRTYLIST.%s %d\n", p, |
| 186 | addRemove==1 ? "REMOVE" : addRemove==2 ? "ADD" : "FRONT", |
| 187 | pPage->pgno)); |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 188 | if( addRemove & PCACHE_DIRTYLIST_REMOVE ){ |
| 189 | assert( pPage->pDirtyNext || pPage==p->pDirtyTail ); |
| 190 | assert( pPage->pDirtyPrev || pPage==p->pDirty ); |
| 191 | |
| 192 | /* Update the PCache1.pSynced variable if necessary. */ |
| 193 | if( p->pSynced==pPage ){ |
dan | b2ef900 | 2016-05-11 15:41:15 +0000 | [diff] [blame] | 194 | p->pSynced = pPage->pDirtyPrev; |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 195 | } |
| 196 | |
| 197 | if( pPage->pDirtyNext ){ |
| 198 | pPage->pDirtyNext->pDirtyPrev = pPage->pDirtyPrev; |
| 199 | }else{ |
| 200 | assert( pPage==p->pDirtyTail ); |
| 201 | p->pDirtyTail = pPage->pDirtyPrev; |
| 202 | } |
| 203 | if( pPage->pDirtyPrev ){ |
| 204 | pPage->pDirtyPrev->pDirtyNext = pPage->pDirtyNext; |
| 205 | }else{ |
dan | 401907e | 2016-05-11 20:03:23 +0000 | [diff] [blame] | 206 | /* If there are now no dirty pages in the cache, set eCreate to 2. |
| 207 | ** This is an optimization that allows sqlite3PcacheFetch() to skip |
| 208 | ** searching for a dirty page to eject from the cache when it might |
| 209 | ** otherwise have to. */ |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 210 | assert( pPage==p->pDirty ); |
| 211 | p->pDirty = pPage->pDirtyNext; |
dan | 401907e | 2016-05-11 20:03:23 +0000 | [diff] [blame] | 212 | assert( p->bPurgeable || p->eCreate==2 ); |
| 213 | if( p->pDirty==0 ){ /*OPTIMIZATION-IF-TRUE*/ |
| 214 | assert( p->bPurgeable==0 || p->eCreate==1 ); |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 215 | p->eCreate = 2; |
| 216 | } |
| 217 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 218 | } |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 219 | if( addRemove & PCACHE_DIRTYLIST_ADD ){ |
drh | f0dae6d | 2017-09-01 12:18:41 +0000 | [diff] [blame] | 220 | pPage->pDirtyPrev = 0; |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 221 | pPage->pDirtyNext = p->pDirty; |
| 222 | if( pPage->pDirtyNext ){ |
| 223 | assert( pPage->pDirtyNext->pDirtyPrev==0 ); |
| 224 | pPage->pDirtyNext->pDirtyPrev = pPage; |
drh | 36ce919 | 2014-09-12 20:30:59 +0000 | [diff] [blame] | 225 | }else{ |
| 226 | p->pDirtyTail = pPage; |
| 227 | if( p->bPurgeable ){ |
| 228 | assert( p->eCreate==2 ); |
| 229 | p->eCreate = 1; |
| 230 | } |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 231 | } |
| 232 | p->pDirty = pPage; |
dan | 613723d | 2016-05-12 09:48:23 +0000 | [diff] [blame] | 233 | |
| 234 | /* If pSynced is NULL and this page has a clear NEED_SYNC flag, set |
| 235 | ** pSynced to point to it. Checking the NEED_SYNC flag is an |
| 236 | ** optimization, as if pSynced points to a page with the NEED_SYNC |
| 237 | ** flag set sqlite3PcacheFetchStress() searches through all newer |
| 238 | ** entries of the dirty-list for a page with NEED_SYNC clear anyway. */ |
| 239 | if( !p->pSynced |
| 240 | && 0==(pPage->flags&PGHDR_NEED_SYNC) /*OPTIMIZATION-IF-FALSE*/ |
| 241 | ){ |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 242 | p->pSynced = pPage; |
| 243 | } |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 244 | } |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 245 | pcacheDump(p); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 246 | } |
| 247 | |
| 248 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 249 | ** Wrapper around the pluggable caches xUnpin method. If the cache is |
| 250 | ** being used for an in-memory database, this function is a no-op. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 251 | */ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 252 | static void pcacheUnpin(PgHdr *p){ |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 253 | if( p->pCache->bPurgeable ){ |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 254 | pcacheTrace(("%p.UNPIN %d\n", p->pCache, p->pgno)); |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 255 | sqlite3GlobalConfig.pcache2.xUnpin(p->pCache->pCache, p->pPage, 0); |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 256 | pcacheDump(p->pCache); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 257 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 258 | } |
| 259 | |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 260 | /* |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 261 | ** Compute the number of pages of cache requested. p->szCache is the |
drh | e0e8429 | 2015-02-27 21:53:35 +0000 | [diff] [blame] | 262 | ** cache size requested by the "PRAGMA cache_size" statement. |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 263 | */ |
| 264 | static int numberOfCachePages(PCache *p){ |
| 265 | if( p->szCache>=0 ){ |
drh | e0e8429 | 2015-02-27 21:53:35 +0000 | [diff] [blame] | 266 | /* IMPLEMENTATION-OF: R-42059-47211 If the argument N is positive then the |
| 267 | ** suggested cache size is set to N. */ |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 268 | return p->szCache; |
| 269 | }else{ |
drh | e7e9539 | 2021-09-03 18:11:12 +0000 | [diff] [blame] | 270 | i64 n; |
drh | 0ce974d | 2019-06-12 22:46:04 +0000 | [diff] [blame] | 271 | /* IMPLEMANTATION-OF: R-59858-46238 If the argument N is negative, then the |
| 272 | ** number of cache pages is adjusted to be a number of pages that would |
| 273 | ** use approximately abs(N*1024) bytes of memory based on the current |
| 274 | ** page size. */ |
drh | e7e9539 | 2021-09-03 18:11:12 +0000 | [diff] [blame] | 275 | n = ((-1024*(i64)p->szCache)/(p->szPage+p->szExtra)); |
| 276 | if( n>1000000000 ) n = 1000000000; |
| 277 | return (int)n; |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 278 | } |
| 279 | } |
| 280 | |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 281 | /*************************************************** General Interfaces ****** |
| 282 | ** |
| 283 | ** Initialize and shutdown the page cache subsystem. Neither of these |
| 284 | ** functions are threadsafe. |
| 285 | */ |
| 286 | int sqlite3PcacheInitialize(void){ |
dan | 22e21ff | 2011-11-08 20:08:44 +0000 | [diff] [blame] | 287 | if( sqlite3GlobalConfig.pcache2.xInit==0 ){ |
drh | f759bb8 | 2010-09-09 18:25:34 +0000 | [diff] [blame] | 288 | /* IMPLEMENTATION-OF: R-26801-64137 If the xInit() method is NULL, then the |
| 289 | ** built-in default page cache is used instead of the application defined |
| 290 | ** page cache. */ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 291 | sqlite3PCacheSetDefault(); |
drh | 55f66b3 | 2019-07-16 19:44:32 +0000 | [diff] [blame] | 292 | assert( sqlite3GlobalConfig.pcache2.xInit!=0 ); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 293 | } |
dan | 22e21ff | 2011-11-08 20:08:44 +0000 | [diff] [blame] | 294 | return sqlite3GlobalConfig.pcache2.xInit(sqlite3GlobalConfig.pcache2.pArg); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 295 | } |
| 296 | void sqlite3PcacheShutdown(void){ |
dan | 22e21ff | 2011-11-08 20:08:44 +0000 | [diff] [blame] | 297 | if( sqlite3GlobalConfig.pcache2.xShutdown ){ |
drh | f759bb8 | 2010-09-09 18:25:34 +0000 | [diff] [blame] | 298 | /* IMPLEMENTATION-OF: R-26000-56589 The xShutdown() method may be NULL. */ |
dan | 22e21ff | 2011-11-08 20:08:44 +0000 | [diff] [blame] | 299 | sqlite3GlobalConfig.pcache2.xShutdown(sqlite3GlobalConfig.pcache2.pArg); |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 300 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 301 | } |
| 302 | |
| 303 | /* |
| 304 | ** Return the size in bytes of a PCache object. |
| 305 | */ |
| 306 | int sqlite3PcacheSize(void){ return sizeof(PCache); } |
| 307 | |
| 308 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 309 | ** Create a new PCache object. Storage space to hold the object |
| 310 | ** has already been allocated and is passed in as the p pointer. |
| 311 | ** The caller discovers how much space needs to be allocated by |
| 312 | ** calling sqlite3PcacheSize(). |
drh | a2ee589 | 2016-12-09 16:02:00 +0000 | [diff] [blame] | 313 | ** |
| 314 | ** szExtra is some extra space allocated for each page. The first |
| 315 | ** 8 bytes of the extra space will be zeroed as the page is allocated, |
| 316 | ** but remaining content will be uninitialized. Though it is opaque |
| 317 | ** to this module, the extra space really ends up being the MemPage |
| 318 | ** structure in the pager. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 319 | */ |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 320 | int sqlite3PcacheOpen( |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 321 | int szPage, /* Size of every page */ |
| 322 | int szExtra, /* Extra space associated with each page */ |
| 323 | int bPurgeable, /* True if pages are on backing store */ |
danielk1977 | a858aa2 | 2008-08-22 16:22:17 +0000 | [diff] [blame] | 324 | int (*xStress)(void*,PgHdr*),/* Call to try to make pages clean */ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 325 | void *pStress, /* Argument to xStress */ |
| 326 | PCache *p /* Preallocated space for the PCache */ |
| 327 | ){ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 328 | memset(p, 0, sizeof(PCache)); |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 329 | p->szPage = 1; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 330 | p->szExtra = szExtra; |
drh | a2ee589 | 2016-12-09 16:02:00 +0000 | [diff] [blame] | 331 | assert( szExtra>=8 ); /* First 8 bytes will be zeroed */ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 332 | p->bPurgeable = bPurgeable; |
drh | fe21a79 | 2014-02-03 17:04:29 +0000 | [diff] [blame] | 333 | p->eCreate = 2; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 334 | p->xStress = xStress; |
| 335 | p->pStress = pStress; |
drh | 3b42abb | 2011-11-09 14:23:04 +0000 | [diff] [blame] | 336 | p->szCache = 100; |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 337 | p->szSpill = 1; |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 338 | pcacheTrace(("%p.OPEN szPage %d bPurgeable %d\n",p,szPage,bPurgeable)); |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 339 | return sqlite3PcacheSetPageSize(p, szPage); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 340 | } |
| 341 | |
drh | 41d3027 | 2008-08-20 21:47:45 +0000 | [diff] [blame] | 342 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 343 | ** Change the page size for PCache object. The caller must ensure that there |
| 344 | ** are no outstanding page references when this function is called. |
drh | 41d3027 | 2008-08-20 21:47:45 +0000 | [diff] [blame] | 345 | */ |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 346 | int sqlite3PcacheSetPageSize(PCache *pCache, int szPage){ |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 347 | assert( pCache->nRefSum==0 && pCache->pDirty==0 ); |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 348 | if( pCache->szPage ){ |
| 349 | sqlite3_pcache *pNew; |
| 350 | pNew = sqlite3GlobalConfig.pcache2.xCreate( |
drh | 51dc84e | 2014-12-30 13:04:25 +0000 | [diff] [blame] | 351 | szPage, pCache->szExtra + ROUND8(sizeof(PgHdr)), |
| 352 | pCache->bPurgeable |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 353 | ); |
mistachkin | fad3039 | 2016-02-13 23:43:46 +0000 | [diff] [blame] | 354 | if( pNew==0 ) return SQLITE_NOMEM_BKPT; |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 355 | sqlite3GlobalConfig.pcache2.xCachesize(pNew, numberOfCachePages(pCache)); |
| 356 | if( pCache->pCache ){ |
| 357 | sqlite3GlobalConfig.pcache2.xDestroy(pCache->pCache); |
| 358 | } |
| 359 | pCache->pCache = pNew; |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 360 | pCache->szPage = szPage; |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 361 | pcacheTrace(("%p.PAGESIZE %d\n",pCache,szPage)); |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 362 | } |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 363 | return SQLITE_OK; |
drh | 3b42abb | 2011-11-09 14:23:04 +0000 | [diff] [blame] | 364 | } |
| 365 | |
| 366 | /* |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 367 | ** Try to obtain a page from the cache. |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 368 | ** |
| 369 | ** This routine returns a pointer to an sqlite3_pcache_page object if |
| 370 | ** such an object is already in cache, or if a new one is created. |
| 371 | ** This routine returns a NULL pointer if the object was not in cache |
| 372 | ** and could not be created. |
| 373 | ** |
| 374 | ** The createFlags should be 0 to check for existing pages and should |
| 375 | ** be 3 (not 1, but 3) to try to create a new page. |
| 376 | ** |
| 377 | ** If the createFlag is 0, then NULL is always returned if the page |
| 378 | ** is not already in the cache. If createFlag is 1, then a new page |
| 379 | ** is created only if that can be done without spilling dirty pages |
| 380 | ** and without exceeding the cache size limit. |
| 381 | ** |
| 382 | ** The caller needs to invoke sqlite3PcacheFetchFinish() to properly |
| 383 | ** initialize the sqlite3_pcache_page object and convert it into a |
| 384 | ** PgHdr object. The sqlite3PcacheFetch() and sqlite3PcacheFetchFinish() |
| 385 | ** routines are split this way for performance reasons. When separated |
| 386 | ** they can both (usually) operate without having to push values to |
| 387 | ** the stack on entry and pop them back off on exit, which saves a |
| 388 | ** lot of pushing and popping. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 389 | */ |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 390 | sqlite3_pcache_page *sqlite3PcacheFetch( |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 391 | PCache *pCache, /* Obtain the page from this cache */ |
| 392 | Pgno pgno, /* Page number to obtain */ |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 393 | int createFlag /* If true, create page if it does not exist already */ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 394 | ){ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 395 | int eCreate; |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 396 | sqlite3_pcache_page *pRes; |
danielk1977 | f599a19 | 2008-08-28 10:21:16 +0000 | [diff] [blame] | 397 | |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 398 | assert( pCache!=0 ); |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 399 | assert( pCache->pCache!=0 ); |
| 400 | assert( createFlag==3 || createFlag==0 ); |
dan | 401907e | 2016-05-11 20:03:23 +0000 | [diff] [blame] | 401 | assert( pCache->eCreate==((pCache->bPurgeable && pCache->pDirty) ? 1 : 2) ); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 402 | |
drh | fe21a79 | 2014-02-03 17:04:29 +0000 | [diff] [blame] | 403 | /* eCreate defines what to do if the page does not exist. |
| 404 | ** 0 Do not allocate a new page. (createFlag==0) |
| 405 | ** 1 Allocate a new page if doing so is inexpensive. |
| 406 | ** (createFlag==1 AND bPurgeable AND pDirty) |
| 407 | ** 2 Allocate a new page even it doing so is difficult. |
| 408 | ** (createFlag==1 AND !(bPurgeable AND pDirty) |
| 409 | */ |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 410 | eCreate = createFlag & pCache->eCreate; |
| 411 | assert( eCreate==0 || eCreate==1 || eCreate==2 ); |
| 412 | assert( createFlag==0 || pCache->eCreate==eCreate ); |
| 413 | assert( createFlag==0 || eCreate==1+(!pCache->bPurgeable||!pCache->pDirty) ); |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 414 | pRes = sqlite3GlobalConfig.pcache2.xFetch(pCache->pCache, pgno, eCreate); |
drh | f6e3e31 | 2022-08-27 14:43:34 +0000 | [diff] [blame] | 415 | pcacheTrace(("%p.FETCH %d%s (result: %p) ",pCache,pgno, |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 416 | createFlag?" create":"",pRes)); |
drh | f6e3e31 | 2022-08-27 14:43:34 +0000 | [diff] [blame] | 417 | pcachePageTrace(pgno, pRes); |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 418 | return pRes; |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 419 | } |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 420 | |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 421 | /* |
| 422 | ** If the sqlite3PcacheFetch() routine is unable to allocate a new |
dan | 41113b6 | 2016-04-05 21:07:58 +0000 | [diff] [blame] | 423 | ** page because no clean pages are available for reuse and the cache |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 424 | ** size limit has been reached, then this routine can be invoked to |
| 425 | ** try harder to allocate a page. This routine might invoke the stress |
| 426 | ** callback to spill dirty pages to the journal. It will then try to |
| 427 | ** allocate the new page and will only fail to allocate a new page on |
| 428 | ** an OOM error. |
| 429 | ** |
| 430 | ** This routine should be invoked only after sqlite3PcacheFetch() fails. |
| 431 | */ |
| 432 | int sqlite3PcacheFetchStress( |
| 433 | PCache *pCache, /* Obtain the page from this cache */ |
| 434 | Pgno pgno, /* Page number to obtain */ |
| 435 | sqlite3_pcache_page **ppPage /* Write result here */ |
| 436 | ){ |
| 437 | PgHdr *pPg; |
| 438 | if( pCache->eCreate==2 ) return 0; |
| 439 | |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 440 | if( sqlite3PcachePagecount(pCache)>pCache->szSpill ){ |
| 441 | /* Find a dirty page to write-out and recycle. First try to find a |
| 442 | ** page that does not require a journal-sync (one with PGHDR_NEED_SYNC |
| 443 | ** cleared), but if that is not possible settle for any other |
| 444 | ** unreferenced dirty page. |
dan | b2ef900 | 2016-05-11 15:41:15 +0000 | [diff] [blame] | 445 | ** |
| 446 | ** If the LRU page in the dirty list that has a clear PGHDR_NEED_SYNC |
| 447 | ** flag is currently referenced, then the following may leave pSynced |
| 448 | ** set incorrectly (pointing to other than the LRU page with NEED_SYNC |
| 449 | ** cleared). This is Ok, as pSynced is just an optimization. */ |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 450 | for(pPg=pCache->pSynced; |
| 451 | pPg && (pPg->nRef || (pPg->flags&PGHDR_NEED_SYNC)); |
| 452 | pPg=pPg->pDirtyPrev |
| 453 | ); |
| 454 | pCache->pSynced = pPg; |
| 455 | if( !pPg ){ |
| 456 | for(pPg=pCache->pDirtyTail; pPg && pPg->nRef; pPg=pPg->pDirtyPrev); |
| 457 | } |
| 458 | if( pPg ){ |
| 459 | int rc; |
drh | c97125e | 2011-05-28 15:53:07 +0000 | [diff] [blame] | 460 | #ifdef SQLITE_LOG_CACHE_SPILL |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 461 | sqlite3_log(SQLITE_FULL, |
| 462 | "spill page %d making room for %d - cache used: %d/%d", |
| 463 | pPg->pgno, pgno, |
dan | 58db4c7 | 2018-03-12 21:09:16 +0000 | [diff] [blame] | 464 | sqlite3GlobalConfig.pcache2.xPagecount(pCache->pCache), |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 465 | numberOfCachePages(pCache)); |
drh | c97125e | 2011-05-28 15:53:07 +0000 | [diff] [blame] | 466 | #endif |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 467 | pcacheTrace(("%p.SPILL %d\n",pCache,pPg->pgno)); |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 468 | rc = pCache->xStress(pCache->pStress, pPg); |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 469 | pcacheDump(pCache); |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 470 | if( rc!=SQLITE_OK && rc!=SQLITE_BUSY ){ |
| 471 | return rc; |
| 472 | } |
danielk1977 | f599a19 | 2008-08-28 10:21:16 +0000 | [diff] [blame] | 473 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 474 | } |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 475 | *ppPage = sqlite3GlobalConfig.pcache2.xFetch(pCache->pCache, pgno, 2); |
mistachkin | fad3039 | 2016-02-13 23:43:46 +0000 | [diff] [blame] | 476 | return *ppPage==0 ? SQLITE_NOMEM_BKPT : SQLITE_OK; |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 477 | } |
| 478 | |
| 479 | /* |
| 480 | ** This is a helper routine for sqlite3PcacheFetchFinish() |
| 481 | ** |
| 482 | ** In the uncommon case where the page being fetched has not been |
| 483 | ** initialized, this routine is invoked to do the initialization. |
| 484 | ** This routine is broken out into a separate function since it |
| 485 | ** requires extra stack manipulation that can be avoided in the common |
| 486 | ** case. |
| 487 | */ |
| 488 | static SQLITE_NOINLINE PgHdr *pcacheFetchFinishWithInit( |
| 489 | PCache *pCache, /* Obtain the page from this cache */ |
| 490 | Pgno pgno, /* Page number obtained */ |
| 491 | sqlite3_pcache_page *pPage /* Page obtained by prior PcacheFetch() call */ |
| 492 | ){ |
| 493 | PgHdr *pPgHdr; |
| 494 | assert( pPage!=0 ); |
| 495 | pPgHdr = (PgHdr*)pPage->pExtra; |
| 496 | assert( pPgHdr->pPage==0 ); |
drh | 216b70f | 2016-10-01 20:43:41 +0000 | [diff] [blame] | 497 | memset(&pPgHdr->pDirty, 0, sizeof(PgHdr) - offsetof(PgHdr,pDirty)); |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 498 | pPgHdr->pPage = pPage; |
| 499 | pPgHdr->pData = pPage->pBuf; |
| 500 | pPgHdr->pExtra = (void *)&pPgHdr[1]; |
drh | a2ee589 | 2016-12-09 16:02:00 +0000 | [diff] [blame] | 501 | memset(pPgHdr->pExtra, 0, 8); |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 502 | pPgHdr->pCache = pCache; |
| 503 | pPgHdr->pgno = pgno; |
drh | c78ae91 | 2015-06-29 04:21:15 +0000 | [diff] [blame] | 504 | pPgHdr->flags = PGHDR_CLEAN; |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 505 | return sqlite3PcacheFetchFinish(pCache,pgno,pPage); |
| 506 | } |
| 507 | |
| 508 | /* |
| 509 | ** This routine converts the sqlite3_pcache_page object returned by |
| 510 | ** sqlite3PcacheFetch() into an initialized PgHdr object. This routine |
| 511 | ** must be called after sqlite3PcacheFetch() in order to get a usable |
| 512 | ** result. |
| 513 | */ |
| 514 | PgHdr *sqlite3PcacheFetchFinish( |
| 515 | PCache *pCache, /* Obtain the page from this cache */ |
| 516 | Pgno pgno, /* Page number obtained */ |
| 517 | sqlite3_pcache_page *pPage /* Page obtained by prior PcacheFetch() call */ |
| 518 | ){ |
| 519 | PgHdr *pPgHdr; |
| 520 | |
drh | d8c0ba3 | 2015-06-30 03:57:59 +0000 | [diff] [blame] | 521 | assert( pPage!=0 ); |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 522 | pPgHdr = (PgHdr *)pPage->pExtra; |
| 523 | |
| 524 | if( !pPgHdr->pPage ){ |
| 525 | return pcacheFetchFinishWithInit(pCache, pgno, pPage); |
| 526 | } |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 527 | pCache->nRefSum++; |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 528 | pPgHdr->nRef++; |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 529 | assert( sqlite3PcachePageSanity(pPgHdr) ); |
drh | bc59ac0 | 2014-08-27 23:18:01 +0000 | [diff] [blame] | 530 | return pPgHdr; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 531 | } |
| 532 | |
| 533 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 534 | ** Decrement the reference count on a page. If the page is clean and the |
peter.d.reid | 60ec914 | 2014-09-06 16:39:46 +0000 | [diff] [blame] | 535 | ** reference count drops to 0, then it is made eligible for recycling. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 536 | */ |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 537 | void SQLITE_NOINLINE sqlite3PcacheRelease(PgHdr *p){ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 538 | assert( p->nRef>0 ); |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 539 | p->pCache->nRefSum--; |
| 540 | if( (--p->nRef)==0 ){ |
drh | c78ae91 | 2015-06-29 04:21:15 +0000 | [diff] [blame] | 541 | if( p->flags&PGHDR_CLEAN ){ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 542 | pcacheUnpin(p); |
drh | dfcdc66 | 2017-09-01 12:57:33 +0000 | [diff] [blame] | 543 | }else{ |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 544 | pcacheManageDirtyList(p, PCACHE_DIRTYLIST_FRONT); |
drh | f0f025b | 2022-08-27 16:11:00 +0000 | [diff] [blame] | 545 | assert( sqlite3PcachePageSanity(p) ); |
danielk1977 | d491e1b | 2008-08-26 18:05:48 +0000 | [diff] [blame] | 546 | } |
danielk1977 | 502b743 | 2008-08-25 14:49:42 +0000 | [diff] [blame] | 547 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 548 | } |
| 549 | |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 550 | /* |
| 551 | ** Increase the reference count of a supplied page by 1. |
| 552 | */ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 553 | void sqlite3PcacheRef(PgHdr *p){ |
danielk1977 | 502b743 | 2008-08-25 14:49:42 +0000 | [diff] [blame] | 554 | assert(p->nRef>0); |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 555 | assert( sqlite3PcachePageSanity(p) ); |
danielk1977 | 502b743 | 2008-08-25 14:49:42 +0000 | [diff] [blame] | 556 | p->nRef++; |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 557 | p->pCache->nRefSum++; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 558 | } |
| 559 | |
| 560 | /* |
danielk1977 | 4abdfa4 | 2008-08-27 09:44:39 +0000 | [diff] [blame] | 561 | ** Drop a page from the cache. There must be exactly one reference to the |
| 562 | ** page. This function deletes that reference, so after it returns the |
| 563 | ** page pointed to by p is invalid. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 564 | */ |
| 565 | void sqlite3PcacheDrop(PgHdr *p){ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 566 | assert( p->nRef==1 ); |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 567 | assert( sqlite3PcachePageSanity(p) ); |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 568 | if( p->flags&PGHDR_DIRTY ){ |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 569 | pcacheManageDirtyList(p, PCACHE_DIRTYLIST_REMOVE); |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 570 | } |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 571 | p->pCache->nRefSum--; |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 572 | sqlite3GlobalConfig.pcache2.xUnpin(p->pCache->pCache, p->pPage, 1); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 573 | } |
| 574 | |
| 575 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 576 | ** Make sure the page is marked as dirty. If it isn't dirty already, |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 577 | ** make it so. |
| 578 | */ |
| 579 | void sqlite3PcacheMakeDirty(PgHdr *p){ |
drh | c63e409 | 2022-03-21 18:48:31 +0000 | [diff] [blame] | 580 | assert( p->nRef>0 ); |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 581 | assert( sqlite3PcachePageSanity(p) ); |
dan | 82c0447 | 2016-05-12 17:06:04 +0000 | [diff] [blame] | 582 | if( p->flags & (PGHDR_CLEAN|PGHDR_DONT_WRITE) ){ /*OPTIMIZATION-IF-FALSE*/ |
drh | c78ae91 | 2015-06-29 04:21:15 +0000 | [diff] [blame] | 583 | p->flags &= ~PGHDR_DONT_WRITE; |
| 584 | if( p->flags & PGHDR_CLEAN ){ |
| 585 | p->flags ^= (PGHDR_DIRTY|PGHDR_CLEAN); |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 586 | pcacheTrace(("%p.DIRTY %d\n",p->pCache,p->pgno)); |
drh | c78ae91 | 2015-06-29 04:21:15 +0000 | [diff] [blame] | 587 | assert( (p->flags & (PGHDR_DIRTY|PGHDR_CLEAN))==PGHDR_DIRTY ); |
| 588 | pcacheManageDirtyList(p, PCACHE_DIRTYLIST_ADD); |
drh | f0f025b | 2022-08-27 16:11:00 +0000 | [diff] [blame] | 589 | assert( sqlite3PcachePageSanity(p) ); |
drh | c78ae91 | 2015-06-29 04:21:15 +0000 | [diff] [blame] | 590 | } |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 591 | assert( sqlite3PcachePageSanity(p) ); |
danielk1977 | d491e1b | 2008-08-26 18:05:48 +0000 | [diff] [blame] | 592 | } |
danielk1977 | f599a19 | 2008-08-28 10:21:16 +0000 | [diff] [blame] | 593 | } |
| 594 | |
| 595 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 596 | ** Make sure the page is marked as clean. If it isn't clean already, |
danielk1977 | f599a19 | 2008-08-28 10:21:16 +0000 | [diff] [blame] | 597 | ** make it so. |
| 598 | */ |
| 599 | void sqlite3PcacheMakeClean(PgHdr *p){ |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 600 | assert( sqlite3PcachePageSanity(p) ); |
drh | 9d9c41e | 2017-10-31 03:40:15 +0000 | [diff] [blame] | 601 | assert( (p->flags & PGHDR_DIRTY)!=0 ); |
| 602 | assert( (p->flags & PGHDR_CLEAN)==0 ); |
| 603 | pcacheManageDirtyList(p, PCACHE_DIRTYLIST_REMOVE); |
| 604 | p->flags &= ~(PGHDR_DIRTY|PGHDR_NEED_SYNC|PGHDR_WRITEABLE); |
| 605 | p->flags |= PGHDR_CLEAN; |
| 606 | pcacheTrace(("%p.CLEAN %d\n",p->pCache,p->pgno)); |
| 607 | assert( sqlite3PcachePageSanity(p) ); |
| 608 | if( p->nRef==0 ){ |
| 609 | pcacheUnpin(p); |
danielk1977 | f599a19 | 2008-08-28 10:21:16 +0000 | [diff] [blame] | 610 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 611 | } |
| 612 | |
| 613 | /* |
| 614 | ** Make every page in the cache clean. |
| 615 | */ |
| 616 | void sqlite3PcacheCleanAll(PCache *pCache){ |
| 617 | PgHdr *p; |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 618 | pcacheTrace(("%p.CLEAN-ALL\n",pCache)); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 619 | while( (p = pCache->pDirty)!=0 ){ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 620 | sqlite3PcacheMakeClean(p); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 621 | } |
| 622 | } |
| 623 | |
| 624 | /* |
dan | 41113b6 | 2016-04-05 21:07:58 +0000 | [diff] [blame] | 625 | ** Clear the PGHDR_NEED_SYNC and PGHDR_WRITEABLE flag from all dirty pages. |
| 626 | */ |
| 627 | void sqlite3PcacheClearWritable(PCache *pCache){ |
| 628 | PgHdr *p; |
drh | 7aeb216 | 2016-05-13 04:24:25 +0000 | [diff] [blame] | 629 | pcacheTrace(("%p.CLEAR-WRITEABLE\n",pCache)); |
dan | 41113b6 | 2016-04-05 21:07:58 +0000 | [diff] [blame] | 630 | for(p=pCache->pDirty; p; p=p->pDirtyNext){ |
| 631 | p->flags &= ~(PGHDR_NEED_SYNC|PGHDR_WRITEABLE); |
| 632 | } |
| 633 | pCache->pSynced = pCache->pDirtyTail; |
| 634 | } |
| 635 | |
| 636 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 637 | ** Clear the PGHDR_NEED_SYNC flag from all dirty pages. |
| 638 | */ |
| 639 | void sqlite3PcacheClearSyncFlags(PCache *pCache){ |
| 640 | PgHdr *p; |
| 641 | for(p=pCache->pDirty; p; p=p->pDirtyNext){ |
| 642 | p->flags &= ~PGHDR_NEED_SYNC; |
| 643 | } |
| 644 | pCache->pSynced = pCache->pDirtyTail; |
| 645 | } |
| 646 | |
| 647 | /* |
| 648 | ** Change the page number of page p to newPgno. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 649 | */ |
| 650 | void sqlite3PcacheMove(PgHdr *p, Pgno newPgno){ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 651 | PCache *pCache = p->pCache; |
drh | 5fc3a8a | 2022-09-02 15:09:55 +0000 | [diff] [blame] | 652 | sqlite3_pcache_page *pOther; |
danielk1977 | d491e1b | 2008-08-26 18:05:48 +0000 | [diff] [blame] | 653 | assert( p->nRef>0 ); |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 654 | assert( newPgno>0 ); |
drh | a0f6b12 | 2016-05-13 15:22:06 +0000 | [diff] [blame] | 655 | assert( sqlite3PcachePageSanity(p) ); |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 656 | pcacheTrace(("%p.MOVE %d -> %d\n",pCache,p->pgno,newPgno)); |
drh | 5fc3a8a | 2022-09-02 15:09:55 +0000 | [diff] [blame] | 657 | pOther = sqlite3GlobalConfig.pcache2.xFetch(pCache->pCache, newPgno, 0); |
drh | 5fc3a8a | 2022-09-02 15:09:55 +0000 | [diff] [blame] | 658 | if( pOther ){ |
drh | 8c983dd | 2022-09-07 19:28:18 +0000 | [diff] [blame] | 659 | PgHdr *pXPage = (PgHdr*)pOther->pExtra; |
| 660 | assert( pXPage->nRef==0 ); |
| 661 | pXPage->nRef++; |
| 662 | pCache->nRefSum++; |
| 663 | sqlite3PcacheDrop(pXPage); |
drh | 5fc3a8a | 2022-09-02 15:09:55 +0000 | [diff] [blame] | 664 | } |
drh | 8c983dd | 2022-09-07 19:28:18 +0000 | [diff] [blame] | 665 | sqlite3GlobalConfig.pcache2.xRekey(pCache->pCache, p->pPage, p->pgno,newPgno); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 666 | p->pgno = newPgno; |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 667 | if( (p->flags&PGHDR_DIRTY) && (p->flags&PGHDR_NEED_SYNC) ){ |
drh | a8dcba9 | 2014-08-22 20:35:29 +0000 | [diff] [blame] | 668 | pcacheManageDirtyList(p, PCACHE_DIRTYLIST_FRONT); |
drh | f0f025b | 2022-08-27 16:11:00 +0000 | [diff] [blame] | 669 | assert( sqlite3PcachePageSanity(p) ); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 670 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 671 | } |
| 672 | |
| 673 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 674 | ** Drop every cache entry whose page number is greater than "pgno". The |
| 675 | ** caller must ensure that there are no outstanding references to any pages |
| 676 | ** other than page 1 with a page number greater than pgno. |
| 677 | ** |
| 678 | ** If there is a reference to page 1 and the pgno parameter passed to this |
| 679 | ** function is 0, then the data area associated with page 1 is zeroed, but |
| 680 | ** the page object is not dropped. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 681 | */ |
| 682 | void sqlite3PcacheTruncate(PCache *pCache, Pgno pgno){ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 683 | if( pCache->pCache ){ |
| 684 | PgHdr *p; |
| 685 | PgHdr *pNext; |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 686 | pcacheTrace(("%p.TRUNCATE %d\n",pCache,pgno)); |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 687 | for(p=pCache->pDirty; p; p=pNext){ |
| 688 | pNext = p->pDirtyNext; |
drh | f3609ee | 2010-03-19 19:23:51 +0000 | [diff] [blame] | 689 | /* This routine never gets call with a positive pgno except right |
| 690 | ** after sqlite3PcacheCleanAll(). So if there are dirty pages, |
| 691 | ** it must be that pgno==0. |
| 692 | */ |
| 693 | assert( p->pgno>0 ); |
dan | 41113b6 | 2016-04-05 21:07:58 +0000 | [diff] [blame] | 694 | if( p->pgno>pgno ){ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 695 | assert( p->flags&PGHDR_DIRTY ); |
| 696 | sqlite3PcacheMakeClean(p); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 697 | } |
| 698 | } |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 699 | if( pgno==0 && pCache->nRefSum ){ |
drh | 39065c6 | 2015-06-26 02:41:31 +0000 | [diff] [blame] | 700 | sqlite3_pcache_page *pPage1; |
| 701 | pPage1 = sqlite3GlobalConfig.pcache2.xFetch(pCache->pCache,1,0); |
| 702 | if( ALWAYS(pPage1) ){ /* Page 1 is always available in cache, because |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 703 | ** pCache->nRefSum>0 */ |
drh | 39065c6 | 2015-06-26 02:41:31 +0000 | [diff] [blame] | 704 | memset(pPage1->pBuf, 0, pCache->szPage); |
| 705 | pgno = 1; |
| 706 | } |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 707 | } |
dan | 22e21ff | 2011-11-08 20:08:44 +0000 | [diff] [blame] | 708 | sqlite3GlobalConfig.pcache2.xTruncate(pCache->pCache, pgno+1); |
danielk1977 | 062d4cb | 2008-08-29 09:10:02 +0000 | [diff] [blame] | 709 | } |
| 710 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 711 | |
| 712 | /* |
| 713 | ** Close a cache. |
| 714 | */ |
| 715 | void sqlite3PcacheClose(PCache *pCache){ |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 716 | assert( pCache->pCache!=0 ); |
drh | 5c8e092 | 2016-05-11 10:57:04 +0000 | [diff] [blame] | 717 | pcacheTrace(("%p.CLOSE\n",pCache)); |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 718 | sqlite3GlobalConfig.pcache2.xDestroy(pCache->pCache); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 719 | } |
| 720 | |
| 721 | /* |
| 722 | ** Discard the contents of the cache. |
| 723 | */ |
danielk1977 | bea2a94 | 2009-01-20 17:06:27 +0000 | [diff] [blame] | 724 | void sqlite3PcacheClear(PCache *pCache){ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 725 | sqlite3PcacheTruncate(pCache, 0); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 726 | } |
| 727 | |
| 728 | /* |
| 729 | ** Merge two lists of pages connected by pDirty and in pgno order. |
mistachkin | 2380f3f | 2016-05-20 20:58:30 +0000 | [diff] [blame] | 730 | ** Do not bother fixing the pDirtyPrev pointers. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 731 | */ |
| 732 | static PgHdr *pcacheMergeDirtyList(PgHdr *pA, PgHdr *pB){ |
| 733 | PgHdr result, *pTail; |
| 734 | pTail = &result; |
drh | b982bfe | 2016-05-20 14:54:54 +0000 | [diff] [blame] | 735 | assert( pA!=0 && pB!=0 ); |
| 736 | for(;;){ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 737 | if( pA->pgno<pB->pgno ){ |
| 738 | pTail->pDirty = pA; |
| 739 | pTail = pA; |
| 740 | pA = pA->pDirty; |
drh | b982bfe | 2016-05-20 14:54:54 +0000 | [diff] [blame] | 741 | if( pA==0 ){ |
| 742 | pTail->pDirty = pB; |
| 743 | break; |
| 744 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 745 | }else{ |
| 746 | pTail->pDirty = pB; |
| 747 | pTail = pB; |
| 748 | pB = pB->pDirty; |
drh | b982bfe | 2016-05-20 14:54:54 +0000 | [diff] [blame] | 749 | if( pB==0 ){ |
| 750 | pTail->pDirty = pA; |
| 751 | break; |
| 752 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 753 | } |
| 754 | } |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 755 | return result.pDirty; |
| 756 | } |
| 757 | |
| 758 | /* |
| 759 | ** Sort the list of pages in accending order by pgno. Pages are |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 760 | ** connected by pDirty pointers. The pDirtyPrev pointers are |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 761 | ** corrupted by this sort. |
drh | e64ca7b | 2009-07-16 18:21:17 +0000 | [diff] [blame] | 762 | ** |
| 763 | ** Since there cannot be more than 2^31 distinct pages in a database, |
| 764 | ** there cannot be more than 31 buckets required by the merge sorter. |
| 765 | ** One extra bucket is added to catch overflow in case something |
| 766 | ** ever changes to make the previous sentence incorrect. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 767 | */ |
drh | e64ca7b | 2009-07-16 18:21:17 +0000 | [diff] [blame] | 768 | #define N_SORT_BUCKET 32 |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 769 | static PgHdr *pcacheSortDirtyList(PgHdr *pIn){ |
drh | e64ca7b | 2009-07-16 18:21:17 +0000 | [diff] [blame] | 770 | PgHdr *a[N_SORT_BUCKET], *p; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 771 | int i; |
| 772 | memset(a, 0, sizeof(a)); |
| 773 | while( pIn ){ |
| 774 | p = pIn; |
| 775 | pIn = p->pDirty; |
| 776 | p->pDirty = 0; |
drh | e64ca7b | 2009-07-16 18:21:17 +0000 | [diff] [blame] | 777 | for(i=0; ALWAYS(i<N_SORT_BUCKET-1); i++){ |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 778 | if( a[i]==0 ){ |
| 779 | a[i] = p; |
| 780 | break; |
| 781 | }else{ |
| 782 | p = pcacheMergeDirtyList(a[i], p); |
| 783 | a[i] = 0; |
| 784 | } |
| 785 | } |
drh | e64ca7b | 2009-07-16 18:21:17 +0000 | [diff] [blame] | 786 | if( NEVER(i==N_SORT_BUCKET-1) ){ |
| 787 | /* To get here, there need to be 2^(N_SORT_BUCKET) elements in |
| 788 | ** the input list. But that is impossible. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 789 | */ |
| 790 | a[i] = pcacheMergeDirtyList(a[i], p); |
| 791 | } |
| 792 | } |
| 793 | p = a[0]; |
| 794 | for(i=1; i<N_SORT_BUCKET; i++){ |
drh | b982bfe | 2016-05-20 14:54:54 +0000 | [diff] [blame] | 795 | if( a[i]==0 ) continue; |
| 796 | p = p ? pcacheMergeDirtyList(p, a[i]) : a[i]; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 797 | } |
| 798 | return p; |
| 799 | } |
| 800 | |
| 801 | /* |
| 802 | ** Return a list of all dirty pages in the cache, sorted by page number. |
| 803 | */ |
| 804 | PgHdr *sqlite3PcacheDirtyList(PCache *pCache){ |
| 805 | PgHdr *p; |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 806 | for(p=pCache->pDirty; p; p=p->pDirtyNext){ |
| 807 | p->pDirty = p->pDirtyNext; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 808 | } |
| 809 | return pcacheSortDirtyList(pCache->pDirty); |
| 810 | } |
| 811 | |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 812 | /* |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 813 | ** Return the total number of references to all pages held by the cache. |
| 814 | ** |
| 815 | ** This is not the total number of pages referenced, but the sum of the |
| 816 | ** reference count for all pages. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 817 | */ |
| 818 | int sqlite3PcacheRefCount(PCache *pCache){ |
drh | 95a0b37 | 2015-09-03 20:43:55 +0000 | [diff] [blame] | 819 | return pCache->nRefSum; |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 820 | } |
| 821 | |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 822 | /* |
| 823 | ** Return the number of references to the page supplied as an argument. |
| 824 | */ |
danielk1977 | 71d5d2c | 2008-09-29 11:49:47 +0000 | [diff] [blame] | 825 | int sqlite3PcachePageRefcount(PgHdr *p){ |
| 826 | return p->nRef; |
| 827 | } |
| 828 | |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 829 | /* |
| 830 | ** Return the total number of pages in the cache. |
| 831 | */ |
| 832 | int sqlite3PcachePagecount(PCache *pCache){ |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 833 | assert( pCache->pCache!=0 ); |
| 834 | return sqlite3GlobalConfig.pcache2.xPagecount(pCache->pCache); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 835 | } |
| 836 | |
danielk1977 | f3d3c27 | 2008-11-19 16:52:44 +0000 | [diff] [blame] | 837 | #ifdef SQLITE_TEST |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 838 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 839 | ** Get the suggested cache-size value. |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 840 | */ |
| 841 | int sqlite3PcacheGetCachesize(PCache *pCache){ |
drh | 3b42abb | 2011-11-09 14:23:04 +0000 | [diff] [blame] | 842 | return numberOfCachePages(pCache); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 843 | } |
danielk1977 | f3d3c27 | 2008-11-19 16:52:44 +0000 | [diff] [blame] | 844 | #endif |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 845 | |
| 846 | /* |
| 847 | ** Set the suggested cache-size value. |
| 848 | */ |
| 849 | void sqlite3PcacheSetCachesize(PCache *pCache, int mxPage){ |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 850 | assert( pCache->pCache!=0 ); |
drh | 3b42abb | 2011-11-09 14:23:04 +0000 | [diff] [blame] | 851 | pCache->szCache = mxPage; |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 852 | sqlite3GlobalConfig.pcache2.xCachesize(pCache->pCache, |
| 853 | numberOfCachePages(pCache)); |
danielk1977 | 8c0a791 | 2008-08-20 14:49:23 +0000 | [diff] [blame] | 854 | } |
| 855 | |
drh | 09419b4 | 2011-11-16 19:29:17 +0000 | [diff] [blame] | 856 | /* |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 857 | ** Set the suggested cache-spill value. Make no changes if if the |
| 858 | ** argument is zero. Return the effective cache-spill size, which will |
| 859 | ** be the larger of the szSpill and szCache. |
| 860 | */ |
| 861 | int sqlite3PcacheSetSpillsize(PCache *p, int mxPage){ |
| 862 | int res; |
| 863 | assert( p->pCache!=0 ); |
| 864 | if( mxPage ){ |
| 865 | if( mxPage<0 ){ |
drh | 4f9c8ec | 2015-11-12 15:47:48 +0000 | [diff] [blame] | 866 | mxPage = (int)((-1024*(i64)mxPage)/(p->szPage+p->szExtra)); |
drh | 9b0cf34 | 2015-11-12 14:57:19 +0000 | [diff] [blame] | 867 | } |
| 868 | p->szSpill = mxPage; |
| 869 | } |
| 870 | res = numberOfCachePages(p); |
| 871 | if( res<p->szSpill ) res = p->szSpill; |
| 872 | return res; |
| 873 | } |
| 874 | |
| 875 | /* |
drh | 09419b4 | 2011-11-16 19:29:17 +0000 | [diff] [blame] | 876 | ** Free up as much memory as possible from the page cache. |
| 877 | */ |
| 878 | void sqlite3PcacheShrink(PCache *pCache){ |
drh | c3031c6 | 2014-08-26 15:06:49 +0000 | [diff] [blame] | 879 | assert( pCache->pCache!=0 ); |
| 880 | sqlite3GlobalConfig.pcache2.xShrink(pCache->pCache); |
drh | 09419b4 | 2011-11-16 19:29:17 +0000 | [diff] [blame] | 881 | } |
| 882 | |
drh | def6889 | 2014-11-04 12:11:23 +0000 | [diff] [blame] | 883 | /* |
| 884 | ** Return the size of the header added by this middleware layer |
| 885 | ** in the page-cache hierarchy. |
| 886 | */ |
drh | 37c057b | 2014-12-30 00:57:29 +0000 | [diff] [blame] | 887 | int sqlite3HeaderSizePcache(void){ return ROUND8(sizeof(PgHdr)); } |
drh | def6889 | 2014-11-04 12:11:23 +0000 | [diff] [blame] | 888 | |
dan | 0f52455 | 2016-04-13 16:52:11 +0000 | [diff] [blame] | 889 | /* |
| 890 | ** Return the number of dirty pages currently in the cache, as a percentage |
| 891 | ** of the configured cache size. |
| 892 | */ |
| 893 | int sqlite3PCachePercentDirty(PCache *pCache){ |
| 894 | PgHdr *pDirty; |
| 895 | int nDirty = 0; |
| 896 | int nCache = numberOfCachePages(pCache); |
| 897 | for(pDirty=pCache->pDirty; pDirty; pDirty=pDirty->pDirtyNext) nDirty++; |
drh | b5895e5 | 2016-04-18 13:30:50 +0000 | [diff] [blame] | 898 | return nCache ? (int)(((i64)nDirty * 100) / nCache) : 0; |
dan | 0f52455 | 2016-04-13 16:52:11 +0000 | [diff] [blame] | 899 | } |
drh | def6889 | 2014-11-04 12:11:23 +0000 | [diff] [blame] | 900 | |
dan | 0923675 | 2018-11-22 19:10:14 +0000 | [diff] [blame] | 901 | #ifdef SQLITE_DIRECT_OVERFLOW_READ |
| 902 | /* |
| 903 | ** Return true if there are one or more dirty pages in the cache. Else false. |
| 904 | */ |
| 905 | int sqlite3PCacheIsDirty(PCache *pCache){ |
| 906 | return (pCache->pDirty!=0); |
| 907 | } |
| 908 | #endif |
| 909 | |
danielk1977 | 750e87d | 2009-07-25 11:46:48 +0000 | [diff] [blame] | 910 | #if defined(SQLITE_CHECK_PAGES) || defined(SQLITE_DEBUG) |
danielk1977 | 67e3da7 | 2008-08-21 12:19:44 +0000 | [diff] [blame] | 911 | /* |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 912 | ** For all dirty pages currently in the cache, invoke the specified |
| 913 | ** callback. This is only used if the SQLITE_CHECK_PAGES macro is |
| 914 | ** defined. |
danielk1977 | 67e3da7 | 2008-08-21 12:19:44 +0000 | [diff] [blame] | 915 | */ |
danielk1977 | bc2ca9e | 2008-11-13 14:28:28 +0000 | [diff] [blame] | 916 | void sqlite3PcacheIterateDirty(PCache *pCache, void (*xIter)(PgHdr *)){ |
| 917 | PgHdr *pDirty; |
| 918 | for(pDirty=pCache->pDirty; pDirty; pDirty=pDirty->pDirtyNext){ |
| 919 | xIter(pDirty); |
danielk1977 | 67e3da7 | 2008-08-21 12:19:44 +0000 | [diff] [blame] | 920 | } |
danielk1977 | 062d4cb | 2008-08-29 09:10:02 +0000 | [diff] [blame] | 921 | } |
| 922 | #endif |