Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pZLwa-0005Gv-Kr for pgsql-bugs@arkaria.postgresql.org; Tue, 07 Mar 2023 01:16:44 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.92) (envelope-from ) id 1pZLwZ-0005zF-ED for pgsql-bugs@arkaria.postgresql.org; Tue, 07 Mar 2023 01:16:43 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pZLwZ-0005z6-5n for pgsql-bugs@lists.postgresql.org; Tue, 07 Mar 2023 01:16:43 +0000 Received: from sss.pgh.pa.us ([66.207.139.130]) by makus.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pZLwW-0006ey-0t for pgsql-bugs@lists.postgresql.org; Tue, 07 Mar 2023 01:16:41 +0000 Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1]) by sss.pgh.pa.us (8.15.2/8.15.2) with ESMTP id 3271GbgM3777236; Mon, 6 Mar 2023 20:16:37 -0500 From: Tom Lane To: Thomas Munro cc: Alexander Lakhin , pgsql-bugs@lists.postgresql.org Subject: Re: BUG #17368: Assert failed in GetSafeSnapshot() for SERIALIZABLE READ ONLY DEFERRABLE transaction In-reply-to: References: <17368-98a4f99e8e4b4402@postgresql.org> <18a116d2-7927-6a62-aa60-ab16c53183f9@gmail.com> <3766597.1678146140@sss.pgh.pa.us> Comments: In-reply-to Thomas Munro message dated "Tue, 07 Mar 2023 14:14:03 +1300" MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-ID: <3777234.1678151797.1@sss.pgh.pa.us> Date: Mon, 06 Mar 2023 20:16:37 -0500 Message-ID: <3777235.1678151797@sss.pgh.pa.us> List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk Thomas Munro writes: > On Tue, Mar 7, 2023 at 12:42 PM Tom Lane wrote: >> What if they both touched/modified a shared catalog? > I was assuming that that would already skip all predicate locking because: > /* > * Does this relation participate in predicate locking? Temporary and system > * relations are exempt. > */ Oh, I'd forgotten about that. > If we ever wanted to use SSI on catalogs, or allow shared relations > that aren't catalogs, or allow cross-database access, then this > optimisation wouldn't fly. I suppose there are some gotchas in the way of making that happen, so okay. regards, tom lane