| 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 |