hi,

> YAMAMOTO Takashi <yamt(at)mwd(dot)biglobe(dot)ne(dot)jp> wrote:
>  
>> it seems that PredicateLockTupleRowVersionLink sometimes create
>> a loop of targets (it founds an existing 'newtarget' whose
>> nextVersionOfRow chain points to the 'oldtarget') and it later
>> causes CheckTargetForConflictsIn loop forever.
>  
> Is this a hypothetical risk based on looking at the code, or have
> you seen this actually happen?  Either way, could you provide more
> details?  (A reproducible test case would be ideal.)

i have seen this actually happen.  i've confirmed the creation of the loop
with the attached patch.  it's easily reproducable with my application.
i can provide the full source code of my application if you want.
(but it isn't easy to run unless you are familiar with the recent
version of NetBSD)
i haven't found a smaller reproducible test case yet.

YAMAMOTO Takashi

>  
> This being the newest part of the code, I'll grant that it is the
> most likely to have an unidentified bug; but given that the pointers
> are from one predicate lock target structure identified by a tuple
> ID to one identified by the tuple ID of the next version of the row,
> it isn't obvious to me how a cycle could develop.
>  
> -Kevin

In response to

• Re: SSI bug? at 2011-02-11 15:48:18 from Kevin Grittner

Responses

• Re: SSI bug? at 2011-02-12 17:07:52 from Kevin Grittner

pgsql-hackers by date

Next:	From: Alex Hunsaker	Date: 2011-02-12 07:53:14
	Subject: Re: arrays as pl/perl input arguments [PATCH]
Previous:	From: Greg Smith	Date: 2011-02-12 04:57:02
	Subject: Re: Debian readline/libedit breakage