linux-kernel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: hpa@zytor.com
To: Ethan Sommer <e5ten.arch@gmail.com>
Cc: Jonathan Corbet <corbet@lwn.net>,
	Federico Vaga <federico.vaga@vaga.pv.it>,
	"Chang S. Bae" <chang.seok.bae@intel.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	Arnd Bergmann <arnd@arndb.de>,
	Masahiro Yamada <yamada.masahiro@socionext.com>,
	Kieran Bingham <kieran.bingham@ideasonboard.com>,
	Ingo Molnar <mingo@kernel.org>, Borislav Petkov <bp@suse.de>,
	Mark Rutland <mark.rutland@arm.com>,
	John Stultz <john.stultz@linaro.org>,
	Kees Cook <keescook@chromium.org>,
	Corey Minyard <cminyard@mvista.com>,
	Thomas Gleixner <tglx@linutronix.de>,
	linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH v3] replace timeconst bc script with an sh script
Date: Sat, 02 Nov 2019 13:54:39 -0700	[thread overview]
Message-ID: <CBCA4048-A9C1-42E6-A821-1EE36AE8CDC7@zytor.com> (raw)
In-Reply-To: <20191029210250.17007-1-e5ten.arch@gmail.com>

On October 29, 2019 2:02:44 PM PDT, Ethan Sommer <e5ten.arch@gmail.com> wrote:
>removes the bc build dependency introduced when timeconst.pl was
>replaced by timeconst.bc:
>commit 70730bca1331 ("kernel: Replace timeconst.pl with a bc script")
>
>the reason for this change is that this is the only use of bc in the
>actual compilation of the kernel, so by replacing it with a shell
>script
>compiling the kernel no longer depends on bc.
>
>Signed-off-by: Ethan Sommer <e5ten.arch@gmail.com>
>---
> Documentation/process/changes.rst |   6 --
> Kbuild                            |   4 +-
> kernel/time/timeconst.bc          | 117 ------------------------------
> kernel/time/timeconst.sh          | 111 ++++++++++++++++++++++++++++
> 4 files changed, 113 insertions(+), 125 deletions(-)
> delete mode 100644 kernel/time/timeconst.bc
> create mode 100644 kernel/time/timeconst.sh
>
>diff --git a/Documentation/process/changes.rst
>b/Documentation/process/changes.rst
>index 2284f2221f02..3ae168387109 100644
>--- a/Documentation/process/changes.rst
>+++ b/Documentation/process/changes.rst
>@@ -105,12 +105,6 @@ Perl
> You will need perl 5 and the following modules: ``Getopt::Long``,
>``Getopt::Std``, ``File::Basename``, and ``File::Find`` to build the
>kernel.
> 
>-BC
>---
>-
>-You will need bc to build kernels 3.10 and higher
>-
>-
> OpenSSL
> -------
> 
>diff --git a/Kbuild b/Kbuild
>index 3109ac786e76..7eba24cbdb78 100644
>--- a/Kbuild
>+++ b/Kbuild
>@@ -18,9 +18,9 @@ $(bounds-file): kernel/bounds.s FORCE
> 
> timeconst-file := include/generated/timeconst.h
> 
>-filechk_gentimeconst = echo $(CONFIG_HZ) | bc -q $<
>+filechk_gentimeconst = $(CONFIG_SHELL) $< $(CONFIG_HZ)
> 
>-$(timeconst-file): kernel/time/timeconst.bc FORCE
>+$(timeconst-file): kernel/time/timeconst.sh FORCE
> 	$(call filechk,gentimeconst)
> 
> #####
>diff --git a/kernel/time/timeconst.bc b/kernel/time/timeconst.bc
>deleted file mode 100644
>index 7ed0e0fb5831..000000000000
>--- a/kernel/time/timeconst.bc
>+++ /dev/null
>@@ -1,117 +0,0 @@
>-/* SPDX-License-Identifier: GPL-2.0 */
>-
>-scale=0
>-
>-define gcd(a,b) {
>-	auto t;
>-	while (b) {
>-		t = b;
>-		b = a % b;
>-		a = t;
>-	}
>-	return a;
>-}
>-
>-/* Division by reciprocal multiplication. */
>-define fmul(b,n,d) {
>-       return (2^b*n+d-1)/d;
>-}
>-
>-/* Adjustment factor when a ceiling value is used.  Use as:
>-   (imul * n) + (fmulxx * n + fadjxx) >> xx) */
>-define fadj(b,n,d) {
>-	auto v;
>-	d = d/gcd(n,d);
>-	v = 2^b*(d-1)/d;
>-	return v;
>-}
>-
>-/* Compute the appropriate mul/adj values as well as a shift count,
>-   which brings the mul value into the range 2^b-1 <= x < 2^b.  Such
>-   a shift value will be correct in the signed integer range and off
>-   by at most one in the upper half of the unsigned range. */
>-define fmuls(b,n,d) {
>-	auto s, m;
>-	for (s = 0; 1; s++) {
>-		m = fmul(s,n,d);
>-		if (m >= 2^(b-1))
>-			return s;
>-	}
>-	return 0;
>-}
>-
>-define timeconst(hz) {
>-	print "/* Automatically generated by kernel/time/timeconst.bc */\n"
>-	print "/* Time conversion constants for HZ == ", hz, " */\n"
>-	print "\n"
>-
>-	print "#ifndef KERNEL_TIMECONST_H\n"
>-	print "#define KERNEL_TIMECONST_H\n\n"
>-
>-	print "#include <linux/param.h>\n"
>-	print "#include <linux/types.h>\n\n"
>-
>-	print "#if HZ != ", hz, "\n"
>-	print "#error \qinclude/generated/timeconst.h has the wrong HZ
>value!\q\n"
>-	print "#endif\n\n"
>-
>-	if (hz < 2) {
>-		print "#error Totally bogus HZ value!\n"
>-	} else {
>-		s=fmuls(32,1000,hz)
>-		obase=16
>-		print "#define HZ_TO_MSEC_MUL32\tU64_C(0x", fmul(s,1000,hz), ")\n"
>-		print "#define HZ_TO_MSEC_ADJ32\tU64_C(0x", fadj(s,1000,hz), ")\n"
>-		obase=10
>-		print "#define HZ_TO_MSEC_SHR32\t", s, "\n"
>-
>-		s=fmuls(32,hz,1000)
>-		obase=16
>-		print "#define MSEC_TO_HZ_MUL32\tU64_C(0x", fmul(s,hz,1000), ")\n"
>-		print "#define MSEC_TO_HZ_ADJ32\tU64_C(0x", fadj(s,hz,1000), ")\n"
>-		obase=10
>-		print "#define MSEC_TO_HZ_SHR32\t", s, "\n"
>-
>-		obase=10
>-		cd=gcd(hz,1000)
>-		print "#define HZ_TO_MSEC_NUM\t\t", 1000/cd, "\n"
>-		print "#define HZ_TO_MSEC_DEN\t\t", hz/cd, "\n"
>-		print "#define MSEC_TO_HZ_NUM\t\t", hz/cd, "\n"
>-		print "#define MSEC_TO_HZ_DEN\t\t", 1000/cd, "\n"
>-		print "\n"
>-
>-		s=fmuls(32,1000000,hz)
>-		obase=16
>-		print "#define HZ_TO_USEC_MUL32\tU64_C(0x", fmul(s,1000000,hz),
>")\n"
>-		print "#define HZ_TO_USEC_ADJ32\tU64_C(0x", fadj(s,1000000,hz),
>")\n"
>-		obase=10
>-		print "#define HZ_TO_USEC_SHR32\t", s, "\n"
>-
>-		s=fmuls(32,hz,1000000)
>-		obase=16
>-		print "#define USEC_TO_HZ_MUL32\tU64_C(0x", fmul(s,hz,1000000),
>")\n"
>-		print "#define USEC_TO_HZ_ADJ32\tU64_C(0x", fadj(s,hz,1000000),
>")\n"
>-		obase=10
>-		print "#define USEC_TO_HZ_SHR32\t", s, "\n"
>-
>-		obase=10
>-		cd=gcd(hz,1000000)
>-		print "#define HZ_TO_USEC_NUM\t\t", 1000000/cd, "\n"
>-		print "#define HZ_TO_USEC_DEN\t\t", hz/cd, "\n"
>-		print "#define USEC_TO_HZ_NUM\t\t", hz/cd, "\n"
>-		print "#define USEC_TO_HZ_DEN\t\t", 1000000/cd, "\n"
>-
>-		cd=gcd(hz,1000000000)
>-		print "#define HZ_TO_NSEC_NUM\t\t", 1000000000/cd, "\n"
>-		print "#define HZ_TO_NSEC_DEN\t\t", hz/cd, "\n"
>-		print "#define NSEC_TO_HZ_NUM\t\t", hz/cd, "\n"
>-		print "#define NSEC_TO_HZ_DEN\t\t", 1000000000/cd, "\n"
>-		print "\n"
>-
>-		print "#endif /* KERNEL_TIMECONST_H */\n"
>-	}
>-	halt
>-}
>-
>-hz = read();
>-timeconst(hz)
>diff --git a/kernel/time/timeconst.sh b/kernel/time/timeconst.sh
>new file mode 100644
>index 000000000000..d1aa25f46be8
>--- /dev/null
>+++ b/kernel/time/timeconst.sh
>@@ -0,0 +1,111 @@
>+#!/bin/sh
>+# SPDX-License-Identifier: GPL-2.0
>+
>+if [ -z "$1" ]; then
>+	printf '%s <HZ>\n' "$0" >&2
>+	exit 1
>+fi
>+
>+# 2 to the power of n
>+pot() {
>+	local i=1 j=0
>+	while [ "$((j += 1))" -le "$1" ]; do
>+		: "$((i *= 2))"
>+	done
>+	printf '%u' "${i}"
>+}
>+
>+# Greatest common denominator
>+gcd() {
>+	local i="$1" j="$2" k
>+	while [ "${j}" -ne 0 ]; do
>+		k="${j}" j="$((i % j))" i="${k}"
>+	done
>+	printf '%u' "${i}"
>+}
>+
>+# Division by reciprocal multiplication.
>+fmul() {
>+	printf '%u' "$((($(pot "$1") * $2 + $3 - 1) / $3))"
>+}
>+
>+# Adjustment factor when a ceiling value is used.
>+fadj() {
>+	local i
>+	i="$(gcd "$2" "$3")"
>+	printf '%u' "$(($(pot "$1") * ($3 / i - 1) / ($3 / i)))"
>+}
>+
>+# Compute the appropriate mul/adj values as well as a shift count,
>+# which brings the mul value into the range 2^b-1 <= x < 2^b.  Such
>+# a shift value will be correct in the signed integer range and off
>+# by at most one in the upper half of the unsigned range.
>+fmuls() {
>+	local i=0 j
>+	while true; do
>+		j="$(fmul "${i}" "$2" "$3")"
>+		if [ "${j}" -ge "$(pot "$(($1 - 1))")" ]; then
>+			printf '%u' "${i}"
>+			return
>+		fi
>+		: "$((i += 1))"
>+	done
>+}
>+
>+printf '/* Automatically generated by kernel/time/timeconst.sh */\n'
>+printf '/* Time conversion constants for HZ == %u */\n\n' "$1"
>+
>+printf '#ifndef KERNEL_TIMECONST_H\n'
>+printf '#define KERNEL_TIMECONST_H\n\n'
>+
>+printf '#include <linux/param.h>\n'
>+printf '#include <linux/types.h>\n\n'
>+
>+printf '#if HZ != %u\n' "$1"
>+printf '#error "include/generated/timeconst.h has the wrong HZ
>value!"\n'
>+printf '#endif\n\n'
>+
>+if [ "$1" -lt 2 ]; then
>+	printf '#error Totally bogus HZ value!\n'
>+	exit 1
>+fi
>+
>+s="$(fmuls 32 1000 "$1")"
>+printf '#define HZ_TO_MSEC_MUL32\tU64_C(0x%X)\n' "$(fmul "${s}" 1000
>"$1")"
>+printf '#define HZ_TO_MSEC_ADJ32\tU64_C(0x%X)\n' "$(fadj "${s}" 1000
>"$1")"
>+printf '#define HZ_TO_MSEC_SHR32\t%u\n' "${s}"
>+
>+s="$(fmuls 32 "$1" 1000)"
>+printf '#define MSEC_TO_HZ_MUL32\tU64_C(0x%X)\n' "$(fmul "${s}" "$1"
>1000)"
>+printf '#define MSEC_TO_HZ_ADJ32\tU64_C(0x%X)\n' "$(fadj "${s}" "$1"
>1000)"
>+printf '#define MSEC_TO_HZ_SHR32\t%u\n' "${s}"
>+
>+cd="$(gcd "$1" 1000)"
>+printf '#define HZ_TO_MSEC_NUM\t\t%u\n' "$((1000 / cd))"
>+printf '#define HZ_TO_MSEC_DEN\t\t%u\n' "$(($1 / cd))"
>+printf '#define MSEC_TO_HZ_NUM\t\t%u\n' "$(($1 / cd))"
>+printf '#define MSEC_TO_HZ_DEN\t\t%u\n\n' "$((1000 / cd))"
>+
>+s="$(fmuls 32 1000000 "$1")"
>+printf '#define HZ_TO_USEC_MUL32\tU64_C(0x%X)\n' "$(fmul "${s}"
>1000000 "$1")"
>+printf '#define HZ_TO_USEC_ADJ32\tU64_C(0x%X)\n' "$(fadj "${s}"
>1000000 "$1")"
>+printf '#define HZ_TO_USEC_SHR32\t%u\n' "${s}"
>+
>+s="$(fmuls 32 "$1" 1000000)"
>+printf '#define USEC_TO_HZ_MUL32\tU64_C(0x%X)\n' "$(fmul "${s}" "$1"
>1000000)"
>+printf '#define USEC_TO_HZ_ADJ32\tU64_C(0x%X)\n' "$(fadj "${s}" "$1"
>1000000)"
>+printf '#define USEC_TO_HZ_SHR32\t%u\n' "${s}"
>+
>+cd="$(gcd "$1" 1000000)"
>+printf '#define HZ_TO_USEC_NUM\t\t%u\n' "$((1000000 / cd))"
>+printf '#define HZ_TO_USEC_DEN\t\t%u\n' "$(($1 / cd))"
>+printf '#define USEC_TO_HZ_NUM\t\t%u\n' "$(($1 / cd))"
>+printf '#define USEC_TO_HZ_DEN\t\t%u\n' "$((1000000 / cd))"
>+
>+cd="$(gcd "$1" 1000000000)"
>+printf '#define HZ_TO_NSEC_NUM\t\t%u\n' "$((1000000000 / cd))"
>+printf '#define HZ_TO_NSEC_DEN\t\t%u\n' "$(($1 / cd))"
>+printf '#define NSEC_TO_HZ_NUM\t\t%u\n' "$(($1 / cd))"
>+printf '#define NSEC_TO_HZ_DEN\t\t%u\n' "$((1000000000 / cd))"
>+
>+printf '\n#endif /* KERNEL_TIMECONST_H */\n'

