xref: /sqlite-3.40.0/src/pcache.c (revision fd3b2226)
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.
13 **
14 ** @(#) $Id: pcache.c,v 1.47 2009/07/25 11:46:49 danielk1977 Exp $
15 */
16 #include "sqliteInt.h"
17 
18 /*
19 ** A complete page cache is an instance of this structure.
20 */
21 struct PCache {
22   PgHdr *pDirty, *pDirtyTail;         /* List of dirty pages in LRU order */
23   PgHdr *pSynced;                     /* Last synced page in dirty page list */
24   int nRef;                           /* Number of referenced pages */
25   int nMax;                           /* Configured cache size */
26   int szPage;                         /* Size of every page in this cache */
27   int szExtra;                        /* Size of extra space for each page */
28   int bPurgeable;                     /* True if pages are on backing store */
29   int (*xStress)(void*,PgHdr*);       /* Call to try make a page clean */
30   void *pStress;                      /* Argument to xStress */
31   sqlite3_pcache *pCache;             /* Pluggable cache module */
32   PgHdr *pPage1;                      /* Reference to page 1 */
33 };
34 
35 /*
36 ** Some of the assert() macros in this code are too expensive to run
37 ** even during normal debugging.  Use them only rarely on long-running
38 ** tests.  Enable the expensive asserts using the
39 ** -DSQLITE_ENABLE_EXPENSIVE_ASSERT=1 compile-time option.
40 */
41 #ifdef SQLITE_ENABLE_EXPENSIVE_ASSERT
42 # define expensive_assert(X)  assert(X)
43 #else
44 # define expensive_assert(X)
45 #endif
46 
47 /********************************** Linked List Management ********************/
48 
49 #if !defined(NDEBUG) && defined(SQLITE_ENABLE_EXPENSIVE_ASSERT)
50 /*
51 ** Check that the pCache->pSynced variable is set correctly. If it
52 ** is not, either fail an assert or return zero. Otherwise, return
53 ** non-zero. This is only used in debugging builds, as follows:
54 **
55 **   expensive_assert( pcacheCheckSynced(pCache) );
56 */
57 static int pcacheCheckSynced(PCache *pCache){
58   PgHdr *p;
59   for(p=pCache->pDirtyTail; p!=pCache->pSynced; p=p->pDirtyPrev){
60     assert( p->nRef || (p->flags&PGHDR_NEED_SYNC) );
61   }
62   return (p==0 || p->nRef || (p->flags&PGHDR_NEED_SYNC)==0);
63 }
64 #endif /* !NDEBUG && SQLITE_ENABLE_EXPENSIVE_ASSERT */
65 
66 /*
67 ** Remove page pPage from the list of dirty pages.
68 */
69 static void pcacheRemoveFromDirtyList(PgHdr *pPage){
70   PCache *p = pPage->pCache;
71 
72   assert( pPage->pDirtyNext || pPage==p->pDirtyTail );
73   assert( pPage->pDirtyPrev || pPage==p->pDirty );
74 
75   /* Update the PCache1.pSynced variable if necessary. */
76   if( p->pSynced==pPage ){
77     PgHdr *pSynced = pPage->pDirtyPrev;
78     while( pSynced && (pSynced->flags&PGHDR_NEED_SYNC) ){
79       pSynced = pSynced->pDirtyPrev;
80     }
81     p->pSynced = pSynced;
82   }
83 
84   if( pPage->pDirtyNext ){
85     pPage->pDirtyNext->pDirtyPrev = pPage->pDirtyPrev;
86   }else{
87     assert( pPage==p->pDirtyTail );
88     p->pDirtyTail = pPage->pDirtyPrev;
89   }
90   if( pPage->pDirtyPrev ){
91     pPage->pDirtyPrev->pDirtyNext = pPage->pDirtyNext;
92   }else{
93     assert( pPage==p->pDirty );
94     p->pDirty = pPage->pDirtyNext;
95   }
96   pPage->pDirtyNext = 0;
97   pPage->pDirtyPrev = 0;
98 
99   expensive_assert( pcacheCheckSynced(p) );
100 }
101 
102 /*
103 ** Add page pPage to the head of the dirty list (PCache1.pDirty is set to
104 ** pPage).
105 */
106 static void pcacheAddToDirtyList(PgHdr *pPage){
107   PCache *p = pPage->pCache;
108 
109   assert( pPage->pDirtyNext==0 && pPage->pDirtyPrev==0 && p->pDirty!=pPage );
110 
111   pPage->pDirtyNext = p->pDirty;
112   if( pPage->pDirtyNext ){
113     assert( pPage->pDirtyNext->pDirtyPrev==0 );
114     pPage->pDirtyNext->pDirtyPrev = pPage;
115   }
116   p->pDirty = pPage;
117   if( !p->pDirtyTail ){
118     p->pDirtyTail = pPage;
119   }
120   if( !p->pSynced && 0==(pPage->flags&PGHDR_NEED_SYNC) ){
121     p->pSynced = pPage;
122   }
123   expensive_assert( pcacheCheckSynced(p) );
124 }
125 
126 /*
127 ** Wrapper around the pluggable caches xUnpin method. If the cache is
128 ** being used for an in-memory database, this function is a no-op.
129 */
130 static void pcacheUnpin(PgHdr *p){
131   PCache *pCache = p->pCache;
132   if( pCache->bPurgeable ){
133     if( p->pgno==1 ){
134       pCache->pPage1 = 0;
135     }
136     sqlite3GlobalConfig.pcache.xUnpin(pCache->pCache, p, 0);
137   }
138 }
139 
140 /*************************************************** General Interfaces ******
141 **
142 ** Initialize and shutdown the page cache subsystem. Neither of these
143 ** functions are threadsafe.
144 */
145 int sqlite3PcacheInitialize(void){
146   if( sqlite3GlobalConfig.pcache.xInit==0 ){
147     sqlite3PCacheSetDefault();
148   }
149   return sqlite3GlobalConfig.pcache.xInit(sqlite3GlobalConfig.pcache.pArg);
150 }
151 void sqlite3PcacheShutdown(void){
152   if( sqlite3GlobalConfig.pcache.xShutdown ){
153     sqlite3GlobalConfig.pcache.xShutdown(sqlite3GlobalConfig.pcache.pArg);
154   }
155 }
156 
157 /*
158 ** Return the size in bytes of a PCache object.
159 */
160 int sqlite3PcacheSize(void){ return sizeof(PCache); }
161 
162 /*
163 ** Create a new PCache object. Storage space to hold the object
164 ** has already been allocated and is passed in as the p pointer.
165 ** The caller discovers how much space needs to be allocated by
166 ** calling sqlite3PcacheSize().
167 */
168 void sqlite3PcacheOpen(
169   int szPage,                  /* Size of every page */
170   int szExtra,                 /* Extra space associated with each page */
171   int bPurgeable,              /* True if pages are on backing store */
172   int (*xStress)(void*,PgHdr*),/* Call to try to make pages clean */
173   void *pStress,               /* Argument to xStress */
174   PCache *p                    /* Preallocated space for the PCache */
175 ){
176   memset(p, 0, sizeof(PCache));
177   p->szPage = szPage;
178   p->szExtra = szExtra;
179   p->bPurgeable = bPurgeable;
180   p->xStress = xStress;
181   p->pStress = pStress;
182   p->nMax = 100;
183 }
184 
185 /*
186 ** Change the page size for PCache object. The caller must ensure that there
187 ** are no outstanding page references when this function is called.
188 */
189 void sqlite3PcacheSetPageSize(PCache *pCache, int szPage){
190   assert( pCache->nRef==0 && pCache->pDirty==0 );
191   if( pCache->pCache ){
192     sqlite3GlobalConfig.pcache.xDestroy(pCache->pCache);
193     pCache->pCache = 0;
194   }
195   pCache->szPage = szPage;
196 }
197 
198 /*
199 ** Try to obtain a page from the cache.
200 */
201 int sqlite3PcacheFetch(
202   PCache *pCache,       /* Obtain the page from this cache */
203   Pgno pgno,            /* Page number to obtain */
204   int createFlag,       /* If true, create page if it does not exist already */
205   PgHdr **ppPage        /* Write the page here */
206 ){
207   PgHdr *pPage = 0;
208   int eCreate;
209 
210   assert( pCache!=0 );
211   assert( createFlag==1 || createFlag==0 );
212   assert( pgno>0 );
213 
214   /* If the pluggable cache (sqlite3_pcache*) has not been allocated,
215   ** allocate it now.
216   */
217   if( !pCache->pCache && createFlag ){
218     sqlite3_pcache *p;
219     int nByte;
220     nByte = pCache->szPage + pCache->szExtra + sizeof(PgHdr);
221     p = sqlite3GlobalConfig.pcache.xCreate(nByte, pCache->bPurgeable);
222     if( !p ){
223       return SQLITE_NOMEM;
224     }
225     sqlite3GlobalConfig.pcache.xCachesize(p, pCache->nMax);
226     pCache->pCache = p;
227   }
228 
229   eCreate = createFlag * (1 + (!pCache->bPurgeable || !pCache->pDirty));
230   if( pCache->pCache ){
231     pPage = sqlite3GlobalConfig.pcache.xFetch(pCache->pCache, pgno, eCreate);
232   }
233 
234   if( !pPage && eCreate==1 ){
235     PgHdr *pPg;
236 
237     /* Find a dirty page to write-out and recycle. First try to find a
238     ** page that does not require a journal-sync (one with PGHDR_NEED_SYNC
239     ** cleared), but if that is not possible settle for any other
240     ** unreferenced dirty page.
241     */
242     expensive_assert( pcacheCheckSynced(pCache) );
243     for(pPg=pCache->pSynced;
244         pPg && (pPg->nRef || (pPg->flags&PGHDR_NEED_SYNC));
245         pPg=pPg->pDirtyPrev
246     );
247     if( !pPg ){
248       for(pPg=pCache->pDirtyTail; pPg && pPg->nRef; pPg=pPg->pDirtyPrev);
249     }
250     if( pPg ){
251       int rc;
252       rc = pCache->xStress(pCache->pStress, pPg);
253       if( rc!=SQLITE_OK && rc!=SQLITE_BUSY ){
254         return rc;
255       }
256     }
257 
258     pPage = sqlite3GlobalConfig.pcache.xFetch(pCache->pCache, pgno, 2);
259   }
260 
261   if( pPage ){
262     if( !pPage->pData ){
263       memset(pPage, 0, sizeof(PgHdr) + pCache->szExtra);
264       pPage->pExtra = (void*)&pPage[1];
265       pPage->pData = (void *)&((char *)pPage)[sizeof(PgHdr) + pCache->szExtra];
266       pPage->pCache = pCache;
267       pPage->pgno = pgno;
268     }
269     assert( pPage->pCache==pCache );
270     assert( pPage->pgno==pgno );
271     assert( pPage->pExtra==(void *)&pPage[1] );
272 
273     if( 0==pPage->nRef ){
274       pCache->nRef++;
275     }
276     pPage->nRef++;
277     if( pgno==1 ){
278       pCache->pPage1 = pPage;
279     }
280   }
281   *ppPage = pPage;
282   return (pPage==0 && eCreate) ? SQLITE_NOMEM : SQLITE_OK;
283 }
284 
285 /*
286 ** Decrement the reference count on a page. If the page is clean and the
287 ** reference count drops to 0, then it is made elible for recycling.
288 */
289 void sqlite3PcacheRelease(PgHdr *p){
290   assert( p->nRef>0 );
291   p->nRef--;
292   if( p->nRef==0 ){
293     PCache *pCache = p->pCache;
294     pCache->nRef--;
295     if( (p->flags&PGHDR_DIRTY)==0 ){
296       pcacheUnpin(p);
297     }else{
298       /* Move the page to the head of the dirty list. */
299       pcacheRemoveFromDirtyList(p);
300       pcacheAddToDirtyList(p);
301     }
302   }
303 }
304 
305 /*
306 ** Increase the reference count of a supplied page by 1.
307 */
308 void sqlite3PcacheRef(PgHdr *p){
309   assert(p->nRef>0);
310   p->nRef++;
311 }
312 
313 /*
314 ** Drop a page from the cache. There must be exactly one reference to the
315 ** page. This function deletes that reference, so after it returns the
316 ** page pointed to by p is invalid.
317 */
318 void sqlite3PcacheDrop(PgHdr *p){
319   PCache *pCache;
320   assert( p->nRef==1 );
321   if( p->flags&PGHDR_DIRTY ){
322     pcacheRemoveFromDirtyList(p);
323   }
324   pCache = p->pCache;
325   pCache->nRef--;
326   if( p->pgno==1 ){
327     pCache->pPage1 = 0;
328   }
329   sqlite3GlobalConfig.pcache.xUnpin(pCache->pCache, p, 1);
330 }
331 
332 /*
333 ** Make sure the page is marked as dirty. If it isn't dirty already,
334 ** make it so.
335 */
336 void sqlite3PcacheMakeDirty(PgHdr *p){
337   p->flags &= ~PGHDR_DONT_WRITE;
338   assert( p->nRef>0 );
339   if( 0==(p->flags & PGHDR_DIRTY) ){
340     p->flags |= PGHDR_DIRTY;
341     pcacheAddToDirtyList( p);
342   }
343 }
344 
345 /*
346 ** Make sure the page is marked as clean. If it isn't clean already,
347 ** make it so.
348 */
349 void sqlite3PcacheMakeClean(PgHdr *p){
350   if( (p->flags & PGHDR_DIRTY) ){
351     pcacheRemoveFromDirtyList(p);
352     p->flags &= ~(PGHDR_DIRTY|PGHDR_NEED_SYNC);
353     if( p->nRef==0 ){
354       pcacheUnpin(p);
355     }
356   }
357 }
358 
359 /*
360 ** Make every page in the cache clean.
361 */
362 void sqlite3PcacheCleanAll(PCache *pCache){
363   PgHdr *p;
364   while( (p = pCache->pDirty)!=0 ){
365     sqlite3PcacheMakeClean(p);
366   }
367 }
368 
369 /*
370 ** Clear the PGHDR_NEED_SYNC flag from all dirty pages.
371 */
372 void sqlite3PcacheClearSyncFlags(PCache *pCache){
373   PgHdr *p;
374   for(p=pCache->pDirty; p; p=p->pDirtyNext){
375     p->flags &= ~PGHDR_NEED_SYNC;
376   }
377   pCache->pSynced = pCache->pDirtyTail;
378 }
379 
380 /*
381 ** Change the page number of page p to newPgno.
382 */
383 void sqlite3PcacheMove(PgHdr *p, Pgno newPgno){
384   PCache *pCache = p->pCache;
385   assert( p->nRef>0 );
386   assert( newPgno>0 );
387   sqlite3GlobalConfig.pcache.xRekey(pCache->pCache, p, p->pgno, newPgno);
388   p->pgno = newPgno;
389   if( (p->flags&PGHDR_DIRTY) && (p->flags&PGHDR_NEED_SYNC) ){
390     pcacheRemoveFromDirtyList(p);
391     pcacheAddToDirtyList(p);
392   }
393 }
394 
395 /*
396 ** Drop every cache entry whose page number is greater than "pgno". The
397 ** caller must ensure that there are no outstanding references to any pages
398 ** other than page 1 with a page number greater than pgno.
399 **
400 ** If there is a reference to page 1 and the pgno parameter passed to this
401 ** function is 0, then the data area associated with page 1 is zeroed, but
402 ** the page object is not dropped.
403 */
404 void sqlite3PcacheTruncate(PCache *pCache, Pgno pgno){
405   if( pCache->pCache ){
406     PgHdr *p;
407     PgHdr *pNext;
408     for(p=pCache->pDirty; p; p=pNext){
409       pNext = p->pDirtyNext;
410       if( p->pgno>pgno ){
411         assert( p->flags&PGHDR_DIRTY );
412         sqlite3PcacheMakeClean(p);
413       }
414     }
415     if( pgno==0 && pCache->pPage1 ){
416       memset(pCache->pPage1->pData, 0, pCache->szPage);
417       pgno = 1;
418     }
419     sqlite3GlobalConfig.pcache.xTruncate(pCache->pCache, pgno+1);
420   }
421 }
422 
423 /*
424 ** Close a cache.
425 */
426 void sqlite3PcacheClose(PCache *pCache){
427   if( pCache->pCache ){
428     sqlite3GlobalConfig.pcache.xDestroy(pCache->pCache);
429   }
430 }
431 
432 /*
433 ** Discard the contents of the cache.
434 */
435 void sqlite3PcacheClear(PCache *pCache){
436   sqlite3PcacheTruncate(pCache, 0);
437 }
438 
439 /*
440 ** Merge two lists of pages connected by pDirty and in pgno order.
441 ** Do not both fixing the pDirtyPrev pointers.
442 */
443 static PgHdr *pcacheMergeDirtyList(PgHdr *pA, PgHdr *pB){
444   PgHdr result, *pTail;
445   pTail = &result;
446   while( pA && pB ){
447     if( pA->pgno<pB->pgno ){
448       pTail->pDirty = pA;
449       pTail = pA;
450       pA = pA->pDirty;
451     }else{
452       pTail->pDirty = pB;
453       pTail = pB;
454       pB = pB->pDirty;
455     }
456   }
457   if( pA ){
458     pTail->pDirty = pA;
459   }else if( pB ){
460     pTail->pDirty = pB;
461   }else{
462     pTail->pDirty = 0;
463   }
464   return result.pDirty;
465 }
466 
467 /*
468 ** Sort the list of pages in accending order by pgno.  Pages are
469 ** connected by pDirty pointers.  The pDirtyPrev pointers are
470 ** corrupted by this sort.
471 **
472 ** Since there cannot be more than 2^31 distinct pages in a database,
473 ** there cannot be more than 31 buckets required by the merge sorter.
474 ** One extra bucket is added to catch overflow in case something
475 ** ever changes to make the previous sentence incorrect.
476 */
477 #define N_SORT_BUCKET  32
478 static PgHdr *pcacheSortDirtyList(PgHdr *pIn){
479   PgHdr *a[N_SORT_BUCKET], *p;
480   int i;
481   memset(a, 0, sizeof(a));
482   while( pIn ){
483     p = pIn;
484     pIn = p->pDirty;
485     p->pDirty = 0;
486     for(i=0; ALWAYS(i<N_SORT_BUCKET-1); i++){
487       if( a[i]==0 ){
488         a[i] = p;
489         break;
490       }else{
491         p = pcacheMergeDirtyList(a[i], p);
492         a[i] = 0;
493       }
494     }
495     if( NEVER(i==N_SORT_BUCKET-1) ){
496       /* To get here, there need to be 2^(N_SORT_BUCKET) elements in
497       ** the input list.  But that is impossible.
498       */
499       a[i] = pcacheMergeDirtyList(a[i], p);
500     }
501   }
502   p = a[0];
503   for(i=1; i<N_SORT_BUCKET; i++){
504     p = pcacheMergeDirtyList(p, a[i]);
505   }
506   return p;
507 }
508 
509 /*
510 ** Return a list of all dirty pages in the cache, sorted by page number.
511 */
512 PgHdr *sqlite3PcacheDirtyList(PCache *pCache){
513   PgHdr *p;
514   for(p=pCache->pDirty; p; p=p->pDirtyNext){
515     p->pDirty = p->pDirtyNext;
516   }
517   return pcacheSortDirtyList(pCache->pDirty);
518 }
519 
520 /*
521 ** Return the total number of referenced pages held by the cache.
522 */
523 int sqlite3PcacheRefCount(PCache *pCache){
524   return pCache->nRef;
525 }
526 
527 /*
528 ** Return the number of references to the page supplied as an argument.
529 */
530 int sqlite3PcachePageRefcount(PgHdr *p){
531   return p->nRef;
532 }
533 
534 /*
535 ** Return the total number of pages in the cache.
536 */
537 int sqlite3PcachePagecount(PCache *pCache){
538   int nPage = 0;
539   if( pCache->pCache ){
540     nPage = sqlite3GlobalConfig.pcache.xPagecount(pCache->pCache);
541   }
542   return nPage;
543 }
544 
545 #ifdef SQLITE_TEST
546 /*
547 ** Get the suggested cache-size value.
548 */
549 int sqlite3PcacheGetCachesize(PCache *pCache){
550   return pCache->nMax;
551 }
552 #endif
553 
554 /*
555 ** Set the suggested cache-size value.
556 */
557 void sqlite3PcacheSetCachesize(PCache *pCache, int mxPage){
558   pCache->nMax = mxPage;
559   if( pCache->pCache ){
560     sqlite3GlobalConfig.pcache.xCachesize(pCache->pCache, mxPage);
561   }
562 }
563 
564 #if defined(SQLITE_CHECK_PAGES) || defined(SQLITE_DEBUG)
565 /*
566 ** For all dirty pages currently in the cache, invoke the specified
567 ** callback. This is only used if the SQLITE_CHECK_PAGES macro is
568 ** defined.
569 */
570 void sqlite3PcacheIterateDirty(PCache *pCache, void (*xIter)(PgHdr *)){
571   PgHdr *pDirty;
572   for(pDirty=pCache->pDirty; pDirty; pDirty=pDirty->pDirtyNext){
573     xIter(pDirty);
574   }
575 }
576 #endif
577