lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <d7fc85736adee02ce52ee88a54fa7477fbd18ed2.1653236802.git.christophe.jaillet@wanadoo.fr>
Date:   Sun, 22 May 2022 18:38:38 +0200
From:   Christophe JAILLET <christophe.jaillet@...adoo.fr>
To:     dan.carpenter@...cle.com, Thomas Gleixner <tglx@...utronix.de>,
        John Stultz <jstultz@...gle.com>,
        Stephen Boyd <sboyd@...nel.org>
Cc:     linux-kernel@...r.kernel.org, kernel-janitors@...r.kernel.org,
        Christophe JAILLET <christophe.jaillet@...adoo.fr>
Subject: [RFC PATCH] timers: Optimize usleep_range()

Most of the time the 'min' and 'max' parameters of usleep_range() are
constant. We can take advantage of it to pre-compute at compile time
some values used in usleep_range_state().

introduced a new __nsleep_range_delta_state() function that mimics
usleep_range_state() but takes as parameters the pre-computed values.

The main benefit is to save a few instructions, especially 2
multiplications (x1000 when converting us to ns).

A hand simplified diff of the generated asm is given below. It was
produced on a Intel(R) Core(TM) i7-3770, with gcc 11.2.0.

The asm produced in the caller is mostly the same. Only constant values
passed to usleep_range_state() or __nsleep_range_delta_state() are
different. No other instructions or whatever is different.

--- timer.asm	2022-05-22 17:43:09.160513527 +0200
+++ timer2.asm	2022-05-22 17:59:34.791072278 +0200
@@ -7,16 +7,14 @@
 41 56                	push   %r14
 49 c7 c6 00 00 00 00 	mov    $0x0,%r14
 41 55                	push   %r13
-41 89 d5             	mov    %edx,%r13d
+49 89 f5             	mov    %rsi,%r13
 41 54                	push   %r12
-49 89 f4             	mov    %rsi,%r12
+41 89 d4             	mov    %edx,%r12d
 55                   	push   %rbp
-44 89 ed             	mov    %r13d,%ebp
+44 89 e5             	mov    %r12d,%ebp
 53                   	push   %rbx
 48 89 fb             	mov    %rdi,%rbx
 81 e5 cc 00 00 00    	and    $0xcc,%ebp
-49 29 dc             	sub    %rbx,%r12
-4d 69 e4 e8 03 00 00 	imul   $0x3e8,%r12,%r12
 48 83 ec 68          	sub    $0x68,%rsp
 48 c7 44 24 08 b3 8a 	movq   $0x41b58ab3,0x8(%rsp)
 b5 41
@@ -36,18 +34,16 @@
 31 c0                	xor    %eax,%eax
 e8 00 00 00 00       	call
 e8 00 00 00 00       	call
-49 89 c0             	mov    %rax,%r8
-48 69 c3 e8 03 00 00 	imul   $0x3e8,%rbx,%rax
+48 01 d8             	add    %rbx,%rax
+48 89 44 24 28       	mov    %rax,0x28(%rsp)
 65 48 8b 1c 25 00 00 	mov    %gs:0x0,%rbx
 00 00
-4c 01 c0             	add    %r8,%rax
-48 89 44 24 28       	mov    %rax,0x28(%rsp)
 e8 00 00 00 00       	call
 31 ff                	xor    %edi,%edi
 89 ee                	mov    %ebp,%esi
@@ -55,9 +51,9 @@
 4c 89 b3 68 30 00 00 	mov    %r14,0x3068(%rbx)
 48 8d 7b 18          	lea    0x18(%rbx),%rdi
 e8 00 00 00 00       	call
-44 89 6b 18          	mov    %r13d,0x18(%rbx)
+44 89 63 18          	mov    %r12d,0x18(%rbx)
 31 d2                	xor    %edx,%edx
