Date: Fri, 28 Jun 2019 17:56:03 -0400
From: Alvaro Herrera <alvherre@2ndquadrant.com>
To: Amit Langote <Langote_Amit_f8@lab.ntt.co.jp>
Cc: infernorb@gmail.com, pgsql-bugs@lists.postgresql.org,
	PG Bug reporting form <noreply@postgresql.org>
Subject: Re: BUG #15677: Crash while deleting from partitioned table
Message-ID: <20190628215603.GA12247@alvherre.pgsql>
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="a8Wt8u1KmwUX3Y2C"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <3ad5ba71-d200-96da-f903-7e3b16416140@lab.ntt.co.jp>
User-Agent: Mutt/1.9.4 (2018-02-28)
Precedence: bulk


--a8Wt8u1KmwUX3Y2C
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit

On 2019-Mar-11, Amit Langote wrote:

> To reproduce, use these steps (needs 2 sessions to invoke EvalPlanQual at
> all):
> 
> Setup:
> 
> create table p (a int) partition by list (a);
> create table p1 partition of p for values in (1);
> insert into p values (1);
> 
> Session 1:
> 
> begin;
> update p set a = a;
> 
> Session 2:
> 
> with u as (update p set a = a returning p.*) update p set a = u.a from u;
> <blocks>

Hmmm ... I rewrote to this isolationtester spec and doesn't reproduce a
problem in master.  I am probably missing something ...

-- 
Álvaro Herrera                https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services

--a8Wt8u1KmwUX3Y2C
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename="partition-eval-plan-qual.spec"

setup {
create table p (a int) partition by list (a);
create table p1 partition of p for values in (1);
insert into p values (1);
}

session "s1"
setup 				{ begin; }
step "s1_update"	{ update p set a = a; }
step "s1_commit"	{ commit; }

session "s2"
step "s2_update"	{ with u as (update p set a = a returning p.*) update p set a = u.a from u; }

permutation "s1_update" "s2_update" "s1_commit"

--a8Wt8u1KmwUX3Y2C--