Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sACcD-008BmU-VJ for pgsql-general@arkaria.postgresql.org; Thu, 23 May 2024 17:52:35 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1sACbD-00EgaE-As for pgsql-general@arkaria.postgresql.org; Thu, 23 May 2024 17:51:31 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sA9HW-00D2d9-Bt for pgsql-general@lists.postgresql.org; Thu, 23 May 2024 14:18:58 +0000 Received: from mail-40130.protonmail.ch ([185.70.40.130]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sA9HT-000ODL-4b for pgsql-general@postgresql.org; Thu, 23 May 2024 14:18:57 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1716473932; x=1716733132; bh=V30AEXH+kgsr4Ph6nwK4MKnIzCtCw8hCjHOsGBSIz6s=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=yxYCo2wwtCMpVEmM+e5PDfDbWyE/4EekTqysoCxtSEnzLVhiuO9MaIrYJ8Mj16SRj 0wXjwMvxhuzbqf7HbqaOw1QnB/xTFgFfeunIuGt01L3dv6osUqd3lkblGPlMPD6YL1 9cUC185cJC+rwWOXBCQp/dYTiZGSC+pPXQbEydRFkrYF3SCIS3XrRqYiPT63j+SY+a u9vMOAFlsJo80LRHvVhe10bgg+QVvcFeoTRYQxb5Ts9DcTiTupmr9kltpapd6spRCX Ww85WGn89cIVtcA7py3rxE1TYDF+4EcV9i3AFb8NUepQQi3mdsqcPGzUQgv5F2k+MG KILy8nZRiBE5w== Date: Thu, 23 May 2024 14:18:47 +0000 To: "pgsql-general@postgresql.org" From: conflict_serializability Subject: Need help to review a serializability implementation for MySQL Cluster Message-ID: Feedback-ID: 110618782:user:proton X-Pm-Message-ID: fee31d68514a6daec79af74a89c8605440ef7eae MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="b1_odIzCLNVu20lbv2wYCqSXlzkcVj2xqXxstd9a5zac" List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk This is a multi-part message in MIME format. --b1_odIzCLNVu20lbv2wYCqSXlzkcVj2xqXxstd9a5zac Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 SGV5IGd1eXMsCgpJJ3ZlIGRldmVsb3BlZCBhIHNlcmlhbGl6YWJpbGl0eSBpbXBsZW1lbnRhdGlv biBmb3IgTXlTUUwgQ2x1c3RlcihOREIgQ2x1c3RlcikgYW5kIHlvdSBhcmUgaW52aXRlZCB0byBw ZWVyLXJldmlldyBpdCBmb3IgbWUuIEkgYmVsaWV2ZSBpdCBpcyB0aGUgZmlmdGggb25lIGluIGNv bW1lcmNpYWwgZGF0YWJhc2Ugc3lzdGVtcyBhZnRlcjogTXlTUUwgSW5ub0RCJ3MKMlBMLCBQb3N0 Z3JlU1FMJ3MgU2VyaWFsaXphYmxlIFNuYXBzaG90IElzb2xhdGlvbiwgR29vZ2xlJ3MgU3Bhbm5l cidzIGlzb2xhdGlvbiBsZXZlbChJIGdhdmUgYSBwcm9vZiBpbiBBcHBlbmRpeCBEIG9mIG15IGFy dGljbGUsIHRoZSBnb29nbGUgZ3V5cwptYXkgbm90IGhhdmUga25vd24gdGhpcyksIENvY2tyb2Fj aERCJ3MgdGltZXN0YW1wLWJhc2VkIHNlcmlhbGl6YWJpbGl0eSBpbXBsZW1lbnRhdGlvbi4gVGhl IGFpbSBpcyB0byBzb2x2ZSBjb25zaXN0ZW50LCBsYXJnZSh1c3VhbGx5IGltcGxpZXMKYSBkaXN0 cmlidXRlZCBhcmNoaXRlY3R1cmUpIGFuZCBwZXJmb3JtYW5jZS1ib29zdGVkIGRhdGFiYXNlIGFw cGxpY2F0aW9ucywgd2hpY2ggaXMgZGF1bnRpbmcgZm9yIHRob3NlIHdobyBjYXJlIGFib3V0IGNv bnNpc3RlbmN5IGFuZApzZXJpYWxpemFiaWxpdHkuIFRoaXMgc29sdXRpb24gdG8gdGhlIHNlcmlh bGl6YWJpbGl0eSBwcm9ibGVtIGlzIGEgMm5kLXRpZXIgb25lLCB3aGljaCBtZWFucyBpdCBkb2Vu J3QgcmVxdWlyZSBhbnkgY29kaW5nLiBTbyBhcyBsb25nIGFzIHlvdSBjYW4KbWFuYWdlIGEgTXlT UUwgQ2x1c3RlciwgeW91IGNhbiByZWFkaWx5IGRlcGxveSBhbmQgdGVzdCB5b3VyIGFwcGxpY2F0 aW9uIHdpdGggaXQuCgpUaGlzIG9uLWdvaW5nIHByb2plY3QgaXMgaG9zdGVkIEAgaHR0cHM6Ly9n aXRodWIuY29tL2NyZWFteWZpc2gvY29uZmxpY3Rfc2VyaWFsaXphYmlsaXR5CkkgYWxzbyBzZXQg dXAgYSBkaXNjdXNzaW9uIHNpdGUgQCBodHRwczovL3d3dy5yZWRkaXQuY29tL3IvU2VyaWFsaXph YmlsaXR5LywgYmVzaWRlcyB0aGF0IG9mIGdpdGh1YidzCgpJIGFtIHNlbmQgdGhpcyB0byB0aGUg Z2VuZXJhbCBsaXN0IG9mIFBvc3RncmVTUUwgYmVjYXVzZSB0aGVyZSBpcyBhbHNvIGEgZGlzY3Vz c2lvbiBvZiBQb3N0Z3JlU1FMJ3MgU2VyaWFsaXphYmxlIFNuYXBzaG90IElzb2xhdGlvbiBpbiBt eSBhcnRpY2xlLgpDb21lIGNoZWNrIGl0IG91dCBpZiB5b3UgYXJlIGludGVyZXN0ZWQuIFlvdXIg aGVscCBpcyBoaWdobHkgYXBwcmVjaWF0ZWQhCgpTZW50IHdpdGggW1Byb3RvbiBNYWlsXShodHRw czovL3Byb3Rvbi5tZS8pIHNlY3VyZSBlbWFpbC4= --b1_odIzCLNVu20lbv2wYCqSXlzkcVj2xqXxstd9a5zac Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 PGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDE0 cHg7Ij48c3Bhbj5IZXkgZ3V5cyw8L3NwYW4+PGRpdj48YnI+PC9kaXY+PGRpdj48c3Bhbj5JJ3Zl IGRldmVsb3BlZCBhIHNlcmlhbGl6YWJpbGl0eSBpbXBsZW1lbnRhdGlvbiBmb3IgTXlTUUwgQ2x1 c3RlcihOREIgQ2x1c3RlcikgYW5kIHlvdSBhcmUgaW52aXRlZCB0byBwZWVyLXJldmlldyBpdCBm b3IgbWUuIEkgYmVsaWV2ZSBpdCBpcyB0aGUgZmlmdGggb25lIGluIGNvbW1lcmNpYWwgZGF0YWJh c2Ugc3lzdGVtcyBhZnRlcjogTXlTUUwgSW5ub0RCJ3M8L3NwYW4+PC9kaXY+PGRpdj48c3Bhbj4y UEwsIFBvc3RncmVTUUwncyBTZXJpYWxpemFibGUgU25hcHNob3QgSXNvbGF0aW9uLCBHb29nbGUn cyBTcGFubmVyJ3MgaXNvbGF0aW9uIGxldmVsKEkgZ2F2ZSBhIHByb29mIGluIEFwcGVuZGl4IEQg b2YgbXkgYXJ0aWNsZSwgdGhlIGdvb2dsZSBndXlzPC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+bWF5 IG5vdCBoYXZlIGtub3duIHRoaXMpLCBDb2Nrcm9hY2hEQidzIHRpbWVzdGFtcC1iYXNlZCBzZXJp YWxpemFiaWxpdHkgaW1wbGVtZW50YXRpb24uIFRoZSBhaW0gaXMgdG8gc29sdmUgY29uc2lzdGVu dCwgbGFyZ2UodXN1YWxseSBpbXBsaWVzPC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+YSBkaXN0cmli dXRlZCBhcmNoaXRlY3R1cmUpIGFuZCBwZXJmb3JtYW5jZS1ib29zdGVkIGRhdGFiYXNlIGFwcGxp Y2F0aW9ucywgd2hpY2ggaXMgZGF1bnRpbmcgZm9yIHRob3NlIHdobyBjYXJlIGFib3V0IGNvbnNp c3RlbmN5IGFuZDwvc3Bhbj48L2Rpdj48ZGl2PjxzcGFuPnNlcmlhbGl6YWJpbGl0eS4gVGhpcyBz b2x1dGlvbiB0byB0aGUgc2VyaWFsaXphYmlsaXR5IHByb2JsZW0gaXMgYSAybmQtdGllciBvbmUs IHdoaWNoIG1lYW5zIGl0IGRvZW4ndCByZXF1aXJlIGFueSBjb2RpbmcuIFNvIGFzIGxvbmcgYXMg eW91IGNhbjwvc3Bhbj48L2Rpdj48ZGl2PjxzcGFuPm1hbmFnZSBhIE15U1FMIENsdXN0ZXIsIHlv dSBjYW4gcmVhZGlseSBkZXBsb3kgYW5kIHRlc3QgeW91ciBhcHBsaWNhdGlvbiB3aXRoIGl0LiA8 L3NwYW4+PC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj48c3Bhbj5UaGlzIG9uLWdvaW5nIHByb2pl Y3QgaXMgaG9zdGVkIEAgPGEgdGFyZ2V0PSJfYmxhbmsiIHJlbD0ibm9yZWZlcnJlciBub2ZvbGxv dyBub29wZW5lciIgaHJlZj0iaHR0cHM6Ly9naXRodWIuY29tL2NyZWFteWZpc2gvY29uZmxpY3Rf c2VyaWFsaXphYmlsaXR5Ij5odHRwczovL2dpdGh1Yi5jb20vY3JlYW15ZmlzaC9jb25mbGljdF9z ZXJpYWxpemFiaWxpdHk8L2E+PC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+SSBhbHNvIHNldCB1cCBh IGRpc2N1c3Npb24gc2l0ZSBAIDxhIHRhcmdldD0iX2JsYW5rIiByZWw9Im5vcmVmZXJyZXIgbm9m b2xsb3cgbm9vcGVuZXIiIGhyZWY9Imh0dHBzOi8vd3d3LnJlZGRpdC5jb20vci9TZXJpYWxpemFi aWxpdHkvIj5odHRwczovL3d3dy5yZWRkaXQuY29tL3IvU2VyaWFsaXphYmlsaXR5LzwvYT4sIGJl c2lkZXMgdGhhdCBvZiBnaXRodWIncyA8YnI+PC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+PGJyPjwv c3Bhbj48L2Rpdj48ZGl2PjxzcGFuPkkgYW0gc2VuZCB0aGlzIHRvIHRoZSBnZW5lcmFsIGxpc3Qg b2YgUG9zdGdyZVNRTCBiZWNhdXNlIHRoZXJlIGlzIGFsc28gYSBkaXNjdXNzaW9uIG9mIDxzcGFu PlBvc3RncmVTUUwncyBTZXJpYWxpemFibGUgU25hcHNob3QgSXNvbGF0aW9uPC9zcGFuPiBpbiBt eSBhcnRpY2xlLjxicj48L3NwYW4+PC9kaXY+PGRpdj48YnI+PC9kaXY+PHNwYW4+Q29tZSBjaGVj ayBpdCBvdXQgaWYgeW91IGFyZSBpbnRlcmVzdGVkLiBZb3VyIGhlbHAgaXMgaGlnaGx5IGFwcHJl Y2lhdGVkITwvc3Bhbj48YnI+PC9kaXY+PGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsLCBz YW5zLXNlcmlmOyBmb250LXNpemU6IDE0cHg7Ij48YnI+PC9kaXY+DQo8ZGl2IGNsYXNzPSJwcm90 b25tYWlsX3NpZ25hdHVyZV9ibG9jayIgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcmlhbCwgc2Fucy1z ZXJpZjsgZm9udC1zaXplOiAxNHB4OyI+DQogICAgPGRpdiBjbGFzcz0icHJvdG9ubWFpbF9zaWdu YXR1cmVfYmxvY2stdXNlciBwcm90b25tYWlsX3NpZ25hdHVyZV9ibG9jay1lbXB0eSI+DQogICAg ICAgIA0KICAgICAgICAgICAgPC9kaXY+DQogICAgDQogICAgICAgICAgICA8ZGl2IGNsYXNzPSJw cm90b25tYWlsX3NpZ25hdHVyZV9ibG9jay1wcm90b24iPg0KICAgICAgICBTZW50IHdpdGggPGEg dGFyZ2V0PSJfYmxhbmsiIGhyZWY9Imh0dHBzOi8vcHJvdG9uLm1lLyIgcmVsPSJub29wZW5lciBu b3JlZmVycmVyIj5Qcm90b24gTWFpbDwvYT4gc2VjdXJlIGVtYWlsLg0KICAgIDwvZGl2Pg0KPC9k aXY+DQo= --b1_odIzCLNVu20lbv2wYCqSXlzkcVj2xqXxstd9a5zac--