OLD | NEW |
| (Empty) |
1 # 2008 February 18 | |
2 # | |
3 # The author disclaims copyright to this source code. In place of | |
4 # a legal notice, here is a blessing: | |
5 # | |
6 # May you do good and not evil. | |
7 # May you find forgiveness for yourself and forgive others. | |
8 # May you share freely, never taking more than you give. | |
9 # | |
10 #*********************************************************************** | |
11 # | |
12 # Unit testing of the Bitvec object. | |
13 # | |
14 # $Id: bitvec.test,v 1.4 2009/04/01 23:49:04 drh Exp $ | |
15 # | |
16 | |
17 set testdir [file dirname $argv0] | |
18 source $testdir/tester.tcl | |
19 | |
20 # The built-in test logic must be operational in order for | |
21 # this test to work. | |
22 ifcapable !builtin_test { | |
23 finish_test | |
24 return | |
25 } | |
26 | |
27 # Test that sqlite3BitvecBuiltinTest correctly reports errors | |
28 # that are deliberately introduced. | |
29 # | |
30 do_test bitvec-1.0.1 { | |
31 sqlite3BitvecBuiltinTest 400 {5 1 1 1 0} | |
32 } 1 | |
33 do_test bitvec-1.0.2 { | |
34 sqlite3BitvecBuiltinTest 400 {5 1 234 1 0} | |
35 } 234 | |
36 | |
37 # Run test cases that set every bit in vectors of various sizes. | |
38 # for larger cases, this should cycle the bit vector representation | |
39 # from hashing into subbitmaps. The subbitmaps should start as | |
40 # hashes then change to either subbitmaps or linear maps, depending | |
41 # on their size. | |
42 # | |
43 do_test bitvec-1.1 { | |
44 sqlite3BitvecBuiltinTest 400 {1 400 1 1 0} | |
45 } 0 | |
46 do_test bitvec-1.2 { | |
47 sqlite3BitvecBuiltinTest 4000 {1 4000 1 1 0} | |
48 } 0 | |
49 do_test bitvec-1.3 { | |
50 sqlite3BitvecBuiltinTest 40000 {1 40000 1 1 0} | |
51 } 0 | |
52 do_test bitvec-1.4 { | |
53 sqlite3BitvecBuiltinTest 400000 {1 400000 1 1 0} | |
54 } 0 | |
55 | |
56 # By specifying a larger increments, we spread the load around. | |
57 # | |
58 do_test bitvec-1.5 { | |
59 sqlite3BitvecBuiltinTest 400 {1 400 1 7 0} | |
60 } 0 | |
61 do_test bitvec-1.6 { | |
62 sqlite3BitvecBuiltinTest 4000 {1 4000 1 7 0} | |
63 } 0 | |
64 do_test bitvec-1.7 { | |
65 sqlite3BitvecBuiltinTest 40000 {1 40000 1 7 0} | |
66 } 0 | |
67 do_test bitvec-1.8 { | |
68 sqlite3BitvecBuiltinTest 400000 {1 400000 1 7 0} | |
69 } 0 | |
70 | |
71 # First fill up the bitmap with ones, then go through and | |
72 # clear all the bits. This will stress the clearing mechanism. | |
73 # | |
74 do_test bitvec-1.9 { | |
75 sqlite3BitvecBuiltinTest 400 {1 400 1 1 2 400 1 1 0} | |
76 } 0 | |
77 do_test bitvec-1.10 { | |
78 sqlite3BitvecBuiltinTest 4000 {1 4000 1 1 2 4000 1 1 0} | |
79 } 0 | |
80 do_test bitvec-1.11 { | |
81 sqlite3BitvecBuiltinTest 40000 {1 40000 1 1 2 40000 1 1 0} | |
82 } 0 | |
83 do_test bitvec-1.12 { | |
84 sqlite3BitvecBuiltinTest 400000 {1 400000 1 1 2 400000 1 1 0} | |
85 } 0 | |
86 | |
87 do_test bitvec-1.13 { | |
88 sqlite3BitvecBuiltinTest 400 {1 400 1 1 2 400 1 7 0} | |
89 } 0 | |
90 do_test bitvec-1.15 { | |
91 sqlite3BitvecBuiltinTest 4000 {1 4000 1 1 2 4000 1 7 0} | |
92 } 0 | |
93 do_test bitvec-1.16 { | |
94 sqlite3BitvecBuiltinTest 40000 {1 40000 1 1 2 40000 1 77 0} | |
95 } 0 | |
96 do_test bitvec-1.17 { | |
97 sqlite3BitvecBuiltinTest 400000 {1 400000 1 1 2 400000 1 777 0} | |
98 } 0 | |
99 | |
100 do_test bitvec-1.18 { | |
101 sqlite3BitvecBuiltinTest 400000 {1 5000 100000 1 2 400000 1 37 0} | |
102 } 0 | |
103 | |
104 # Attempt to induce hash collisions. | |
105 # | |
106 unset -nocomplain start | |
107 unset -nocomplain incr | |
108 foreach start {1 2 3 4 5 6 7 8} { | |
109 foreach incr {124 125} { | |
110 do_test bitvec-1.20.$start.$incr { | |
111 set prog [list 1 60 $::start $::incr 2 5000 1 1 0] | |
112 sqlite3BitvecBuiltinTest 5000 $prog | |
113 } 0 | |
114 } | |
115 } | |
116 | |
117 do_test bitvec-1.30.big_and_slow { | |
118 sqlite3BitvecBuiltinTest 17000000 {1 17000000 1 1 2 17000000 1 1 0} | |
119 } 0 | |
120 | |
121 | |
122 # Test setting and clearing a random subset of bits. | |
123 # | |
124 do_test bitvec-2.1 { | |
125 sqlite3BitvecBuiltinTest 4000 {3 2000 4 2000 0} | |
126 } 0 | |
127 do_test bitvec-2.2 { | |
128 sqlite3BitvecBuiltinTest 4000 {3 1000 4 1000 3 1000 4 1000 3 1000 4 1000 | |
129 3 1000 4 1000 3 1000 4 1000 3 1000 4 1000 0} | |
130 } 0 | |
131 do_test bitvec-2.3 { | |
132 sqlite3BitvecBuiltinTest 400000 {3 10 0} | |
133 } 0 | |
134 do_test bitvec-2.4 { | |
135 sqlite3BitvecBuiltinTest 4000 {3 10 2 4000 1 1 0} | |
136 } 0 | |
137 do_test bitvec-2.5 { | |
138 sqlite3BitvecBuiltinTest 5000 {3 20 2 5000 1 1 0} | |
139 } 0 | |
140 do_test bitvec-2.6 { | |
141 sqlite3BitvecBuiltinTest 50000 {3 60 2 50000 1 1 0} | |
142 } 0 | |
143 do_test bitvec-2.7 { | |
144 sqlite3BitvecBuiltinTest 5000 { | |
145 1 25 121 125 | |
146 1 50 121 125 | |
147 2 25 121 125 | |
148 0 | |
149 } | |
150 } 0 | |
151 | |
152 # This procedure runs sqlite3BitvecBuiltinTest with argments "n" and | |
153 # "program". But it also causes a malloc error to occur after the | |
154 # "failcnt"-th malloc. The result should be "0" if no malloc failure | |
155 # occurs or "-1" if there is a malloc failure. | |
156 # | |
157 proc bitvec_malloc_test {label failcnt n program} { | |
158 do_test $label [subst { | |
159 sqlite3_memdebug_fail $failcnt | |
160 set x \[sqlite3BitvecBuiltinTest $n [list $program]\] | |
161 set nFail \[sqlite3_memdebug_fail -1\] | |
162 if {\$nFail==0} { | |
163 set ::go 0 | |
164 set x -1 | |
165 } | |
166 set x | |
167 }] -1 | |
168 } | |
169 | |
170 # Make sure malloc failures are handled sanily. | |
171 # | |
172 unset -nocomplain n | |
173 unset -nocomplain go | |
174 set go 1 | |
175 save_prng_state | |
176 for {set n 0} {$go} {incr n} { | |
177 restore_prng_state | |
178 bitvec_malloc_test bitvec-3.1.$n $n 5000 { | |
179 3 60 2 5000 1 1 3 60 2 5000 1 1 3 60 2 5000 1 1 0 | |
180 } | |
181 } | |
182 set go 1 | |
183 for {set n 0} {$go} {incr n} { | |
184 restore_prng_state | |
185 bitvec_malloc_test bitvec-3.2.$n $n 5000 { | |
186 3 600 2 5000 1 1 3 600 2 5000 1 1 3 600 2 5000 1 1 0 | |
187 } | |
188 } | |
189 set go 1 | |
190 for {set n 1} {$go} {incr n} { | |
191 bitvec_malloc_test bitvec-3.3.$n $n 50000 {1 50000 1 1 0} | |
192 } | |
193 | |
194 finish_test | |
195 return | |
OLD | NEW |