isolationtester's "dry run" mode

From: Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>
To: Pg Hackers <pgsql-hackers(at)postgresql(dot)org>
Cc: Kevin Grittner <kevin(dot)grittner(at)wicourts(dot)gov>
Subject: isolationtester's "dry run" mode
Date: 2011-10-25 16:32:31
Message-ID: 1319560099-sup-9516@alvh.no-ip.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

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(at)alvh(dot)no-ip(dot)org>

Attachment Content-Type Size
isotester-dryrun.patch application/octet-stream 2.8 KB

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Alvaro Herrera 2011-10-25 16:33:23 Re: isolationtester's "dry run" mode
Previous Message Alexander Korotkov 2011-10-25 16:12:08 Collect frequency statistics for arrays