[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#52283] [PATCH 00/10] Tuning packages for CPU micro-architectures
From: |
Mathieu Othacehe |
Subject: |
[bug#52283] [PATCH 00/10] Tuning packages for CPU micro-architectures |
Date: |
Sun, 05 Dec 2021 09:37:09 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hey Ludo,
Wooh, nice addition!
> +(define-record-type <cpu>
> + (cpu architecture family model flags)
> + cpu?
> + (architecture cpu-architecture) ;string, from 'uname'
> + (family cpu-family) ;integer
> + (model cpu-model) ;integer
> + (flags cpu-flags)) ;set of strings
When using the "--tune" transformation option with "native", we can
expect the current-cpu method to fill the <cpu> record correctly.
However, when the user is passing a custom cpu name, it might be
incorrect. I think we should check the user input against a list of
valid/supported cpu architectures.
That's something we should also enforce for the system and target
fields. Currently, this command "guix build -s arch64-linux hello" is
failing with an unpleasant backtrace, while it could warn that the
given system is not supported.
Maybe the (guix cpu) and (gnu platform) modules should be merged somehow
to define the supported CPU micro-architectures:
--8<---------------cut here---------------start------------->8---
(define armv7-linux
(platform
(target "arm-linux-gnueabihf")
(system "armhf-linux")
(linux-architecture "arm")
(supported-march '("armv7" "armv7-a" "armv7ve"))
--8<---------------cut here---------------end--------------->8---
we could then use those platform records in the (gnu ci) module to build
packages against all the supported micro architectures and remove the
"%x86-64-micro-architecture" variable you propose to introduce there.
WDYT?
Thanks,
Mathieu
- [bug#52283] [PATCH 02/10] transformations: Add '--tune'., (continued)
[bug#52283] [PATCH 06/10] gnu: Add xtensor-benchmark., Ludovic Courtès, 2021/12/04
[bug#52283] [PATCH 04/10] gnu: Add eigen-benchmarks., Ludovic Courtès, 2021/12/04
[bug#52283] [PATCH 05/10] gnu: Add xsimd-benchmark., Ludovic Courtès, 2021/12/04
[bug#52283] [PATCH 07/10] gnu: ceres-solver: Mark as tunable., Ludovic Courtès, 2021/12/04
[bug#52283] [PATCH 08/10] gnu: Add ceres-solver-benchmarks., Ludovic Courtès, 2021/12/04
[bug#52283] [PATCH 10/10] gnu: prusa-slicer: Mark as tunable., Ludovic Courtès, 2021/12/04
[bug#52283] [PATCH 09/10] gnu: libfive: Mark as tunable., Ludovic Courtès, 2021/12/04
[bug#52283] [PATCH 00/10] Tuning packages for CPU micro-architectures,
Mathieu Othacehe <=
[bug#52283] [PATCH 00/10] Tuning packages for CPU micro-architectures, Ludovic Courtès, 2021/12/06
[bug#52283] [PATCH 00/10] Tuning packages for CPU micro-architectures, Ludovic Courtès, 2021/12/04
[bug#52283] [PATCH 00/10] Tuning packages for CPU micro-architectures, Ludovic Courtès, 2021/12/07