-4c 89 e6             	mov    %r12,%rsi
+4c 89 ee             	mov    %r13,%rsi
 48 8d 7c 24 28       	lea    0x28(%rsp),%rdi
 e8 00 00 00 00       	call
 31 ff                	xor    %edi,%edi
@@ -88,16 +84,11 @@
 89 c1                	mov    %eax,%ecx
 89 c6                	mov    %eax,%esi
 89 c7                	mov    %eax,%edi
-41 89 c0             	mov    %eax,%r8d
 c3                   	ret
 cc                   	int3
 e8 00 00 00 00       	call

Signed-off-by: Christophe JAILLET <christophe.jaillet@...adoo.fr>
---
This saves some cycles, okay, but it adds complexity and a new function.
How is the balance?

Apparently multiplications are really fast on recent x86, but maybe on some
other architectures saving some multiplications is great?

My own feeling is that it is sad not to compile-time compute what we can.

I let you decide if it worth it.
---
 include/linux/delay.h | 15 ++++++++++++++-
 kernel/time/timer.c   | 27 +++++++++++++++++++++++++++
 2 files changed, 41 insertions(+), 1 deletion(-)

diff --git a/include/linux/delay.h b/include/linux/delay.h
index 039e7e0c7378..e84e7f9c1a47 100644
--- a/include/linux/delay.h
+++ b/include/linux/delay.h
@@ -61,10 +61,23 @@ void msleep(unsigned int msecs);
 unsigned long msleep_interruptible(unsigned int msecs);
 void usleep_range_state(unsigned long min, unsigned long max,
 			unsigned int state);
+void __nsleep_range_delta_state(u64 min, u64 delta, unsigned int state);
 
 static inline void usleep_range(unsigned long min, unsigned long max)
 {
-	usleep_range_state(min, max, TASK_UNINTERRUPTIBLE);
+	/*
+	 * Most of the time min and max are constant, so the time delta and the
+	 * convertion to ns can be computed at compile time.
+	 */
+	if (__builtin_constant_p(min) &&
+	    __builtin_constant_p(max)) {
+		u64 delta = (u64)(max - min) * NSEC_PER_USEC;
+
+		__nsleep_range_delta_state(min * NSEC_PER_USEC, delta,
+					   TASK_UNINTERRUPTIBLE);
+	} else {
+		usleep_range_state(min, max, TASK_UNINTERRUPTIBLE);
+	}
 }
 
 static inline void usleep_idle_range(unsigned long min, unsigned long max)
diff --git a/kernel/time/timer.c b/kernel/time/timer.c
index 717fcb9fb14a..c71d745f743f 100644
--- a/kernel/time/timer.c
+++ b/kernel/time/timer.c
@@ -2134,3 +2134,30 @@ void __sched usleep_range_state(unsigned long min, unsigned long max,
 	}
 }
 EXPORT_SYMBOL(usleep_range_state);
+
+/**
+ * __nsleep_range_delta_state - Sleep for an approximate time in a given state
+ * @min:	Minimum time in nsecs to sleep
+ * @delta:	Maximum time in nsecs to sleep
+ * @state:	State of the current task that will be while sleeping
+ *
+ * This function is the same as usleep_range_state(), except that:
+ *   - the time delta is precomputed by the caller
+ *   - the times are given in ns instead of us
+ *
+ * It is not intended to direct use, but is used in a compile-time optimized
+ * path in usleep_range().
+ */
+void __sched __nsleep_range_delta_state(u64 min, u64 delta,
+				        unsigned int state)
+{
+	ktime_t exp = ktime_add_ns(ktime_get(), min);
+
+	for (;;) {
+		__set_current_state(state);
+		/* Do not return before the requested sleep time has elapsed */
+		if (!schedule_hrtimeout_range(&exp, delta, HRTIMER_MODE_ABS))
+			break;
+	}
+}
+EXPORT_SYMBOL(__nsleep_range_delta_state);
-- 
2.34.1

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