0000: 2f 2a 0a 2a 2a 20 32 30 30 37 20 4f 63 74 6f 62 /*.** 2007 Octob
0010: 65 72 20 31 34 0a 2a 2a 0a 2a 2a 20 54 68 65 20 er 14.**.** The
0020: 61 75 74 68 6f 72 20 64 69 73 63 6c 61 69 6d 73 author disclaims
0030: 20 63 6f 70 79 72 69 67 68 74 20 74 6f 20 74 68 copyright to th
0040: 69 73 20 73 6f 75 72 63 65 20 63 6f 64 65 2e 20 is source code.
0050: 20 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20 In place of.**
0060: 61 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20 a legal notice,
0070: 68 65 72 65 20 69 73 20 61 20 62 6c 65 73 73 69 here is a blessi
0080: 6e 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79 ng:.**.** May
0090: 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64 you do good and
00a0: 20 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20 not evil..**
00b0: 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 6f May you find fo
00c0: 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 6f rgiveness for yo
00d0: 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 69 urself and forgi
00e0: 76 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20 ve others..**
00f0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66 May you share f
0100: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b reely, never tak
0110: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f ing more than yo
0120: 75 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a u give..**.*****
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 2a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 69 6c ****.** This fil
0180: 65 20 63 6f 6e 74 61 69 6e 73 20 74 68 65 20 43 e contains the C
0190: 20 66 75 6e 63 74 69 6f 6e 73 20 74 68 61 74 20 functions that
01a0: 69 6d 70 6c 65 6d 65 6e 74 20 61 20 6d 65 6d 6f implement a memo
01b0: 72 79 0a 2a 2a 20 61 6c 6c 6f 63 61 74 69 6f 6e ry.** allocation
01c0: 20 73 75 62 73 79 73 74 65 6d 20 66 6f 72 20 75 subsystem for u
01d0: 73 65 20 62 79 20 53 51 4c 69 74 65 2e 20 0a 2a se by SQLite. .*
01e0: 2a 0a 2a 2a 20 54 68 69 73 20 76 65 72 73 69 6f *.** This versio
01f0: 6e 20 6f 66 20 74 68 65 20 6d 65 6d 6f 72 79 20 n of the memory
0200: 61 6c 6c 6f 63 61 74 69 6f 6e 20 73 75 62 73 79 allocation subsy
0210: 73 74 65 6d 20 6f 6d 69 74 73 20 61 6c 6c 0a 2a stem omits all.*
0220: 2a 20 75 73 65 20 6f 66 20 6d 61 6c 6c 6f 63 28 * use of malloc(
0230: 29 2e 20 54 68 65 20 53 51 4c 69 74 65 20 75 73 ). The SQLite us
0240: 65 72 20 73 75 70 70 6c 69 65 73 20 61 20 62 6c er supplies a bl
0250: 6f 63 6b 20 6f 66 20 6d 65 6d 6f 72 79 0a 2a 2a ock of memory.**
0260: 20 62 65 66 6f 72 65 20 63 61 6c 6c 69 6e 67 20 before calling
0270: 73 71 6c 69 74 65 33 5f 69 6e 69 74 69 61 6c 69 sqlite3_initiali
0280: 7a 65 28 29 20 66 72 6f 6d 20 77 68 69 63 68 20 ze() from which
0290: 61 6c 6c 6f 63 61 74 69 6f 6e 73 0a 2a 2a 20 61 allocations.** a
02a0: 72 65 20 6d 61 64 65 20 61 6e 64 20 72 65 74 75 re made and retu
02b0: 72 6e 65 64 20 62 79 20 74 68 65 20 78 4d 61 6c rned by the xMal
02c0: 6c 6f 63 28 29 20 61 6e 64 20 78 52 65 61 6c 6c loc() and xReall
02d0: 6f 63 28 29 20 0a 2a 2a 20 69 6d 70 6c 65 6d 65 oc() .** impleme
02e0: 6e 74 61 74 69 6f 6e 73 2e 20 4f 6e 63 65 20 73 ntations. Once s
02f0: 71 6c 69 74 65 33 5f 69 6e 69 74 69 61 6c 69 7a qlite3_initializ
0300: 65 28 29 20 68 61 73 20 62 65 65 6e 20 63 61 6c e() has been cal
0310: 6c 65 64 2c 0a 2a 2a 20 74 68 65 20 61 6d 6f 75 led,.** the amou
0320: 6e 74 20 6f 66 20 6d 65 6d 6f 72 79 20 61 76 61 nt of memory ava
0330: 69 6c 61 62 6c 65 20 74 6f 20 53 51 4c 69 74 65 ilable to SQLite
0340: 20 69 73 20 66 69 78 65 64 20 61 6e 64 20 63 61 is fixed and ca
0350: 6e 6e 6f 74 0a 2a 2a 20 62 65 20 63 68 61 6e 67 nnot.** be chang
0360: 65 64 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 76 ed..**.** This v
0370: 65 72 73 69 6f 6e 20 6f 66 20 74 68 65 20 6d 65 ersion of the me
0380: 6d 6f 72 79 20 61 6c 6c 6f 63 61 74 69 6f 6e 20 mory allocation
0390: 73 75 62 73 79 73 74 65 6d 20 69 73 20 69 6e 63 subsystem is inc
03a0: 6c 75 64 65 64 0a 2a 2a 20 69 6e 20 74 68 65 20 luded.** in the
03b0: 62 75 69 6c 64 20 6f 6e 6c 79 20 69 66 20 53 51 build only if SQ
03c0: 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 4d 45 4d 53 LITE_ENABLE_MEMS
03d0: 59 53 33 20 69 73 20 64 65 66 69 6e 65 64 2e 0a YS3 is defined..
03e0: 2a 2a 0a 2a 2a 20 24 49 64 3a 20 6d 65 6d 33 2e **.** $Id: mem3.
03f0: 63 2c 76 20 31 2e 32 32 20 32 30 30 38 2f 30 39 c,v 1.22 2008/09
0400: 2f 30 32 20 31 30 3a 32 32 3a 30 31 20 64 61 6e /02 10:22:01 dan
0410: 69 65 6c 6b 31 39 37 37 20 45 78 70 20 24 0a 2a ielk1977 Exp $.*
0420: 2f 0a 23 69 6e 63 6c 75 64 65 20 22 73 71 6c 69 /.#include "sqli
0430: 74 65 49 6e 74 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 teInt.h"../*.**
0440: 54 68 69 73 20 76 65 72 73 69 6f 6e 20 6f 66 20 This version of
0450: 74 68 65 20 6d 65 6d 6f 72 79 20 61 6c 6c 6f 63 the memory alloc
0460: 61 74 6f 72 20 69 73 20 6f 6e 6c 79 20 62 75 69 ator is only bui
0470: 6c 74 20 69 6e 74 6f 20 74 68 65 20 6c 69 62 72 lt into the libr
0480: 61 72 79 0a 2a 2a 20 53 51 4c 49 54 45 5f 45 4e ary.** SQLITE_EN
0490: 41 42 4c 45 5f 4d 45 4d 53 59 53 33 20 69 73 20 ABLE_MEMSYS3 is
04a0: 64 65 66 69 6e 65 64 2e 20 44 65 66 69 6e 69 6e defined. Definin
04b0: 67 20 74 68 69 73 20 73 79 6d 62 6f 6c 20 64 6f g this symbol do
04c0: 65 73 20 6e 6f 74 0a 2a 2a 20 6d 65 61 6e 20 74 es not.** mean t
04d0: 68 61 74 20 74 68 65 20 6c 69 62 72 61 72 79 20 hat the library
04e0: 77 69 6c 6c 20 75 73 65 20 61 20 6d 65 6d 6f 72 will use a memor
04f0: 79 2d 70 6f 6f 6c 20 62 79 20 64 65 66 61 75 6c y-pool by defaul
0500: 74 2c 20 6a 75 73 74 20 74 68 61 74 0a 2a 2a 20 t, just that.**
0510: 69 74 20 69 73 20 61 76 61 69 6c 61 62 6c 65 2e it is available.
0520: 20 54 68 65 20 6d 65 6d 70 6f 6f 6c 20 61 6c 6c The mempool all
0530: 6f 63 61 74 6f 72 20 69 73 20 61 63 74 69 76 61 ocator is activa
0540: 74 65 64 20 62 79 20 63 61 6c 6c 69 6e 67 0a 2a ted by calling.*
0550: 2a 20 73 71 6c 69 74 65 33 5f 63 6f 6e 66 69 67 * sqlite3_config
0560: 28 29 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53 51 ()..*/.#ifdef SQ
0570: 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 4d 45 4d 53 LITE_ENABLE_MEMS
0580: 59 53 33 0a 0a 2f 2a 0a 2a 2a 20 4d 61 78 69 6d YS3../*.** Maxim
0590: 75 6d 20 73 69 7a 65 20 28 69 6e 20 4d 65 6d 33 um size (in Mem3
05a0: 42 6c 6f 63 6b 73 29 20 6f 66 20 61 20 22 73 6d Blocks) of a "sm
05b0: 61 6c 6c 22 20 63 68 75 6e 6b 2e 0a 2a 2f 0a 23 all" chunk..*/.#
05c0: 64 65 66 69 6e 65 20 4d 58 5f 53 4d 41 4c 4c 20 define MX_SMALL
05d0: 31 30 0a 0a 0a 2f 2a 0a 2a 2a 20 4e 75 6d 62 65 10.../*.** Numbe
05e0: 72 20 6f 66 20 66 72 65 65 6c 69 73 74 20 68 61 r of freelist ha
05f0: 73 68 20 73 6c 6f 74 73 0a 2a 2f 0a 23 64 65 66 sh slots.*/.#def
0600: 69 6e 65 20 4e 5f 48 41 53 48 20 20 36 31 0a 0a ine N_HASH 61..
0610: 2f 2a 0a 2a 2a 20 41 20 6d 65 6d 6f 72 79 20 61 /*.** A memory a
0620: 6c 6c 6f 63 61 74 69 6f 6e 20 28 61 6c 73 6f 20 llocation (also
0630: 63 61 6c 6c 65 64 20 61 20 22 63 68 75 6e 6b 22 called a "chunk"
0640: 29 20 63 6f 6e 73 69 73 74 73 20 6f 66 20 74 77 ) consists of tw
0650: 6f 20 6f 72 20 0a 2a 2a 20 6d 6f 72 65 20 62 6c o or .** more bl
0660: 6f 63 6b 73 20 77 68 65 72 65 20 65 61 63 68 20 ocks where each
0670: 62 6c 6f 63 6b 20 69 73 20 38 20 62 79 74 65 73 block is 8 bytes
0680: 2e 20 20 54 68 65 20 66 69 72 73 74 20 38 20 62 . The first 8 b
0690: 79 74 65 73 20 61 72 65 20 0a 2a 2a 20 61 20 68 ytes are .** a h
06a0: 65 61 64 65 72 20 74 68 61 74 20 69 73 20 6e 6f eader that is no
06b0: 74 20 72 65 74 75 72 6e 65 64 20 74 6f 20 74 68 t returned to th
06c0: 65 20 75 73 65 72 2e 0a 2a 2a 0a 2a 2a 20 41 20 e user..**.** A
06d0: 63 68 75 6e 6b 20 69 73 20 74 77 6f 20 6f 72 20 chunk is two or
06e0: 6d 6f 72 65 20 62 6c 6f 63 6b 73 20 74 68 61 74 more blocks that
06f0: 20 69 73 20 65 69 74 68 65 72 20 63 68 65 63 6b is either check
0700: 65 64 20 6f 75 74 20 6f 72 0a 2a 2a 20 66 72 65 ed out or.** fre
0710: 65 2e 20 20 54 68 65 20 66 69 72 73 74 20 62 6c e. The first bl
0720: 6f 63 6b 20 68 61 73 20 66 6f 72 6d 61 74 20 75 ock has format u
0730: 2e 68 64 72 2e 20 20 75 2e 68 64 72 2e 73 69 7a .hdr. u.hdr.siz
0740: 65 34 78 20 69 73 20 34 20 74 69 6d 65 73 20 74 e4x is 4 times t
0750: 68 65 0a 2a 2a 20 73 69 7a 65 20 6f 66 20 74 68 he.** size of th
0760: 65 20 61 6c 6c 6f 63 61 74 69 6f 6e 20 69 6e 20 e allocation in
0770: 62 6c 6f 63 6b 73 20 69 66 20 74 68 65 20 61 6c blocks if the al
0780: 6c 6f 63 61 74 69 6f 6e 20 69 73 20 66 72 65 65 location is free
0790: 2e 0a 2a 2a 20 54 68 65 20 75 2e 68 64 72 2e 73 ..** The u.hdr.s
07a0: 69 7a 65 34 78 26 31 20 62 69 74 20 69 73 20 74 ize4x&1 bit is t
07b0: 72 75 65 20 69 66 20 74 68 65 20 63 68 75 6e 6b rue if the chunk
07c0: 20 69 73 20 63 68 65 63 6b 65 64 20 6f 75 74 20 is checked out
07d0: 61 6e 64 0a 2a 2a 20 66 61 6c 73 65 20 69 66 20 and.** false if
07e0: 74 68 65 20 63 68 75 6e 6b 20 69 73 20 6f 6e 20 the chunk is on
07f0: 74 68 65 20 66 72 65 65 6c 69 73 74 2e 20 20 54 the freelist. T
0800: 68 65 20 75 2e 68 64 72 2e 73 69 7a 65 34 78 26 he u.hdr.size4x&
0810: 32 20 62 69 74 0a 2a 2a 20 69 73 20 74 72 75 65 2 bit.** is true
0820: 20 69 66 20 74 68 65 20 70 72 65 76 69 6f 75 73 if the previous
0830: 20 63 68 75 6e 6b 20 69 73 20 63 68 65 63 6b 65 chunk is checke
0840: 64 20 6f 75 74 20 61 6e 64 20 66 61 6c 73 65 20 d out and false
0850: 69 66 20 74 68 65 0a 2a 2a 20 70 72 65 76 69 6f if the.** previo
0860: 75 73 20 63 68 75 6e 6b 20 69 73 20 66 72 65 65 us chunk is free
0870: 2e 20 20 54 68 65 20 75 2e 68 64 72 2e 70 72 65 . The u.hdr.pre
0880: 76 53 69 7a 65 20 66 69 65 6c 64 20 69 73 20 74 vSize field is t
0890: 68 65 20 73 69 7a 65 20 6f 66 0a 2a 2a 20 74 68 he size of.** th
08a0: 65 20 70 72 65 76 69 6f 75 73 20 63 68 75 6e 6b e previous chunk
08b0: 20 69 6e 20 62 6c 6f 63 6b 73 20 69 66 20 74 68 in blocks if th
08c0: 65 20 70 72 65 76 69 6f 75 73 20 63 68 75 6e 6b e previous chunk
08d0: 20 69 73 20 6f 6e 20 74 68 65 0a 2a 2a 20 66 72 is on the.** fr
08e0: 65 65 6c 69 73 74 2e 20 49 66 20 74 68 65 20 70 eelist. If the p
08f0: 72 65 76 69 6f 75 73 20 63 68 75 6e 6b 20 69 73 revious chunk is
0900: 20 63 68 65 63 6b 65 64 20 6f 75 74 2c 20 74 68 checked out, th
0910: 65 6e 0a 2a 2a 20 75 2e 68 64 72 2e 70 72 65 76 en.** u.hdr.prev
0920: 53 69 7a 65 20 63 61 6e 20 62 65 20 70 61 72 74 Size can be part
0930: 20 6f 66 20 74 68 65 20 64 61 74 61 20 66 6f 72 of the data for
0940: 20 74 68 61 74 20 63 68 75 6e 6b 20 61 6e 64 20 that chunk and
0950: 73 68 6f 75 6c 64 0a 2a 2a 20 6e 6f 74 20 62 65 should.** not be
0960: 20 72 65 61 64 20 6f 72 20 77 72 69 74 74 65 6e read or written
0970: 2e 0a 2a 2a 0a 2a 2a 20 57 65 20 6f 66 74 65 6e ..**.** We often
0980: 20 69 64 65 6e 74 69 66 79 20 61 20 63 68 75 6e identify a chun
0990: 6b 20 62 79 20 69 74 73 20 69 6e 64 65 78 20 69 k by its index i
09a0: 6e 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 5d 2e 20 n mem3.aPool[].
09b0: 20 57 68 65 6e 0a 2a 2a 20 74 68 69 73 20 69 73 When.** this is
09c0: 20 64 6f 6e 65 2c 20 74 68 65 20 63 68 75 6e 6b done, the chunk
09d0: 20 69 6e 64 65 78 20 72 65 66 65 72 73 20 74 6f index refers to
09e0: 20 74 68 65 20 73 65 63 6f 6e 64 20 62 6c 6f 63 the second bloc
09f0: 6b 20 6f 66 0a 2a 2a 20 74 68 65 20 63 68 75 6e k of.** the chun
0a00: 6b 2e 20 20 49 6e 20 74 68 69 73 20 77 61 79 2c k. In this way,
0a10: 20 74 68 65 20 66 69 72 73 74 20 63 68 75 6e 6b the first chunk
0a20: 20 68 61 73 20 61 6e 20 69 6e 64 65 78 20 6f 66 has an index of
0a30: 20 31 2e 0a 2a 2a 20 41 20 63 68 75 6e 6b 20 69 1..** A chunk i
0a40: 6e 64 65 78 20 6f 66 20 30 20 6d 65 61 6e 73 20 ndex of 0 means
0a50: 22 6e 6f 20 73 75 63 68 20 63 68 75 6e 6b 22 20 "no such chunk"
0a60: 61 6e 64 20 69 73 20 74 68 65 20 65 71 75 69 76 and is the equiv
0a70: 61 6c 65 6e 74 0a 2a 2a 20 6f 66 20 61 20 4e 55 alent.** of a NU
0a80: 4c 4c 20 70 6f 69 6e 74 65 72 2e 0a 2a 2a 0a 2a LL pointer..**.*
0a90: 2a 20 54 68 65 20 73 65 63 6f 6e 64 20 62 6c 6f * The second blo
0aa0: 63 6b 20 6f 66 20 66 72 65 65 20 63 68 75 6e 6b ck of free chunk
0ab0: 73 20 69 73 20 6f 66 20 74 68 65 20 66 6f 72 6d s is of the form
0ac0: 20 75 2e 6c 69 73 74 2e 20 20 54 68 65 0a 2a 2a u.list. The.**
0ad0: 20 74 77 6f 20 66 69 65 6c 64 73 20 66 6f 72 6d two fields form
0ae0: 20 61 20 64 6f 75 62 6c 65 2d 6c 69 6e 6b 65 64 a double-linked
0af0: 20 6c 69 73 74 20 6f 66 20 63 68 75 6e 6b 73 20 list of chunks
0b00: 6f 66 20 72 65 6c 61 74 65 64 20 73 69 7a 65 73 of related sizes
0b10: 2e 0a 2a 2a 20 50 6f 69 6e 74 65 72 73 20 74 6f ..** Pointers to
0b20: 20 74 68 65 20 68 65 61 64 20 6f 66 20 74 68 65 the head of the
0b30: 20 6c 69 73 74 20 61 72 65 20 73 74 6f 72 65 64 list are stored
0b40: 20 69 6e 20 6d 65 6d 33 2e 61 69 53 6d 61 6c 6c in mem3.aiSmall
0b50: 5b 5d 20 0a 2a 2a 20 66 6f 72 20 73 6d 61 6c 6c [] .** for small
0b60: 65 72 20 63 68 75 6e 6b 73 20 61 6e 64 20 6d 65 er chunks and me
0b70: 6d 33 2e 61 69 48 61 73 68 5b 5d 20 66 6f 72 20 m3.aiHash[] for
0b80: 6c 61 72 67 65 72 20 63 68 75 6e 6b 73 2e 0a 2a larger chunks..*
0b90: 2a 0a 2a 2a 20 54 68 65 20 73 65 63 6f 6e 64 20 *.** The second
0ba0: 62 6c 6f 63 6b 20 6f 66 20 61 20 63 68 75 6e 6b block of a chunk
0bb0: 20 69 73 20 75 73 65 72 20 64 61 74 61 20 69 66 is user data if
0bc0: 20 74 68 65 20 63 68 75 6e 6b 20 69 73 20 63 68 the chunk is ch
0bd0: 65 63 6b 65 64 20 0a 2a 2a 20 6f 75 74 2e 20 20 ecked .** out.
0be0: 49 66 20 61 20 63 68 75 6e 6b 20 69 73 20 63 68 If a chunk is ch
0bf0: 65 63 6b 65 64 20 6f 75 74 2c 20 74 68 65 20 75 ecked out, the u
0c00: 73 65 72 20 64 61 74 61 20 6d 61 79 20 65 78 74 ser data may ext
0c10: 65 6e 64 20 69 6e 74 6f 0a 2a 2a 20 74 68 65 20 end into.** the
0c20: 75 2e 68 64 72 2e 70 72 65 76 53 69 7a 65 20 76 u.hdr.prevSize v
0c30: 61 6c 75 65 20 6f 66 20 74 68 65 20 66 6f 6c 6c alue of the foll
0c40: 6f 77 69 6e 67 20 63 68 75 6e 6b 2e 0a 2a 2f 0a owing chunk..*/.
0c50: 74 79 70 65 64 65 66 20 73 74 72 75 63 74 20 4d typedef struct M
0c60: 65 6d 33 42 6c 6f 63 6b 20 4d 65 6d 33 42 6c 6f em3Block Mem3Blo
0c70: 63 6b 3b 0a 73 74 72 75 63 74 20 4d 65 6d 33 42 ck;.struct Mem3B
0c80: 6c 6f 63 6b 20 7b 0a 20 20 75 6e 69 6f 6e 20 7b lock {. union {
0c90: 0a 20 20 20 20 73 74 72 75 63 74 20 7b 0a 20 20 . struct {.
0ca0: 20 20 20 20 75 33 32 20 70 72 65 76 53 69 7a 65 u32 prevSize
0cb0: 3b 20 20 20 2f 2a 20 53 69 7a 65 20 6f 66 20 70 ; /* Size of p
0cc0: 72 65 76 69 6f 75 73 20 63 68 75 6e 6b 20 69 6e revious chunk in
0cd0: 20 4d 65 6d 33 42 6c 6f 63 6b 20 65 6c 65 6d 65 Mem3Block eleme
0ce0: 6e 74 73 20 2a 2f 0a 20 20 20 20 20 20 75 33 32 nts */. u32
0cf0: 20 73 69 7a 65 34 78 3b 20 20 20 20 20 2f 2a 20 size4x; /*
0d00: 34 78 20 74 68 65 20 73 69 7a 65 20 6f 66 20 63 4x the size of c
0d10: 75 72 72 65 6e 74 20 63 68 75 6e 6b 20 69 6e 20 urrent chunk in
0d20: 4d 65 6d 33 42 6c 6f 63 6b 20 65 6c 65 6d 65 6e Mem3Block elemen
0d30: 74 73 20 2a 2f 0a 20 20 20 20 7d 20 68 64 72 3b ts */. } hdr;
0d40: 0a 20 20 20 20 73 74 72 75 63 74 20 7b 0a 20 20 . struct {.
0d50: 20 20 20 20 75 33 32 20 6e 65 78 74 3b 20 20 20 u32 next;
0d60: 20 20 20 20 2f 2a 20 49 6e 64 65 78 20 69 6e 20 /* Index in
0d70: 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 5d 20 6f 66 20 mem3.aPool[] of
0d80: 6e 65 78 74 20 66 72 65 65 20 63 68 75 6e 6b 20 next free chunk
0d90: 2a 2f 0a 20 20 20 20 20 20 75 33 32 20 70 72 65 */. u32 pre
0da0: 76 3b 20 20 20 20 20 20 20 2f 2a 20 49 6e 64 65 v; /* Inde
0db0: 78 20 69 6e 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b x in mem3.aPool[
0dc0: 5d 20 6f 66 20 70 72 65 76 69 6f 75 73 20 66 72 ] of previous fr
0dd0: 65 65 20 63 68 75 6e 6b 20 2a 2f 0a 20 20 20 20 ee chunk */.
0de0: 7d 20 6c 69 73 74 3b 0a 20 20 7d 20 75 3b 0a 7d } list;. } u;.}
0df0: 3b 0a 0a 2f 2a 0a 2a 2a 20 41 6c 6c 20 6f 66 20 ;../*.** All of
0e00: 74 68 65 20 73 74 61 74 69 63 20 76 61 72 69 61 the static varia
0e10: 62 6c 65 73 20 75 73 65 64 20 62 79 20 74 68 69 bles used by thi
0e20: 73 20 6d 6f 64 75 6c 65 20 61 72 65 20 63 6f 6c s module are col
0e30: 6c 65 63 74 65 64 0a 2a 2a 20 69 6e 74 6f 20 61 lected.** into a
0e40: 20 73 69 6e 67 6c 65 20 73 74 72 75 63 74 75 72 single structur
0e50: 65 20 6e 61 6d 65 64 20 22 6d 65 6d 33 22 2e 20 e named "mem3".
0e60: 20 54 68 69 73 20 69 73 20 74 6f 20 6b 65 65 70 This is to keep
0e70: 20 74 68 65 0a 2a 2a 20 73 74 61 74 69 63 20 76 the.** static v
0e80: 61 72 69 61 62 6c 65 73 20 6f 72 67 61 6e 69 7a ariables organiz
0e90: 65 64 20 61 6e 64 20 74 6f 20 72 65 64 75 63 65 ed and to reduce
0ea0: 20 6e 61 6d 65 73 70 61 63 65 20 70 6f 6c 6c 75 namespace pollu
0eb0: 74 69 6f 6e 0a 2a 2a 20 77 68 65 6e 20 74 68 69 tion.** when thi
0ec0: 73 20 6d 6f 64 75 6c 65 20 69 73 20 63 6f 6d 62 s module is comb
0ed0: 69 6e 65 64 20 77 69 74 68 20 6f 74 68 65 72 20 ined with other
0ee0: 69 6e 20 74 68 65 20 61 6d 61 6c 67 61 6d 61 74 in the amalgamat
0ef0: 69 6f 6e 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 53 ion..*/.static S
0f00: 51 4c 49 54 45 5f 57 53 44 20 73 74 72 75 63 74 QLITE_WSD struct
0f10: 20 4d 65 6d 33 47 6c 6f 62 61 6c 20 7b 0a 20 20 Mem3Global {.
0f20: 2f 2a 0a 20 20 2a 2a 20 54 72 75 65 20 69 66 20 /*. ** True if
0f30: 77 65 20 61 72 65 20 65 76 61 6c 75 61 74 69 6e we are evaluatin
0f40: 67 20 61 6e 20 6f 75 74 2d 6f 66 2d 6d 65 6d 6f g an out-of-memo
0f50: 72 79 20 63 61 6c 6c 62 61 63 6b 2e 0a 20 20 2a ry callback.. *
0f60: 2f 0a 20 20 69 6e 74 20 61 6c 61 72 6d 42 75 73 /. int alarmBus
0f70: 79 3b 0a 20 20 0a 20 20 2f 2a 0a 20 20 2a 2a 20 y;. . /*. **
0f80: 4d 75 74 65 78 20 74 6f 20 63 6f 6e 74 72 6f 6c Mutex to control
0f90: 20 61 63 63 65 73 73 20 74 6f 20 74 68 65 20 6d access to the m
0fa0: 65 6d 6f 72 79 20 61 6c 6c 6f 63 61 74 69 6f 6e emory allocation
0fb0: 20 73 75 62 73 79 73 74 65 6d 2e 0a 20 20 2a 2f subsystem.. */
0fc0: 0a 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 . sqlite3_mutex
0fd0: 20 2a 6d 75 74 65 78 3b 0a 20 20 0a 20 20 2f 2a *mutex;. . /*
0fe0: 0a 20 20 2a 2a 20 54 68 65 20 6d 69 6e 69 6d 75 . ** The minimu
0ff0: 6d 20 61 6d 6f 75 6e 74 20 6f 66 20 66 72 65 65 m amount of free
1000: 20 73 70 61 63 65 20 74 68 61 74 20 77 65 20 68 space that we h
1010: 61 76 65 20 73 65 65 6e 2e 0a 20 20 2a 2f 0a 20 ave seen.. */.
1020: 20 75 33 32 20 6d 6e 4d 61 73 74 65 72 3b 0a 0a u32 mnMaster;..
1030: 20 20 2f 2a 0a 20 20 2a 2a 20 69 4d 61 73 74 65 /*. ** iMaste
1040: 72 20 69 73 20 74 68 65 20 69 6e 64 65 78 20 6f r is the index o
1050: 66 20 74 68 65 20 6d 61 73 74 65 72 20 63 68 75 f the master chu
1060: 6e 6b 2e 20 20 4d 6f 73 74 20 6e 65 77 20 61 6c nk. Most new al
1070: 6c 6f 63 61 74 69 6f 6e 73 0a 20 20 2a 2a 20 6f locations. ** o
1080: 63 63 75 72 20 6f 66 66 20 6f 66 20 74 68 69 73 ccur off of this
1090: 20 63 68 75 6e 6b 2e 20 20 73 7a 4d 61 73 74 65 chunk. szMaste
10a0: 72 20 69 73 20 74 68 65 20 73 69 7a 65 20 28 69 r is the size (i
10b0: 6e 20 4d 65 6d 33 42 6c 6f 63 6b 73 29 0a 20 20 n Mem3Blocks).
10c0: 2a 2a 20 6f 66 20 74 68 65 20 63 75 72 72 65 6e ** of the curren
10d0: 74 20 6d 61 73 74 65 72 2e 20 20 69 4d 61 73 74 t master. iMast
10e0: 65 72 20 69 73 20 30 20 69 66 20 74 68 65 72 65 er is 0 if there
10f0: 20 69 73 20 6e 6f 74 20 6d 61 73 74 65 72 20 63 is not master c
1100: 68 75 6e 6b 2e 0a 20 20 2a 2a 20 54 68 65 20 6d hunk.. ** The m
1110: 61 73 74 65 72 20 63 68 75 6e 6b 20 69 73 20 6e aster chunk is n
1120: 6f 74 20 69 6e 20 65 69 74 68 65 72 20 74 68 65 ot in either the
1130: 20 61 69 48 61 73 68 5b 5d 20 6f 72 20 61 69 53 aiHash[] or aiS
1140: 6d 61 6c 6c 5b 5d 2e 0a 20 20 2a 2f 0a 20 20 75 mall[].. */. u
1150: 33 32 20 69 4d 61 73 74 65 72 3b 0a 20 20 75 33 32 iMaster;. u3
1160: 32 20 73 7a 4d 61 73 74 65 72 3b 0a 0a 20 20 2f 2 szMaster;.. /
1170: 2a 0a 20 20 2a 2a 20 41 72 72 61 79 20 6f 66 20 *. ** Array of
1180: 6c 69 73 74 73 20 6f 66 20 66 72 65 65 20 62 6c lists of free bl
1190: 6f 63 6b 73 20 61 63 63 6f 72 64 69 6e 67 20 74 ocks according t
11a0: 6f 20 74 68 65 20 62 6c 6f 63 6b 20 73 69 7a 65 o the block size
11b0: 20 0a 20 20 2a 2a 20 66 6f 72 20 73 6d 61 6c 6c . ** for small
11c0: 65 72 20 63 68 75 6e 6b 73 2c 20 6f 72 20 61 20 er chunks, or a
11d0: 68 61 73 68 20 6f 6e 20 74 68 65 20 62 6c 6f 63 hash on the bloc
11e0: 6b 20 73 69 7a 65 20 66 6f 72 20 6c 61 72 67 65 k size for large
11f0: 72 0a 20 20 2a 2a 20 63 68 75 6e 6b 73 2e 0a 20 r. ** chunks..
1200: 20 2a 2f 0a 20 20 75 33 32 20 61 69 53 6d 61 6c */. u32 aiSmal
1210: 6c 5b 4d 58 5f 53 4d 41 4c 4c 2d 31 5d 3b 20 20 l[MX_SMALL-1];
1220: 20 2f 2a 20 46 6f 72 20 73 69 7a 65 73 20 32 20 /* For sizes 2
1230: 74 68 72 6f 75 67 68 20 4d 58 5f 53 4d 41 4c 4c through MX_SMALL
1240: 2c 20 69 6e 63 6c 75 73 69 76 65 20 2a 2f 0a 20 , inclusive */.
1250: 20 75 33 32 20 61 69 48 61 73 68 5b 4e 5f 48 41 u32 aiHash[N_HA
1260: 53 48 5d 3b 20 20 20 20 20 20 20 20 2f 2a 20 46 SH]; /* F
1270: 6f 72 20 73 69 7a 65 73 20 4d 58 5f 53 4d 41 4c or sizes MX_SMAL
1280: 4c 2b 31 20 61 6e 64 20 6c 61 72 67 65 72 20 2a L+1 and larger *
1290: 2f 0a 0a 20 20 2f 2a 0a 20 20 2a 2a 20 4d 65 6d /.. /*. ** Mem
12a0: 6f 72 79 20 61 76 61 69 6c 61 62 6c 65 20 66 6f ory available fo
12b0: 72 20 61 6c 6c 6f 63 61 74 69 6f 6e 2e 20 6e 50 r allocation. nP
12c0: 6f 6f 6c 20 69 73 20 74 68 65 20 73 69 7a 65 20 ool is the size
12d0: 6f 66 20 74 68 65 20 61 72 72 61 79 0a 20 20 2a of the array. *
12e0: 2a 20 28 69 6e 20 4d 65 6d 33 42 6c 6f 63 6b 73 * (in Mem3Blocks
12f0: 29 20 70 6f 69 6e 74 65 64 20 74 6f 20 62 79 20 ) pointed to by
1300: 61 50 6f 6f 6c 20 6c 65 73 73 20 32 2e 0a 20 20 aPool less 2..
1310: 2a 2f 0a 20 20 75 33 32 20 6e 50 6f 6f 6c 3b 0a */. u32 nPool;.
1320: 20 20 4d 65 6d 33 42 6c 6f 63 6b 20 2a 61 50 6f Mem3Block *aPo
1330: 6f 6c 3b 0a 7d 20 6d 65 6d 33 20 3d 20 7b 7d 3b ol;.} mem3 = {};
1340: 0a 0a 23 64 65 66 69 6e 65 20 6d 65 6d 33 20 47 ..#define mem3 G
1350: 4c 4f 42 41 4c 28 73 74 72 75 63 74 20 4d 65 6d LOBAL(struct Mem
1360: 33 47 6c 6f 62 61 6c 2c 20 6d 65 6d 33 29 0a 0a 3Global, mem3)..
1370: 2f 2a 0a 2a 2a 20 55 6e 6c 69 6e 6b 20 74 68 65 /*.** Unlink the
1380: 20 63 68 75 6e 6b 20 61 74 20 6d 65 6d 33 2e 61 chunk at mem3.a
1390: 50 6f 6f 6c 5b 69 5d 20 66 72 6f 6d 20 6c 69 73 Pool[i] from lis
13a0: 74 20 69 74 20 69 73 20 63 75 72 72 65 6e 74 6c t it is currentl
13b0: 79 0a 2a 2a 20 6f 6e 2e 20 20 2a 70 52 6f 6f 74 y.** on. *pRoot
13c0: 20 69 73 20 74 68 65 20 6c 69 73 74 20 74 68 61 is the list tha
13d0: 74 20 69 20 69 73 20 61 20 6d 65 6d 62 65 72 20 t i is a member
13e0: 6f 66 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f of..*/.static vo
13f0: 69 64 20 6d 65 6d 73 79 73 33 55 6e 6c 69 6e 6b id memsys3Unlink
1400: 46 72 6f 6d 4c 69 73 74 28 75 33 32 20 69 2c 20 FromList(u32 i,
1410: 75 33 32 20 2a 70 52 6f 6f 74 29 7b 0a 20 20 75 u32 *pRoot){. u
1420: 33 32 20 6e 65 78 74 20 3d 20 6d 65 6d 33 2e 61 32 next = mem3.a
1430: 50 6f 6f 6c 5b 69 5d 2e 75 2e 6c 69 73 74 2e 6e Pool[i].u.list.n
1440: 65 78 74 3b 0a 20 20 75 33 32 20 70 72 65 76 20 ext;. u32 prev
1450: 3d 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 5d 2e = mem3.aPool[i].
1460: 75 2e 6c 69 73 74 2e 70 72 65 76 3b 0a 20 20 61 u.list.prev;. a
1470: 73 73 65 72 74 28 20 73 71 6c 69 74 65 33 5f 6d ssert( sqlite3_m
1480: 75 74 65 78 5f 68 65 6c 64 28 6d 65 6d 33 2e 6d utex_held(mem3.m
1490: 75 74 65 78 29 20 29 3b 0a 20 20 69 66 28 20 70 utex) );. if( p
14a0: 72 65 76 3d 3d 30 20 29 7b 0a 20 20 20 20 2a 70 rev==0 ){. *p
14b0: 52 6f 6f 74 20 3d 20 6e 65 78 74 3b 0a 20 20 7d Root = next;. }
14c0: 65 6c 73 65 7b 0a 20 20 20 20 6d 65 6d 33 2e 61 else{. mem3.a
14d0: 50 6f 6f 6c 5b 70 72 65 76 5d 2e 75 2e 6c 69 73 Pool[prev].u.lis
14e0: 74 2e 6e 65 78 74 20 3d 20 6e 65 78 74 3b 0a 20 t.next = next;.
14f0: 20 7d 0a 20 20 69 66 28 20 6e 65 78 74 20 29 7b }. if( next ){
1500: 0a 20 20 20 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b . mem3.aPool[
1510: 6e 65 78 74 5d 2e 75 2e 6c 69 73 74 2e 70 72 65 next].u.list.pre
1520: 76 20 3d 20 70 72 65 76 3b 0a 20 20 7d 0a 20 20 v = prev;. }.
1530: 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 5d 2e 75 2e mem3.aPool[i].u.
1540: 6c 69 73 74 2e 6e 65 78 74 20 3d 20 30 3b 0a 20 list.next = 0;.
1550: 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 5d 2e 75 mem3.aPool[i].u
1560: 2e 6c 69 73 74 2e 70 72 65 76 20 3d 20 30 3b 0a .list.prev = 0;.
1570: 7d 0a 0a 2f 2a 0a 2a 2a 20 55 6e 6c 69 6e 6b 20 }../*.** Unlink
1580: 74 68 65 20 63 68 75 6e 6b 20 61 74 20 69 6e 64 the chunk at ind
1590: 65 78 20 69 20 66 72 6f 6d 20 0a 2a 2a 20 77 68 ex i from .** wh
15a0: 61 74 65 76 65 72 20 6c 69 73 74 20 69 73 20 63 atever list is c
15b0: 75 72 72 65 6e 74 6c 79 20 61 20 6d 65 6d 62 65 urrently a membe
15c0: 72 20 6f 66 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 r of..*/.static
15d0: 76 6f 69 64 20 6d 65 6d 73 79 73 33 55 6e 6c 69 void memsys3Unli
15e0: 6e 6b 28 75 33 32 20 69 29 7b 0a 20 20 75 33 32 nk(u32 i){. u32
15f0: 20 73 69 7a 65 2c 20 68 61 73 68 3b 0a 20 20 61 size, hash;. a
1600: 73 73 65 72 74 28 20 73 71 6c 69 74 65 33 5f 6d ssert( sqlite3_m
1610: 75 74 65 78 5f 68 65 6c 64 28 6d 65 6d 33 2e 6d utex_held(mem3.m
1620: 75 74 65 78 29 20 29 3b 0a 20 20 61 73 73 65 72 utex) );. asser
1630: 74 28 20 28 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 t( (mem3.aPool[i
1640: 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 -1].u.hdr.size4x
1650: 20 26 20 31 29 3d 3d 30 20 29 3b 0a 20 20 61 73 & 1)==0 );. as
1660: 73 65 72 74 28 20 69 3e 3d 31 20 29 3b 0a 20 20 sert( i>=1 );.
1670: 73 69 7a 65 20 3d 20 6d 65 6d 33 2e 61 50 6f 6f size = mem3.aPoo
1680: 6c 5b 69 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a l[i-1].u.hdr.siz
1690: 65 34 78 2f 34 3b 0a 20 20 61 73 73 65 72 74 28 e4x/4;. assert(
16a0: 20 73 69 7a 65 3d 3d 6d 65 6d 33 2e 61 50 6f 6f size==mem3.aPoo
16b0: 6c 5b 69 2b 73 69 7a 65 2d 31 5d 2e 75 2e 68 64 l[i+size-1].u.hd
16c0: 72 2e 70 72 65 76 53 69 7a 65 20 29 3b 0a 20 20 r.prevSize );.
16d0: 61 73 73 65 72 74 28 20 73 69 7a 65 3e 3d 32 20 assert( size>=2
16e0: 29 3b 0a 20 20 69 66 28 20 73 69 7a 65 20 3c 3d );. if( size <=
16f0: 20 4d 58 5f 53 4d 41 4c 4c 20 29 7b 0a 20 20 20 MX_SMALL ){.
1700: 20 6d 65 6d 73 79 73 33 55 6e 6c 69 6e 6b 46 72 memsys3UnlinkFr
1710: 6f 6d 4c 69 73 74 28 69 2c 20 26 6d 65 6d 33 2e omList(i, &mem3.
1720: 61 69 53 6d 61 6c 6c 5b 73 69 7a 65 2d 32 5d 29 aiSmall[size-2])
1730: 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 68 ;. }else{. h
1740: 61 73 68 20 3d 20 73 69 7a 65 20 25 20 4e 5f 48 ash = size % N_H
1750: 41 53 48 3b 0a 20 20 20 20 6d 65 6d 73 79 73 33 ASH;. memsys3
1760: 55 6e 6c 69 6e 6b 46 72 6f 6d 4c 69 73 74 28 69 UnlinkFromList(i
1770: 2c 20 26 6d 65 6d 33 2e 61 69 48 61 73 68 5b 68 , &mem3.aiHash[h
1780: 61 73 68 5d 29 3b 0a 20 20 7d 0a 7d 0a 0a 2f 2a ash]);. }.}../*
1790: 0a 2a 2a 20 4c 69 6e 6b 20 74 68 65 20 63 68 75 .** Link the chu
17a0: 6e 6b 20 61 74 20 6d 65 6d 33 2e 61 50 6f 6f 6c nk at mem3.aPool
17b0: 5b 69 5d 20 73 6f 20 74 68 61 74 20 69 73 20 6f [i] so that is o
17c0: 6e 20 74 68 65 20 6c 69 73 74 20 72 6f 6f 74 65 n the list roote
17d0: 64 0a 2a 2a 20 61 74 20 2a 70 52 6f 6f 74 2e 0a d.** at *pRoot..
17e0: 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 6d */.static void m
17f0: 65 6d 73 79 73 33 4c 69 6e 6b 49 6e 74 6f 4c 69 emsys3LinkIntoLi
1800: 73 74 28 75 33 32 20 69 2c 20 75 33 32 20 2a 70 st(u32 i, u32 *p
1810: 52 6f 6f 74 29 7b 0a 20 20 61 73 73 65 72 74 28 Root){. assert(
1820: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 sqlite3_mutex_h
1830: 65 6c 64 28 6d 65 6d 33 2e 6d 75 74 65 78 29 20 eld(mem3.mutex)
1840: 29 3b 0a 20 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b );. mem3.aPool[
1850: 69 5d 2e 75 2e 6c 69 73 74 2e 6e 65 78 74 20 3d i].u.list.next =
1860: 20 2a 70 52 6f 6f 74 3b 0a 20 20 6d 65 6d 33 2e *pRoot;. mem3.
1870: 61 50 6f 6f 6c 5b 69 5d 2e 75 2e 6c 69 73 74 2e aPool[i].u.list.
1880: 70 72 65 76 20 3d 20 30 3b 0a 20 20 69 66 28 20 prev = 0;. if(
1890: 2a 70 52 6f 6f 74 20 29 7b 0a 20 20 20 20 6d 65 *pRoot ){. me
18a0: 6d 33 2e 61 50 6f 6f 6c 5b 2a 70 52 6f 6f 74 5d m3.aPool[*pRoot]
18b0: 2e 75 2e 6c 69 73 74 2e 70 72 65 76 20 3d 20 69 .u.list.prev = i
18c0: 3b 0a 20 20 7d 0a 20 20 2a 70 52 6f 6f 74 20 3d ;. }. *pRoot =
18d0: 20 69 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 4c 69 6e i;.}../*.** Lin
18e0: 6b 20 74 68 65 20 63 68 75 6e 6b 20 61 74 20 69 k the chunk at i
18f0: 6e 64 65 78 20 69 20 69 6e 74 6f 20 65 69 74 68 ndex i into eith
1900: 65 72 20 74 68 65 20 61 70 70 72 6f 70 72 69 61 er the appropria
1910: 74 65 0a 2a 2a 20 73 6d 61 6c 6c 20 63 68 75 6e te.** small chun
1920: 6b 20 6c 69 73 74 2c 20 6f 72 20 69 6e 74 6f 20 k list, or into
1930: 74 68 65 20 6c 61 72 67 65 20 63 68 75 6e 6b 20 the large chunk
1940: 68 61 73 68 20 74 61 62 6c 65 2e 0a 2a 2f 0a 73 hash table..*/.s
1950: 74 61 74 69 63 20 76 6f 69 64 20 6d 65 6d 73 79 tatic void memsy
1960: 73 33 4c 69 6e 6b 28 75 33 32 20 69 29 7b 0a 20 s3Link(u32 i){.
1970: 20 75 33 32 20 73 69 7a 65 2c 20 68 61 73 68 3b u32 size, hash;
1980: 0a 20 20 61 73 73 65 72 74 28 20 73 71 6c 69 74 . assert( sqlit
1990: 65 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 6d 65 e3_mutex_held(me
19a0: 6d 33 2e 6d 75 74 65 78 29 20 29 3b 0a 20 20 61 m3.mutex) );. a
19b0: 73 73 65 72 74 28 20 69 3e 3d 31 20 29 3b 0a 20 ssert( i>=1 );.
19c0: 20 61 73 73 65 72 74 28 20 28 6d 65 6d 33 2e 61 assert( (mem3.a
19d0: 50 6f 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 64 72 2e Pool[i-1].u.hdr.
19e0: 73 69 7a 65 34 78 20 26 20 31 29 3d 3d 30 20 29 size4x & 1)==0 )
19f0: 3b 0a 20 20 73 69 7a 65 20 3d 20 6d 65 6d 33 2e ;. size = mem3.
1a00: 61 50 6f 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 64 72 aPool[i-1].u.hdr
1a10: 2e 73 69 7a 65 34 78 2f 34 3b 0a 20 20 61 73 73 .size4x/4;. ass
1a20: 65 72 74 28 20 73 69 7a 65 3d 3d 6d 65 6d 33 2e ert( size==mem3.
1a30: 61 50 6f 6f 6c 5b 69 2b 73 69 7a 65 2d 31 5d 2e aPool[i+size-1].
1a40: 75 2e 68 64 72 2e 70 72 65 76 53 69 7a 65 20 29 u.hdr.prevSize )
1a50: 3b 0a 20 20 61 73 73 65 72 74 28 20 73 69 7a 65 ;. assert( size
1a60: 3e 3d 32 20 29 3b 0a 20 20 69 66 28 20 73 69 7a >=2 );. if( siz
1a70: 65 20 3c 3d 20 4d 58 5f 53 4d 41 4c 4c 20 29 7b e <= MX_SMALL ){
1a80: 0a 20 20 20 20 6d 65 6d 73 79 73 33 4c 69 6e 6b . memsys3Link
1a90: 49 6e 74 6f 4c 69 73 74 28 69 2c 20 26 6d 65 6d IntoList(i, &mem
1aa0: 33 2e 61 69 53 6d 61 6c 6c 5b 73 69 7a 65 2d 32 3.aiSmall[size-2
1ab0: 5d 29 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20 ]);. }else{.
1ac0: 20 68 61 73 68 20 3d 20 73 69 7a 65 20 25 20 4e hash = size % N
1ad0: 5f 48 41 53 48 3b 0a 20 20 20 20 6d 65 6d 73 79 _HASH;. memsy
1ae0: 73 33 4c 69 6e 6b 49 6e 74 6f 4c 69 73 74 28 69 s3LinkIntoList(i
1af0: 2c 20 26 6d 65 6d 33 2e 61 69 48 61 73 68 5b 68 , &mem3.aiHash[h
1b00: 61 73 68 5d 29 3b 0a 20 20 7d 0a 7d 0a 0a 2f 2a ash]);. }.}../*
1b10: 0a 2a 2a 20 49 66 20 74 68 65 20 53 54 41 54 49 .** If the STATI
1b20: 43 5f 4d 45 4d 20 6d 75 74 65 78 20 69 73 20 6e C_MEM mutex is n
1b30: 6f 74 20 61 6c 72 65 61 64 79 20 68 65 6c 64 2c ot already held,
1b40: 20 6f 62 74 61 69 6e 20 69 74 20 6e 6f 77 2e 20 obtain it now.
1b50: 54 68 65 20 6d 75 74 65 78 0a 2a 2a 20 77 69 6c The mutex.** wil
1b60: 6c 20 61 6c 72 65 61 64 79 20 62 65 20 68 65 6c l already be hel
1b70: 64 20 28 6f 62 74 61 69 6e 65 64 20 62 79 20 63 d (obtained by c
1b80: 6f 64 65 20 69 6e 20 6d 61 6c 6c 6f 63 2e 63 29 ode in malloc.c)
1b90: 20 69 66 0a 2a 2a 20 73 71 6c 69 74 65 33 47 6c if.** sqlite3Gl
1ba0: 6f 62 61 6c 43 6f 6e 66 69 67 2e 62 4d 65 6d 53 obalConfig.bMemS
1bb0: 74 61 74 20 69 73 20 74 72 75 65 2e 0a 2a 2f 0a tat is true..*/.
1bc0: 73 74 61 74 69 63 20 76 6f 69 64 20 6d 65 6d 73 static void mems
1bd0: 79 73 33 45 6e 74 65 72 28 76 6f 69 64 29 7b 0a ys3Enter(void){.
1be0: 20 20 69 66 28 20 73 71 6c 69 74 65 33 47 6c 6f if( sqlite3Glo
1bf0: 62 61 6c 43 6f 6e 66 69 67 2e 62 4d 65 6d 73 74 balConfig.bMemst
1c00: 61 74 3d 3d 30 20 26 26 20 6d 65 6d 33 2e 6d 75 at==0 && mem3.mu
1c10: 74 65 78 3d 3d 30 20 29 7b 0a 20 20 20 20 6d 65 tex==0 ){. me
1c20: 6d 33 2e 6d 75 74 65 78 20 3d 20 73 71 6c 69 74 m3.mutex = sqlit
1c30: 65 33 4d 75 74 65 78 41 6c 6c 6f 63 28 53 51 4c e3MutexAlloc(SQL
1c40: 49 54 45 5f 4d 55 54 45 58 5f 53 54 41 54 49 43 ITE_MUTEX_STATIC
1c50: 5f 4d 45 4d 29 3b 0a 20 20 7d 0a 20 20 73 71 6c _MEM);. }. sql
1c60: 69 74 65 33 5f 6d 75 74 65 78 5f 65 6e 74 65 72 ite3_mutex_enter
1c70: 28 6d 65 6d 33 2e 6d 75 74 65 78 29 3b 0a 7d 0a (mem3.mutex);.}.
1c80: 73 74 61 74 69 63 20 76 6f 69 64 20 6d 65 6d 73 static void mems
1c90: 79 73 33 4c 65 61 76 65 28 76 6f 69 64 29 7b 0a ys3Leave(void){.
1ca0: 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f sqlite3_mutex_
1cb0: 6c 65 61 76 65 28 6d 65 6d 33 2e 6d 75 74 65 78 leave(mem3.mutex
1cc0: 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 43 61 6c 6c );.}../*.** Call
1cd0: 65 64 20 77 68 65 6e 20 77 65 20 61 72 65 20 75 ed when we are u
1ce0: 6e 61 62 6c 65 20 74 6f 20 73 61 74 69 73 66 79 nable to satisfy
1cf0: 20 61 6e 20 61 6c 6c 6f 63 61 74 69 6f 6e 20 6f an allocation o
1d00: 66 20 6e 42 79 74 65 73 2e 0a 2a 2f 0a 73 74 61 f nBytes..*/.sta
1d10: 74 69 63 20 76 6f 69 64 20 6d 65 6d 73 79 73 33 tic void memsys3
1d20: 4f 75 74 4f 66 4d 65 6d 6f 72 79 28 69 6e 74 20 OutOfMemory(int
1d30: 6e 42 79 74 65 29 7b 0a 20 20 69 66 28 20 21 6d nByte){. if( !m
1d40: 65 6d 33 2e 61 6c 61 72 6d 42 75 73 79 20 29 7b em3.alarmBusy ){
1d50: 0a 20 20 20 20 6d 65 6d 33 2e 61 6c 61 72 6d 42 . mem3.alarmB
1d60: 75 73 79 20 3d 20 31 3b 0a 20 20 20 20 61 73 73 usy = 1;. ass
1d70: 65 72 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 ert( sqlite3_mut
1d80: 65 78 5f 68 65 6c 64 28 6d 65 6d 33 2e 6d 75 74 ex_held(mem3.mut
1d90: 65 78 29 20 29 3b 0a 20 20 20 20 73 71 6c 69 74 ex) );. sqlit
1da0: 65 33 5f 6d 75 74 65 78 5f 6c 65 61 76 65 28 6d e3_mutex_leave(m
1db0: 65 6d 33 2e 6d 75 74 65 78 29 3b 0a 20 20 20 20 em3.mutex);.
1dc0: 73 71 6c 69 74 65 33 5f 72 65 6c 65 61 73 65 5f sqlite3_release_
1dd0: 6d 65 6d 6f 72 79 28 6e 42 79 74 65 29 3b 0a 20 memory(nByte);.
1de0: 20 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 sqlite3_mutex
1df0: 5f 65 6e 74 65 72 28 6d 65 6d 33 2e 6d 75 74 65 _enter(mem3.mute
1e00: 78 29 3b 0a 20 20 20 20 6d 65 6d 33 2e 61 6c 61 x);. mem3.ala
1e10: 72 6d 42 75 73 79 20 3d 20 30 3b 0a 20 20 7d 0a rmBusy = 0;. }.
1e20: 7d 0a 0a 0a 2f 2a 0a 2a 2a 20 43 68 75 6e 6b 20 }.../*.** Chunk
1e30: 69 20 69 73 20 61 20 66 72 65 65 20 63 68 75 6e i is a free chun
1e40: 6b 20 74 68 61 74 20 68 61 73 20 62 65 65 6e 20 k that has been
1e50: 75 6e 6c 69 6e 6b 65 64 2e 20 20 41 64 6a 75 73 unlinked. Adjus
1e60: 74 20 69 74 73 20 0a 2a 2a 20 73 69 7a 65 20 70 t its .** size p
1e70: 61 72 61 6d 65 74 65 72 73 20 66 6f 72 20 63 68 arameters for ch
1e80: 65 63 6b 2d 6f 75 74 20 61 6e 64 20 72 65 74 75 eck-out and retu
1e90: 72 6e 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 rn a pointer to
1ea0: 74 68 65 20 0a 2a 2a 20 75 73 65 72 20 70 6f 72 the .** user por
1eb0: 74 69 6f 6e 20 6f 66 20 74 68 65 20 63 68 75 6e tion of the chun
1ec0: 6b 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 k..*/.static voi
1ed0: 64 20 2a 6d 65 6d 73 79 73 33 43 68 65 63 6b 6f d *memsys3Checko
1ee0: 75 74 28 75 33 32 20 69 2c 20 69 6e 74 20 6e 42 ut(u32 i, int nB
1ef0: 6c 6f 63 6b 29 7b 0a 20 20 75 33 32 20 78 3b 0a lock){. u32 x;.
1f00: 20 20 61 73 73 65 72 74 28 20 73 71 6c 69 74 65 assert( sqlite
1f10: 33 5f 6d 75 74 65 78 5f 68 65 6c 64 28 6d 65 6d 3_mutex_held(mem
1f20: 33 2e 6d 75 74 65 78 29 20 29 3b 0a 20 20 61 73 3.mutex) );. as
1f30: 73 65 72 74 28 20 69 3e 3d 31 20 29 3b 0a 20 20 sert( i>=1 );.
1f40: 61 73 73 65 72 74 28 20 6d 65 6d 33 2e 61 50 6f assert( mem3.aPo
1f50: 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 ol[i-1].u.hdr.si
1f60: 7a 65 34 78 2f 34 3d 3d 6e 42 6c 6f 63 6b 20 29 ze4x/4==nBlock )
1f70: 3b 0a 20 20 61 73 73 65 72 74 28 20 6d 65 6d 33 ;. assert( mem3
1f80: 2e 61 50 6f 6f 6c 5b 69 2b 6e 42 6c 6f 63 6b 2d .aPool[i+nBlock-
1f90: 31 5d 2e 75 2e 68 64 72 2e 70 72 65 76 53 69 7a 1].u.hdr.prevSiz
1fa0: 65 3d 3d 6e 42 6c 6f 63 6b 20 29 3b 0a 20 20 78 e==nBlock );. x
1fb0: 20 3d 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 2d = mem3.aPool[i-
1fc0: 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 3b 1].u.hdr.size4x;
1fd0: 0a 20 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 2d . mem3.aPool[i-
1fe0: 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 20 1].u.hdr.size4x
1ff0: 3d 20 6e 42 6c 6f 63 6b 2a 34 20 7c 20 31 20 7c = nBlock*4 | 1 |
2000: 20 28 78 26 32 29 3b 0a 20 20 6d 65 6d 33 2e 61 (x&2);. mem3.a
2010: 50 6f 6f 6c 5b 69 2b 6e 42 6c 6f 63 6b 2d 31 5d Pool[i+nBlock-1]
2020: 2e 75 2e 68 64 72 2e 70 72 65 76 53 69 7a 65 20 .u.hdr.prevSize
2030: 3d 20 6e 42 6c 6f 63 6b 3b 0a 20 20 6d 65 6d 33 = nBlock;. mem3
2040: 2e 61 50 6f 6f 6c 5b 69 2b 6e 42 6c 6f 63 6b 2d .aPool[i+nBlock-
2050: 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 20 1].u.hdr.size4x
2060: 7c 3d 20 32 3b 0a 20 20 72 65 74 75 72 6e 20 26 |= 2;. return &
2070: 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 5d 3b 0a 7d mem3.aPool[i];.}
2080: 0a 0a 2f 2a 0a 2a 2a 20 43 61 72 76 65 20 61 20 ../*.** Carve a
2090: 70 69 65 63 65 20 6f 66 66 20 6f 66 20 74 68 65 piece off of the
20a0: 20 65 6e 64 20 6f 66 20 74 68 65 20 6d 65 6d 33 end of the mem3
20b0: 2e 69 4d 61 73 74 65 72 20 66 72 65 65 20 63 68 .iMaster free ch
20c0: 75 6e 6b 2e 0a 2a 2a 20 52 65 74 75 72 6e 20 61 unk..** Return a
20d0: 20 70 6f 69 6e 74 65 72 20 74 6f 20 74 68 65 20 pointer to the
20e0: 6e 65 77 20 61 6c 6c 6f 63 61 74 69 6f 6e 2e 20 new allocation.
20f0: 20 4f 72 2c 20 69 66 20 74 68 65 20 6d 61 73 74 Or, if the mast
2100: 65 72 20 63 68 75 6e 6b 0a 2a 2a 20 69 73 20 6e er chunk.** is n
2110: 6f 74 20 6c 61 72 67 65 20 65 6e 6f 75 67 68 2c ot large enough,
2120: 20 72 65 74 75 72 6e 20 30 2e 0a 2a 2f 0a 73 74 return 0..*/.st
2130: 61 74 69 63 20 76 6f 69 64 20 2a 6d 65 6d 73 79 atic void *memsy
2140: 73 33 46 72 6f 6d 4d 61 73 74 65 72 28 69 6e 74 s3FromMaster(int
2150: 20 6e 42 6c 6f 63 6b 29 7b 0a 20 20 61 73 73 65 nBlock){. asse
2160: 72 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 rt( sqlite3_mute
2170: 78 5f 68 65 6c 64 28 6d 65 6d 33 2e 6d 75 74 65 x_held(mem3.mute
2180: 78 29 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 x) );. assert(
2190: 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 3e 3d 6e mem3.szMaster>=n
21a0: 42 6c 6f 63 6b 20 29 3b 0a 20 20 69 66 28 20 6e Block );. if( n
21b0: 42 6c 6f 63 6b 3e 3d 6d 65 6d 33 2e 73 7a 4d 61 Block>=mem3.szMa
21c0: 73 74 65 72 2d 31 20 29 7b 0a 20 20 20 20 2f 2a ster-1 ){. /*
21d0: 20 55 73 65 20 74 68 65 20 65 6e 74 69 72 65 20 Use the entire
21e0: 6d 61 73 74 65 72 20 2a 2f 0a 20 20 20 20 76 6f master */. vo
21f0: 69 64 20 2a 70 20 3d 20 6d 65 6d 73 79 73 33 43 id *p = memsys3C
2200: 68 65 63 6b 6f 75 74 28 6d 65 6d 33 2e 69 4d 61 heckout(mem3.iMa
2210: 73 74 65 72 2c 20 6d 65 6d 33 2e 73 7a 4d 61 73 ster, mem3.szMas
2220: 74 65 72 29 3b 0a 20 20 20 20 6d 65 6d 33 2e 69 ter);. mem3.i
2230: 4d 61 73 74 65 72 20 3d 20 30 3b 0a 20 20 20 20 Master = 0;.
2240: 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 20 3d 20 mem3.szMaster =
2250: 30 3b 0a 20 20 20 20 6d 65 6d 33 2e 6d 6e 4d 61 0;. mem3.mnMa
2260: 73 74 65 72 20 3d 20 30 3b 0a 20 20 20 20 72 65 ster = 0;. re
2270: 74 75 72 6e 20 70 3b 0a 20 20 7d 65 6c 73 65 7b turn p;. }else{
2280: 0a 20 20 20 20 2f 2a 20 53 70 6c 69 74 20 74 68 . /* Split th
2290: 65 20 6d 61 73 74 65 72 20 62 6c 6f 63 6b 2e 20 e master block.
22a0: 20 52 65 74 75 72 6e 20 74 68 65 20 74 61 69 6c Return the tail
22b0: 2e 20 2a 2f 0a 20 20 20 20 75 33 32 20 6e 65 77 . */. u32 new
22c0: 69 2c 20 78 3b 0a 20 20 20 20 6e 65 77 69 20 3d i, x;. newi =
22d0: 20 6d 65 6d 33 2e 69 4d 61 73 74 65 72 20 2b 20 mem3.iMaster +
22e0: 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 20 2d 20 mem3.szMaster -
22f0: 6e 42 6c 6f 63 6b 3b 0a 20 20 20 20 61 73 73 65 nBlock;. asse
2300: 72 74 28 20 6e 65 77 69 20 3e 20 6d 65 6d 33 2e rt( newi > mem3.
2310: 69 4d 61 73 74 65 72 2b 31 20 29 3b 0a 20 20 20 iMaster+1 );.
2320: 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 6d 65 6d 33 mem3.aPool[mem3
2330: 2e 69 4d 61 73 74 65 72 2b 6d 65 6d 33 2e 73 7a .iMaster+mem3.sz
2340: 4d 61 73 74 65 72 2d 31 5d 2e 75 2e 68 64 72 2e Master-1].u.hdr.
2350: 70 72 65 76 53 69 7a 65 20 3d 20 6e 42 6c 6f 63 prevSize = nBloc
2360: 6b 3b 0a 20 20 20 20 6d 65 6d 33 2e 61 50 6f 6f k;. mem3.aPoo
2370: 6c 5b 6d 65 6d 33 2e 69 4d 61 73 74 65 72 2b 6d l[mem3.iMaster+m
2380: 65 6d 33 2e 73 7a 4d 61 73 74 65 72 2d 31 5d 2e em3.szMaster-1].
2390: 75 2e 68 64 72 2e 73 69 7a 65 34 78 20 7c 3d 20 u.hdr.size4x |=
23a0: 32 3b 0a 20 20 20 20 6d 65 6d 33 2e 61 50 6f 6f 2;. mem3.aPoo
23b0: 6c 5b 6e 65 77 69 2d 31 5d 2e 75 2e 68 64 72 2e l[newi-1].u.hdr.
23c0: 73 69 7a 65 34 78 20 3d 20 6e 42 6c 6f 63 6b 2a size4x = nBlock*
23d0: 34 20 2b 20 31 3b 0a 20 20 20 20 6d 65 6d 33 2e 4 + 1;. mem3.
23e0: 73 7a 4d 61 73 74 65 72 20 2d 3d 20 6e 42 6c 6f szMaster -= nBlo
23f0: 63 6b 3b 0a 20 20 20 20 6d 65 6d 33 2e 61 50 6f ck;. mem3.aPo
2400: 6f 6c 5b 6e 65 77 69 2d 31 5d 2e 75 2e 68 64 72 ol[newi-1].u.hdr
2410: 2e 70 72 65 76 53 69 7a 65 20 3d 20 6d 65 6d 33 .prevSize = mem3
2420: 2e 73 7a 4d 61 73 74 65 72 3b 0a 20 20 20 20 78 .szMaster;. x
2430: 20 3d 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 6d 65 = mem3.aPool[me
2440: 6d 33 2e 69 4d 61 73 74 65 72 2d 31 5d 2e 75 2e m3.iMaster-1].u.
2450: 68 64 72 2e 73 69 7a 65 34 78 20 26 20 32 3b 0a hdr.size4x & 2;.
2460: 20 20 20 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 6d mem3.aPool[m
2470: 65 6d 33 2e 69 4d 61 73 74 65 72 2d 31 5d 2e 75 em3.iMaster-1].u
2480: 2e 68 64 72 2e 73 69 7a 65 34 78 20 3d 20 6d 65 .hdr.size4x = me
2490: 6d 33 2e 73 7a 4d 61 73 74 65 72 2a 34 20 7c 20 m3.szMaster*4 |
24a0: 78 3b 0a 20 20 20 20 69 66 28 20 6d 65 6d 33 2e x;. if( mem3.
24b0: 73 7a 4d 61 73 74 65 72 20 3c 20 6d 65 6d 33 2e szMaster < mem3.
24c0: 6d 6e 4d 61 73 74 65 72 20 29 7b 0a 20 20 20 20 mnMaster ){.
24d0: 20 20 6d 65 6d 33 2e 6d 6e 4d 61 73 74 65 72 20 mem3.mnMaster
24e0: 3d 20 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 3b = mem3.szMaster;
24f0: 0a 20 20 20 20 7d 0a 20 20 20 20 72 65 74 75 72 . }. retur
2500: 6e 20 28 76 6f 69 64 2a 29 26 6d 65 6d 33 2e 61 n (void*)&mem3.a
2510: 50 6f 6f 6c 5b 6e 65 77 69 5d 3b 0a 20 20 7d 0a Pool[newi];. }.
2520: 7d 0a 0a 2f 2a 0a 2a 2a 20 2a 70 52 6f 6f 74 20 }../*.** *pRoot
2530: 69 73 20 74 68 65 20 68 65 61 64 20 6f 66 20 61 is the head of a
2540: 20 6c 69 73 74 20 6f 66 20 66 72 65 65 20 63 68 list of free ch
2550: 75 6e 6b 73 20 6f 66 20 74 68 65 20 73 61 6d 65 unks of the same
2560: 20 73 69 7a 65 0a 2a 2a 20 6f 72 20 73 61 6d 65 size.** or same
2570: 20 73 69 7a 65 20 68 61 73 68 2e 20 20 49 6e 20 size hash. In
2580: 6f 74 68 65 72 20 77 6f 72 64 73 2c 20 2a 70 52 other words, *pR
2590: 6f 6f 74 20 69 73 20 61 6e 20 65 6e 74 72 79 20 oot is an entry
25a0: 69 6e 20 65 69 74 68 65 72 0a 2a 2a 20 6d 65 6d in either.** mem
25b0: 33 2e 61 69 53 6d 61 6c 6c 5b 5d 20 6f 72 20 6d 3.aiSmall[] or m
25c0: 65 6d 33 2e 61 69 48 61 73 68 5b 5d 2e 20 20 0a em3.aiHash[]. .
25d0: 2a 2a 0a 2a 2a 20 54 68 69 73 20 72 6f 75 74 69 **.** This routi
25e0: 6e 65 20 65 78 61 6d 69 6e 65 73 20 61 6c 6c 20 ne examines all
25f0: 65 6e 74 72 69 65 73 20 6f 6e 20 74 68 65 20 67 entries on the g
2600: 69 76 65 6e 20 6c 69 73 74 20 61 6e 64 20 74 72 iven list and tr
2610: 69 65 73 0a 2a 2a 20 74 6f 20 63 6f 61 6c 65 73 ies.** to coales
2620: 63 65 20 65 61 63 68 20 65 6e 74 72 69 65 73 20 ce each entries
2630: 77 69 74 68 20 61 64 6a 61 63 65 6e 74 20 66 72 with adjacent fr
2640: 65 65 20 63 68 75 6e 6b 73 2e 20 20 0a 2a 2a 0a ee chunks. .**.
2650: 2a 2a 20 49 66 20 69 74 20 73 65 65 73 20 61 20 ** If it sees a
2660: 63 68 75 6e 6b 20 74 68 61 74 20 69 73 20 6c 61 chunk that is la
2670: 72 67 65 72 20 74 68 61 6e 20 6d 65 6d 33 2e 69 rger than mem3.i
2680: 4d 61 73 74 65 72 2c 20 69 74 20 72 65 70 6c 61 Master, it repla
2690: 63 65 73 20 0a 2a 2a 20 74 68 65 20 63 75 72 72 ces .** the curr
26a0: 65 6e 74 20 6d 65 6d 33 2e 69 4d 61 73 74 65 72 ent mem3.iMaster
26b0: 20 77 69 74 68 20 74 68 65 20 6e 65 77 20 6c 61 with the new la
26c0: 72 67 65 72 20 63 68 75 6e 6b 2e 20 20 49 6e 20 rger chunk. In
26d0: 6f 72 64 65 72 20 66 6f 72 0a 2a 2a 20 74 68 69 order for.** thi
26e0: 73 20 6d 65 6d 33 2e 69 4d 61 73 74 65 72 20 72 s mem3.iMaster r
26f0: 65 70 6c 61 63 65 6d 65 6e 74 20 74 6f 20 77 6f eplacement to wo
2700: 72 6b 2c 20 74 68 65 20 6d 61 73 74 65 72 20 63 rk, the master c
2710: 68 75 6e 6b 20 6d 75 73 74 20 62 65 0a 2a 2a 20 hunk must be.**
2720: 6c 69 6e 6b 65 64 20 69 6e 74 6f 20 74 68 65 20 linked into the
2730: 68 61 73 68 20 74 61 62 6c 65 73 2e 20 20 54 68 hash tables. Th
2740: 61 74 20 69 73 20 6e 6f 74 20 74 68 65 20 6e 6f at is not the no
2750: 72 6d 61 6c 20 73 74 61 74 65 20 6f 66 0a 2a 2a rmal state of.**
2760: 20 61 66 66 61 69 72 73 2c 20 6f 66 20 63 6f 75 affairs, of cou
2770: 72 73 65 2e 20 20 54 68 65 20 63 61 6c 6c 69 6e rse. The callin
2780: 67 20 72 6f 75 74 69 6e 65 20 6d 75 73 74 20 6c g routine must l
2790: 69 6e 6b 20 74 68 65 20 6d 61 73 74 65 72 0a 2a ink the master.*
27a0: 2a 20 63 68 75 6e 6b 20 62 65 66 6f 72 65 20 69 * chunk before i
27b0: 6e 76 6f 6b 69 6e 67 20 74 68 69 73 20 72 6f 75 nvoking this rou
27c0: 74 69 6e 65 2c 20 74 68 65 6e 20 6d 75 73 74 20 tine, then must
27d0: 75 6e 6c 69 6e 6b 20 74 68 65 20 28 70 6f 73 73 unlink the (poss
27e0: 69 62 6c 79 0a 2a 2a 20 63 68 61 6e 67 65 64 29 ibly.** changed)
27f0: 20 6d 61 73 74 65 72 20 63 68 75 6e 6b 20 6f 6e master chunk on
2800: 63 65 20 74 68 69 73 20 72 6f 75 74 69 6e 65 20 ce this routine
2810: 68 61 73 20 66 69 6e 69 73 68 65 64 2e 0a 2a 2f has finished..*/
2820: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 6d 65 6d .static void mem
2830: 73 79 73 33 4d 65 72 67 65 28 75 33 32 20 2a 70 sys3Merge(u32 *p
2840: 52 6f 6f 74 29 7b 0a 20 20 75 33 32 20 69 4e 65 Root){. u32 iNe
2850: 78 74 2c 20 70 72 65 76 2c 20 73 69 7a 65 2c 20 xt, prev, size,
2860: 69 2c 20 78 3b 0a 0a 20 20 61 73 73 65 72 74 28 i, x;.. assert(
2870: 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 sqlite3_mutex_h
2880: 65 6c 64 28 6d 65 6d 33 2e 6d 75 74 65 78 29 20 eld(mem3.mutex)
2890: 29 3b 0a 20 20 66 6f 72 28 69 3d 2a 70 52 6f 6f );. for(i=*pRoo
28a0: 74 3b 20 69 3e 30 3b 20 69 3d 69 4e 65 78 74 29 t; i>0; i=iNext)
28b0: 7b 0a 20 20 20 20 69 4e 65 78 74 20 3d 20 6d 65 {. iNext = me
28c0: 6d 33 2e 61 50 6f 6f 6c 5b 69 5d 2e 75 2e 6c 69 m3.aPool[i].u.li
28d0: 73 74 2e 6e 65 78 74 3b 0a 20 20 20 20 73 69 7a st.next;. siz
28e0: 65 20 3d 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 e = mem3.aPool[i
28f0: 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 -1].u.hdr.size4x
2900: 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20 28 73 ;. assert( (s
2910: 69 7a 65 26 31 29 3d 3d 30 20 29 3b 0a 20 20 20 ize&1)==0 );.
2920: 20 69 66 28 20 28 73 69 7a 65 26 32 29 3d 3d 30 if( (size&2)==0
2930: 20 29 7b 0a 20 20 20 20 20 20 6d 65 6d 73 79 73 ){. memsys
2940: 33 55 6e 6c 69 6e 6b 46 72 6f 6d 4c 69 73 74 28 3UnlinkFromList(
2950: 69 2c 20 70 52 6f 6f 74 29 3b 0a 20 20 20 20 20 i, pRoot);.
2960: 20 61 73 73 65 72 74 28 20 69 20 3e 20 6d 65 6d assert( i > mem
2970: 33 2e 61 50 6f 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 3.aPool[i-1].u.h
2980: 64 72 2e 70 72 65 76 53 69 7a 65 20 29 3b 0a 20 dr.prevSize );.
2990: 20 20 20 20 20 70 72 65 76 20 3d 20 69 20 2d 20 prev = i -
29a0: 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 2d 31 5d 2e mem3.aPool[i-1].
29b0: 75 2e 68 64 72 2e 70 72 65 76 53 69 7a 65 3b 0a u.hdr.prevSize;.
29c0: 20 20 20 20 20 20 69 66 28 20 70 72 65 76 3d 3d if( prev==
29d0: 69 4e 65 78 74 20 29 7b 0a 20 20 20 20 20 20 20 iNext ){.
29e0: 20 69 4e 65 78 74 20 3d 20 6d 65 6d 33 2e 61 50 iNext = mem3.aP
29f0: 6f 6f 6c 5b 70 72 65 76 5d 2e 75 2e 6c 69 73 74 ool[prev].u.list
2a00: 2e 6e 65 78 74 3b 0a 20 20 20 20 20 20 7d 0a 20 .next;. }.
2a10: 20 20 20 20 20 6d 65 6d 73 79 73 33 55 6e 6c 69 memsys3Unli
2a20: 6e 6b 28 70 72 65 76 29 3b 0a 20 20 20 20 20 20 nk(prev);.
2a30: 73 69 7a 65 20 3d 20 69 20 2b 20 73 69 7a 65 2f size = i + size/
2a40: 34 20 2d 20 70 72 65 76 3b 0a 20 20 20 20 20 20 4 - prev;.
2a50: 78 20 3d 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 70 x = mem3.aPool[p
2a60: 72 65 76 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a rev-1].u.hdr.siz
2a70: 65 34 78 20 26 20 32 3b 0a 20 20 20 20 20 20 6d e4x & 2;. m
2a80: 65 6d 33 2e 61 50 6f 6f 6c 5b 70 72 65 76 2d 31 em3.aPool[prev-1
2a90: 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 20 3d ].u.hdr.size4x =
2aa0: 20 73 69 7a 65 2a 34 20 7c 20 78 3b 0a 20 20 20 size*4 | x;.
2ab0: 20 20 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 70 72 mem3.aPool[pr
2ac0: 65 76 2b 73 69 7a 65 2d 31 5d 2e 75 2e 68 64 72 ev+size-1].u.hdr
2ad0: 2e 70 72 65 76 53 69 7a 65 20 3d 20 73 69 7a 65 .prevSize = size
2ae0: 3b 0a 20 20 20 20 20 20 6d 65 6d 73 79 73 33 4c ;. memsys3L
2af0: 69 6e 6b 28 70 72 65 76 29 3b 0a 20 20 20 20 20 ink(prev);.
2b00: 20 69 20 3d 20 70 72 65 76 3b 0a 20 20 20 20 7d i = prev;. }
2b10: 65 6c 73 65 7b 0a 20 20 20 20 20 20 73 69 7a 65 else{. size
2b20: 20 2f 3d 20 34 3b 0a 20 20 20 20 7d 0a 20 20 20 /= 4;. }.
2b30: 20 69 66 28 20 73 69 7a 65 3e 6d 65 6d 33 2e 73 if( size>mem3.s
2b40: 7a 4d 61 73 74 65 72 20 29 7b 0a 20 20 20 20 20 zMaster ){.
2b50: 20 6d 65 6d 33 2e 69 4d 61 73 74 65 72 20 3d 20 mem3.iMaster =
2b60: 69 3b 0a 20 20 20 20 20 20 6d 65 6d 33 2e 73 7a i;. mem3.sz
2b70: 4d 61 73 74 65 72 20 3d 20 73 69 7a 65 3b 0a 20 Master = size;.
2b80: 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a }. }.}../*.*
2b90: 2a 20 52 65 74 75 72 6e 20 61 20 62 6c 6f 63 6b * Return a block
2ba0: 20 6f 66 20 6d 65 6d 6f 72 79 20 6f 66 20 61 74 of memory of at
2bb0: 20 6c 65 61 73 74 20 6e 42 79 74 65 73 20 69 6e least nBytes in
2bc0: 20 73 69 7a 65 2e 0a 2a 2a 20 52 65 74 75 72 6e size..** Return
2bd0: 20 4e 55 4c 4c 20 69 66 20 75 6e 61 62 6c 65 2e NULL if unable.
2be0: 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 75 6e 63 .**.** This func
2bf0: 74 69 6f 6e 20 61 73 73 75 6d 65 73 20 74 68 61 tion assumes tha
2c00: 74 20 74 68 65 20 6e 65 63 65 73 73 61 72 79 20 t the necessary
2c10: 6d 75 74 65 78 65 73 2c 20 69 66 20 61 6e 79 2c mutexes, if any,
2c20: 20 61 72 65 0a 2a 2a 20 61 6c 72 65 61 64 79 20 are.** already
2c30: 68 65 6c 64 20 62 79 20 74 68 65 20 63 61 6c 6c held by the call
2c40: 65 72 2e 20 48 65 6e 63 65 20 22 55 6e 73 61 66 er. Hence "Unsaf
2c50: 65 22 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 76 6f e"..*/.static vo
2c60: 69 64 20 2a 6d 65 6d 73 79 73 33 4d 61 6c 6c 6f id *memsys3Mallo
2c70: 63 55 6e 73 61 66 65 28 69 6e 74 20 6e 42 79 74 cUnsafe(int nByt
2c80: 65 29 7b 0a 20 20 75 33 32 20 69 3b 0a 20 20 69 e){. u32 i;. i
2c90: 6e 74 20 6e 42 6c 6f 63 6b 3b 0a 20 20 69 6e 74 nt nBlock;. int
2ca0: 20 74 6f 46 72 65 65 3b 0a 0a 20 20 61 73 73 65 toFree;.. asse
2cb0: 72 74 28 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 rt( sqlite3_mute
2cc0: 78 5f 68 65 6c 64 28 6d 65 6d 33 2e 6d 75 74 65 x_held(mem3.mute
2cd0: 78 29 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 x) );. assert(
2ce0: 73 69 7a 65 6f 66 28 4d 65 6d 33 42 6c 6f 63 6b sizeof(Mem3Block
2cf0: 29 3d 3d 38 20 29 3b 0a 20 20 69 66 28 20 6e 42 )==8 );. if( nB
2d00: 79 74 65 3c 3d 31 32 20 29 7b 0a 20 20 20 20 6e yte<=12 ){. n
2d10: 42 6c 6f 63 6b 20 3d 20 32 3b 0a 20 20 7d 65 6c Block = 2;. }el
2d20: 73 65 7b 0a 20 20 20 20 6e 42 6c 6f 63 6b 20 3d se{. nBlock =
2d30: 20 28 6e 42 79 74 65 20 2b 20 31 31 29 2f 38 3b (nByte + 11)/8;
2d40: 0a 20 20 7d 0a 20 20 61 73 73 65 72 74 28 20 6e . }. assert( n
2d50: 42 6c 6f 63 6b 3e 3d 32 20 29 3b 0a 0a 20 20 2f Block>=2 );.. /
2d60: 2a 20 53 54 45 50 20 31 3a 0a 20 20 2a 2a 20 4c * STEP 1:. ** L
2d70: 6f 6f 6b 20 66 6f 72 20 61 6e 20 65 6e 74 72 79 ook for an entry
2d80: 20 6f 66 20 74 68 65 20 63 6f 72 72 65 63 74 20 of the correct
2d90: 73 69 7a 65 20 69 6e 20 65 69 74 68 65 72 20 74 size in either t
2da0: 68 65 20 73 6d 61 6c 6c 0a 20 20 2a 2a 20 63 68 he small. ** ch
2db0: 75 6e 6b 20 74 61 62 6c 65 20 6f 72 20 69 6e 20 unk table or in
2dc0: 74 68 65 20 6c 61 72 67 65 20 63 68 75 6e 6b 20 the large chunk
2dd0: 68 61 73 68 20 74 61 62 6c 65 2e 20 20 54 68 69 hash table. Thi
2de0: 73 20 69 73 0a 20 20 2a 2a 20 73 75 63 63 65 73 s is. ** succes
2df0: 73 66 75 6c 20 6d 6f 73 74 20 6f 66 20 74 68 65 sful most of the
2e00: 20 74 69 6d 65 20 28 61 62 6f 75 74 20 39 20 74 time (about 9 t
2e10: 69 6d 65 73 20 6f 75 74 20 6f 66 20 31 30 29 2e imes out of 10).
2e20: 0a 20 20 2a 2f 0a 20 20 69 66 28 20 6e 42 6c 6f . */. if( nBlo
2e30: 63 6b 20 3c 3d 20 4d 58 5f 53 4d 41 4c 4c 20 29 ck <= MX_SMALL )
2e40: 7b 0a 20 20 20 20 69 20 3d 20 6d 65 6d 33 2e 61 {. i = mem3.a
2e50: 69 53 6d 61 6c 6c 5b 6e 42 6c 6f 63 6b 2d 32 5d iSmall[nBlock-2]
2e60: 3b 0a 20 20 20 20 69 66 28 20 69 3e 30 20 29 7b ;. if( i>0 ){
2e70: 0a 20 20 20 20 20 20 6d 65 6d 73 79 73 33 55 6e . memsys3Un
2e80: 6c 69 6e 6b 46 72 6f 6d 4c 69 73 74 28 69 2c 20 linkFromList(i,
2e90: 26 6d 65 6d 33 2e 61 69 53 6d 61 6c 6c 5b 6e 42 &mem3.aiSmall[nB
2ea0: 6c 6f 63 6b 2d 32 5d 29 3b 0a 20 20 20 20 20 20 lock-2]);.
2eb0: 72 65 74 75 72 6e 20 6d 65 6d 73 79 73 33 43 68 return memsys3Ch
2ec0: 65 63 6b 6f 75 74 28 69 2c 20 6e 42 6c 6f 63 6b eckout(i, nBlock
2ed0: 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 65 6c 73 65 );. }. }else
2ee0: 7b 0a 20 20 20 20 69 6e 74 20 68 61 73 68 20 3d {. int hash =
2ef0: 20 6e 42 6c 6f 63 6b 20 25 20 4e 5f 48 41 53 48 nBlock % N_HASH
2f00: 3b 0a 20 20 20 20 66 6f 72 28 69 3d 6d 65 6d 33 ;. for(i=mem3
2f10: 2e 61 69 48 61 73 68 5b 68 61 73 68 5d 3b 20 69 .aiHash[hash]; i
2f20: 3e 30 3b 20 69 3d 6d 65 6d 33 2e 61 50 6f 6f 6c >0; i=mem3.aPool
2f30: 5b 69 5d 2e 75 2e 6c 69 73 74 2e 6e 65 78 74 29 [i].u.list.next)
2f40: 7b 0a 20 20 20 20 20 20 69 66 28 20 6d 65 6d 33 {. if( mem3
2f50: 2e 61 50 6f 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 64 .aPool[i-1].u.hd
2f60: 72 2e 73 69 7a 65 34 78 2f 34 3d 3d 6e 42 6c 6f r.size4x/4==nBlo
2f70: 63 6b 20 29 7b 0a 20 20 20 20 20 20 20 20 6d 65 ck ){. me
2f80: 6d 73 79 73 33 55 6e 6c 69 6e 6b 46 72 6f 6d 4c msys3UnlinkFromL
2f90: 69 73 74 28 69 2c 20 26 6d 65 6d 33 2e 61 69 48 ist(i, &mem3.aiH
2fa0: 61 73 68 5b 68 61 73 68 5d 29 3b 0a 20 20 20 20 ash[hash]);.
2fb0: 20 20 20 20 72 65 74 75 72 6e 20 6d 65 6d 73 79 return memsy
2fc0: 73 33 43 68 65 63 6b 6f 75 74 28 69 2c 20 6e 42 s3Checkout(i, nB
2fd0: 6c 6f 63 6b 29 3b 0a 20 20 20 20 20 20 7d 0a 20 lock);. }.
2fe0: 20 20 20 7d 0a 20 20 7d 0a 0a 20 20 2f 2a 20 53 }. }.. /* S
2ff0: 54 45 50 20 32 3a 0a 20 20 2a 2a 20 54 72 79 20 TEP 2:. ** Try
3000: 74 6f 20 73 61 74 69 73 66 79 20 74 68 65 20 61 to satisfy the a
3010: 6c 6c 6f 63 61 74 69 6f 6e 20 62 79 20 63 61 72 llocation by car
3020: 76 69 6e 67 20 61 20 70 69 65 63 65 20 6f 66 66 ving a piece off
3030: 20 6f 66 20 74 68 65 20 65 6e 64 0a 20 20 2a 2a of the end. **
3040: 20 6f 66 20 74 68 65 20 6d 61 73 74 65 72 20 63 of the master c
3050: 68 75 6e 6b 2e 20 20 54 68 69 73 20 73 74 65 70 hunk. This step
3060: 20 75 73 75 61 6c 6c 79 20 77 6f 72 6b 73 20 69 usually works i
3070: 66 20 73 74 65 70 20 31 20 66 61 69 6c 73 2e 0a f step 1 fails..
3080: 20 20 2a 2f 0a 20 20 69 66 28 20 6d 65 6d 33 2e */. if( mem3.
3090: 73 7a 4d 61 73 74 65 72 3e 3d 6e 42 6c 6f 63 6b szMaster>=nBlock
30a0: 20 29 7b 0a 20 20 20 20 72 65 74 75 72 6e 20 6d ){. return m
30b0: 65 6d 73 79 73 33 46 72 6f 6d 4d 61 73 74 65 72 emsys3FromMaster
30c0: 28 6e 42 6c 6f 63 6b 29 3b 0a 20 20 7d 0a 0a 0a (nBlock);. }...
30d0: 20 20 2f 2a 20 53 54 45 50 20 33 3a 20 20 0a 20 /* STEP 3: .
30e0: 20 2a 2a 20 4c 6f 6f 70 20 74 68 72 6f 75 67 68 ** Loop through
30f0: 20 74 68 65 20 65 6e 74 69 72 65 20 6d 65 6d 6f the entire memo
3100: 72 79 20 70 6f 6f 6c 2e 20 20 43 6f 61 6c 65 73 ry pool. Coales
3110: 63 65 20 61 64 6a 61 63 65 6e 74 20 66 72 65 65 ce adjacent free
3120: 0a 20 20 2a 2a 20 63 68 75 6e 6b 73 2e 20 20 52 . ** chunks. R
3130: 65 63 6f 6d 70 75 74 65 20 74 68 65 20 6d 61 73 ecompute the mas
3140: 74 65 72 20 63 68 75 6e 6b 20 61 73 20 74 68 65 ter chunk as the
3150: 20 6c 61 72 67 65 73 74 20 66 72 65 65 20 63 68 largest free ch
3160: 75 6e 6b 2e 0a 20 20 2a 2a 20 54 68 65 6e 20 74 unk.. ** Then t
3170: 72 79 20 61 67 61 69 6e 20 74 6f 20 73 61 74 69 ry again to sati
3180: 73 66 79 20 74 68 65 20 61 6c 6c 6f 63 61 74 69 sfy the allocati
3190: 6f 6e 20 62 79 20 63 61 72 76 69 6e 67 20 61 20 on by carving a
31a0: 70 69 65 63 65 20 6f 66 66 0a 20 20 2a 2a 20 6f piece off. ** o
31b0: 66 20 74 68 65 20 65 6e 64 20 6f 66 20 74 68 65 f the end of the
31c0: 20 6d 61 73 74 65 72 20 63 68 75 6e 6b 2e 20 20 master chunk.
31d0: 54 68 69 73 20 73 74 65 70 20 68 61 70 70 65 6e This step happen
31e0: 73 20 76 65 72 79 0a 20 20 2a 2a 20 72 61 72 65 s very. ** rare
31f0: 6c 79 20 28 77 65 20 68 6f 70 65 21 29 0a 20 20 ly (we hope!).
3200: 2a 2f 0a 20 20 66 6f 72 28 74 6f 46 72 65 65 3d */. for(toFree=
3210: 6e 42 6c 6f 63 6b 2a 31 36 3b 20 74 6f 46 72 65 nBlock*16; toFre
3220: 65 3c 28 6d 65 6d 33 2e 6e 50 6f 6f 6c 2a 31 36 e<(mem3.nPool*16
3230: 29 3b 20 74 6f 46 72 65 65 20 2a 3d 20 32 29 7b ); toFree *= 2){
3240: 0a 20 20 20 20 6d 65 6d 73 79 73 33 4f 75 74 4f . memsys3OutO
3250: 66 4d 65 6d 6f 72 79 28 74 6f 46 72 65 65 29 3b fMemory(toFree);
3260: 0a 20 20 20 20 69 66 28 20 6d 65 6d 33 2e 69 4d . if( mem3.iM
3270: 61 73 74 65 72 20 29 7b 0a 20 20 20 20 20 20 6d aster ){. m
3280: 65 6d 73 79 73 33 4c 69 6e 6b 28 6d 65 6d 33 2e emsys3Link(mem3.
3290: 69 4d 61 73 74 65 72 29 3b 0a 20 20 20 20 20 20 iMaster);.
32a0: 6d 65 6d 33 2e 69 4d 61 73 74 65 72 20 3d 20 30 mem3.iMaster = 0
32b0: 3b 0a 20 20 20 20 20 20 6d 65 6d 33 2e 73 7a 4d ;. mem3.szM
32c0: 61 73 74 65 72 20 3d 20 30 3b 0a 20 20 20 20 7d aster = 0;. }
32d0: 0a 20 20 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c . for(i=0; i<
32e0: 4e 5f 48 41 53 48 3b 20 69 2b 2b 29 7b 0a 20 20 N_HASH; i++){.
32f0: 20 20 20 20 6d 65 6d 73 79 73 33 4d 65 72 67 65 memsys3Merge
3300: 28 26 6d 65 6d 33 2e 61 69 48 61 73 68 5b 69 5d (&mem3.aiHash[i]
3310: 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20 66 6f 72 );. }. for
3320: 28 69 3d 30 3b 20 69 3c 4d 58 5f 53 4d 41 4c 4c (i=0; i<MX_SMALL
3330: 2d 31 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 20 20 -1; i++){.
3340: 6d 65 6d 73 79 73 33 4d 65 72 67 65 28 26 6d 65 memsys3Merge(&me
3350: 6d 33 2e 61 69 53 6d 61 6c 6c 5b 69 5d 29 3b 0a m3.aiSmall[i]);.
3360: 20 20 20 20 7d 0a 20 20 20 20 69 66 28 20 6d 65 }. if( me
3370: 6d 33 2e 73 7a 4d 61 73 74 65 72 20 29 7b 0a 20 m3.szMaster ){.
3380: 20 20 20 20 20 6d 65 6d 73 79 73 33 55 6e 6c 69 memsys3Unli
3390: 6e 6b 28 6d 65 6d 33 2e 69 4d 61 73 74 65 72 29 nk(mem3.iMaster)
33a0: 3b 0a 20 20 20 20 20 20 69 66 28 20 6d 65 6d 33 ;. if( mem3
33b0: 2e 73 7a 4d 61 73 74 65 72 3e 3d 6e 42 6c 6f 63 .szMaster>=nBloc
33c0: 6b 20 29 7b 0a 20 20 20 20 20 20 20 20 72 65 74 k ){. ret
33d0: 75 72 6e 20 6d 65 6d 73 79 73 33 46 72 6f 6d 4d urn memsys3FromM
33e0: 61 73 74 65 72 28 6e 42 6c 6f 63 6b 29 3b 0a 20 aster(nBlock);.
33f0: 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d }. }. }
3400: 0a 0a 20 20 2f 2a 20 49 66 20 6e 6f 6e 65 20 6f .. /* If none o
3410: 66 20 74 68 65 20 61 62 6f 76 65 20 77 6f 72 6b f the above work
3420: 65 64 2c 20 74 68 65 6e 20 77 65 20 66 61 69 6c ed, then we fail
3430: 2e 20 2a 2f 0a 20 20 72 65 74 75 72 6e 20 30 3b . */. return 0;
3440: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 46 72 65 65 20 61 .}../*.** Free a
3450: 6e 20 6f 75 74 73 74 61 6e 64 69 6e 67 20 6d 65 n outstanding me
3460: 6d 6f 72 79 20 61 6c 6c 6f 63 61 74 69 6f 6e 2e mory allocation.
3470: 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 66 75 6e 63 .**.** This func
3480: 74 69 6f 6e 20 61 73 73 75 6d 65 73 20 74 68 61 tion assumes tha
3490: 74 20 74 68 65 20 6e 65 63 65 73 73 61 72 79 20 t the necessary
34a0: 6d 75 74 65 78 65 73 2c 20 69 66 20 61 6e 79 2c mutexes, if any,
34b0: 20 61 72 65 0a 2a 2a 20 61 6c 72 65 61 64 79 20 are.** already
34c0: 68 65 6c 64 20 62 79 20 74 68 65 20 63 61 6c 6c held by the call
34d0: 65 72 2e 20 48 65 6e 63 65 20 22 55 6e 73 61 66 er. Hence "Unsaf
34e0: 65 22 2e 0a 2a 2f 0a 76 6f 69 64 20 6d 65 6d 73 e"..*/.void mems
34f0: 79 73 33 46 72 65 65 55 6e 73 61 66 65 28 76 6f ys3FreeUnsafe(vo
3500: 69 64 20 2a 70 4f 6c 64 29 7b 0a 20 20 4d 65 6d id *pOld){. Mem
3510: 33 42 6c 6f 63 6b 20 2a 70 20 3d 20 28 4d 65 6d 3Block *p = (Mem
3520: 33 42 6c 6f 63 6b 2a 29 70 4f 6c 64 3b 0a 20 20 3Block*)pOld;.
3530: 69 6e 74 20 69 3b 0a 20 20 75 33 32 20 73 69 7a int i;. u32 siz
3540: 65 2c 20 78 3b 0a 20 20 61 73 73 65 72 74 28 20 e, x;. assert(
3550: 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 5f 68 65 sqlite3_mutex_he
3560: 6c 64 28 6d 65 6d 33 2e 6d 75 74 65 78 29 20 29 ld(mem3.mutex) )
3570: 3b 0a 20 20 61 73 73 65 72 74 28 20 70 3e 6d 65 ;. assert( p>me
3580: 6d 33 2e 61 50 6f 6f 6c 20 26 26 20 70 3c 26 6d m3.aPool && p<&m
3590: 65 6d 33 2e 61 50 6f 6f 6c 5b 6d 65 6d 33 2e 6e em3.aPool[mem3.n
35a0: 50 6f 6f 6c 5d 20 29 3b 0a 20 20 69 20 3d 20 70 Pool] );. i = p
35b0: 20 2d 20 6d 65 6d 33 2e 61 50 6f 6f 6c 3b 0a 20 - mem3.aPool;.
35c0: 20 61 73 73 65 72 74 28 20 28 6d 65 6d 33 2e 61 assert( (mem3.a
35d0: 50 6f 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 64 72 2e Pool[i-1].u.hdr.
35e0: 73 69 7a 65 34 78 26 31 29 3d 3d 31 20 29 3b 0a size4x&1)==1 );.
35f0: 20 20 73 69 7a 65 20 3d 20 6d 65 6d 33 2e 61 50 size = mem3.aP
3600: 6f 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 64 72 2e 73 ool[i-1].u.hdr.s
3610: 69 7a 65 34 78 2f 34 3b 0a 20 20 61 73 73 65 72 ize4x/4;. asser
3620: 74 28 20 69 2b 73 69 7a 65 3c 3d 6d 65 6d 33 2e t( i+size<=mem3.
3630: 6e 50 6f 6f 6c 2b 31 20 29 3b 0a 20 20 6d 65 6d nPool+1 );. mem
3640: 33 2e 61 50 6f 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 3.aPool[i-1].u.h
3650: 64 72 2e 73 69 7a 65 34 78 20 26 3d 20 7e 31 3b dr.size4x &= ~1;
3660: 0a 20 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 2b . mem3.aPool[i+
3670: 73 69 7a 65 2d 31 5d 2e 75 2e 68 64 72 2e 70 72 size-1].u.hdr.pr
3680: 65 76 53 69 7a 65 20 3d 20 73 69 7a 65 3b 0a 20 evSize = size;.
3690: 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 2b 73 69 mem3.aPool[i+si
36a0: 7a 65 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 ze-1].u.hdr.size
36b0: 34 78 20 26 3d 20 7e 32 3b 0a 20 20 6d 65 6d 73 4x &= ~2;. mems
36c0: 79 73 33 4c 69 6e 6b 28 69 29 3b 0a 0a 20 20 2f ys3Link(i);.. /
36d0: 2a 20 54 72 79 20 74 6f 20 65 78 70 61 6e 64 20 * Try to expand
36e0: 74 68 65 20 6d 61 73 74 65 72 20 75 73 69 6e 67 the master using
36f0: 20 74 68 65 20 6e 65 77 6c 79 20 66 72 65 65 64 the newly freed
3700: 20 63 68 75 6e 6b 20 2a 2f 0a 20 20 69 66 28 20 chunk */. if(
3710: 6d 65 6d 33 2e 69 4d 61 73 74 65 72 20 29 7b 0a mem3.iMaster ){.
3720: 20 20 20 20 77 68 69 6c 65 28 20 28 6d 65 6d 33 while( (mem3
3730: 2e 61 50 6f 6f 6c 5b 6d 65 6d 33 2e 69 4d 61 73 .aPool[mem3.iMas
3740: 74 65 72 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a ter-1].u.hdr.siz
3750: 65 34 78 26 32 29 3d 3d 30 20 29 7b 0a 20 20 20 e4x&2)==0 ){.
3760: 20 20 20 73 69 7a 65 20 3d 20 6d 65 6d 33 2e 61 size = mem3.a
3770: 50 6f 6f 6c 5b 6d 65 6d 33 2e 69 4d 61 73 74 65 Pool[mem3.iMaste
3780: 72 2d 31 5d 2e 75 2e 68 64 72 2e 70 72 65 76 53 r-1].u.hdr.prevS
3790: 69 7a 65 3b 0a 20 20 20 20 20 20 6d 65 6d 33 2e ize;. mem3.
37a0: 69 4d 61 73 74 65 72 20 2d 3d 20 73 69 7a 65 3b iMaster -= size;
37b0: 0a 20 20 20 20 20 20 6d 65 6d 33 2e 73 7a 4d 61 . mem3.szMa
37c0: 73 74 65 72 20 2b 3d 20 73 69 7a 65 3b 0a 20 20 ster += size;.
37d0: 20 20 20 20 6d 65 6d 73 79 73 33 55 6e 6c 69 6e memsys3Unlin
37e0: 6b 28 6d 65 6d 33 2e 69 4d 61 73 74 65 72 29 3b k(mem3.iMaster);
37f0: 0a 20 20 20 20 20 20 78 20 3d 20 6d 65 6d 33 2e . x = mem3.
3800: 61 50 6f 6f 6c 5b 6d 65 6d 33 2e 69 4d 61 73 74 aPool[mem3.iMast
3810: 65 72 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 er-1].u.hdr.size
3820: 34 78 20 26 20 32 3b 0a 20 20 20 20 20 20 6d 65 4x & 2;. me
3830: 6d 33 2e 61 50 6f 6f 6c 5b 6d 65 6d 33 2e 69 4d m3.aPool[mem3.iM
3840: 61 73 74 65 72 2d 31 5d 2e 75 2e 68 64 72 2e 73 aster-1].u.hdr.s
3850: 69 7a 65 34 78 20 3d 20 6d 65 6d 33 2e 73 7a 4d ize4x = mem3.szM
3860: 61 73 74 65 72 2a 34 20 7c 20 78 3b 0a 20 20 20 aster*4 | x;.
3870: 20 20 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 6d 65 mem3.aPool[me
3880: 6d 33 2e 69 4d 61 73 74 65 72 2b 6d 65 6d 33 2e m3.iMaster+mem3.
3890: 73 7a 4d 61 73 74 65 72 2d 31 5d 2e 75 2e 68 64 szMaster-1].u.hd
38a0: 72 2e 70 72 65 76 53 69 7a 65 20 3d 20 6d 65 6d r.prevSize = mem
38b0: 33 2e 73 7a 4d 61 73 74 65 72 3b 0a 20 20 20 20 3.szMaster;.
38c0: 7d 0a 20 20 20 20 78 20 3d 20 6d 65 6d 33 2e 61 }. x = mem3.a
38d0: 50 6f 6f 6c 5b 6d 65 6d 33 2e 69 4d 61 73 74 65 Pool[mem3.iMaste
38e0: 72 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 r-1].u.hdr.size4
38f0: 78 20 26 20 32 3b 0a 20 20 20 20 77 68 69 6c 65 x & 2;. while
3900: 28 20 28 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 6d 65 ( (mem3.aPool[me
3910: 6d 33 2e 69 4d 61 73 74 65 72 2b 6d 65 6d 33 2e m3.iMaster+mem3.
3920: 73 7a 4d 61 73 74 65 72 2d 31 5d 2e 75 2e 68 64 szMaster-1].u.hd
3930: 72 2e 73 69 7a 65 34 78 26 31 29 3d 3d 30 20 29 r.size4x&1)==0 )
3940: 7b 0a 20 20 20 20 20 20 6d 65 6d 73 79 73 33 55 {. memsys3U
3950: 6e 6c 69 6e 6b 28 6d 65 6d 33 2e 69 4d 61 73 74 nlink(mem3.iMast
3960: 65 72 2b 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 er+mem3.szMaster
3970: 29 3b 0a 20 20 20 20 20 20 6d 65 6d 33 2e 73 7a );. mem3.sz
3980: 4d 61 73 74 65 72 20 2b 3d 20 6d 65 6d 33 2e 61 Master += mem3.a
3990: 50 6f 6f 6c 5b 6d 65 6d 33 2e 69 4d 61 73 74 65 Pool[mem3.iMaste
39a0: 72 2b 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 2d r+mem3.szMaster-
39b0: 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 2f 1].u.hdr.size4x/
39c0: 34 3b 0a 20 20 20 20 20 20 6d 65 6d 33 2e 61 50 4;. mem3.aP
39d0: 6f 6f 6c 5b 6d 65 6d 33 2e 69 4d 61 73 74 65 72 ool[mem3.iMaster
39e0: 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 -1].u.hdr.size4x
39f0: 20 3d 20 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 = mem3.szMaster
3a00: 2a 34 20 7c 20 78 3b 0a 20 20 20 20 20 20 6d 65 *4 | x;. me
3a10: 6d 33 2e 61 50 6f 6f 6c 5b 6d 65 6d 33 2e 69 4d m3.aPool[mem3.iM
3a20: 61 73 74 65 72 2b 6d 65 6d 33 2e 73 7a 4d 61 73 aster+mem3.szMas
3a30: 74 65 72 2d 31 5d 2e 75 2e 68 64 72 2e 70 72 65 ter-1].u.hdr.pre
3a40: 76 53 69 7a 65 20 3d 20 6d 65 6d 33 2e 73 7a 4d vSize = mem3.szM
3a50: 61 73 74 65 72 3b 0a 20 20 20 20 7d 0a 20 20 7d aster;. }. }
3a60: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 52 65 74 75 72 6e .}../*.** Return
3a70: 20 74 68 65 20 73 69 7a 65 20 6f 66 20 61 6e 20 the size of an
3a80: 6f 75 74 73 74 61 6e 64 69 6e 67 20 61 6c 6c 6f outstanding allo
3a90: 63 61 74 69 6f 6e 2c 20 69 6e 20 62 79 74 65 73 cation, in bytes
3aa0: 2e 20 20 54 68 65 0a 2a 2a 20 73 69 7a 65 20 72 . The.** size r
3ab0: 65 74 75 72 6e 65 64 20 6f 6d 69 74 73 20 74 68 eturned omits th
3ac0: 65 20 38 2d 62 79 74 65 20 68 65 61 64 65 72 20 e 8-byte header
3ad0: 6f 76 65 72 68 65 61 64 2e 20 20 54 68 69 73 20 overhead. This
3ae0: 6f 6e 6c 79 0a 2a 2a 20 77 6f 72 6b 73 20 66 6f only.** works fo
3af0: 72 20 63 68 75 6e 6b 73 20 74 68 61 74 20 61 72 r chunks that ar
3b00: 65 20 63 75 72 72 65 6e 74 6c 79 20 63 68 65 63 e currently chec
3b10: 6b 65 64 20 6f 75 74 2e 0a 2a 2f 0a 73 74 61 74 ked out..*/.stat
3b20: 69 63 20 69 6e 74 20 6d 65 6d 73 79 73 33 53 69 ic int memsys3Si
3b30: 7a 65 28 76 6f 69 64 20 2a 70 29 7b 0a 20 20 4d ze(void *p){. M
3b40: 65 6d 33 42 6c 6f 63 6b 20 2a 70 42 6c 6f 63 6b em3Block *pBlock
3b50: 3b 0a 20 20 69 66 28 20 70 3d 3d 30 20 29 20 72 ;. if( p==0 ) r
3b60: 65 74 75 72 6e 20 30 3b 0a 20 20 70 42 6c 6f 63 eturn 0;. pBloc
3b70: 6b 20 3d 20 28 4d 65 6d 33 42 6c 6f 63 6b 2a 29 k = (Mem3Block*)
3b80: 70 3b 0a 20 20 61 73 73 65 72 74 28 20 28 70 42 p;. assert( (pB
3b90: 6c 6f 63 6b 5b 2d 31 5d 2e 75 2e 68 64 72 2e 73 lock[-1].u.hdr.s
3ba0: 69 7a 65 34 78 26 31 29 21 3d 30 20 29 3b 0a 20 ize4x&1)!=0 );.
3bb0: 20 72 65 74 75 72 6e 20 28 70 42 6c 6f 63 6b 5b return (pBlock[
3bc0: 2d 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 -1].u.hdr.size4x
3bd0: 26 7e 33 29 2a 32 20 2d 20 34 3b 0a 7d 0a 0a 2f &~3)*2 - 4;.}../
3be0: 2a 0a 2a 2a 20 52 6f 75 6e 64 20 75 70 20 61 20 *.** Round up a
3bf0: 72 65 71 75 65 73 74 20 73 69 7a 65 20 74 6f 20 request size to
3c00: 74 68 65 20 6e 65 78 74 20 76 61 6c 69 64 20 61 the next valid a
3c10: 6c 6c 6f 63 61 74 69 6f 6e 20 73 69 7a 65 2e 0a llocation size..
3c20: 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 20 6d 65 */.static int me
3c30: 6d 73 79 73 33 52 6f 75 6e 64 75 70 28 69 6e 74 msys3Roundup(int
3c40: 20 6e 29 7b 0a 20 20 69 66 28 20 6e 3c 3d 31 32 n){. if( n<=12
3c50: 20 29 7b 0a 20 20 20 20 72 65 74 75 72 6e 20 31 ){. return 1
3c60: 32 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 2;. }else{.
3c70: 72 65 74 75 72 6e 20 28 28 6e 2b 31 31 29 26 7e return ((n+11)&~
3c80: 37 29 20 2d 20 34 3b 0a 20 20 7d 0a 7d 0a 0a 2f 7) - 4;. }.}../
3c90: 2a 0a 2a 2a 20 41 6c 6c 6f 63 61 74 65 20 6e 42 *.** Allocate nB
3ca0: 79 74 65 73 20 6f 66 20 6d 65 6d 6f 72 79 2e 0a ytes of memory..
3cb0: 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 2a */.static void *
3cc0: 6d 65 6d 73 79 73 33 4d 61 6c 6c 6f 63 28 69 6e memsys3Malloc(in
3cd0: 74 20 6e 42 79 74 65 73 29 7b 0a 20 20 73 71 6c t nBytes){. sql
3ce0: 69 74 65 33 5f 69 6e 74 36 34 20 2a 70 3b 0a 20 ite3_int64 *p;.
3cf0: 20 61 73 73 65 72 74 28 20 6e 42 79 74 65 73 3e assert( nBytes>
3d00: 30 20 29 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 0 ); /*
3d10: 20 6d 61 6c 6c 6f 63 2e 63 20 66 69 6c 74 65 72 malloc.c filter
3d20: 73 20 6f 75 74 20 30 20 62 79 74 65 20 72 65 71 s out 0 byte req
3d30: 75 65 73 74 73 20 2a 2f 0a 20 20 6d 65 6d 73 79 uests */. memsy
3d40: 73 33 45 6e 74 65 72 28 29 3b 0a 20 20 70 20 3d s3Enter();. p =
3d50: 20 6d 65 6d 73 79 73 33 4d 61 6c 6c 6f 63 55 6e memsys3MallocUn
3d60: 73 61 66 65 28 6e 42 79 74 65 73 29 3b 0a 20 20 safe(nBytes);.
3d70: 6d 65 6d 73 79 73 33 4c 65 61 76 65 28 29 3b 0a memsys3Leave();.
3d80: 20 20 72 65 74 75 72 6e 20 28 76 6f 69 64 2a 29 return (void*)
3d90: 70 3b 20 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 46 72 65 p; .}../*.** Fre
3da0: 65 20 6d 65 6d 6f 72 79 2e 0a 2a 2f 0a 76 6f 69 e memory..*/.voi
3db0: 64 20 6d 65 6d 73 79 73 33 46 72 65 65 28 76 6f d memsys3Free(vo
3dc0: 69 64 20 2a 70 50 72 69 6f 72 29 7b 0a 20 20 61 id *pPrior){. a
3dd0: 73 73 65 72 74 28 20 70 50 72 69 6f 72 20 29 3b ssert( pPrior );
3de0: 0a 20 20 6d 65 6d 73 79 73 33 45 6e 74 65 72 28 . memsys3Enter(
3df0: 29 3b 0a 20 20 6d 65 6d 73 79 73 33 46 72 65 65 );. memsys3Free
3e00: 55 6e 73 61 66 65 28 70 50 72 69 6f 72 29 3b 0a Unsafe(pPrior);.
3e10: 20 20 6d 65 6d 73 79 73 33 4c 65 61 76 65 28 29 memsys3Leave()
3e20: 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 43 68 61 6e 67 ;.}../*.** Chang
3e30: 65 20 74 68 65 20 73 69 7a 65 20 6f 66 20 61 6e e the size of an
3e40: 20 65 78 69 73 74 69 6e 67 20 6d 65 6d 6f 72 79 existing memory
3e50: 20 61 6c 6c 6f 63 61 74 69 6f 6e 0a 2a 2f 0a 76 allocation.*/.v
3e60: 6f 69 64 20 2a 6d 65 6d 73 79 73 33 52 65 61 6c oid *memsys3Real
3e70: 6c 6f 63 28 76 6f 69 64 20 2a 70 50 72 69 6f 72 loc(void *pPrior
3e80: 2c 20 69 6e 74 20 6e 42 79 74 65 73 29 7b 0a 20 , int nBytes){.
3e90: 20 69 6e 74 20 6e 4f 6c 64 3b 0a 20 20 76 6f 69 int nOld;. voi
3ea0: 64 20 2a 70 3b 0a 20 20 69 66 28 20 70 50 72 69 d *p;. if( pPri
3eb0: 6f 72 3d 3d 30 20 29 7b 0a 20 20 20 20 72 65 74 or==0 ){. ret
3ec0: 75 72 6e 20 73 71 6c 69 74 65 33 5f 6d 61 6c 6c urn sqlite3_mall
3ed0: 6f 63 28 6e 42 79 74 65 73 29 3b 0a 20 20 7d 0a oc(nBytes);. }.
3ee0: 20 20 69 66 28 20 6e 42 79 74 65 73 3c 3d 30 20 if( nBytes<=0
3ef0: 29 7b 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 66 ){. sqlite3_f
3f00: 72 65 65 28 70 50 72 69 6f 72 29 3b 0a 20 20 20 ree(pPrior);.
3f10: 20 72 65 74 75 72 6e 20 30 3b 0a 20 20 7d 0a 20 return 0;. }.
3f20: 20 6e 4f 6c 64 20 3d 20 6d 65 6d 73 79 73 33 53 nOld = memsys3S
3f30: 69 7a 65 28 70 50 72 69 6f 72 29 3b 0a 20 20 69 ize(pPrior);. i
3f40: 66 28 20 6e 42 79 74 65 73 3c 3d 6e 4f 6c 64 20 f( nBytes<=nOld
3f50: 26 26 20 6e 42 79 74 65 73 3e 3d 6e 4f 6c 64 2d && nBytes>=nOld-
3f60: 31 32 38 20 29 7b 0a 20 20 20 20 72 65 74 75 72 128 ){. retur
3f70: 6e 20 70 50 72 69 6f 72 3b 0a 20 20 7d 0a 20 20 n pPrior;. }.
3f80: 6d 65 6d 73 79 73 33 45 6e 74 65 72 28 29 3b 0a memsys3Enter();.
3f90: 20 20 70 20 3d 20 6d 65 6d 73 79 73 33 4d 61 6c p = memsys3Mal
3fa0: 6c 6f 63 55 6e 73 61 66 65 28 6e 42 79 74 65 73 locUnsafe(nBytes
3fb0: 29 3b 0a 20 20 69 66 28 20 70 20 29 7b 0a 20 20 );. if( p ){.
3fc0: 20 20 69 66 28 20 6e 4f 6c 64 3c 6e 42 79 74 65 if( nOld<nByte
3fd0: 73 20 29 7b 0a 20 20 20 20 20 20 6d 65 6d 63 70 s ){. memcp
3fe0: 79 28 70 2c 20 70 50 72 69 6f 72 2c 20 6e 4f 6c y(p, pPrior, nOl
3ff0: 64 29 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20 d);. }else{.
4000: 20 20 20 20 20 6d 65 6d 63 70 79 28 70 2c 20 70 memcpy(p, p
4010: 50 72 69 6f 72 2c 20 6e 42 79 74 65 73 29 3b 0a Prior, nBytes);.
4020: 20 20 20 20 7d 0a 20 20 20 20 6d 65 6d 73 79 73 }. memsys
4030: 33 46 72 65 65 55 6e 73 61 66 65 28 70 50 72 69 3FreeUnsafe(pPri
4040: 6f 72 29 3b 0a 20 20 7d 0a 20 20 6d 65 6d 73 79 or);. }. memsy
4050: 73 33 4c 65 61 76 65 28 29 3b 0a 20 20 72 65 74 s3Leave();. ret
4060: 75 72 6e 20 70 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 urn p;.}../*.**
4070: 49 6e 69 74 69 61 6c 69 7a 65 20 74 68 69 73 20 Initialize this
4080: 6d 6f 64 75 6c 65 2e 0a 2a 2f 0a 73 74 61 74 69 module..*/.stati
4090: 63 20 69 6e 74 20 6d 65 6d 73 79 73 33 49 6e 69 c int memsys3Ini
40a0: 74 28 76 6f 69 64 20 2a 4e 6f 74 55 73 65 64 29 t(void *NotUsed)
40b0: 7b 0a 20 20 69 66 28 20 21 73 71 6c 69 74 65 33 {. if( !sqlite3
40c0: 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 70 48 65 GlobalConfig.pHe
40d0: 61 70 20 29 7b 0a 20 20 20 20 72 65 74 75 72 6e ap ){. return
40e0: 20 53 51 4c 49 54 45 5f 45 52 52 4f 52 3b 0a 20 SQLITE_ERROR;.
40f0: 20 7d 0a 0a 20 20 2f 2a 20 53 74 6f 72 65 20 61 }.. /* Store a
4100: 20 70 6f 69 6e 74 65 72 20 74 6f 20 74 68 65 20 pointer to the
4110: 6d 65 6d 6f 72 79 20 62 6c 6f 63 6b 20 69 6e 20 memory block in
4120: 67 6c 6f 62 61 6c 20 73 74 72 75 63 74 75 72 65 global structure
4130: 20 6d 65 6d 33 2e 20 2a 2f 0a 20 20 61 73 73 65 mem3. */. asse
4140: 72 74 28 20 73 69 7a 65 6f 66 28 4d 65 6d 33 42 rt( sizeof(Mem3B
4150: 6c 6f 63 6b 29 3d 3d 38 20 29 3b 0a 20 20 6d 65 lock)==8 );. me
4160: 6d 33 2e 61 50 6f 6f 6c 20 3d 20 28 4d 65 6d 33 m3.aPool = (Mem3
4170: 42 6c 6f 63 6b 20 2a 29 73 71 6c 69 74 65 33 47 Block *)sqlite3G
4180: 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 70 48 65 61 lobalConfig.pHea
4190: 70 3b 0a 20 20 6d 65 6d 33 2e 6e 50 6f 6f 6c 20 p;. mem3.nPool
41a0: 3d 20 28 73 71 6c 69 74 65 33 47 6c 6f 62 61 6c = (sqlite3Global
41b0: 43 6f 6e 66 69 67 2e 6e 48 65 61 70 20 2f 20 73 Config.nHeap / s
41c0: 69 7a 65 6f 66 28 4d 65 6d 33 42 6c 6f 63 6b 29 izeof(Mem3Block)
41d0: 29 20 2d 20 32 3b 0a 0a 20 20 2f 2a 20 49 6e 69 ) - 2;.. /* Ini
41e0: 74 69 61 6c 69 7a 65 20 74 68 65 20 6d 61 73 74 tialize the mast
41f0: 65 72 20 62 6c 6f 63 6b 2e 20 2a 2f 0a 20 20 6d er block. */. m
4200: 65 6d 33 2e 73 7a 4d 61 73 74 65 72 20 3d 20 6d em3.szMaster = m
4210: 65 6d 33 2e 6e 50 6f 6f 6c 3b 0a 20 20 6d 65 6d em3.nPool;. mem
4220: 33 2e 6d 6e 4d 61 73 74 65 72 20 3d 20 6d 65 6d 3.mnMaster = mem
4230: 33 2e 73 7a 4d 61 73 74 65 72 3b 0a 20 20 6d 65 3.szMaster;. me
4240: 6d 33 2e 69 4d 61 73 74 65 72 20 3d 20 31 3b 0a m3.iMaster = 1;.
4250: 20 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 30 5d 2e mem3.aPool[0].
4260: 75 2e 68 64 72 2e 73 69 7a 65 34 78 20 3d 20 28 u.hdr.size4x = (
4270: 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 3c 3c 32 mem3.szMaster<<2
4280: 29 20 2b 20 32 3b 0a 20 20 6d 65 6d 33 2e 61 50 ) + 2;. mem3.aP
4290: 6f 6f 6c 5b 6d 65 6d 33 2e 6e 50 6f 6f 6c 5d 2e ool[mem3.nPool].
42a0: 75 2e 68 64 72 2e 70 72 65 76 53 69 7a 65 20 3d u.hdr.prevSize =
42b0: 20 6d 65 6d 33 2e 6e 50 6f 6f 6c 3b 0a 20 20 6d mem3.nPool;. m
42c0: 65 6d 33 2e 61 50 6f 6f 6c 5b 6d 65 6d 33 2e 6e em3.aPool[mem3.n
42d0: 50 6f 6f 6c 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 Pool].u.hdr.size
42e0: 34 78 20 3d 20 31 3b 0a 0a 20 20 72 65 74 75 72 4x = 1;.. retur
42f0: 6e 20 53 51 4c 49 54 45 5f 4f 4b 3b 0a 7d 0a 0a n SQLITE_OK;.}..
4300: 2f 2a 0a 2a 2a 20 44 65 69 6e 69 74 69 61 6c 69 /*.** Deinitiali
4310: 7a 65 20 74 68 69 73 20 6d 6f 64 75 6c 65 2e 0a ze this module..
4320: 2a 2f 0a 73 74 61 74 69 63 20 76 6f 69 64 20 6d */.static void m
4330: 65 6d 73 79 73 33 53 68 75 74 64 6f 77 6e 28 76 emsys3Shutdown(v
4340: 6f 69 64 20 2a 4e 6f 74 55 73 65 64 29 7b 0a 20 oid *NotUsed){.
4350: 20 72 65 74 75 72 6e 3b 0a 7d 0a 0a 0a 0a 2f 2a return;.}..../*
4360: 0a 2a 2a 20 4f 70 65 6e 20 74 68 65 20 66 69 6c .** Open the fil
4370: 65 20 69 6e 64 69 63 61 74 65 64 20 61 6e 64 20 e indicated and
4380: 77 72 69 74 65 20 61 20 6c 6f 67 20 6f 66 20 61 write a log of a
4390: 6c 6c 20 75 6e 66 72 65 65 64 20 6d 65 6d 6f 72 ll unfreed memor
43a0: 79 20 0a 2a 2a 20 61 6c 6c 6f 63 61 74 69 6f 6e y .** allocation
43b0: 73 20 69 6e 74 6f 20 74 68 61 74 20 6c 6f 67 2e s into that log.
43c0: 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 .*/.void sqlite3
43d0: 4d 65 6d 73 79 73 33 44 75 6d 70 28 63 6f 6e 73 Memsys3Dump(cons
43e0: 74 20 63 68 61 72 20 2a 7a 46 69 6c 65 6e 61 6d t char *zFilenam
43f0: 65 29 7b 0a 23 69 66 64 65 66 20 53 51 4c 49 54 e){.#ifdef SQLIT
4400: 45 5f 44 45 42 55 47 0a 20 20 46 49 4c 45 20 2a E_DEBUG. FILE *
4410: 6f 75 74 3b 0a 20 20 69 6e 74 20 69 2c 20 6a 3b out;. int i, j;
4420: 0a 20 20 75 33 32 20 73 69 7a 65 3b 0a 20 20 69 . u32 size;. i
4430: 66 28 20 7a 46 69 6c 65 6e 61 6d 65 3d 3d 30 20 f( zFilename==0
4440: 7c 7c 20 7a 46 69 6c 65 6e 61 6d 65 5b 30 5d 3d || zFilename[0]=
4450: 3d 30 20 29 7b 0a 20 20 20 20 6f 75 74 20 3d 20 =0 ){. out =
4460: 73 74 64 6f 75 74 3b 0a 20 20 7d 65 6c 73 65 7b stdout;. }else{
4470: 0a 20 20 20 20 6f 75 74 20 3d 20 66 6f 70 65 6e . out = fopen
4480: 28 7a 46 69 6c 65 6e 61 6d 65 2c 20 22 77 22 29 (zFilename, "w")
4490: 3b 0a 20 20 20 20 69 66 28 20 6f 75 74 3d 3d 30 ;. if( out==0
44a0: 20 29 7b 0a 20 20 20 20 20 20 66 70 72 69 6e 74 ){. fprint
44b0: 66 28 73 74 64 65 72 72 2c 20 22 2a 2a 20 55 6e f(stderr, "** Un
44c0: 61 62 6c 65 20 74 6f 20 6f 75 74 70 75 74 20 6d able to output m
44d0: 65 6d 6f 72 79 20 64 65 62 75 67 20 6f 75 74 70 emory debug outp
44e0: 75 74 20 6c 6f 67 3a 20 25 73 20 2a 2a 5c 6e 22 ut log: %s **\n"
44f0: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ,.
4500: 20 20 20 20 20 20 20 20 7a 46 69 6c 65 6e 61 6d zFilenam
4510: 65 29 3b 0a 20 20 20 20 20 20 72 65 74 75 72 6e e);. return
4520: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 6d 65 ;. }. }. me
4530: 6d 73 79 73 33 45 6e 74 65 72 28 29 3b 0a 20 20 msys3Enter();.
4540: 66 70 72 69 6e 74 66 28 6f 75 74 2c 20 22 43 48 fprintf(out, "CH
4550: 55 4e 4b 53 3a 5c 6e 22 29 3b 0a 20 20 66 6f 72 UNKS:\n");. for
4560: 28 69 3d 31 3b 20 69 3c 3d 6d 65 6d 33 2e 6e 50 (i=1; i<=mem3.nP
4570: 6f 6f 6c 3b 20 69 2b 3d 73 69 7a 65 2f 34 29 7b ool; i+=size/4){
4580: 0a 20 20 20 20 73 69 7a 65 20 3d 20 6d 65 6d 33 . size = mem3
4590: 2e 61 50 6f 6f 6c 5b 69 2d 31 5d 2e 75 2e 68 64 .aPool[i-1].u.hd
45a0: 72 2e 73 69 7a 65 34 78 3b 0a 20 20 20 20 69 66 r.size4x;. if
45b0: 28 20 73 69 7a 65 2f 34 3c 3d 31 20 29 7b 0a 20 ( size/4<=1 ){.
45c0: 20 20 20 20 20 66 70 72 69 6e 74 66 28 6f 75 74 fprintf(out
45d0: 2c 20 22 25 70 20 73 69 7a 65 20 65 72 72 6f 72 , "%p size error
45e0: 5c 6e 22 2c 20 26 6d 65 6d 33 2e 61 50 6f 6f 6c \n", &mem3.aPool
45f0: 5b 69 5d 29 3b 0a 20 20 20 20 20 20 61 73 73 65 [i]);. asse
4600: 72 74 28 20 30 20 29 3b 0a 20 20 20 20 20 20 62 rt( 0 );. b
4610: 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 20 20 20 reak;. }.
4620: 69 66 28 20 28 73 69 7a 65 26 31 29 3d 3d 30 20 if( (size&1)==0
4630: 26 26 20 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 69 2b && mem3.aPool[i+
4640: 73 69 7a 65 2f 34 2d 31 5d 2e 75 2e 68 64 72 2e size/4-1].u.hdr.
4650: 70 72 65 76 53 69 7a 65 21 3d 73 69 7a 65 2f 34 prevSize!=size/4
4660: 20 29 7b 0a 20 20 20 20 20 20 66 70 72 69 6e 74 ){. fprint
4670: 66 28 6f 75 74 2c 20 22 25 70 20 74 61 69 6c 20 f(out, "%p tail
4680: 73 69 7a 65 20 64 6f 65 73 20 6e 6f 74 20 6d 61 size does not ma
4690: 74 63 68 5c 6e 22 2c 20 26 6d 65 6d 33 2e 61 50 tch\n", &mem3.aP
46a0: 6f 6f 6c 5b 69 5d 29 3b 0a 20 20 20 20 20 20 61 ool[i]);. a
46b0: 73 73 65 72 74 28 20 30 20 29 3b 0a 20 20 20 20 ssert( 0 );.
46c0: 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 7d 0a 20 break;. }.
46d0: 20 20 20 69 66 28 20 28 28 6d 65 6d 33 2e 61 50 if( ((mem3.aP
46e0: 6f 6f 6c 5b 69 2b 73 69 7a 65 2f 34 2d 31 5d 2e ool[i+size/4-1].
46f0: 75 2e 68 64 72 2e 73 69 7a 65 34 78 26 32 29 3e u.hdr.size4x&2)>
4700: 3e 31 29 21 3d 28 73 69 7a 65 26 31 29 20 29 7b >1)!=(size&1) ){
4710: 0a 20 20 20 20 20 20 66 70 72 69 6e 74 66 28 6f . fprintf(o
4720: 75 74 2c 20 22 25 70 20 74 61 69 6c 20 63 68 65 ut, "%p tail che
4730: 63 6b 6f 75 74 20 62 69 74 20 69 73 20 69 6e 63 ckout bit is inc
4740: 6f 72 72 65 63 74 5c 6e 22 2c 20 26 6d 65 6d 33 orrect\n", &mem3
4750: 2e 61 50 6f 6f 6c 5b 69 5d 29 3b 0a 20 20 20 20 .aPool[i]);.
4760: 20 20 61 73 73 65 72 74 28 20 30 20 29 3b 0a 20 assert( 0 );.
4770: 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 break;.
4780: 7d 0a 20 20 20 20 69 66 28 20 73 69 7a 65 26 31 }. if( size&1
4790: 20 29 7b 0a 20 20 20 20 20 20 66 70 72 69 6e 74 ){. fprint
47a0: 66 28 6f 75 74 2c 20 22 25 70 20 25 36 64 20 62 f(out, "%p %6d b
47b0: 79 74 65 73 20 63 68 65 63 6b 65 64 20 6f 75 74 ytes checked out
47c0: 5c 6e 22 2c 20 26 6d 65 6d 33 2e 61 50 6f 6f 6c \n", &mem3.aPool
47d0: 5b 69 5d 2c 20 28 73 69 7a 65 2f 34 29 2a 38 2d [i], (size/4)*8-
47e0: 38 29 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20 8);. }else{.
47f0: 20 20 20 20 20 66 70 72 69 6e 74 66 28 6f 75 74 fprintf(out
4800: 2c 20 22 25 70 20 25 36 64 20 62 79 74 65 73 20 , "%p %6d bytes
4810: 66 72 65 65 25 73 5c 6e 22 2c 20 26 6d 65 6d 33 free%s\n", &mem3
4820: 2e 61 50 6f 6f 6c 5b 69 5d 2c 20 28 73 69 7a 65 .aPool[i], (size
4830: 2f 34 29 2a 38 2d 38 2c 0a 20 20 20 20 20 20 20 /4)*8-8,.
4840: 20 20 20 20 20 20 20 20 20 20 20 69 3d 3d 6d 65 i==me
4850: 6d 33 2e 69 4d 61 73 74 65 72 20 3f 20 22 20 2a m3.iMaster ? " *
4860: 2a 6d 61 73 74 65 72 2a 2a 22 20 3a 20 22 22 29 *master**" : "")
4870: 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 66 6f ;. }. }. fo
4880: 72 28 69 3d 30 3b 20 69 3c 4d 58 5f 53 4d 41 4c r(i=0; i<MX_SMAL
4890: 4c 2d 31 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 69 L-1; i++){. i
48a0: 66 28 20 6d 65 6d 33 2e 61 69 53 6d 61 6c 6c 5b f( mem3.aiSmall[
48b0: 69 5d 3d 3d 30 20 29 20 63 6f 6e 74 69 6e 75 65 i]==0 ) continue
48c0: 3b 0a 20 20 20 20 66 70 72 69 6e 74 66 28 6f 75 ;. fprintf(ou
48d0: 74 2c 20 22 73 6d 61 6c 6c 28 25 32 64 29 3a 22 t, "small(%2d):"
48e0: 2c 20 69 29 3b 0a 20 20 20 20 66 6f 72 28 6a 20 , i);. for(j
48f0: 3d 20 6d 65 6d 33 2e 61 69 53 6d 61 6c 6c 5b 69 = mem3.aiSmall[i
4900: 5d 3b 20 6a 3e 30 3b 20 6a 3d 6d 65 6d 33 2e 61 ]; j>0; j=mem3.a
4910: 50 6f 6f 6c 5b 6a 5d 2e 75 2e 6c 69 73 74 2e 6e Pool[j].u.list.n
4920: 65 78 74 29 7b 0a 20 20 20 20 20 20 66 70 72 69 ext){. fpri
4930: 6e 74 66 28 6f 75 74 2c 20 22 20 25 70 28 25 64 ntf(out, " %p(%d
4940: 29 22 2c 20 26 6d 65 6d 33 2e 61 50 6f 6f 6c 5b )", &mem3.aPool[
4950: 6a 5d 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 j],.
4960: 20 20 28 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 6a 2d (mem3.aPool[j-
4970: 31 5d 2e 75 2e 68 64 72 2e 73 69 7a 65 34 78 2f 1].u.hdr.size4x/
4980: 34 29 2a 38 2d 38 29 3b 0a 20 20 20 20 7d 0a 20 4)*8-8);. }.
4990: 20 20 20 66 70 72 69 6e 74 66 28 6f 75 74 2c 20 fprintf(out,
49a0: 22 5c 6e 22 29 3b 20 0a 20 20 7d 0a 20 20 66 6f "\n"); . }. fo
49b0: 72 28 69 3d 30 3b 20 69 3c 4e 5f 48 41 53 48 3b r(i=0; i<N_HASH;
49c0: 20 69 2b 2b 29 7b 0a 20 20 20 20 69 66 28 20 6d i++){. if( m
49d0: 65 6d 33 2e 61 69 48 61 73 68 5b 69 5d 3d 3d 30 em3.aiHash[i]==0
49e0: 20 29 20 63 6f 6e 74 69 6e 75 65 3b 0a 20 20 20 ) continue;.
49f0: 20 66 70 72 69 6e 74 66 28 6f 75 74 2c 20 22 68 fprintf(out, "h
4a00: 61 73 68 28 25 32 64 29 3a 22 2c 20 69 29 3b 0a ash(%2d):", i);.
4a10: 20 20 20 20 66 6f 72 28 6a 20 3d 20 6d 65 6d 33 for(j = mem3
4a20: 2e 61 69 48 61 73 68 5b 69 5d 3b 20 6a 3e 30 3b .aiHash[i]; j>0;
4a30: 20 6a 3d 6d 65 6d 33 2e 61 50 6f 6f 6c 5b 6a 5d j=mem3.aPool[j]
4a40: 2e 75 2e 6c 69 73 74 2e 6e 65 78 74 29 7b 0a 20 .u.list.next){.
4a50: 20 20 20 20 20 66 70 72 69 6e 74 66 28 6f 75 74 fprintf(out
4a60: 2c 20 22 20 25 70 28 25 64 29 22 2c 20 26 6d 65 , " %p(%d)", &me
4a70: 6d 33 2e 61 50 6f 6f 6c 5b 6a 5d 2c 0a 20 20 20 m3.aPool[j],.
4a80: 20 20 20 20 20 20 20 20 20 20 20 28 6d 65 6d 33 (mem3
4a90: 2e 61 50 6f 6f 6c 5b 6a 2d 31 5d 2e 75 2e 68 64 .aPool[j-1].u.hd
4aa0: 72 2e 73 69 7a 65 34 78 2f 34 29 2a 38 2d 38 29 r.size4x/4)*8-8)
4ab0: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 66 70 72 69 ;. }. fpri
4ac0: 6e 74 66 28 6f 75 74 2c 20 22 5c 6e 22 29 3b 20 ntf(out, "\n");
4ad0: 0a 20 20 7d 0a 20 20 66 70 72 69 6e 74 66 28 6f . }. fprintf(o
4ae0: 75 74 2c 20 22 6d 61 73 74 65 72 3d 25 64 5c 6e ut, "master=%d\n
4af0: 22 2c 20 6d 65 6d 33 2e 69 4d 61 73 74 65 72 29 ", mem3.iMaster)
4b00: 3b 0a 20 20 66 70 72 69 6e 74 66 28 6f 75 74 2c ;. fprintf(out,
4b10: 20 22 6e 6f 77 55 73 65 64 3d 25 64 5c 6e 22 2c "nowUsed=%d\n",
4b20: 20 6d 65 6d 33 2e 6e 50 6f 6f 6c 2a 38 20 2d 20 mem3.nPool*8 -
4b30: 6d 65 6d 33 2e 73 7a 4d 61 73 74 65 72 2a 38 29 mem3.szMaster*8)
4b40: 3b 0a 20 20 66 70 72 69 6e 74 66 28 6f 75 74 2c ;. fprintf(out,
4b50: 20 22 6d 78 55 73 65 64 3d 25 64 5c 6e 22 2c 20 "mxUsed=%d\n",
4b60: 6d 65 6d 33 2e 6e 50 6f 6f 6c 2a 38 20 2d 20 6d mem3.nPool*8 - m
4b70: 65 6d 33 2e 6d 6e 4d 61 73 74 65 72 2a 38 29 3b em3.mnMaster*8);
4b80: 0a 20 20 73 71 6c 69 74 65 33 5f 6d 75 74 65 78 . sqlite3_mutex
4b90: 5f 6c 65 61 76 65 28 6d 65 6d 33 2e 6d 75 74 65 _leave(mem3.mute
4ba0: 78 29 3b 0a 20 20 69 66 28 20 6f 75 74 3d 3d 73 x);. if( out==s
4bb0: 74 64 6f 75 74 20 29 7b 0a 20 20 20 20 66 66 6c tdout ){. ffl
4bc0: 75 73 68 28 73 74 64 6f 75 74 29 3b 0a 20 20 7d ush(stdout);. }
4bd0: 65 6c 73 65 7b 0a 20 20 20 20 66 63 6c 6f 73 65 else{. fclose
4be0: 28 6f 75 74 29 3b 0a 20 20 7d 0a 23 65 6e 64 69 (out);. }.#endi
4bf0: 66 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 f.}../*.** This
4c00: 72 6f 75 74 69 6e 65 20 69 73 20 74 68 65 20 6f routine is the o
4c10: 6e 6c 79 20 72 6f 75 74 69 6e 65 20 69 6e 20 74 nly routine in t
4c20: 68 69 73 20 66 69 6c 65 20 77 69 74 68 20 65 78 his file with ex
4c30: 74 65 72 6e 61 6c 20 0a 2a 2a 20 6c 69 6e 6b 61 ternal .** linka
4c40: 67 65 2e 0a 2a 2a 0a 2a 2a 20 50 6f 70 75 6c 61 ge..**.** Popula
4c50: 74 65 20 74 68 65 20 6c 6f 77 2d 6c 65 76 65 6c te the low-level
4c60: 20 6d 65 6d 6f 72 79 20 61 6c 6c 6f 63 61 74 69 memory allocati
4c70: 6f 6e 20 66 75 6e 63 74 69 6f 6e 20 70 6f 69 6e on function poin
4c80: 74 65 72 73 20 69 6e 0a 2a 2a 20 73 71 6c 69 74 ters in.** sqlit
4c90: 65 33 47 6c 6f 62 61 6c 43 6f 6e 66 69 67 2e 6d e3GlobalConfig.m
4ca0: 20 77 69 74 68 20 70 6f 69 6e 74 65 72 73 20 74 with pointers t
4cb0: 6f 20 74 68 65 20 72 6f 75 74 69 6e 65 73 20 69 o the routines i
4cc0: 6e 20 74 68 69 73 20 66 69 6c 65 2e 20 54 68 65 n this file. The
4cd0: 0a 2a 2a 20 61 72 67 75 6d 65 6e 74 73 20 73 70 .** arguments sp
4ce0: 65 63 69 66 79 20 74 68 65 20 62 6c 6f 63 6b 20 ecify the block
4cf0: 6f 66 20 6d 65 6d 6f 72 79 20 74 6f 20 6d 61 6e of memory to man
4d00: 61 67 65 2e 0a 2a 2a 0a 2a 2a 20 54 68 69 73 20 age..**.** This
4d10: 72 6f 75 74 69 6e 65 20 69 73 20 6f 6e 6c 79 20 routine is only
4d20: 63 61 6c 6c 65 64 20 62 79 20 73 71 6c 69 74 65 called by sqlite
4d30: 33 5f 63 6f 6e 66 69 67 28 29 2c 20 61 6e 64 20 3_config(), and
4d40: 74 68 65 72 65 66 6f 72 65 0a 2a 2a 20 69 73 20 therefore.** is
4d50: 6e 6f 74 20 72 65 71 75 69 72 65 64 20 74 6f 20 not required to
4d60: 62 65 20 74 68 72 65 61 64 73 61 66 65 20 28 69 be threadsafe (i
4d70: 74 20 69 73 20 6e 6f 74 29 2e 0a 2a 2f 0a 63 6f t is not)..*/.co
4d80: 6e 73 74 20 73 71 6c 69 74 65 33 5f 6d 65 6d 5f nst sqlite3_mem_
4d90: 6d 65 74 68 6f 64 73 20 2a 73 71 6c 69 74 65 33 methods *sqlite3
4da0: 4d 65 6d 47 65 74 4d 65 6d 73 79 73 33 28 76 6f MemGetMemsys3(vo
4db0: 69 64 29 7b 0a 20 20 73 74 61 74 69 63 20 63 6f id){. static co
4dc0: 6e 73 74 20 73 71 6c 69 74 65 33 5f 6d 65 6d 5f nst sqlite3_mem_
4dd0: 6d 65 74 68 6f 64 73 20 6d 65 6d 70 6f 6f 6c 4d methods mempoolM
4de0: 65 74 68 6f 64 73 20 3d 20 7b 0a 20 20 20 20 20 ethods = {.
4df0: 6d 65 6d 73 79 73 33 4d 61 6c 6c 6f 63 2c 0a 20 memsys3Malloc,.
4e00: 20 20 20 20 6d 65 6d 73 79 73 33 46 72 65 65 2c memsys3Free,
4e10: 0a 20 20 20 20 20 6d 65 6d 73 79 73 33 52 65 61 . memsys3Rea
4e20: 6c 6c 6f 63 2c 0a 20 20 20 20 20 6d 65 6d 73 79 lloc,. memsy
4e30: 73 33 53 69 7a 65 2c 0a 20 20 20 20 20 6d 65 6d s3Size,. mem
4e40: 73 79 73 33 52 6f 75 6e 64 75 70 2c 0a 20 20 20 sys3Roundup,.
4e50: 20 20 6d 65 6d 73 79 73 33 49 6e 69 74 2c 0a 20 memsys3Init,.
4e60: 20 20 20 20 6d 65 6d 73 79 73 33 53 68 75 74 64 memsys3Shutd
4e70: 6f 77 6e 2c 0a 20 20 20 20 20 30 0a 20 20 7d 3b own,. 0. };
4e80: 0a 20 20 72 65 74 75 72 6e 20 26 6d 65 6d 70 6f . return &mempo
4e90: 6f 6c 4d 65 74 68 6f 64 73 3b 0a 7d 0a 0a 23 65 olMethods;.}..#e
4ea0: 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54 45 5f 45 ndif /* SQLITE_E
4eb0: 4e 41 42 4c 45 5f 4d 45 4d 53 59 53 33 20 2a 2f NABLE_MEMSYS3 */
4ec0: 0a .