Joseph Conway <mail@joeconway.com> wrote:
> On 7/17/10 12:09 PM, Kevin Grittner wrote:
>> I'll post a new patch tomorrow
>
> That all sounds great. I'll concentrate today on understanding the
> theory and high level design.
Well, I started today by doing a make distclean and rebuilding from
scratch, and my patch behaved OK *without* the other patch, so that
issue wasn't real -- I had just gotten into a bad build state
somehow.
I'm attaching a fresh patch, but I think the only differences are:
(1) Some minor changes to line numbers based on recent commits.
(2) Some white space adjustments I made to better comply with style
guidelines.
I've also attached a small patch which hacks pgbench to continue
when a transaction fails with SQLSTATE '40001'. Florian's test
catches these in the test function and ignores them, but with the
SSI technique, some of the failures aren't being detected until the
COMMIT attempt, so the function can't catch and ignore them, so
pgbench has to do so. I'm also attaching a very slightly modified
version of the pgbench test which Florian used for the other patch.
It did show up real problems at first, but those were fixed before
the -2 patch I recently posted. (Yes, I admit that the very first
thing I do these days when I see a test or script which demonstrates
problems with serializability is to test is with the SSI code.)
To run Florian's test, I've been putting these files one level up
from my checkout directory, running the init script through psql,
then running:
pgbench -s 10 -j 10 -c 10 -t 1000 -n -f ../fkbench.pgbench fkbench
To run the tests included in the main patch (if you have python,
twisted, etc., installed), after the make check, run make dcheck.
If you spot anything on the Serializable Wiki page which is unclear,
please feel free to fix it or let me know. I'm hoping to ultimately
draw from that for a README file.
Thanks for looking at this!
-Kevin