94 lines
		
	
	
		
			2.3 KiB
		
	
	
	
		
			Tcl
		
	
	
	
	
	
			
		
		
	
	
			94 lines
		
	
	
		
			2.3 KiB
		
	
	
	
		
			Tcl
		
	
	
	
	
	
# 2010 June 03
 | 
						|
#
 | 
						|
# The author disclaims copyright to this source code.  In place of
 | 
						|
# a legal notice, here is a blessing:
 | 
						|
#
 | 
						|
#    May you do good and not evil.
 | 
						|
#    May you find forgiveness for yourself and forgive others.
 | 
						|
#    May you share freely, never taking more than you give.
 | 
						|
#
 | 
						|
#***********************************************************************
 | 
						|
#
 | 
						|
# This file contains common code used by many different malloc tests
 | 
						|
# within the test suite.
 | 
						|
#
 | 
						|
 | 
						|
proc wal_file_size {nFrame pgsz} {
 | 
						|
  expr {32 + ($pgsz+24)*$nFrame}
 | 
						|
}
 | 
						|
 | 
						|
proc wal_frame_count {zFile pgsz} {
 | 
						|
  if {[file exists $zFile]==0} { return 0 }
 | 
						|
  set f [file size $zFile]
 | 
						|
  if {$f < 32} { return 0 }
 | 
						|
  expr {($f - 32) / ($pgsz+24)}
 | 
						|
}
 | 
						|
 | 
						|
proc wal_cksum_intlist {ckv1 ckv2 intlist} {
 | 
						|
  upvar $ckv1 c1
 | 
						|
  upvar $ckv2 c2
 | 
						|
  foreach {v1 v2} $intlist {
 | 
						|
    set c1 [expr {($c1 + $v1 + $c2)&0xFFFFFFFF}]
 | 
						|
    set c2 [expr {($c2 + $v2 + $c1)&0xFFFFFFFF}]
 | 
						|
  }
 | 
						|
}
 | 
						|
 | 
						|
 | 
						|
# This proc calculates checksums in the same way as those used by SQLite 
 | 
						|
# in WAL files. If the $endian argument is "big", then checksums are
 | 
						|
# calculated by interpreting data as an array of big-endian integers. If
 | 
						|
# it is "little", data is interpreted as an array of little-endian integers.
 | 
						|
#
 | 
						|
proc wal_cksum {endian ckv1 ckv2 blob} {
 | 
						|
  upvar $ckv1 c1
 | 
						|
  upvar $ckv2 c2
 | 
						|
 | 
						|
  if {$endian!="big" && $endian!="little"} {
 | 
						|
    return -error "Bad value \"$endian\" - must be \"big\" or \"little\""
 | 
						|
  }
 | 
						|
  set scanpattern I*
 | 
						|
  if {$endian == "little"} { set scanpattern i* }
 | 
						|
 | 
						|
  binary scan $blob $scanpattern values
 | 
						|
  wal_cksum_intlist c1 c2 $values
 | 
						|
}
 | 
						|
 | 
						|
proc wal_set_walhdr {filename {intlist {}}} {
 | 
						|
  if {[llength $intlist]==6} {
 | 
						|
    set blob [binary format I6 $intlist]
 | 
						|
    set endian little
 | 
						|
    if {[lindex $intlist 0] & 0x00000001} { set endian big }
 | 
						|
    set c1 0
 | 
						|
    set c2 0
 | 
						|
    wal_cksum $endian c1 c2 $blob
 | 
						|
    append blob [binary format II $c1 $c2]
 | 
						|
 | 
						|
    set fd [open $filename r+]
 | 
						|
    fconfigure $fd -translation binary
 | 
						|
    fconfigure $fd -encoding binary
 | 
						|
    seek $fd 0
 | 
						|
    puts -nonewline $fd $blob
 | 
						|
    close $fd
 | 
						|
  }
 | 
						|
 | 
						|
  set fd [open $filename]
 | 
						|
  fconfigure $fd -translation binary
 | 
						|
  fconfigure $fd -encoding binary
 | 
						|
  set blob [read $fd 24]
 | 
						|
  close $fd
 | 
						|
 | 
						|
  binary scan $blob I6 ints
 | 
						|
  set ints
 | 
						|
}
 | 
						|
 | 
						|
proc wal_fix_walindex_cksum {hdrvar} {
 | 
						|
  upvar $hdrvar hdr
 | 
						|
  set c1 0
 | 
						|
  set c2 0
 | 
						|
  wal_cksum_intlist c1 c2 [lrange $hdr 0 9]
 | 
						|
  lset hdr 10 $c1
 | 
						|
  lset hdr 11 $c2
 | 
						|
}
 | 
						|
 | 
						|
 |