Re: Popcount optimization using AVX512

Поиск
Список
Период
Сортировка
Искать
От
Nathan Bossart
Тема
Re: Popcount optimization using AVX512
Дата
Msg-id
20240318212600.GA655785@nathanxps13
Ответ на
Список
Дерево обсуждения
Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Matthias van de Meent <boekewurm+postgres@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Tom Lane <tgl@sss.pgh.pa.us>
Re: Popcount optimization using AVX512 Noah Misch <noah@leadboat.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Noah Misch <noah@leadboat.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Shankaran, Akash" <akash.shankaran@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Shankaran, Akash" <akash.shankaran@intel.com>
Re: Popcount optimization using AVX512 Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: Popcount optimization using AVX512 Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: Popcount optimization using AVX512 Andres Freund <andres@anarazel.de>
Re: Popcount optimization using AVX512 Noah Misch <noah@leadboat.com>
Re: Popcount optimization using AVX512 Andres Freund <andres@anarazel.de>
Re: Popcount optimization using AVX512 Noah Misch <noah@leadboat.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: Popcount optimization using AVX512 Alvaro Herrera <alvherre@alvh.no-ip.org>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Andres Freund <andres@anarazel.de>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Andres Freund <andres@anarazel.de>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Tom Lane <tgl@sss.pgh.pa.us>
Re: Popcount optimization using AVX512 Joe Conway <mail@joeconway.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Tom Lane <tgl@sss.pgh.pa.us>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Shankaran, Akash" <akash.shankaran@intel.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Ants Aasma <ants.aasma@cybertec.at>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: Popcount optimization using AVX512 Tom Lane <tgl@sss.pgh.pa.us>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Ants Aasma <ants.aasma@cybertec.at>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Ants Aasma <ants.aasma@cybertec.at>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Ants Aasma <ants.aasma@cybertec.at>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 David Rowley <dgrowleyml@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Tom Lane <tgl@sss.pgh.pa.us>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Tom Lane <tgl@sss.pgh.pa.us>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Shankaran, Akash" <akash.shankaran@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Ants Aasma <ants.aasma@cybertec.at>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
RE: Popcount optimization using AVX512 "Amonson, Paul D" <paul.d.amonson@intel.com>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
Re: Popcount optimization using AVX512 Bruce Momjian <bruce@momjian.us>
Re: Popcount optimization using AVX512 Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: Popcount optimization using AVX512 Nathan Bossart <nathandbossart@gmail.com>
On Mon, Mar 18, 2024 at 09:22:43PM +0000, Amonson, Paul D wrote:
>> The only reason I left it out was because I couldn't convince myself that it
>> wasn't dead code, given we assume that popcntq is available in
>> pg_popcount64_fast() today.  But I don't see any harm in adding that just in
>> case.
> 
> I am not sure how to read this. Does this mean that for popcount32_fast
> and popcount64_fast I can assume that the x86(_64) instructions exists
> and stop doing the runtime checks for instruction availability?

I think my question boils down to "if pg_popcount_available() returns true,
can I safely assume I'm on a 64-bit machine?"

-- 
Nathan Bossart
Amazon Web Services: https://aws.amazon.com


В списке pgsql-hackers по дате отправления
От: Amonson, Paul D
Дата:
От: David Rowley
Дата:
FAQ