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 1lVhVj-0002h9-2d for pgsql-hackers@arkaria.postgresql.org; Sun, 11 Apr 2021 21:20:51 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.92) (envelope-from ) id 1lVhVh-0002qm-8O for pgsql-hackers@arkaria.postgresql.org; Sun, 11 Apr 2021 21:20:49 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lVhVh-0002qf-1e for pgsql-hackers@lists.postgresql.org; Sun, 11 Apr 2021 21:20:49 +0000 Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by magus.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lVhVZ-0006UB-Lj for pgsql-hackers@lists.postgresql.org; Sun, 11 Apr 2021 21:20:47 +0000 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.nyi.internal (Postfix) with ESMTP id 1CE2D5C00FD; Sun, 11 Apr 2021 17:20:39 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Sun, 11 Apr 2021 17:20:39 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:subject:to :x-me-proxy:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s= fm2; bh=C2V6ieY9AwrHU5HKzYJh961ItjeDqEMyzeH1xdVs1ZM=; b=YlcbyjDr YioIxnfC2DzMrWYF+3TyYzyi8A5GIjbToQ6VZIvjfC4adY2Zcy8X+aZL0zW7d/eP EzS+AzwTOaJ0FjH2+w5S/HxAZWuNkxbmWPx8XLZW7p/sg/GTe1reY1rtB269o2E4 yh61yokIgKdqKA7gRORUslkrRcJkpbOgl+TvCp7tL9XW7h6Cw/cKlJZkuwz4WIzZ RsWRJ3xX42wQiOPknP5/fV7zSk61iRfrzpC7WBlH8y/59jQffKPkL53E+itZ0+r6 1qEA87L3WUSUF+umAIsShf2q3COPzGZwouv52GulxyDCOZIGaZjGii3k/Y3L+tQr oLXp4FhM43I/Xg== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduledrudekhedgledtucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepfffhvffukfggtggugfgjfgesthekredttderudenucfhrhhomheptehlvhgr rhhoucfjvghrrhgvrhgruceorghlvhhhvghrrhgvsegrlhhvhhdrnhhoqdhiphdrohhrgh eqnecuggftrfgrthhtvghrnheptdekjeetfeeludetleekleehtefhteefffdulefffedt tdegfeegvdelffdtkeffnecuffhomhgrihhnpehpghhsqhhlrdgsuhhilhgunecukfhppe duledtrdelhedrudelrdelheenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhep mhgrihhlfhhrohhmpegrlhhvhhgvrhhrvgesrghlvhhhrdhnohdqihhprdhorhhg X-ME-Proxy: Received: from perhan.alvh.no-ip.org (unknown [190.95.19.95]) by mail.messagingengine.com (Postfix) with ESMTPA id 48F3D1080057; Sun, 11 Apr 2021 17:20:38 -0400 (EDT) Received: by perhan.alvh.no-ip.org (Postfix, from userid 1000) id 4A6402A0B74; Sun, 11 Apr 2021 17:20:35 -0400 (-04) Date: Sun, 11 Apr 2021 17:20:35 -0400 From: Alvaro Herrera To: Tom Lane Cc: Justin Pryzby , Amit Langote , pgsql-hackers@lists.postgresql.org Subject: Re: ALTER TABLE .. DETACH PARTITION CONCURRENTLY Message-ID: <20210411212035.GA15048@alvherre.pgsql> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <3269784.1617215412@sss.pgh.pa.us> User-Agent: Mutt/1.10.1 (2018-07-13) List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk On 2021-Mar-31, Tom Lane wrote: > diff -U3 /home/buildfarm/trilobite/buildroot/HEAD/pgsql.build/src/test/isolation/expected/detach-partition-concurrently-4.out /home/buildfarm/trilobite/buildroot/HEAD/pgsql.build/src/test/isolation/output_iso/results/detach-partition-concurrently-4.out > --- /home/buildfarm/trilobite/buildroot/HEAD/pgsql.build/src/test/isolation/expected/detach-partition-concurrently-4.out 2021-03-29 20:14:21.258199311 +0200 > +++ /home/buildfarm/trilobite/buildroot/HEAD/pgsql.build/src/test/isolation/output_iso/results/detach-partition-concurrently-4.out 2021-03-30 18:54:34.272839428 +0200 > @@ -324,6 +324,7 @@ > 1 > 2 > step s1insert: insert into d4_fk values (1); > +ERROR: insert or update on table "d4_fk" violates foreign key constraint "d4_fk_a_fkey" > step s1c: commit; > > starting permutation: s2snitch s1b s1s s2detach s1cancel s3vacfreeze s1s s1insert s1c Hmm, actually, looking at this closely, I think the expected output is bogus and trilobite is doing the right thing by throwing this error here. The real question is why isn't this case behaving in that way in every *other* animal. -- Álvaro Herrera Valdivia, Chile "Puedes vivir sólo una vez, pero si lo haces bien, una vez es suficiente"