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 1u0jwa-006zKs-GI for pgsql-committers@arkaria.postgresql.org; Fri, 04 Apr 2025 16:31:00 +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 1u0jwZ-002Ex8-8Q for pgsql-committers@arkaria.postgresql.org; Fri, 04 Apr 2025 16:30:59 +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 1u0jud-002Div-K5 for pgsql-committers@lists.postgresql.org; Fri, 04 Apr 2025 16:28:59 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1u0jub-003O2Z-0F for pgsql-committers@lists.postgresql.org; Fri, 04 Apr 2025 16:28:59 +0000 Received: from gemulon.postgresql.org ([2001:4800:3e1:1::198]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u0juZ-0007Zt-AZ for pgsql-committers@lists.postgresql.org; Fri, 04 Apr 2025 16:28:55 +0000 Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org) by gemulon.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1u0juY-002ezY-2Q for pgsql-committers@lists.postgresql.org; Fri, 04 Apr 2025 16:28:54 +0000 Content-Type: multipart/mixed; boundary="===============8958904778831398558==" MIME-Version: 1.0 From: Peter Geoghegan To: pgsql-committers@lists.postgresql.org Subject: pgsql: Further optimize nbtree search scan key comparisons. X-Auto-Response-Suppress: All Auto-Submitted: auto-generated Message-Id: Date: Fri, 04 Apr 2025 16:28:54 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============8958904778831398558== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 RnVydGhlciBvcHRpbWl6ZSBuYnRyZWUgc2VhcmNoIHNjYW4ga2V5IGNvbXBhcmlzb25zLgoKUG9z dGdyZXMgMTcgY29tbWl0IGUwYjFlZTE3IGFkZGVkIHR3byBjb21wbGVtZW50YXJ5IG9wdGltaXph dGlvbnMgdG8KbmJ0cmVlOiB0aGUgInByZWNoZWNrZWQiIGFuZCAiZmlyc3RtYXRjaCIgb3B0aW1p emF0aW9ucy4gIF9idF9yZWFkcGFnZQp3YXMgbWFkZSB0byBhdm9pZCBuZWVkbGVzc2x5IGV2YWx1 YXRpbmcga2V5cyB0aGF0IGFyZSBndWFyYW50ZWVkIHRvIGJlCnNhdGlzZmllZCBieSBhcHBseWlu ZyBwYWdlLWxldmVsIGNvbnRleHQuICAicHJlY2hlY2tlZCIgZGlkIHRoaXMgZm9yCmtleXMgcmVx dWlyZWQgaW4gdGhlIGN1cnJlbnQgc2NhbiBkaXJlY3Rpb24sIHdoaWxlICJmaXJzdG1hdGNoIiBk aWQgaXQKZm9yIGtleXMgcmVxdWlyZWQgaW4gdGhlIG9wcG9zaXRlLXRvLXNjYW4gZGlyZWN0aW9u IG9ubHkuCgpUaGUgInByZWNoZWNrZWQiIGRlc2lnbiBoYWQgYSBudW1iZXIgb2Ygbm90YWJsZSBp c3N1ZXMuICBJdCBkaWRuJ3QKYWNjb3VudCBmb3IgdGhlIGZhY3QgdGhhdCBhbiA9IGFycmF5IHNj YW4ga2V5J3Mgc2tfYXJndW1lbnQgZmllbGQgbWlnaHQKbmVlZCB0byBhZHZhbmNlIGF0IHRoZSBw b2ludCBvZiB0aGUgcGFnZSBwcmVjaGVjayAoaXQgZGlkbid0IGNoZWNrIHRoZQpwcmVjaGVjayB0 dXBsZSBhZ2FpbnN0IHRoZSBrZXkncyBhcnJheSwgb25seSB0aGUga2V5J3Mgc2tfYXJndW1lbnQs CndoaWNoIG5lZWRsZXNzbHkgbWFkZSBpdCBpbmVmZmVjdGl2ZSBpbiBjYXNlcyBpbnZvbHZpbmcg c3RlcHBpbmcgdG8gYQpwYWdlIGhhdmluZyBhZHZhbmNlZCB0aGUgc2NhbidzIGFycmF5cyB1c2lu ZyBhIHRydW5jYXRlZCBoaWdoIGtleSkuCiJwcmVjaGVja2VkIiB3YXMgYWxzbyBjb21wbGV0ZWx5 IGluZWZmZWN0aXZlIHdoZW4gb25seSBvbmUgc2NhbiBrZXkKd2Fzbid0IGd1YXJhbnRlZWQgdG8g YmUgc2F0aXNmaWVkIGJ5IGV2ZXJ5IHR1cGxlIChpdCBkaWRuJ3QgcmVjb2duaXplCnRoYXQgaXQg d2FzIHN0aWxsIHNhZmUgdG8gYXZvaWQgZXZhbHVhdGluZyBvdGhlciwgZWFybGllciBrZXlzKS4K ClRoZSAiZmlyc3RtYXRjaCIgb3B0aW1pemF0aW9uIGhhZCBzaW1pbGFyIGxpbWl0YXRpb25zLiAg SXQgY291bGQgb25seSBiZQphcHBsaWVkIGFmdGVyIF9idF9yZWFkcGFnZSBmb3VuZCBpdHMgZmly c3QgbWF0Y2hpbmcgdHVwbGUsIHJlZ2FyZGxlc3Mgb2YKd2h5IGFueSBlYXJsaWVyIHR1cGxlcyBm YWlsZWQgdG8gc2F0aXNmeSB0aGUgc2NhbidzIGluZGV4IHF1YWxzLiAgVGhpcwphbGxvd2VkIHVu c2F0aXNmaWVkIG5vbi1yZXF1aXJlZCBzY2FuIGtleXMgdG8gaW1wZWRlIHRoZSBvcHRpbWl6YXRp b24uCgpSZXBsYWNlIGJvdGggb3B0aW1pemF0aW9ucyB3aXRoIGEgbmV3IG9wdGltaXphdGlvbiwg d2l0aG91dCBhbnkgb2YgdGhlc2UKbGltaXRhdGlvbnM6IHRoZSAic3RhcnRpa2V5IiBvcHRpbWl6 YXRpb24uICBBZmZlY3RlZCBfYnRfcmVhZHBhZ2UgY2FsbHMKZ2VuZXJhdGUgYSBwYWdlLWxldmVs IGtleSBvZmZzZXQgKCJzdGFydGlrZXkiKSwgdGhhdCB0aGVpciBfYnRfY2hlY2trZXlzCmNhbGxz IGNhbiB0aGVuIHN0YXJ0IGF0LiAgVGhpcyBpcyBhbiBvZmZzZXQgdG8gdGhlIGZpcnN0IGtleSB0 aGF0IGlzbid0Cmtub3duIHRvIGJlIHNhdGlzZmllZCBieSBldmVyeSB0dXBsZSBvbiB0aGUgcGFn ZS4KCkFsdGhvdWdoIHRoaXMgaXMgaW5kZXBlbmRlbnRseSB1c2VmdWwgd29yaywgaXRzIG1haW4g Z29hbCBpcyB0byBhdm9pZApwZXJmb3JtYW5jZSByZWdyZXNzaW9ucyB3aXRoIGluZGV4IHNjYW5z IHRoYXQgdXNlIHNraXAgYXJyYXlzLCBidXQgc3RpbGwKbmV2ZXIgbWFuYWdlIHRvIHNraXAgb3Zl ciBpcnJlbGV2YW50IGxlYWYgcGFnZXMuICBXZSBtdXN0IGF2b2lkIHdhc3RpbmcKQ1BVIGN5Y2xl cyBvbiBvdmVybHkgZ3JhbnVsYXIgc2tpcCBhcnJheSBtYWludGVuYW5jZSBpbiB0aGVzZSBjYXNl cy4KVGhlIG5ldyAic3RhcnRpa2V5IiBvcHRpbWl6YXRpb24gaGVscHMgd2l0aCB0aGlzIGJ5IHNl bGVjdGl2ZWx5CmRpc2FibGluZyBhcnJheSBtYWludGVuYW5jZSBmb3IgdGhlIGR1cmF0aW9uIG9m IGEgX2J0X3JlYWRwYWdlIGNhbGwuClRoaXMgaGFzIG5vIGxhc3RpbmcgY29uc2VxdWVuY2VzIGZv ciB0aGUgc2NhbidzIGFycmF5IGtleXMgKHRoZXknbGwKc3RpbGwgcmVsaWFibHkgdHJhY2sgdGhl IHNjYW4ncyBwcm9ncmVzcyB0aHJvdWdoIHRoZSBpbmRleCdzIGtleSBzcGFjZQp3aGVuZXZlciB0 aGUgc2NhbiBpcyAiYmV0d2VlbiBwYWdlcyIpLgoKU2tpcCBzY2FuIGFkZHMgc2tpcCBhcnJheXMg ZHVyaW5nIHByZXByb2Nlc3NpbmcgdXNpbmcgc2ltcGxlLCBzdGF0aWMKcnVsZXMsIGFuZCBkZWNp ZGVzIGhvdyBiZXN0IHRvIG5hdmlnYXRlL2FwcGx5IHRoZSBzY2FuJ3Mgc2tpcCBhcnJheXMKZHlu YW1pY2FsbHksIGF0IHJ1bnRpbWUuICBUaGUgInN0YXJ0aWtleSIgb3B0aW1pemF0aW9uIGVuYWJs ZXMgdGhpcwphcHByb2FjaC4gIEFzIGEgcmVzdWx0IG9mIGFsbCB0aGlzLCB0aGUgcGxhbm5lciBk b2Vzbid0IG5lZWQgdG8gZ2VuZXJhdGUKZGlzdGluY3QsIGNvbXBldGluZyBpbmRleCBwYXRocyAo b25lIHBhdGggZm9yIHNraXAgc2NhbiwgYW5vdGhlciBmb3IgYW4KZXF1aXZhbGVudCB0cmFkaXRp b25hbCBmdWxsIGluZGV4IHNjYW4pLiAgVGhlIG92ZXJhbGwgZWZmZWN0IGlzIHRvIG1ha2UKc2Nh biBydW50aW1lIGNsb3NlIHRvIG9wdGltYWwsIGV2ZW4gd2hlbiB0aGUgcGxhbm5lciB3b3JrcyBv ZmYgYW4KaW5jb3JyZWN0IGNhcmRpbmFsaXR5IGVzdGltYXRlLiAgU2NhbnMgd2lsbCBhbHNvIHBl cmZvcm0gd2VsbCBnaXZlbiBhCnNraXBwZWQgY29sdW1uIHdpdGggZGF0YSBza2V3OiBpbmRpdmlk dWFsIGdyb3VwcyBvZiBwYWdlcyB3aXRoIG1hbnkKZGlzdGluY3QgdmFsdWVzIChpbiByZXNwZWN0 IG9mIGEgc2tpcHBlZCBjb2x1bW4pIGNhbiBiZSByZWFkIGFib3V0IGFzCmVmZmljaWVudGx5IGFz IGJlZm9yZSAtLSB3aXRob3V0IHRoZSBzY2FuIGJlaW5nIGZvcmNlZCB0byBnaXZlIHVwIG9uCnNr aXBwaW5nIG92ZXIgb3RoZXIgZ3JvdXBzIG9mIHBhZ2VzIHRoYXQgYXJlIHByb3ZhYmx5IGlycmVs ZXZhbnQuCgpNYW55IHNjYW5zIHRoYXQgY2Fubm90IHBvc3NpYmx5IHNraXAgd2lsbCBzdGlsbCBi ZW5lZml0IGZyb20gdGhlIHVzZSBvZgpza2lwIGFycmF5cywgc2luY2UgdGhleSdsbCBhbGxvdyB0 aGUgInN0YXJ0aWtleSIgb3B0aW1pemF0aW9uIHRvIGJlIGFzCmVmZmVjdGl2ZSBhcyBwb3NzaWJs ZSAoYnkgYWxsb3dpbmcgcHJlcHJvY2Vzc2luZyB0byBtYXJrIGFsbCB0aGUgc2NhbidzCmtleXMg YXMgcmVxdWlyZWQpLiAgQSBzY2FuIHRoYXQgdXNlcyBhIHNraXAgYXJyYXkgb24gImEiIGZvciBh IHF1YWwKIldIRVJFIGEgQkVUV0VFTiAwIEFORCAxXzAwMF8wMDAgQU5EIGIgPSA0MiIgaXMgb2Z0 ZW4gbXVjaCBmYXN0ZXIgbm93LApldmVuIHdoZW4gZXZlcnkgdHVwbGUgcmVhZCBieSB0aGUgc2Nh biBoYXMgaXRzIG93biBkaXN0aW5jdCAiYSIgdmFsdWUuCkhvd2V2ZXIsIHRoZXJlIGFyZSBzdGls bCBzb21lIHJlbWFpbmluZyByZWdyZXNzaW9ucywgYWZmZWN0aW5nIGNlcnRhaW4KdHJpY2tpZXIg Y2FzZXMuCgpTY2FucyB3aG9zZSBpbmRleCBxdWFscyBoYXZlIHNldmVyYWwgcmFuZ2Ugc2tpcCBh cnJheXMsIGVhY2ggb24gc29tZQpoaWdoIGNhcmRpbmFsaXR5IGNvbHVtbiwgY2FuIHN0aWxsIGJl IHNsb3dlciB0aGFuIHRoZXkgd2VyZSBiZWZvcmUgdGhlCmludHJvZHVjdGlvbiBvZiBza2lwIHNj YW4gLS0gZXZlbiB3aXRoIHRoZSBuZXcgInN0YXJ0aWtleSIgb3B0aW1pemF0aW9uLgpUaGVyZSBh cmUgYWxzbyBrbm93biByZWdyZXNzaW9ucyBhZmZlY3RpbmcgdmVyeSBzZWxlY3RpdmUgaW5kZXgg c2NhbnMKdGhhdCB1c2UgYSBza2lwIGFycmF5LiAgVGhlIHVuZGVybHlpbmcgaXNzdWUgd2l0aCBz dWNoIHNlbGVjdGl2ZSBzY2FucwppcyB0aGF0IHRoZXkgbmV2ZXIgZ2V0IGFzIGZhciBhcyByZWFk aW5nIGEgc2Vjb25kIGxlYWYgcGFnZSwgYW5kIHNvIHdpbGwKbmV2ZXIgZ2V0IGEgY2hhbmNlIHRv IGNvbnNpZGVyIGFwcGx5aW5nIHRoZSAic3RhcnRpa2V5IiBvcHRpbWl6YXRpb24uCkluIHByaW5j aXBsZSwgYWxsIHJlZ3Jlc3Npb25zIGNvdWxkIGJlIGF2b2lkZWQgYnkgdGVhY2hpbmcgcHJlcHJv Y2Vzc2luZwp0byBub3QgYWRkIHNraXAgYXJyYXlzIHdoZW5ldmVyIHRoZXkgYXJlbid0IGV4cGVj dGVkIHRvIGhlbHAsIGJ1dCBpdApzZWVtcyBiZXN0IHRvIGVyciBvbiB0aGUgc2lkZSBvZiByb2J1 c3QgcGVyZm9ybWFuY2UuCgpGb2xsb3ctdXAgdG8gY29tbWl0IDkyZmUyM2Q5LCB3aGljaCBhZGRl ZCBuYnRyZWUgc2tpcCBzY2FuLgoKQXV0aG9yOiBQZXRlciBHZW9naGVnYW4gPHBnQGJvd3QuaWU+ ClJldmlld2VkLUJ5OiBIZWlra2kgTGlubmFrYW5nYXMgPGhlaWtraS5saW5uYWthbmdhc0Bpa2ku Zmk+ClJldmlld2VkLUJ5OiBNYXNhaGlybyBJa2VkYSA8aWtlZGFtc2hAb3NzLm50dGRhdGEuY29t PgpSZXZpZXdlZC1CeTogTWF0dGhpYXMgdmFuIGRlIE1lZW50IDxib2VrZXd1cm0rcG9zdGdyZXNA Z21haWwuY29tPgpEaXNjdXNzaW9uOiBodHRwczovL3Bvc3Rnci5lcy9tL0NBSDItV3o9WTkzamY1 V2pvT3NOPXh2cXBNalJ5LWJ4Q0UwMzdiVkZpLUVhc3JwZVVKQUBtYWlsLmdtYWlsLmNvbQpEaXNj dXNzaW9uOiBodHRwczovL3Bvc3Rnci5lcy9tL0NBSDItV3puV0RLNDVKZk5QTnZEeGg2UlF5LVRh Q3dVTGFNNXU1QUxNWGJqTEJNY3VnUUBtYWlsLmdtYWlsLmNvbQoKQnJhbmNoCi0tLS0tLQptYXN0 ZXIKCkRldGFpbHMKLS0tLS0tLQpodHRwczovL2dpdC5wb3N0Z3Jlc3FsLm9yZy9wZy9jb21taXRk aWZmLzhhNTEwMjc1ZGQ2YjM0M2I4ZTE2NDZlNDc1NDA3OGVhYjhlZjNhYjUKCk1vZGlmaWVkIEZp bGVzCi0tLS0tLS0tLS0tLS0tCnNyYy9iYWNrZW5kL2FjY2Vzcy9uYnRyZWUvbmJ0cHJlcHJvY2Vz c2tleXMuYyB8ICAgMSArCnNyYy9iYWNrZW5kL2FjY2Vzcy9uYnRyZWUvbmJ0cmVlLmMgICAgICAg ICAgICB8ICAgMSArCnNyYy9iYWNrZW5kL2FjY2Vzcy9uYnRyZWUvbmJ0c2VhcmNoLmMgICAgICAg ICB8ICA3NyArKy0tCnNyYy9iYWNrZW5kL2FjY2Vzcy9uYnRyZWUvbmJ0dXRpbHMuYyAgICAgICAg ICB8IDU0NiArKysrKysrKysrKysrKysrKysrKystLS0tLQpzcmMvaW5jbHVkZS9hY2Nlc3MvbmJ0 cmVlLmggICAgICAgICAgICAgICAgICAgfCAgMTEgKy0KNSBmaWxlcyBjaGFuZ2VkLCA0ODMgaW5z ZXJ0aW9ucygrKSwgMTUzIGRlbGV0aW9ucygtKQoK --===============8958904778831398558==--