Re: Read Uncommitted regression test coverage

From: Mark Dilger <hornschnorter(at)gmail(dot)com>
To: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Cc: Simon Riggs <simon(at)2ndquadrant(dot)com>, Robert Haas <robertmhaas(at)gmail(dot)com>, PostgreSQL Hackers <pgsql-hackers(at)lists(dot)postgresql(dot)org>
Subject: Re: Read Uncommitted regression test coverage
Date: 2019-12-19 03:19:20
Message-ID: 02bd8490-611e-043c-747c-031de5d15302@gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On 12/18/19 2:17 PM, Tom Lane wrote:
> Mark Dilger <hornschnorter(at)gmail(dot)com> writes:
>>> The one in src/test/isolation doesn't look very comprehensive.  I'd
>>> at least expect a test that verifies you don't get a syntax error
>>> when you request READ UNCOMMITTED isolation from SQL.
>
>> The attached patch set adds a modicum of test coverage for this.
>> Do others feel these tests are worth the small run time overhead
>> they add?
>
> No. As you pointed out yourself, READ UNCOMMITTED is the same as READ
> COMMITTED, so there's hardly any point in testing its semantic behavior.
> One or two tests that check that it is accepted by the grammar seem
> like plenty (and even there, what's there to break? If bison starts
> failing us to that extent, we've got bigger problems.)

The lack of testing in the current system is so complete that if you
go into gram.y and remove READ UNCOMMITTED from the grammar, not one
test in check-world fails.

Somebody doing something like what Simon is suggesting might refactor
the code in a way that unintentionally breaks this isolation level, and
we'd not know about it until users started complaining.

The attached patch is pretty cheap. Perhaps you'll like it better?

--
Mark Dilger

Attachment Content-Type Size
0003-grammar.patch text/x-patch 1.2 KB

In response to

Browse pgsql-hackers by date

  From Date Subject
Next Message Michael Paquier 2019-12-19 03:59:24 Re: automating pg_config.h.win32 maintenance
Previous Message Masahiko Sawada 2019-12-19 03:07:55 Re: [HACKERS] Block level parallel vacuum