/ Hex Artifact Content
Login

Artifact 9efb94c8c3f4c979ebd0028219483f88e57584f5:


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 69 66 28 20 6e 45 6e  pPage;.  if( nEn
02e0: 74 72 79 3e 33 32 37 36 37 20 29 7b 0a 20 20 20  try>32767 ){.   
02f0: 20 6e 45 6e 74 72 79 20 3d 20 33 32 37 36 37 3b   nEntry = 32767;
0300: 0a 20 20 7d 0a 20 20 70 50 61 67 65 20 3d 20 73  .  }.  pPage = s
0310: 71 6c 69 74 65 4d 61 6c 6c 6f 63 52 61 77 28 20  qliteMallocRaw( 
0320: 73 69 7a 65 6f 66 28 46 69 66 6f 50 61 67 65 29  sizeof(FifoPage)
0330: 20 2b 20 73 69 7a 65 6f 66 28 69 36 34 29 2a 28   + sizeof(i64)*(
0340: 6e 45 6e 74 72 79 2d 31 29 20 29 3b 0a 20 20 69  nEntry-1) );.  i
0350: 66 28 20 70 50 61 67 65 20 29 7b 0a 20 20 20 20  f( pPage ){.    
0360: 70 50 61 67 65 2d 3e 6e 53 6c 6f 74 20 3d 20 6e  pPage->nSlot = n
0370: 45 6e 74 72 79 3b 0a 20 20 20 20 70 50 61 67 65  Entry;.    pPage
0380: 2d 3e 69 57 72 69 74 65 20 3d 20 30 3b 0a 20 20  ->iWrite = 0;.  
0390: 20 20 70 50 61 67 65 2d 3e 69 52 65 61 64 20 3d    pPage->iRead =
03a0: 20 30 3b 0a 20 20 20 20 70 50 61 67 65 2d 3e 70   0;.    pPage->p
03b0: 4e 65 78 74 20 3d 20 30 3b 0a 20 20 7d 0a 20 20  Next = 0;.  }.  
03c0: 72 65 74 75 72 6e 20 70 50 61 67 65 3b 0a 7d 0a  return pPage;.}.
03d0: 0a 2f 2a 0a 2a 2a 20 49 6e 69 74 69 61 6c 69 7a  ./*.** Initializ
03e0: 65 20 61 20 46 69 66 6f 20 73 74 72 75 63 74 75  e a Fifo structu
03f0: 72 65 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69  re..*/.void sqli
0400: 74 65 33 56 64 62 65 46 69 66 6f 49 6e 69 74 28  te3VdbeFifoInit(
0410: 46 69 66 6f 20 2a 70 46 69 66 6f 29 7b 0a 20 20  Fifo *pFifo){.  
0420: 6d 65 6d 73 65 74 28 70 46 69 66 6f 2c 20 30 2c  memset(pFifo, 0,
0430: 20 73 69 7a 65 6f 66 28 2a 70 46 69 66 6f 29 29   sizeof(*pFifo))
0440: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 50 75 73 68 20  ;.}../*.** Push 
0450: 61 20 73 69 6e 67 6c 65 20 36 34 2d 62 69 74 20  a single 64-bit 
0460: 69 6e 74 65 67 65 72 20 76 61 6c 75 65 20 69 6e  integer value in
0470: 74 6f 20 74 68 65 20 46 69 66 6f 2e 20 20 52 65  to the Fifo.  Re
0480: 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b 0a 2a  turn SQLITE_OK.*
0490: 2a 20 6e 6f 72 6d 61 6c 6c 79 2e 20 20 20 53 51  * normally.   SQ
04a0: 4c 49 54 45 5f 4e 4f 4d 45 4d 20 69 73 20 72 65  LITE_NOMEM is re
04b0: 74 75 72 6e 65 64 20 69 66 20 77 65 20 61 72 65  turned if we are
04c0: 20 75 6e 61 62 6c 65 20 74 6f 20 61 6c 6c 6f 63   unable to alloc
04d0: 61 74 65 0a 2a 2a 20 6d 65 6d 6f 72 79 2e 0a 2a  ate.** memory..*
04e0: 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62  /.int sqlite3Vdb
04f0: 65 46 69 66 6f 50 75 73 68 28 46 69 66 6f 20 2a  eFifoPush(Fifo *
0500: 70 46 69 66 6f 2c 20 69 36 34 20 76 61 6c 29 7b  pFifo, i64 val){
0510: 0a 20 20 46 69 66 6f 50 61 67 65 20 2a 70 50 61  .  FifoPage *pPa
0520: 67 65 3b 0a 20 20 70 50 61 67 65 20 3d 20 70 46  ge;.  pPage = pF
0530: 69 66 6f 2d 3e 70 4c 61 73 74 3b 0a 20 20 69 66  ifo->pLast;.  if
0540: 28 20 70 50 61 67 65 3d 3d 30 20 29 7b 0a 20 20  ( pPage==0 ){.  
0550: 20 20 70 50 61 67 65 20 3d 20 70 46 69 66 6f 2d    pPage = pFifo-
0560: 3e 70 4c 61 73 74 20 3d 20 70 46 69 66 6f 2d 3e  >pLast = pFifo->
0570: 70 46 69 72 73 74 20 3d 20 61 6c 6c 6f 63 61 74  pFirst = allocat
0580: 65 50 61 67 65 28 32 30 29 3b 0a 20 20 20 20 69  ePage(20);.    i
0590: 66 28 20 70 50 61 67 65 3d 3d 30 20 29 7b 0a 20  f( pPage==0 ){. 
05a0: 20 20 20 20 20 72 65 74 75 72 6e 20 53 51 4c 49       return SQLI
05b0: 54 45 5f 4e 4f 4d 45 4d 3b 0a 20 20 20 20 7d 0a  TE_NOMEM;.    }.
05c0: 20 20 7d 65 6c 73 65 20 69 66 28 20 70 50 61 67    }else if( pPag
05d0: 65 2d 3e 69 57 72 69 74 65 3e 3d 70 50 61 67 65  e->iWrite>=pPage
05e0: 2d 3e 6e 53 6c 6f 74 20 29 7b 0a 20 20 20 20 70  ->nSlot ){.    p
05f0: 50 61 67 65 2d 3e 70 4e 65 78 74 20 3d 20 61 6c  Page->pNext = al
0600: 6c 6f 63 61 74 65 50 61 67 65 28 70 46 69 66 6f  locatePage(pFifo
0610: 2d 3e 6e 45 6e 74 72 79 29 3b 0a 20 20 20 20 69  ->nEntry);.    i
0620: 66 28 20 70 50 61 67 65 2d 3e 70 4e 65 78 74 3d  f( pPage->pNext=
0630: 3d 30 20 29 7b 0a 20 20 20 20 20 20 72 65 74 75  =0 ){.      retu
0640: 72 6e 20 53 51 4c 49 54 45 5f 4e 4f 4d 45 4d 3b  rn SQLITE_NOMEM;
0650: 0a 20 20 20 20 7d 0a 20 20 20 20 70 50 61 67 65  .    }.    pPage
0660: 20 3d 20 70 46 69 66 6f 2d 3e 70 4c 61 73 74 20   = pFifo->pLast 
0670: 3d 20 70 50 61 67 65 2d 3e 70 4e 65 78 74 3b 0a  = pPage->pNext;.
0680: 20 20 7d 0a 20 20 70 50 61 67 65 2d 3e 61 53 6c    }.  pPage->aSl
0690: 6f 74 5b 70 50 61 67 65 2d 3e 69 57 72 69 74 65  ot[pPage->iWrite
06a0: 2b 2b 5d 20 3d 20 76 61 6c 3b 0a 20 20 70 46 69  ++] = val;.  pFi
06b0: 66 6f 2d 3e 6e 45 6e 74 72 79 2b 2b 3b 0a 20 20  fo->nEntry++;.  
06c0: 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 4f 4b  return SQLITE_OK
06d0: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 45 78 74 72 61  ;.}../*.** Extra
06e0: 63 74 20 61 20 73 69 6e 67 6c 65 20 36 34 2d 62  ct a single 64-b
06f0: 69 74 20 69 6e 74 65 67 65 72 20 76 61 6c 75 65  it integer value
0700: 20 66 72 6f 6d 20 74 68 65 20 46 69 66 6f 2e 20   from the Fifo. 
0710: 20 54 68 65 20 69 6e 74 65 67 65 72 0a 2a 2a 20   The integer.** 
0720: 65 78 74 72 61 63 74 65 64 20 69 73 20 74 68 65  extracted is the
0730: 20 6f 6e 65 20 6c 65 61 73 74 20 72 65 63 65 6e   one least recen
0740: 74 6c 79 20 69 6e 73 65 72 74 65 64 2e 20 20 49  tly inserted.  I
0750: 66 20 74 68 65 20 46 69 66 6f 20 69 73 20 65 6d  f the Fifo is em
0760: 70 74 79 0a 2a 2a 20 72 65 74 75 72 6e 20 53 51  pty.** return SQ
0770: 4c 49 54 45 5f 44 4f 4e 45 2e 0a 2a 2f 0a 69 6e  LITE_DONE..*/.in
0780: 74 20 73 71 6c 69 74 65 33 56 64 62 65 46 69 66  t sqlite3VdbeFif
0790: 6f 50 6f 70 28 46 69 66 6f 20 2a 70 46 69 66 6f  oPop(Fifo *pFifo
07a0: 2c 20 69 36 34 20 2a 70 56 61 6c 29 7b 0a 20 20  , i64 *pVal){.  
07b0: 46 69 66 6f 50 61 67 65 20 2a 70 50 61 67 65 3b  FifoPage *pPage;
07c0: 0a 20 20 69 66 28 20 70 46 69 66 6f 2d 3e 6e 45  .  if( pFifo->nE
07d0: 6e 74 72 79 3d 3d 30 20 29 7b 0a 20 20 20 20 72  ntry==0 ){.    r
07e0: 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 44 4f 4e  eturn SQLITE_DON
07f0: 45 3b 0a 20 20 7d 0a 20 20 61 73 73 65 72 74 28  E;.  }.  assert(
0800: 20 70 46 69 66 6f 2d 3e 6e 45 6e 74 72 79 3e 30   pFifo->nEntry>0
0810: 20 29 3b 0a 20 20 70 50 61 67 65 20 3d 20 70 46   );.  pPage = pF
0820: 69 66 6f 2d 3e 70 46 69 72 73 74 3b 0a 20 20 61  ifo->pFirst;.  a
0830: 73 73 65 72 74 28 20 70 50 61 67 65 21 3d 30 20  ssert( pPage!=0 
0840: 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 50 61  );.  assert( pPa
0850: 67 65 2d 3e 69 57 72 69 74 65 3e 70 50 61 67 65  ge->iWrite>pPage
0860: 2d 3e 69 52 65 61 64 20 29 3b 0a 20 20 61 73 73  ->iRead );.  ass
0870: 65 72 74 28 20 70 50 61 67 65 2d 3e 69 57 72 69  ert( pPage->iWri
0880: 74 65 3c 3d 70 50 61 67 65 2d 3e 6e 53 6c 6f 74  te<=pPage->nSlot
0890: 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70 50   );.  assert( pP
08a0: 61 67 65 2d 3e 69 52 65 61 64 3c 70 50 61 67 65  age->iRead<pPage
08b0: 2d 3e 6e 53 6c 6f 74 20 29 3b 0a 20 20 61 73 73  ->nSlot );.  ass
08c0: 65 72 74 28 20 70 50 61 67 65 2d 3e 69 52 65 61  ert( pPage->iRea
08d0: 64 3e 3d 30 20 29 3b 0a 20 20 2a 70 56 61 6c 20  d>=0 );.  *pVal 
08e0: 3d 20 70 50 61 67 65 2d 3e 61 53 6c 6f 74 5b 70  = pPage->aSlot[p
08f0: 50 61 67 65 2d 3e 69 52 65 61 64 2b 2b 5d 3b 0a  Page->iRead++];.
0900: 20 20 70 46 69 66 6f 2d 3e 6e 45 6e 74 72 79 2d    pFifo->nEntry-
0910: 2d 3b 0a 20 20 69 66 28 20 70 50 61 67 65 2d 3e  -;.  if( pPage->
0920: 69 52 65 61 64 3e 3d 70 50 61 67 65 2d 3e 69 57  iRead>=pPage->iW
0930: 72 69 74 65 20 29 7b 0a 20 20 20 20 70 46 69 66  rite ){.    pFif
0940: 6f 2d 3e 70 46 69 72 73 74 20 3d 20 70 50 61 67  o->pFirst = pPag
0950: 65 2d 3e 70 4e 65 78 74 3b 0a 20 20 20 20 73 71  e->pNext;.    sq
0960: 6c 69 74 65 46 72 65 65 28 70 50 61 67 65 29 3b  liteFree(pPage);
0970: 0a 20 20 20 20 69 66 28 20 70 46 69 66 6f 2d 3e  .    if( pFifo->
0980: 6e 45 6e 74 72 79 3d 3d 30 20 29 7b 0a 20 20 20  nEntry==0 ){.   
0990: 20 20 20 61 73 73 65 72 74 28 20 70 46 69 66 6f     assert( pFifo
09a0: 2d 3e 70 4c 61 73 74 3d 3d 70 50 61 67 65 20 29  ->pLast==pPage )
09b0: 3b 0a 20 20 20 20 20 20 70 46 69 66 6f 2d 3e 70  ;.      pFifo->p
09c0: 4c 61 73 74 20 3d 20 30 3b 0a 20 20 20 20 7d 65  Last = 0;.    }e
09d0: 6c 73 65 7b 0a 20 20 20 20 20 20 61 73 73 65 72  lse{.      asser
09e0: 74 28 20 70 46 69 66 6f 2d 3e 70 46 69 72 73 74  t( pFifo->pFirst
09f0: 21 3d 30 20 29 3b 0a 20 20 20 20 7d 0a 20 20 7d  !=0 );.    }.  }
0a00: 65 6c 73 65 7b 0a 20 20 20 20 61 73 73 65 72 74  else{.    assert
0a10: 28 20 70 46 69 66 6f 2d 3e 6e 45 6e 74 72 79 3e  ( pFifo->nEntry>
0a20: 30 20 29 3b 0a 20 20 7d 0a 20 20 72 65 74 75 72  0 );.  }.  retur
0a30: 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 7d 0a 0a  n SQLITE_OK;.}..
0a40: 2f 2a 0a 2a 2a 20 44 65 6c 65 74 65 20 61 6c 6c  /*.** Delete all
0a50: 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 66 72 6f   information fro
0a60: 6d 20 61 20 46 69 66 6f 20 6f 62 6a 65 63 74 2e  m a Fifo object.
0a70: 20 20 20 46 72 65 65 20 61 6c 6c 20 6d 65 6d 6f     Free all memo
0a80: 72 79 20 68 65 6c 64 0a 2a 2a 20 62 79 20 74 68  ry held.** by th
0a90: 65 20 46 69 66 6f 2e 0a 2a 2f 0a 76 6f 69 64 20  e Fifo..*/.void 
0aa0: 73 71 6c 69 74 65 33 56 64 62 65 46 69 66 6f 43  sqlite3VdbeFifoC
0ab0: 6c 65 61 72 28 46 69 66 6f 20 2a 70 46 69 66 6f  lear(Fifo *pFifo
0ac0: 29 7b 0a 20 20 46 69 66 6f 50 61 67 65 20 2a 70  ){.  FifoPage *p
0ad0: 50 61 67 65 2c 20 2a 70 4e 65 78 74 50 61 67 65  Page, *pNextPage
0ae0: 3b 0a 20 20 66 6f 72 28 70 50 61 67 65 3d 70 46  ;.  for(pPage=pF
0af0: 69 66 6f 2d 3e 70 46 69 72 73 74 3b 20 70 50 61  ifo->pFirst; pPa
0b00: 67 65 3b 20 70 50 61 67 65 3d 70 4e 65 78 74 50  ge; pPage=pNextP
0b10: 61 67 65 29 7b 0a 20 20 20 20 70 4e 65 78 74 50  age){.    pNextP
0b20: 61 67 65 20 3d 20 70 50 61 67 65 2d 3e 70 4e 65  age = pPage->pNe
0b30: 78 74 3b 0a 20 20 20 20 73 71 6c 69 74 65 46 72  xt;.    sqliteFr
0b40: 65 65 28 70 50 61 67 65 29 3b 0a 20 20 7d 0a 20  ee(pPage);.  }. 
0b50: 20 73 71 6c 69 74 65 33 56 64 62 65 46 69 66 6f   sqlite3VdbeFifo
0b60: 49 6e 69 74 28 70 46 69 66 6f 29 3b 0a 7d 0a     Init(pFifo);.}.