Thread

1. isolationtester's "dry run" mode

   Alvaro Herrera <alvherre@alvh.no-ip.org> — 2011-10-25T16:32:31Z

   This patch adds a -n option to isolationtester.  With this option,
   instead of running the tests, it prints the permutations that would be
   run.  This is very useful for generating test specs which need to remove
   permutations that are not valid (because they would run a command on a
   blocked session).
   
   Objections?
   
   Sample run:
   
   $ ./isolationtester -n < ~-/specs/classroom-scheduling.spec
   permutation "rx1" "wy1" "c1" "ry2" "wx2" "c2"
   permutation "rx1" "wy1" "ry2" "c1" "wx2" "c2"
   permutation "rx1" "wy1" "ry2" "wx2" "c1" "c2"
   permutation "rx1" "wy1" "ry2" "wx2" "c2" "c1"
   permutation "rx1" "ry2" "wy1" "c1" "wx2" "c2"
   permutation "rx1" "ry2" "wy1" "wx2" "c1" "c2"
   permutation "rx1" "ry2" "wy1" "wx2" "c2" "c1"
   permutation "rx1" "ry2" "wx2" "wy1" "c1" "c2"
   permutation "rx1" "ry2" "wx2" "wy1" "c2" "c1"
   permutation "rx1" "ry2" "wx2" "c2" "wy1" "c1"
   permutation "ry2" "rx1" "wy1" "c1" "wx2" "c2"
   permutation "ry2" "rx1" "wy1" "wx2" "c1" "c2"
   permutation "ry2" "rx1" "wy1" "wx2" "c2" "c1"
   permutation "ry2" "rx1" "wx2" "wy1" "c1" "c2"
   permutation "ry2" "rx1" "wx2" "wy1" "c2" "c1"
   permutation "ry2" "rx1" "wx2" "c2" "wy1" "c1"
   permutation "ry2" "wx2" "rx1" "wy1" "c1" "c2"
   permutation "ry2" "wx2" "rx1" "wy1" "c2" "c1"
   permutation "ry2" "wx2" "rx1" "c2" "wy1" "c1"
   permutation "ry2" "wx2" "c2" "rx1" "wy1" "c1"
   
   
   -- 
   Álvaro Herrera <alvherre@alvh.no-ip.org>
   

2. Re: isolationtester's "dry run" mode

   Alvaro Herrera <alvherre@commandprompt.com> — 2011-10-25T16:33:23Z

   Excerpts from Alvaro Herrera's message of mar oct 25 13:32:31 -0300 2011:
   > This patch adds a -n option to isolationtester.  With this option,
   > instead of running the tests, it prints the permutations that would be
   > run.  This is very useful for generating test specs which need to remove
   > permutations that are not valid (because they would run a command on a
   > blocked session).
   
   Forgot to credit the author: this patch was developed by Alexander
   Shulgin.
   
   -- 
   Álvaro Herrera <alvherre@commandprompt.com>
   The PostgreSQL Company - Command Prompt, Inc.
   PostgreSQL Replication, Consulting, Custom Development, 24x7 support