sl@0: # 2001 September 15
sl@0: #
sl@0: # The author disclaims copyright to this source code.  In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: # This file implements regression tests for SQLite library.  The
sl@0: # focus of this script is page cache subsystem.
sl@0: #
sl@0: # $Id: pager2.test,v 1.7 2008/08/20 14:49:25 danielk1977 Exp $
sl@0: 
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: # Don't run this test file if the pager test interface [pager_open] is not
sl@0: # available, or the library was compiled without in-memory database support.
sl@0: #
sl@0: if {[info commands pager_open]!=""} {
sl@0: ifcapable memorydb {
sl@0: db close
sl@0: 
sl@0: # Basic sanity check.  Open and close a pager.
sl@0: #
sl@0: do_test pager2-1.0 {
sl@0:   set v [catch {
sl@0:     set ::p1 [pager_open :memory: 10]
sl@0:   } msg]
sl@0: } {0}
sl@0: do_test pager2-1.1 {
sl@0:   pager_stats $::p1
sl@0: } {ref 0 page 0 max 10 size 0 state 0 err 0 hit 0 miss 0 ovfl 0}
sl@0: do_test pager2-1.2 {
sl@0:   pager_pagecount $::p1
sl@0: } {0}
sl@0: do_test pager2-1.3 {
sl@0:   pager_stats $::p1
sl@0: } {ref 0 page 0 max 10 size 0 state 0 err 0 hit 0 miss 0 ovfl 0}
sl@0: do_test pager2-1.4 {
sl@0:   pager_close $::p1
sl@0: } {}
sl@0: 
sl@0: # Try to write a few pages.
sl@0: #
sl@0: do_test pager2-2.1 {
sl@0:   set v [catch {
sl@0:     set ::p1 [pager_open :memory: 10]
sl@0:   } msg]
sl@0: } {0}
sl@0: #do_test pager2-2.2 {
sl@0: #  set v [catch {
sl@0: #    set ::g1 [page_get $::p1 0]
sl@0: #  } msg]
sl@0: #  lappend v $msg
sl@0: #} {1 SQLITE_ERROR}
sl@0: do_test pager2-2.3.1 {
sl@0:   set ::gx [page_lookup $::p1 1]
sl@0: } {}
sl@0: do_test pager2-2.3.2 {
sl@0:   pager_stats $::p1
sl@0: } {ref 0 page 0 max 10 size 0 state 0 err 0 hit 0 miss 0 ovfl 0}
sl@0: do_test pager2-2.3.3 {
sl@0:   set v [catch {
sl@0:     set ::g1 [page_get $::p1 1]
sl@0:   } msg]
sl@0:   if {$v} {lappend v $msg}
sl@0:   set v
sl@0: } {0}
sl@0: do_test pager2-2.3.3 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 0 state 1 err 0 hit 0 miss 1 ovfl 0}
sl@0: do_test pager2-2.3.4 {
sl@0:   set ::gx [page_lookup $::p1 1]
sl@0:   page_unref $::gx
sl@0:   expr {$::gx!=""}
sl@0: } {1}
sl@0: do_test pager2-2.3.5 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 0 state 1 err 0 hit 0 miss 1 ovfl 0}
sl@0: do_test pager2-2.3.6 {
sl@0:   expr {$::g1==$::gx}
sl@0: } {1}
sl@0: do_test pager2-2.3.7 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 0 state 1 err 0 hit 0 miss 1 ovfl 0}
sl@0: do_test pager2-2.4 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 0 state 1 err 0 hit 0 miss 1 ovfl 0}
sl@0: do_test pager2-2.5 {
sl@0:   pager_pagecount $::p1
sl@0: } {0}
sl@0: do_test pager2-2.6 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 0 state 1 err 0 hit 0 miss 1 ovfl 0}
sl@0: do_test pager2-2.7 {
sl@0:   page_number $::g1
sl@0: } {1}
sl@0: do_test pager2-2.8 {
sl@0:   page_read $::g1
sl@0: } {}
sl@0: do_test pager2-2.9 {
sl@0:   page_unref $::g1
sl@0: } {}
sl@0: do_test pager2-2.10 {
sl@0:   pager_stats $::p1
sl@0: } {ref 0 page 1 max 10 size 0 state 0 err 0 hit 0 miss 1 ovfl 0}
sl@0: do_test pager2-2.11 {
sl@0:   set ::g1 [page_get $::p1 1]
sl@0:   expr {$::g1!=0}
sl@0: } {1}
sl@0: do_test pager2-2.12 {
sl@0:   page_number $::g1
sl@0: } {1}
sl@0: do_test pager2-2.13 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 0 state 1 err 0 hit 1 miss 1 ovfl 0}
sl@0: do_test pager2-2.14 {
sl@0:   set v [catch {
sl@0:     page_write $::g1 "Page-One"
sl@0:   } msg]
sl@0:   lappend v $msg
sl@0: } {0 {}}
sl@0: do_test pager2-2.15 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 1 state 4 err 0 hit 1 miss 1 ovfl 0}
sl@0: do_test pager2-2.16 {
sl@0:   page_read $::g1
sl@0: } {Page-One}
sl@0: do_test pager2-2.17 {
sl@0:   set v [catch {
sl@0:     pager_commit $::p1
sl@0:   } msg]
sl@0:   lappend v $msg
sl@0: } {0 {}}
sl@0: do_test pager2-2.20 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 1 state 1 err 0 hit 1 miss 1 ovfl 0}
sl@0: do_test pager2-2.19 {
sl@0:   pager_pagecount $::p1
sl@0: } {1}
sl@0: do_test pager2-2.21 {
sl@0:   pager_stats $::p1
sl@0: } {ref 1 page 1 max 10 size 1 state 1 err 0 hit 1 miss 1 ovfl 0}
sl@0: do_test pager2-2.22 {
sl@0:   page_unref $::g1
sl@0: } {}
sl@0: do_test pager2-2.23 {
sl@0:   pager_stats $::p1
sl@0: } {ref 0 page 1 max 10 size 1 state 0 err 0 hit 1 miss 1 ovfl 0}
sl@0: do_test pager2-2.24 {
sl@0:   set v [catch {
sl@0:     page_get $::p1 1
sl@0:   } ::g1]
sl@0:   if {$v} {lappend v $::g1}
sl@0:   set v
sl@0: } {0}
sl@0: do_test pager2-2.25 {
sl@0:   page_read $::g1
sl@0: } {Page-One}
sl@0: do_test pager2-2.26 {
sl@0:   set v [catch {
sl@0:     page_write $::g1 {page-one}
sl@0:   } msg]
sl@0:   lappend v $msg
sl@0: } {0 {}}
sl@0: do_test pager2-2.27 {
sl@0:   page_read $::g1
sl@0: } {page-one}
sl@0: do_test pager2-2.28 {
sl@0:   set v [catch {
sl@0:     pager_rollback $::p1
sl@0:   } msg]
sl@0:   lappend v $msg
sl@0: } {0 {}}
sl@0: do_test pager2-2.29 {
sl@0:   page_unref $::g1
sl@0:   set ::g1 [page_get $::p1 1]
sl@0:   page_read $::g1
sl@0: } {Page-One}
sl@0: do_test pager2-2.99 {
sl@0:   page_unref $::g1
sl@0: } {}
sl@0: 
sl@0: #do_test pager2-3.1 {
sl@0: #  set v [catch {
sl@0: #    set ::p1 [pager_open :memory: 15]
sl@0: #  } msg]
sl@0: #  if {$v} {lappend v $msg}
sl@0: #  set v
sl@0: #} {0}
sl@0: do_test pager2-3.2 {
sl@0:   pager_pagecount $::p1
sl@0: } {1}
sl@0: do_test pager2-3.3 {
sl@0:   set v [catch {
sl@0:     set ::g(1) [page_get $::p1 1]
sl@0:   } msg]
sl@0:   if {$v} {lappend v $msg}
sl@0:   set v
sl@0: } {0}
sl@0: do_test pager2-3.4 {
sl@0:   page_read $::g(1)
sl@0: } {Page-One}
sl@0: do_test pager2-3.5 {
sl@0:   for {set i 2} {$i<=20} {incr i} {
sl@0:     set gx [page_get $::p1 $i]
sl@0:     page_write $gx "Page-$i"
sl@0:     page_unref $gx
sl@0:   }
sl@0:   pager_commit $::p1
sl@0:   page_unref $::g(1)
sl@0: } {}
sl@0: for {set i 2} {$i<=20} {incr i} {
sl@0:   do_test pager2-3.6.[expr {$i-1}] [subst {
sl@0:     set gx \[page_get $::p1 $i\]
sl@0:     set v \[page_read \$gx\]
sl@0:     page_unref \$gx
sl@0:     set v
sl@0:   }] "Page-$i"
sl@0: }
sl@0: for {set i 1} {$i<=20} {incr i} {
sl@0:   regsub -all CNT {
sl@0:     set ::g1 [page_get $::p1 CNT]
sl@0:     set ::g2 [page_get $::p1 CNT]
sl@0:     set ::vx [page_read $::g2]
sl@0:     expr {$::g1==$::g2}
sl@0:   } $i body;
sl@0:   do_test pager2-3.7.$i.1 $body {1}
sl@0:   regsub -all CNT {
sl@0:     page_unref $::g2
sl@0:     set vy [page_read $::g1]
sl@0:     expr {$vy==$::vx}
sl@0:   } $i body;
sl@0:   do_test pager2-3.7.$i.2 $body {1}
sl@0:   regsub -all CNT {
sl@0:     page_unref $::g1
sl@0:     set gx [page_get $::p1 CNT]
sl@0:     set vy [page_read $gx]
sl@0:     page_unref $gx
sl@0:     expr {$vy==$::vx}
sl@0:   } $i body;
sl@0:   do_test pager2-3.7.$i.3 $body {1}
sl@0: }
sl@0: do_test pager2-3.99 {
sl@0:   pager_close $::p1
sl@0: } {}
sl@0: 
sl@0: # tests of the checkpoint mechanism and api
sl@0: #
sl@0: do_test pager2-4.0 {
sl@0:   set v [catch {
sl@0:     set ::p1 [pager_open :memory: 15]
sl@0:   } msg]
sl@0:   if {$v} {lappend v $msg}
sl@0:   set v
sl@0: } {0}
sl@0: do_test pager2-4.1 {
sl@0:   set g1 [page_get $::p1 1]
sl@0:   page_write $g1 "Page-1 v0"
sl@0:   for {set i 2} {$i<=20} {incr i} {
sl@0:     set gx [page_get $::p1 $i]
sl@0:     page_write $gx "Page-$i v0"
sl@0:     page_unref $gx
sl@0:   }
sl@0:   pager_commit $::p1
sl@0: } {}
sl@0: for {set i 1} {$i<=20} {incr i} {
sl@0:   do_test pager2-4.2.$i {
sl@0:     set gx [page_get $p1 $i]
sl@0:     set v [page_read $gx]
sl@0:     page_unref $gx
sl@0:     set v
sl@0:   } "Page-$i v0"
sl@0: }
sl@0: do_test pager2-4.3 {
sl@0:   lrange [pager_stats $::p1] 0 1
sl@0: } {ref 1}
sl@0: do_test pager2-4.4 {
sl@0:   lrange [pager_stats $::p1] 8 9
sl@0: } {state 1}
sl@0: 
sl@0: for {set i 1} {$i<20} {incr i} {
sl@0:   do_test pager2-4.5.$i.0 {
sl@0:     set res {}
sl@0:     for {set j 2} {$j<=20} {incr j} {
sl@0:       set gx [page_get $p1 $j]
sl@0:       set value [page_read $gx]
sl@0:       page_unref $gx
sl@0:       set shouldbe "Page-$j v[expr {$i-1}]"
sl@0:       if {$value!=$shouldbe} {
sl@0:         lappend res $value $shouldbe
sl@0:       }
sl@0:     }
sl@0:     set res
sl@0:   } {}
sl@0:   do_test pager2-4.5.$i.1 {
sl@0:     page_write $g1 "Page-1 v$i"
sl@0:     lrange [pager_stats $p1] 8 9
sl@0:   } {state 4}
sl@0:   do_test pager2-4.5.$i.2 {
sl@0:     for {set j 2} {$j<=20} {incr j} {
sl@0:       set gx [page_get $p1 $j]
sl@0:       page_write $gx "Page-$j v$i"
sl@0:       page_unref $gx
sl@0:       if {$j==$i} {
sl@0:         pager_stmt_begin $p1
sl@0:       }
sl@0:     }
sl@0:   } {}
sl@0:   do_test pager2-4.5.$i.3 {
sl@0:     set res {}
sl@0:     for {set j 2} {$j<=20} {incr j} {
sl@0:       set gx [page_get $p1 $j]
sl@0:       set value [page_read $gx]
sl@0:       page_unref $gx
sl@0:       set shouldbe "Page-$j v$i"
sl@0:       if {$value!=$shouldbe} {
sl@0:         lappend res $value $shouldbe
sl@0:       }
sl@0:     }
sl@0:     set res
sl@0:   } {}
sl@0:   do_test pager2-4.5.$i.4 {
sl@0:     pager_rollback $p1
sl@0:     set res {}
sl@0:     for {set j 2} {$j<=20} {incr j} {
sl@0:       set gx [page_get $p1 $j]
sl@0:       set value [page_read $gx]
sl@0:       page_unref $gx
sl@0:       set shouldbe "Page-$j v[expr {$i-1}]"
sl@0:       if {$value!=$shouldbe} {
sl@0:         lappend res $value $shouldbe
sl@0:       }
sl@0:     }
sl@0:     set res
sl@0:   } {}
sl@0: breakpoint
sl@0:   do_test pager2-4.5.$i.5 {
sl@0:     page_write $g1 "Page-1 v$i"
sl@0:     lrange [pager_stats $p1] 8 9
sl@0:   } {state 4}
sl@0:   do_test pager2-4.5.$i.6 {
sl@0:     for {set j 2} {$j<=20} {incr j} {
sl@0:       set gx [page_get $p1 $j]
sl@0:       page_write $gx "Page-$j v$i"
sl@0:       page_unref $gx
sl@0:       if {$j==$i} {
sl@0:         pager_stmt_begin $p1
sl@0:       }
sl@0:     }
sl@0:   } {}
sl@0:   do_test pager2-4.5.$i.7 {
sl@0:     pager_stmt_rollback $p1
sl@0:     for {set j 2} {$j<=20} {incr j} {
sl@0:       set gx [page_get $p1 $j]
sl@0:       set value [page_read $gx]
sl@0:       page_unref $gx
sl@0:       if {$j<=$i || $i==1} {
sl@0:         set shouldbe "Page-$j v$i"
sl@0:       } else {
sl@0:         set shouldbe "Page-$j v[expr {$i-1}]"
sl@0:       }
sl@0:       if {$value!=$shouldbe} {
sl@0:         lappend res $value $shouldbe
sl@0:       }
sl@0:     }
sl@0:     set res
sl@0:   } {}
sl@0:   do_test pager2-4.5.$i.8 {
sl@0:     for {set j 2} {$j<=20} {incr j} {
sl@0:       set gx [page_get $p1 $j]
sl@0:       page_write $gx "Page-$j v$i"
sl@0:       page_unref $gx
sl@0:       if {$j==$i} {
sl@0:         pager_stmt_begin $p1
sl@0:       }
sl@0:     }
sl@0:   } {}
sl@0:   do_test pager2-4.5.$i.9 {
sl@0:     pager_stmt_commit $p1
sl@0:     for {set j 2} {$j<=20} {incr j} {
sl@0:       set gx [page_get $p1 $j]
sl@0:       set value [page_read $gx]
sl@0:       page_unref $gx
sl@0:       set shouldbe "Page-$j v$i"
sl@0:       if {$value!=$shouldbe} {
sl@0:         lappend res $value $shouldbe
sl@0:       }
sl@0:     }
sl@0:     set res
sl@0:   } {}
sl@0:   do_test pager2-4.5.$i.10 {
sl@0:     pager_commit $p1
sl@0:     lrange [pager_stats $p1] 8 9
sl@0:   } {state 1}
sl@0: }
sl@0: 
sl@0: do_test pager2-4.99 {
sl@0:   page_unref $::g1
sl@0:   pager_close $::p1
sl@0: } {}
sl@0: 
sl@0: } ;# ifcapable inmemory
sl@0: } ;# end if( has pager_open command );
sl@0: 
sl@0: 
sl@0: finish_test