On Thu, Nov 13, 2014 at 2:26 AM, Jeff Davis <pgsql@j-davis.com> wrote:
> The current deadlock detector would see a dependency graph like:
>
> A2 -> B -> A1
>
> But with lock groups, it would see:
>
> (A1 A2) -> B -> (A1 A2)
>
> which is a cycle, and can be detected regardless of the synchronization
> method used between A1 and A2. There are some details to work out to
> avoid false positives, of course.
>
> Is that about right?
Yep.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company