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 1rmGoP-006zMv-90 for pgsql-hackers@arkaria.postgresql.org; Mon, 18 Mar 2024 17:30:13 +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 1rmGoN-004Oqr-TW for pgsql-hackers@arkaria.postgresql.org; Mon, 18 Mar 2024 17:30:12 +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 1rmGoN-004OiH-FI for pgsql-hackers@lists.postgresql.org; Mon, 18 Mar 2024 17:30:12 +0000 Received: from mail-il1-x130.google.com ([2607:f8b0:4864:20::130]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1rmGoK-005Dvv-QA for pgsql-hackers@lists.postgresql.org; Mon, 18 Mar 2024 17:30:11 +0000 Received: by mail-il1-x130.google.com with SMTP id e9e14a558f8ab-3669fadea4cso12871715ab.2 for ; Mon, 18 Mar 2024 10:30:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1710783007; x=1711387807; darn=lists.postgresql.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=qj+3i5y7rkRXwtKVIoWJNxhzTWjPeqtlFtDy+cu31y8=; b=U4V4IEK3zQ2CNBp10dwRGEF8f8dZCU1TKWykANlPsQ8LvwwbE5552HuYMCaZuVj686 VCtfmR6XjfR0eiIYRBPcIWFr0WF9Aq6Er8pmmXkPIAoXPfyeVEtlN1OOZA+iD9XtefUS wNBHlzr8SNiFLa6GFMSyBRkB3h2QfV65M6GHy1E5Ogf/qisIHjuwQkRQ20vsvoo5mkKd ltSzicPi//YCt0NDw8D03tq6qk+EDeGA/+WvDUI7JwKmgqjgIg0Ppp/lLELi3+iSnYrC 9g1lVAhnUYJr7+SaJjeVObFo26NRxObSKuLTKi8ADj4cq+3AjcW0p9yTEBj377kLLC1A QPDg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710783007; x=1711387807; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=qj+3i5y7rkRXwtKVIoWJNxhzTWjPeqtlFtDy+cu31y8=; b=IJshzjPOqqxflt5PXmAxfjGoIass+IWPVXcQHPn3GOEWCHh/IrrOum2d+nJbv5a54G edXwIHko6qATSC1U6IpjhOvU9tO1BaWGlVKI/gqF1EHnfcCZgVOEn8ofk3RqdMh9+1yM lG5xa0IhDsvlnQMSobGL3SfYkqZdHLKx8nMeOyCVFD03Z4pwCvHurcbXHqQQDqMSjOFb 2v+iRzAbfCMfzpU4t3VYMBefltHt5kRaeLpwnwTK2B+qYHOZg+27Mq7ijzaxGv3vKWr0 YUJRmF1YxwVRG7fSDZInCfLt+h+NCsxm8z9fsDl0UZaT72sZ0VIK436exycEaqwCgxf6 HTyQ== X-Forwarded-Encrypted: i=1; AJvYcCVltRkzBOd77uj5SABR/sc9EpbljU+S3S7SbkkX5BxrnjQ9GJvXMq5E+NhBAjwd8UOnFmTbmif/5pmLPYPeeSk/yNIMv5olQ/RWu7n9DzLucKNN X-Gm-Message-State: AOJu0YyEYLhPRfwNe72+v242Z/kTuMLS7UiljofB+fyB4ODbulBQLkQZ j/3DbztP1lH8s322awO7opQNJulVfei6fG/w2tozKiQ+gRlFiVRF X-Google-Smtp-Source: AGHT+IGoBq6QOs3a7nRI+qVfw6jOYRCm6RGj/2MaNN6KsNOl00xFhy2sfJQsVgD5rSY2sgWpcqxQVQ== X-Received: by 2002:a92:c104:0:b0:365:c6d9:2d63 with SMTP id p4-20020a92c104000000b00365c6d92d63mr14229811ile.0.1710783006988; Mon, 18 Mar 2024 10:30:06 -0700 (PDT) Received: from nathanxps13 (162-195-168-172.lightspeed.stlsmo.sbcglobal.net. [162.195.168.172]) by smtp.gmail.com with ESMTPSA id l13-20020a056e0205cd00b00366164573dfsm2411509ils.63.2024.03.18.10.30.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 18 Mar 2024 10:30:06 -0700 (PDT) Date: Mon, 18 Mar 2024 12:30:04 -0500 From: Nathan Bossart To: "Amonson, Paul D" Cc: David Rowley , Andres Freund , Alvaro Herrera , "Shankaran, Akash" , Noah Misch , Tom Lane , Matthias van de Meent , "pgsql-hackers@lists.postgresql.org" Subject: Re: Popcount optimization using AVX512 Message-ID: <20240318173004.GA361138@nathanxps13> References: <20240307173318.GA455851@nathanxps13> <20240307213600.GA563369@nathanxps13> <20240312013436.GA1787866@nathanxps13> <20240315150611.GA3495582@nathanxps13> <20240318152902.GA2850@nathanxps13> <20240318162018.GA204772@nathanxps13> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="pWyiEgJYm5f9v55/" Content-Disposition: inline In-Reply-To: <20240318162018.GA204772@nathanxps13> List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --pWyiEgJYm5f9v55/ Content-Type: text/plain; charset=us-ascii Content-Disposition: inline On Mon, Mar 18, 2024 at 11:20:18AM -0500, Nathan Bossart wrote: > I don't think David was suggesting that we need to remove the runtime > checks for AVX512. IIUC he was pointing out that most of the performance > gain is from removing the function call overhead, which your v8-0002 patch > already does for the proposed AVX512 code. We can apply a similar > optimization for systems without AVX512 by inlining the code for > pg_popcount64() and pg_popcount32(). Here is a more fleshed-out version of what I believe David is proposing. On my machine, the gains aren't quite as impressive (~8.8s to ~5.2s for the test_popcount benchmark). I assume this is because this patch turns pg_popcount() into a function pointer, which is what the AVX512 patches do, too. I left out the 32-bit section from pg_popcount_fast(), but I'll admit that I'm not yet 100% sure that we can assume we're on a 64-bit system there. IMHO this work is arguably a prerequisite for the AVX512 work, as turning pg_popcount() into a function pointer will likely regress performance for folks on systems without AVX512 otherwise. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com --pWyiEgJYm5f9v55/ Content-Type: text/x-diff; charset=us-ascii Content-Disposition: attachment; filename="0001-inline-function-calls-in-pg_popcount-when-possible.patch" From 1d33c803feb7428f798b13fd643a16c73628f8a9 Mon Sep 17 00:00:00 2001 From: Nathan Bossart Date: Mon, 18 Mar 2024 12:18:15 -0500 Subject: [PATCH 1/1] inline function calls in pg_popcount() when possible --- src/include/port/pg_bitutils.h | 5 +- src/port/pg_bitutils.c | 123 +++++++++++++++++++++++++-------- 2 files changed, 97 insertions(+), 31 deletions(-) diff --git a/src/include/port/pg_bitutils.h b/src/include/port/pg_bitutils.h index 46bf4f0103..53e5239717 100644 --- a/src/include/port/pg_bitutils.h +++ b/src/include/port/pg_bitutils.h @@ -302,17 +302,16 @@ pg_ceil_log2_64(uint64 num) /* Attempt to use the POPCNT instruction, but perform a runtime check first */ extern PGDLLIMPORT int (*pg_popcount32) (uint32 word); extern PGDLLIMPORT int (*pg_popcount64) (uint64 word); +extern PGDLLIMPORT uint64 (*pg_popcount) (const char *buf, int bytes); #else /* Use a portable implementation -- no need for a function pointer. */ extern int pg_popcount32(uint32 word); extern int pg_popcount64(uint64 word); +extern uint64 pg_popcount(const char *buf, int bytes); #endif /* TRY_POPCNT_FAST */ -/* Count the number of one-bits in a byte array */ -extern uint64 pg_popcount(const char *buf, int bytes); - /* * Rotate the bits of "word" to the right/left by n bits. */ diff --git a/src/port/pg_bitutils.c b/src/port/pg_bitutils.c index 640a89561a..e374e753d7 100644 --- a/src/port/pg_bitutils.c +++ b/src/port/pg_bitutils.c @@ -105,16 +105,20 @@ const uint8 pg_number_of_ones[256] = { static int pg_popcount32_slow(uint32 word); static int pg_popcount64_slow(uint64 word); +static uint64 pg_popcount_slow(const char *buf, int bytes); #ifdef TRY_POPCNT_FAST static bool pg_popcount_available(void); static int pg_popcount32_choose(uint32 word); static int pg_popcount64_choose(uint64 word); +static uint64 pg_popcount_choose(const char *buf, int bytes); static int pg_popcount32_fast(uint32 word); -static int pg_popcount64_fast(uint64 word); +static inline int pg_popcount64_fast(uint64 word); +static uint64 pg_popcount_fast(const char *buf, int bytes); int (*pg_popcount32) (uint32 word) = pg_popcount32_choose; int (*pg_popcount64) (uint64 word) = pg_popcount64_choose; +uint64 (*pg_popcount) (const char *buf, int bytes) = pg_popcount_choose; #endif /* TRY_POPCNT_FAST */ #ifdef TRY_POPCNT_FAST @@ -151,11 +155,13 @@ pg_popcount32_choose(uint32 word) { pg_popcount32 = pg_popcount32_fast; pg_popcount64 = pg_popcount64_fast; + pg_popcount = pg_popcount_fast; } else { pg_popcount32 = pg_popcount32_slow; pg_popcount64 = pg_popcount64_slow; + pg_popcount = pg_popcount_slow; } return pg_popcount32(word); @@ -168,16 +174,37 @@ pg_popcount64_choose(uint64 word) { pg_popcount32 = pg_popcount32_fast; pg_popcount64 = pg_popcount64_fast; + pg_popcount = pg_popcount_fast; } else { pg_popcount32 = pg_popcount32_slow; pg_popcount64 = pg_popcount64_slow; + pg_popcount = pg_popcount_slow; } return pg_popcount64(word); } +static uint64 +pg_popcount_choose(const char *buf, int bytes) +{ + if (pg_popcount_available()) + { + pg_popcount32 = pg_popcount32_fast; + pg_popcount64 = pg_popcount64_fast; + pg_popcount = pg_popcount_fast; + } + else + { + pg_popcount32 = pg_popcount32_slow; + pg_popcount64 = pg_popcount64_slow; + pg_popcount = pg_popcount_slow; + } + + return pg_popcount(buf, bytes); +} + /* * pg_popcount32_fast * Return the number of 1 bits set in word @@ -199,7 +226,7 @@ __asm__ __volatile__(" popcntl %1,%0\n":"=q"(res):"rm"(word):"cc"); * pg_popcount64_fast * Return the number of 1 bits set in word */ -static int +static inline int pg_popcount64_fast(uint64 word) { #ifdef _MSC_VER @@ -212,6 +239,36 @@ __asm__ __volatile__(" popcntq %1,%0\n":"=q"(res):"rm"(word):"cc"); #endif } +/* + * pg_popcount_fast + * Returns the number of 1-bits in buf + */ +static uint64 +pg_popcount_fast(const char *buf, int bytes) +{ + uint64 popcnt = 0; + + /* Process in 64-bit chunks if the buffer is aligned. */ + if (buf == (const char *) TYPEALIGN(8, buf)) + { + const uint64 *words = (const uint64 *) buf; + + while (bytes >= 8) + { + popcnt += pg_popcount64_fast(*words++); + bytes -= 8; + } + + buf = (const char *) words; + } + + /* Process any remaining bytes */ + while (bytes--) + popcnt += pg_number_of_ones[(unsigned char) *buf++]; + + return popcnt; +} + #endif /* TRY_POPCNT_FAST */ @@ -265,35 +322,12 @@ pg_popcount64_slow(uint64 word) #endif /* HAVE__BUILTIN_POPCOUNT */ } -#ifndef TRY_POPCNT_FAST - /* - * When the POPCNT instruction is not available, there's no point in using - * function pointers to vary the implementation between the fast and slow - * method. We instead just make these actual external functions when - * TRY_POPCNT_FAST is not defined. The compiler should be able to inline - * the slow versions here. - */ -int -pg_popcount32(uint32 word) -{ - return pg_popcount32_slow(word); -} - -int -pg_popcount64(uint64 word) -{ - return pg_popcount64_slow(word); -} - -#endif /* !TRY_POPCNT_FAST */ - -/* - * pg_popcount + * pg_popcount_slow * Returns the number of 1-bits in buf */ -uint64 -pg_popcount(const char *buf, int bytes) +static uint64 +pg_popcount_slow(const char *buf, int bytes) { uint64 popcnt = 0; @@ -333,3 +367,36 @@ pg_popcount(const char *buf, int bytes) return popcnt; } + +#ifndef TRY_POPCNT_FAST + +/* + * When the POPCNT instruction is not available, there's no point in using + * function pointers to vary the implementation between the fast and slow + * method. We instead just make these actual external functions when + * TRY_POPCNT_FAST is not defined. The compiler should be able to inline + * the slow versions here. + */ +int +pg_popcount32(uint32 word) +{ + return pg_popcount32_slow(word); +} + +int +pg_popcount64(uint64 word) +{ + return pg_popcount64_slow(word); +} + +/* + * pg_popcount + * Returns the number of 1-bits in buf + */ +uint64 +pg_popcount(const char *buf, int bytes) +{ + return pg_popcount_slow(buf, bytes); +} + +#endif /* !TRY_POPCNT_FAST */ -- 2.25.1 --pWyiEgJYm5f9v55/--