Please let me point out, again, that bc *is* part of the basic POSIX toolset, and the only tool in that toolset that allows for arbitrary-precision arithmetic. That being said, GNU as, which we also depends on, also contains bigint arithmetic, so it might be possible to coax as into outputting ASCII output without manually implementing bigints manually.

Another option would be to use a C program linked with gmp. Binutils requires gmp, so it doesn't inherently add dependencies, but running it though as would probably be easier at least for the LLVM guys.

I also have written a small, portable C bigint library, but that is a lot of code to add to the tree.
-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.

  parent reply	other threads:[~2019-11-02 20:55 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-06-20  6:22 [PATCH] replace timeconst bc script with an sh script Ethan Sommer
2019-06-20  7:23 ` Kieran Bingham
2019-06-20  8:11   ` [PATCH v2] " Ethan Sommer
2019-06-20  8:25     ` Borislav Petkov
2019-06-20  8:43       ` Ethan Sommer
     [not found]       ` <CAMEGPiqk5TU=z2_wvMfPuihVc5zOLRrTSVCpLA23k0r-hmAzmg@mail.gmail.com>
2019-06-20  8:45         ` Borislav Petkov
2019-10-29 21:02 ` [PATCH v3] " Ethan Sommer
2019-10-30 11:37   ` Kieran Bingham
2019-10-30 16:26     ` Ethan Sommer
2019-11-02 20:54   ` hpa [this message]
2019-11-03 21:56     ` Ethan Sommer
2019-11-03 22:00       ` hpa
2019-11-03 23:57         ` Ethan Sommer
2019-11-04  3:03           ` hpa

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CBCA4048-A9C1-42E6-A821-1EE36AE8CDC7@zytor.com \
    --to=hpa@zytor.com \
    --cc=akpm@linux-foundation.org \
    --cc=arnd@arndb.de \
    --cc=bp@suse.de \
    --cc=chang.seok.bae@intel.com \
    --cc=cminyard@mvista.com \
    --cc=corbet@lwn.net \
    --cc=e5ten.arch@gmail.com \
    --cc=federico.vaga@vaga.pv.it \
    --cc=john.stultz@linaro.org \
    --cc=keescook@chromium.org \
    --cc=kieran.bingham@ideasonboard.com \
    --cc=linux-doc@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mark.rutland@arm.com \
    --cc=mingo@kernel.org \
    --cc=tglx@linutronix.de \
    --cc=yamada.masahiro@socionext.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).