SQLite: Hex Artifact Content

Artifact b8805850afe13b43f1de78d58088cb5d66f88e1e:

File src/vdbefifo.c — part of check-in [94c120bb] at 2005-07-08 13:08:00 on branch trunk — Replace OP_List with OP_Fifo. This is the first step toward allowing recursive delete triggers and later foreign keys with cascading deletes. (CVS 2538) (user: drh size: 2811)
0000: 2f 2a 0a 2a 2a 20 32 30 30 35 20 4a 75 6e 65 20  /*.** 2005 June 
0010: 31 36 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 75 74  16.**.** The aut
0020: 68 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f  hor disclaims co
0030: 70 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20  pyright to this 
0040: 73 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e  source code.  In
0050: 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20 61 20 6c   place of.** a l
0060: 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72  egal notice, her
0070: 65 20 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a  e is a blessing:
0080: 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79 20 79 6f  .**.**    May yo
0090: 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64 20 6e 6f  u do good and no
00a0: 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20 20 4d 61  t evil..**    Ma
00b0: 79 20 79 6f 75 20 66 69 6e 64 20 66 6f 72 67 69  y you find forgi
00c0: 76 65 6e 65 73 73 20 66 6f 72 20 79 6f 75 72 73  veness for yours
00d0: 65 6c 66 20 61 6e 64 20 66 6f 72 67 69 76 65 20  elf and forgive 
00e0: 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20 20 4d 61  others..**    Ma
00f0: 79 20 79 6f 75 20 73 68 61 72 65 20 66 72 65 65  y you share free
0100: 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b 69 6e 67  ly, never taking
0110: 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f 75 20 67   more than you g
0120: 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a 2a 2a  ive..**.********
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0170: 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65 20 69  *.** This file i
0180: 6d 70 6c 65 6d 65 6e 74 73 20 61 20 46 49 46 4f  mplements a FIFO
0190: 20 71 75 65 75 65 20 6f 66 20 72 6f 77 69 64 73   queue of rowids
01a0: 20 75 73 65 64 20 66 6f 72 20 70 72 6f 63 65 73   used for proces
01b0: 73 69 6e 67 0a 2a 2a 20 55 50 44 41 54 45 20 61  sing.** UPDATE a
01c0: 6e 64 20 44 45 4c 45 54 45 20 73 74 61 74 65 6d  nd DELETE statem
01d0: 65 6e 74 73 2e 0a 2a 2f 0a 23 69 6e 63 6c 75 64  ents..*/.#includ
01e0: 65 20 22 73 71 6c 69 74 65 49 6e 74 2e 68 22 0a  e "sqliteInt.h".
01f0: 23 69 6e 63 6c 75 64 65 20 22 76 64 62 65 49 6e  #include "vdbeIn
0200: 74 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 41 6c 6c 6f  t.h"../*.** Allo
0210: 63 61 74 65 20 61 20 6e 65 77 20 46 69 66 6f 50  cate a new FifoP
0220: 61 67 65 20 61 6e 64 20 72 65 74 75 72 6e 20 61  age and return a
0230: 20 70 6f 69 6e 74 65 72 20 74 6f 20 69 74 2e 20   pointer to it. 
0240: 20 52 65 74 75 72 6e 20 4e 55 4c 4c 20 69 66 0a   Return NULL if.
0250: 2a 2a 20 77 65 20 72 75 6e 20 6f 75 74 20 6f 66  ** we run out of
0260: 20 6d 65 6d 6f 72 79 2e 20 20 4c 65 61 76 65 20   memory.  Leave 
0270: 73 70 61 63 65 20 6f 6e 20 74 68 65 20 70 61 67  space on the pag
0280: 65 20 66 6f 72 20 6e 45 6e 74 72 79 20 65 6e 74  e for nEntry ent
0290: 72 69 65 73 2e 0a 2a 2f 0a 73 74 61 74 69 63 20  ries..*/.static 
02a0: 46 69 66 6f 50 61 67 65 20 2a 61 6c 6c 6f 63 61  FifoPage *alloca
02b0: 74 65 50 61 67 65 28 69 6e 74 20 6e 45 6e 74 72  tePage(int nEntr
02c0: 79 29 7b 0a 20 20 46 69 66 6f 50 61 67 65 20 2a  y){.  FifoPage *
02d0: 70 50 61 67 65 3b 0a 20 20 70 50 61 67 65 20 3d  pPage;.  pPage =
02e0: 20 73 71 6c 69 74 65 4d 61 6c 6c 6f 63 52 61 77   sqliteMallocRaw
02f0: 28 20 73 69 7a 65 6f 66 28 46 69 66 6f 50 61 67  ( sizeof(FifoPag
0300: 65 29 20 2b 20 73 69 7a 65 6f 66 28 69 36 34 29  e) + sizeof(i64)
0310: 2a 28 6e 45 6e 74 72 79 2d 31 29 20 29 3b 0a 20  *(nEntry-1) );. 
0320: 20 69 66 28 20 70 50 61 67 65 20 29 7b 0a 20 20   if( pPage ){.  
0330: 20 20 70 50 61 67 65 2d 3e 6e 53 6c 6f 74 20 3d    pPage->nSlot =
0340: 20 6e 45 6e 74 72 79 3b 0a 20 20 20 20 70 50 61   nEntry;.    pPa
0350: 67 65 2d 3e 69 57 72 69 74 65 20 3d 20 30 3b 0a  ge->iWrite = 0;.
0360: 20 20 20 20 70 50 61 67 65 2d 3e 69 52 65 61 64      pPage->iRead
0370: 20 3d 20 30 3b 0a 20 20 20 20 70 50 61 67 65 2d   = 0;.    pPage-
0380: 3e 70 4e 65 78 74 20 3d 20 30 3b 0a 20 20 7d 0a  >pNext = 0;.  }.
0390: 20 20 72 65 74 75 72 6e 20 70 50 61 67 65 3b 0a    return pPage;.
03a0: 7d 0a 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c  }../*.** Initial
03b0: 69 7a 65 20 61 20 46 69 66 6f 20 73 74 72 75 63  ize a Fifo struc
03c0: 74 75 72 65 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71  ture..*/.void sq
03d0: 6c 69 74 65 33 56 64 62 65 46 69 66 6f 49 6e 69  lite3VdbeFifoIni
03e0: 74 28 46 69 66 6f 20 2a 70 46 69 66 6f 29 7b 0a  t(Fifo *pFifo){.
03f0: 20 20 6d 65 6d 73 65 74 28 70 46 69 66 6f 2c 20    memset(pFifo, 
0400: 30 2c 20 73 69 7a 65 6f 66 28 2a 70 46 69 66 6f  0, sizeof(*pFifo
0410: 29 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 50 75 73  ));.}../*.** Pus
0420: 68 20 61 20 73 69 6e 67 6c 65 20 36 34 2d 62 69  h a single 64-bi
0430: 74 20 69 6e 74 65 67 65 72 20 76 61 6c 75 65 20  t integer value 
0440: 69 6e 74 6f 20 74 68 65 20 46 69 66 6f 2e 20 20  into the Fifo.  
0450: 52 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b  Return SQLITE_OK
0460: 0a 2a 2a 20 6e 6f 72 6d 61 6c 6c 79 2e 20 20 20  .** normally.   
0470: 53 51 4c 49 54 45 5f 4e 4f 4d 45 4d 20 69 73 20  SQLITE_NOMEM is 
0480: 72 65 74 75 72 6e 65 64 20 69 66 20 77 65 20 61  returned if we a
0490: 72 65 20 75 6e 61 62 6c 65 20 74 6f 20 61 6c 6c  re unable to all
04a0: 6f 63 61 74 65 0a 2a 2a 20 6d 65 6d 6f 72 79 2e  ocate.** memory.
04b0: 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  .*/.int sqlite3V
04c0: 64 62 65 46 69 66 6f 50 75 73 68 28 46 69 66 6f  dbeFifoPush(Fifo
04d0: 20 2a 70 46 69 66 6f 2c 20 69 36 34 20 76 61 6c   *pFifo, i64 val
04e0: 29 7b 0a 20 20 46 69 66 6f 50 61 67 65 20 2a 70  ){.  FifoPage *p
04f0: 50 61 67 65 3b 0a 20 20 70 50 61 67 65 20 3d 20  Page;.  pPage = 
0500: 70 46 69 66 6f 2d 3e 70 4c 61 73 74 3b 0a 20 20  pFifo->pLast;.  
0510: 69 66 28 20 70 50 61 67 65 3d 3d 30 20 29 7b 0a  if( pPage==0 ){.
0520: 20 20 20 20 70 50 61 67 65 20 3d 20 70 46 69 66      pPage = pFif
0530: 6f 2d 3e 70 4c 61 73 74 20 3d 20 70 46 69 66 6f  o->pLast = pFifo
0540: 2d 3e 70 46 69 72 73 74 20 3d 20 61 6c 6c 6f 63  ->pFirst = alloc
0550: 61 74 65 50 61 67 65 28 32 30 29 3b 0a 20 20 20  atePage(20);.   
0560: 20 69 66 28 20 70 50 61 67 65 3d 3d 30 20 29 7b   if( pPage==0 ){
0570: 0a 20 20 20 20 20 20 72 65 74 75 72 6e 20 53 51  .      return SQ
0580: 4c 49 54 45 5f 4e 4f 4d 45 4d 3b 0a 20 20 20 20  LITE_NOMEM;.    
0590: 7d 0a 20 20 7d 65 6c 73 65 20 69 66 28 20 70 50  }.  }else if( pP
05a0: 61 67 65 2d 3e 69 57 72 69 74 65 3e 3d 70 50 61  age->iWrite>=pPa
05b0: 67 65 2d 3e 6e 53 6c 6f 74 20 29 7b 0a 20 20 20  ge->nSlot ){.   
05c0: 20 70 50 61 67 65 2d 3e 70 4e 65 78 74 20 3d 20   pPage->pNext = 
05d0: 61 6c 6c 6f 63 61 74 65 50 61 67 65 28 70 46 69  allocatePage(pFi
05e0: 66 6f 2d 3e 6e 45 6e 74 72 79 29 3b 0a 20 20 20  fo->nEntry);.   
05f0: 20 69 66 28 20 70 50 61 67 65 2d 3e 70 4e 65 78   if( pPage->pNex
0600: 74 3d 3d 30 20 29 7b 0a 20 20 20 20 20 20 72 65  t==0 ){.      re
0610: 74 75 72 6e 20 53 51 4c 49 54 45 5f 4e 4f 4d 45  turn SQLITE_NOME
0620: 4d 3b 0a 20 20 20 20 7d 0a 20 20 20 20 70 50 61  M;.    }.    pPa
0630: 67 65 20 3d 20 70 46 69 66 6f 2d 3e 70 4c 61 73  ge = pFifo->pLas
0640: 74 20 3d 20 70 50 61 67 65 2d 3e 70 4e 65 78 74  t = pPage->pNext
0650: 3b 0a 20 20 7d 0a 20 20 70 50 61 67 65 2d 3e 61  ;.  }.  pPage->a
0660: 53 6c 6f 74 5b 70 50 61 67 65 2d 3e 69 57 72 69  Slot[pPage->iWri
0670: 74 65 2b 2b 5d 20 3d 20 76 61 6c 3b 0a 20 20 70  te++] = val;.  p
0680: 46 69 66 6f 2d 3e 6e 45 6e 74 72 79 2b 2b 3b 0a  Fifo->nEntry++;.
0690: 20 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f    return SQLITE_
06a0: 4f 4b 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 45 78 74  OK;.}../*.** Ext
06b0: 72 61 63 74 20 61 20 73 69 6e 67 6c 65 20 36 34  ract a single 64
06c0: 2d 62 69 74 20 69 6e 74 65 67 65 72 20 76 61 6c  -bit integer val
06d0: 75 65 20 66 72 6f 6d 20 74 68 65 20 46 69 66 6f  ue from the Fifo
06e0: 2e 20 20 54 68 65 20 69 6e 74 65 67 65 72 0a 2a  .  The integer.*
06f0: 2a 20 65 78 74 72 61 63 74 65 64 20 69 73 20 74  * extracted is t
0700: 68 65 20 6f 6e 65 20 6c 65 61 73 74 20 72 65 63  he one least rec
0710: 65 6e 74 6c 79 20 69 6e 73 65 72 74 65 64 2e 20  ently inserted. 
0720: 20 49 66 20 74 68 65 20 46 69 66 6f 20 69 73 20   If the Fifo is 
0730: 65 6d 70 74 79 0a 2a 2a 20 72 65 74 75 72 6e 20  empty.** return 
0740: 53 51 4c 49 54 45 5f 44 4f 4e 45 2e 0a 2a 2f 0a  SQLITE_DONE..*/.
0750: 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 46  int sqlite3VdbeF
0760: 69 66 6f 50 6f 70 28 46 69 66 6f 20 2a 70 46 69  ifoPop(Fifo *pFi
0770: 66 6f 2c 20 69 36 34 20 2a 70 56 61 6c 29 7b 0a  fo, i64 *pVal){.
0780: 20 20 46 69 66 6f 50 61 67 65 20 2a 70 50 61 67    FifoPage *pPag
0790: 65 3b 0a 20 20 69 66 28 20 70 46 69 66 6f 2d 3e  e;.  if( pFifo->
07a0: 6e 45 6e 74 72 79 3d 3d 30 20 29 7b 0a 20 20 20  nEntry==0 ){.   
07b0: 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 44   return SQLITE_D
07c0: 4f 4e 45 3b 0a 20 20 7d 0a 20 20 61 73 73 65 72  ONE;.  }.  asser
07d0: 74 28 20 70 46 69 66 6f 2d 3e 6e 45 6e 74 72 79  t( pFifo->nEntry
07e0: 3e 30 20 29 3b 0a 20 20 70 50 61 67 65 20 3d 20  >0 );.  pPage = 
07f0: 70 46 69 66 6f 2d 3e 70 46 69 72 73 74 3b 0a 20  pFifo->pFirst;. 
0800: 20 61 73 73 65 72 74 28 20 70 50 61 67 65 21 3d   assert( pPage!=
0810: 30 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70  0 );.  assert( p
0820: 50 61 67 65 2d 3e 69 57 72 69 74 65 3e 70 50 61  Page->iWrite>pPa
0830: 67 65 2d 3e 69 52 65 61 64 20 29 3b 0a 20 20 61  ge->iRead );.  a
0840: 73 73 65 72 74 28 20 70 50 61 67 65 2d 3e 69 52  ssert( pPage->iR
0850: 65 61 64 3c 70 50 61 67 65 2d 3e 6e 53 6c 6f 74  ead<pPage->nSlot
0860: 20 29 3b 0a 20 20 2a 70 56 61 6c 20 3d 20 70 50   );.  *pVal = pP
0870: 61 67 65 2d 3e 61 53 6c 6f 74 5b 70 50 61 67 65  age->aSlot[pPage
0880: 2d 3e 69 52 65 61 64 2b 2b 5d 3b 0a 20 20 70 46  ->iRead++];.  pF
0890: 69 66 6f 2d 3e 6e 45 6e 74 72 79 2d 2d 3b 0a 20  ifo->nEntry--;. 
08a0: 20 69 66 28 20 70 50 61 67 65 2d 3e 69 52 65 61   if( pPage->iRea
08b0: 64 3e 3d 70 50 61 67 65 2d 3e 69 57 72 69 74 65  d>=pPage->iWrite
08c0: 20 29 7b 0a 20 20 20 20 70 46 69 66 6f 2d 3e 70   ){.    pFifo->p
08d0: 46 69 72 73 74 20 3d 20 70 50 61 67 65 2d 3e 70  First = pPage->p
08e0: 4e 65 78 74 3b 0a 20 20 20 20 73 71 6c 69 74 65  Next;.    sqlite
08f0: 46 72 65 65 28 70 50 61 67 65 29 3b 0a 20 20 20  Free(pPage);.   
0900: 20 69 66 28 20 70 46 69 66 6f 2d 3e 6e 45 6e 74   if( pFifo->nEnt
0910: 72 79 3d 3d 30 20 29 7b 0a 20 20 20 20 20 20 61  ry==0 ){.      a
0920: 73 73 65 72 74 28 20 70 46 69 66 6f 2d 3e 70 4c  ssert( pFifo->pL
0930: 61 73 74 3d 3d 70 50 61 67 65 20 29 3b 0a 20 20  ast==pPage );.  
0940: 20 20 20 20 70 46 69 66 6f 2d 3e 70 4c 61 73 74      pFifo->pLast
0950: 20 3d 20 30 3b 0a 20 20 20 20 7d 65 6c 73 65 7b   = 0;.    }else{
0960: 0a 20 20 20 20 20 20 61 73 73 65 72 74 28 20 70  .      assert( p
0970: 46 69 66 6f 2d 3e 70 46 69 72 73 74 21 3d 30 20  Fifo->pFirst!=0 
0980: 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 65 6c 73 65  );.    }.  }else
0990: 7b 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 46  {.    assert( pF
09a0: 69 66 6f 2d 3e 6e 45 6e 74 72 79 3e 30 20 29 3b  ifo->nEntry>0 );
09b0: 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 53 51  .  }.  return SQ
09c0: 4c 49 54 45 5f 4f 4b 3b 0a 7d 0a 0a 2f 2a 0a 2a  LITE_OK;.}../*.*
09d0: 2a 20 44 65 6c 65 74 65 20 61 6c 6c 20 69 6e 66  * Delete all inf
09e0: 6f 72 6d 61 74 69 6f 6e 20 66 72 6f 6d 20 61 20  ormation from a 
09f0: 46 69 66 6f 20 6f 62 6a 65 63 74 2e 20 20 20 46  Fifo object.   F
0a00: 72 65 65 20 61 6c 6c 20 6d 65 6d 6f 72 79 20 68  ree all memory h
0a10: 65 6c 64 0a 2a 2a 20 62 79 20 74 68 65 20 46 69  eld.** by the Fi
0a20: 66 6f 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69  fo..*/.void sqli
0a30: 74 65 33 56 64 62 65 46 69 66 6f 43 6c 65 61 72  te3VdbeFifoClear
0a40: 28 46 69 66 6f 20 2a 70 46 69 66 6f 29 7b 0a 20  (Fifo *pFifo){. 
0a50: 20 46 69 66 6f 50 61 67 65 20 2a 70 50 61 67 65   FifoPage *pPage
0a60: 2c 20 2a 70 4e 65 78 74 50 61 67 65 3b 0a 20 20  , *pNextPage;.  
0a70: 66 6f 72 28 70 50 61 67 65 3d 70 46 69 66 6f 2d  for(pPage=pFifo-
0a80: 3e 70 46 69 72 73 74 3b 20 70 50 61 67 65 3b 20  >pFirst; pPage; 
0a90: 70 50 61 67 65 3d 70 4e 65 78 74 50 61 67 65 29  pPage=pNextPage)
0aa0: 7b 0a 20 20 20 20 70 4e 65 78 74 50 61 67 65 20  {.    pNextPage 
0ab0: 3d 20 70 50 61 67 65 2d 3e 70 4e 65 78 74 3b 0a  = pPage->pNext;.
0ac0: 20 20 20 20 73 71 6c 69 74 65 46 72 65 65 28 70      sqliteFree(p
0ad0: 50 61 67 65 29 3b 0a 20 20 7d 0a 20 20 73 71 6c  Page);.  }.  sql
0ae0: 69 74 65 33 56 64 62 65 46 69 66 6f 49 6e 69 74  ite3VdbeFifoInit
0af0: 28 70 46 69 66 6f 29 3b 0a 7d 0a                 (pFifo);.}.