sl@0: # 2007 October 23
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 measuring executing speed. More specifically,
sl@0: # the focus is on the speed of:
sl@0: #
sl@0: #   * joins
sl@0: #   * views
sl@0: #   * sub-selects
sl@0: #   * triggers
sl@0: #
sl@0: # $Id: speed4p.explain,v 1.1 2008/04/16 12:57:48 drh Exp $
sl@0: #
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: speed_trial_init speed1
sl@0: 
sl@0: # Set a uniform random seed
sl@0: expr srand(0)
sl@0: 
sl@0: set sqlout [open speed1.txt w]
sl@0: proc tracesql {sql} {
sl@0:   puts $::sqlout $sql\;
sl@0: }
sl@0: #db trace tracesql
sl@0: 
sl@0: # The number_name procedure below converts its argment (an integer)
sl@0: # into a string which is the English-language name for that number.
sl@0: #
sl@0: # Example:
sl@0: #
sl@0: #     puts [number_name 123]   ->  "one hundred twenty three"
sl@0: #
sl@0: set ones {zero one two three four five six seven eight nine
sl@0:           ten eleven twelve thirteen fourteen fifteen sixteen seventeen
sl@0:           eighteen nineteen}
sl@0: set tens {{} ten twenty thirty forty fifty sixty seventy eighty ninety}
sl@0: proc number_name {n} {
sl@0:   if {$n>=1000} {
sl@0:     set txt "[number_name [expr {$n/1000}]] thousand"
sl@0:     set n [expr {$n%1000}]
sl@0:   } else {
sl@0:     set txt {}
sl@0:   }
sl@0:   if {$n>=100} {
sl@0:     append txt " [lindex $::ones [expr {$n/100}]] hundred"
sl@0:     set n [expr {$n%100}]
sl@0:   }
sl@0:   if {$n>=20} {
sl@0:     append txt " [lindex $::tens [expr {$n/10}]]"
sl@0:     set n [expr {$n%10}]
sl@0:   }
sl@0:   if {$n>0} {
sl@0:     append txt " [lindex $::ones $n]"
sl@0:   }
sl@0:   set txt [string trim $txt]
sl@0:   if {$txt==""} {set txt zero}
sl@0:   return $txt
sl@0: }
sl@0: 
sl@0: # Summary of tests:
sl@0: #
sl@0: #   speed4p-join1: Join three tables using IPK index.
sl@0: #   speed4p-join2: Join three tables using an index.
sl@0: #   speed4p-join3: Join two tables without an index.
sl@0: #
sl@0: #   speed4p-view1:  Querying a view.
sl@0: #   speed4p-table1: Same queries as in speed4p-view1, but run directly against
sl@0: #                  the tables for comparison purposes.
sl@0: #
sl@0: #   speed4p-subselect1: A SELECT statement that uses many sub-queries..
sl@0: #
sl@0: #   speed4p-trigger1: An INSERT statement that fires a trigger.
sl@0: #   speed4p-trigger2: An UPDATE statement that fires a trigger.
sl@0: #   speed4p-trigger3: A DELETE statement that fires a trigger.
sl@0: #   speed4p-notrigger1: Same operation as trigger1, but without the trigger.
sl@0: #   speed4p-notrigger2:        "          trigger2           "
sl@0: #   speed4p-notrigger3:        "          trigger3           "
sl@0: #
sl@0: 
sl@0: # Set up the schema. Each of the tables t1, t2 and t3 contain 50,000 rows.
sl@0: # This creates a database of around 16MB.
sl@0: execsql {
sl@0:   PRAGMA page_size=1024;
sl@0:   PRAGMA cache_size=8192;
sl@0:   PRAGMA locking_mode=EXCLUSIVE;
sl@0:   BEGIN;
sl@0:   CREATE TABLE t1(rowid INTEGER PRIMARY KEY, i INTEGER, t TEXT);
sl@0:   CREATE TABLE t2(rowid INTEGER PRIMARY KEY, i INTEGER, t TEXT);
sl@0:   CREATE TABLE t3(rowid INTEGER PRIMARY KEY, i INTEGER, t TEXT);
sl@0: 
sl@0:   CREATE VIEW v1 AS SELECT rowid, i, t FROM t1;
sl@0:   CREATE VIEW v2 AS SELECT rowid, i, t FROM t2;
sl@0:   CREATE VIEW v3 AS SELECT rowid, i, t FROM t3;
sl@0: }
sl@0: for {set jj 1} {$jj <= 3} {incr jj} {
sl@0:   set stmt [string map "%T% t$jj" {INSERT INTO %T% VALUES(NULL, $i, $t)}]
sl@0:   for {set ii 0} {$ii < 50000} {incr ii} {
sl@0:     set i [expr {int(rand()*50000)}]
sl@0:     set t [number_name $i]
sl@0:     execsql $stmt
sl@0:   }
sl@0: }
sl@0: execsql {
sl@0:   CREATE INDEX i1 ON t1(t);
sl@0:   CREATE INDEX i2 ON t2(t);
sl@0:   CREATE INDEX i3 ON t3(t);
sl@0:   COMMIT;
sl@0: }
sl@0: 
sl@0: # Before running these tests, disable the compiled statement cache built into
sl@0: # the Tcl interface. This is because we want to test the speed of SQL
sl@0: # compilation as well as execution.
sl@0: #
sl@0: db cache size 0
sl@0: 
sl@0: # Join t1, t2, t3 on IPK.
sl@0: set sql "SELECT * FROM t1, t2, t3 WHERE t1.oid = t2.oid AND t2.oid = t3.oid"
sl@0: explain $sql
sl@0: speed_trial speed4p-join1 50000 row $sql
sl@0: 
sl@0: # Join t1, t2, t3 on the non-IPK index.
sl@0: set sql "SELECT * FROM t1, t2, t3 WHERE t1.t = t2.t AND t2.t = t3.t"
sl@0: explain $sql
sl@0: speed_trial speed4p-join2 50000 row $sql
sl@0: 
sl@0: # Run 10000 simple queries against the views.
sl@0: set script {
sl@0:   for {set ii 1} {$ii < 10000} {incr ii} {
sl@0:     set v [expr {$ii*3}]
sl@0:     set t [expr {$ii%3+1}]
sl@0:     db eval "SELECT * FROM v$t WHERE rowid = \$v"
sl@0:   }
sl@0: }
sl@0: explain {SELECT * FROm v1 WHERE rowid=$v}
sl@0: speed_trial_tcl speed4p-view1 10000 stmt $script
sl@0: 
sl@0: # Run the same 10000 simple queries as in the previous test case against
sl@0: # the underlying tables. The compiled vdbe programs should be identical, so
sl@0: # the only difference in running time is the extra time taken to compile
sl@0: # the view definitions.
sl@0: #
sl@0: set script {
sl@0:   for {set ii 1} {$ii < 10000} {incr ii} {
sl@0:     set v [expr {$ii*3}]
sl@0:     set t [expr {$ii%3+1}]
sl@0:     db eval "SELECT t FROM t$t WHERE rowid = \$v"
sl@0:   }
sl@0: }
sl@0: explain {SELECT * FROM t1 WHERE rowid=$v}
sl@0: speed_trial_tcl speed4p-table1 10000 stmt $script
sl@0: 
sl@0: # Run a SELECT that uses sub-queries 10000 times. A total of 30000 sub-selects.
sl@0: #
sl@0: set script {
sl@0:   for {set ii 1} {$ii < 10000} {incr ii} {
sl@0:     set v [expr {$ii*3}]
sl@0:     db eval {
sl@0:       SELECT (SELECT t FROM t1 WHERE rowid = $v), 
sl@0:              (SELECT t FROM t2 WHERE rowid = $v), 
sl@0:              (SELECT t FROM t3 WHERE rowid = $v)
sl@0:     }
sl@0:   }
sl@0: }
sl@0: explain {
sl@0:       SELECT (SELECT t FROM t1 WHERE rowid = $v), 
sl@0:              (SELECT t FROM t2 WHERE rowid = $v), 
sl@0:              (SELECT t FROM t3 WHERE rowid = $v)
sl@0: }
sl@0: speed_trial_tcl speed4p-subselect1 10000 stmt $script
sl@0: 
sl@0: # The following block tests the speed of some DML statements that cause
sl@0: # triggers to fire.
sl@0: #
sl@0: execsql {
sl@0:   CREATE TABLE log(op TEXT, r INTEGER, i INTEGER, t TEXT);
sl@0:   CREATE TABLE t4(rowid INTEGER PRIMARY KEY, i INTEGER, t TEXT);
sl@0:   CREATE TRIGGER t4_trigger1 AFTER INSERT ON t4 BEGIN
sl@0:     INSERT INTO log VALUES('INSERT INTO t4', new.rowid, new.i, new.t);
sl@0:   END;
sl@0:   CREATE TRIGGER t4_trigger2 AFTER UPDATE ON t4 BEGIN
sl@0:     INSERT INTO log VALUES('UPDATE OF t4', new.rowid, new.i, new.t);
sl@0:   END;
sl@0:   CREATE TRIGGER t4_trigger3 AFTER DELETE ON t4 BEGIN
sl@0:     INSERT INTO log VALUES('DELETE OF t4', old.rowid, old.i, old.t);
sl@0:   END;
sl@0:   BEGIN;
sl@0: }
sl@0: set list {}
sl@0: for {set ii 1} {$ii < 10000} {incr ii} {
sl@0:   lappend list $ii [number_name $ii]
sl@0: }
sl@0: set script {
sl@0:   foreach {ii name} $::list {
sl@0:     db eval {INSERT INTO t4 VALUES(NULL, $ii, $name)}
sl@0:   }
sl@0: }
sl@0: explain {INSERT INTO t4 VALUES(NULL, $ii, $name)}
sl@0: speed_trial_tcl speed4p-trigger1 10000 stmt $script
sl@0: 
sl@0: set list {}
sl@0: for {set ii 1} {$ii < 20000} {incr ii 2} {
sl@0:   set ii2 [expr {$ii*2}]
sl@0:   lappend list $ii $ii2 [number_name $ii2]
sl@0: }
sl@0: set script {
sl@0:   foreach {ii ii2 name} $::list {
sl@0:     db eval {
sl@0:       UPDATE t4 SET i = $ii2, t = $name WHERE rowid = $ii;
sl@0:     }
sl@0:   }
sl@0: }
sl@0: explain {UPDATE t4 SET i = $ii2, t = $name WHERE rowid = $ii}
sl@0: speed_trial_tcl speed4p-trigger2 10000 stmt $script
sl@0: 
sl@0: set script {
sl@0:   for {set ii 1} {$ii < 20000} {incr ii 2} {
sl@0:     db eval {DELETE FROM t4 WHERE rowid = $ii}
sl@0:   }
sl@0: }
sl@0: explain {DELETE FROM t4 WHERE rowid = $ii}
sl@0: speed_trial_tcl speed4p-trigger3 10000 stmt $script
sl@0: execsql {COMMIT}
sl@0: 
sl@0: # The following block contains the same tests as the above block that
sl@0: # tests triggers, with one crucial difference: no triggers are defined.
sl@0: # So the difference in speed between these tests and the preceding ones
sl@0: # is the amount of time taken to compile and execute the trigger programs.
sl@0: #
sl@0: execsql {
sl@0:   DROP TABLE t4;
sl@0:   DROP TABLE log;
sl@0:   VACUUM;
sl@0:   CREATE TABLE t4(rowid INTEGER PRIMARY KEY, i INTEGER, t TEXT);
sl@0:   BEGIN;
sl@0: }
sl@0: set list {}
sl@0: for {set ii 1} {$ii < 10000} {incr ii} {
sl@0:   lappend list $ii [number_name $ii]
sl@0: }
sl@0: set script {
sl@0:   foreach {ii name} $::list {
sl@0:     db eval {INSERT INTO t4 VALUES(NULL, $ii, $name);}
sl@0:   }
sl@0: }
sl@0: explain {INSERT INTO t4 VALUES(NULL, $ii, $name)}
sl@0: speed_trial_tcl speed4p-notrigger1 10000 stmt $script
sl@0: 
sl@0: set list {}
sl@0: for {set ii 1} {$ii < 20000} {incr ii 2} {
sl@0:   set ii2 [expr {$ii*2}]
sl@0:   lappend list $ii $ii2 [number_name $ii2]
sl@0: }
sl@0: set script {
sl@0:   foreach {ii ii2 name} $::list {
sl@0:     db eval {
sl@0:       UPDATE t4 SET i = $ii2, t = $name WHERE rowid = $ii;
sl@0:     }
sl@0:   }
sl@0: }
sl@0: explain {UPDATE t4 SET i = $ii2, t = $name WHERE rowid = $ii}
sl@0: speed_trial_tcl speed4p-notrigger2 10000 stmt $script
sl@0: 
sl@0: set script {
sl@0:   for {set ii 1} {$ii < 20000} {incr ii 2} {
sl@0:     db eval {DELETE FROM t4 WHERE rowid = $ii}
sl@0:   }
sl@0: }
sl@0: explain {DELETE FROM t4 WHERE rowid = $ii}
sl@0: speed_trial_tcl speed4p-notrigger3 10000 stmt $script
sl@0: execsql {COMMIT}
sl@0: 
sl@0: speed_trial_summary speed4
sl@0: finish_test