All of lore.kernel.org
 help / color / mirror / Atom feed
From: Juergen Gross <jgross@suse.com>
To: xen-devel@lists.xenproject.org
Cc: Juergen Gross <jgross@suse.com>,
	Andrew Cooper <andrew.cooper3@citrix.com>,
	George Dunlap <george.dunlap@citrix.com>,
	Jan Beulich <jbeulich@suse.com>, Julien Grall <julien@xen.org>,
	Stefano Stabellini <sstabellini@kernel.org>, Wei Liu <wl@xen.org>
Subject: [PATCH v5 12/13] xen/rwlock: raise the number of possible cpus
Date: Thu, 14 Mar 2024 08:20:28 +0100	[thread overview]
Message-ID: <20240314072029.16937-13-jgross@suse.com> (raw)
In-Reply-To: <20240314072029.16937-1-jgross@suse.com>

The rwlock handling is limiting the number of cpus to 4095 today. The
main reason is the use of the atomic_t data type for the main lock
handling, which needs 2 bits for the locking state (writer waiting or
write locked), 12 bits for the id of a possible writer, and a 12 bit
counter for readers. The limit isn't 4096 due to an off by one sanity
check.

The atomic_t data type is 32 bits wide, so in theory 15 bits for the
writer's cpu id and 15 bits for the reader count seem to be fine, but
via read_trylock() more readers than cpus are possible.

This means that it is possible to raise the number of cpus to 16384
without changing the rwlock_t data structure. In order to avoid the
reader count wrapping to zero, don't let read_trylock() succeed in case
the highest bit of the reader's count is set already. This leaves enough
headroom for non-recursive readers to enter without risking a wrap.

While at it calculate _QW_CPUMASK and _QR_SHIFT from _QW_SHIFT and
add a sanity check for not overflowing the atomic_t data type.

Signed-off-by: Juergen Gross <jgross@suse.com>
---
V5:
- new patch
---
 xen/include/xen/rwlock.h | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/xen/include/xen/rwlock.h b/xen/include/xen/rwlock.h
index 65d88b0ef4..afd57659bd 100644
--- a/xen/include/xen/rwlock.h
+++ b/xen/include/xen/rwlock.h
@@ -23,12 +23,12 @@ typedef struct {
 #define rwlock_init(l) (*(l) = (rwlock_t)RW_LOCK_UNLOCKED)
 
 /* Writer states & reader shift and bias. */
-#define    _QW_CPUMASK  0xfffU             /* Writer CPU mask */
-#define    _QW_SHIFT    12                 /* Writer flags shift */
-#define    _QW_WAITING  (1U << _QW_SHIFT)  /* A writer is waiting */
-#define    _QW_LOCKED   (3U << _QW_SHIFT)  /* A writer holds the lock */
-#define    _QW_WMASK    (3U << _QW_SHIFT)  /* Writer mask */
-#define    _QR_SHIFT    14                 /* Reader count shift */
+#define    _QW_SHIFT    14                      /* Writer flags shift */
+#define    _QW_CPUMASK  ((1U << _QW_SHIFT) - 1) /* Writer CPU mask */
+#define    _QW_WAITING  (1U << _QW_SHIFT)       /* A writer is waiting */
+#define    _QW_LOCKED   (3U << _QW_SHIFT)       /* A writer holds the lock */
+#define    _QW_WMASK    (3U << _QW_SHIFT)       /* Writer mask */
+#define    _QR_SHIFT    (_QW_SHIFT + 2)         /* Reader count shift */
 #define    _QR_BIAS     (1U << _QR_SHIFT)
 
 void queue_read_lock_slowpath(rwlock_t *lock);
@@ -36,14 +36,16 @@ void queue_write_lock_slowpath(rwlock_t *lock);
 
 static inline bool _is_write_locked_by_me(unsigned int cnts)
 {
-    BUILD_BUG_ON(_QW_CPUMASK < NR_CPUS);
+    BUILD_BUG_ON((_QW_CPUMASK + 1) < NR_CPUS);
+    BUILD_BUG_ON(NR_CPUS * _QR_BIAS > INT_MAX);
     return (cnts & _QW_WMASK) == _QW_LOCKED &&
            (cnts & _QW_CPUMASK) == smp_processor_id();
 }
 
 static inline bool _can_read_lock(unsigned int cnts)
 {
-    return !(cnts & _QW_WMASK) || _is_write_locked_by_me(cnts);
+    return cnts <= INT_MAX &&
+           (!(cnts & _QW_WMASK) || _is_write_locked_by_me(cnts));
 }
 
 /*
-- 
2.35.3



  parent reply	other threads:[~2024-03-14  7:32 UTC|newest]

Thread overview: 38+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-03-14  7:20 [PATCH v5 00/13] xen/spinlock: make recursive spinlocks a dedicated type Juergen Gross
2024-03-14  7:20 ` [PATCH v5 01/13] xen/spinlock: remove misra rule 21.1 violations Juergen Gross
2024-03-14  7:32   ` Jan Beulich
2024-03-14 10:13     ` Jürgen Groß
2024-03-14  7:20 ` [PATCH v5 02/13] xen/spinlock: introduce new type for recursive spinlocks Juergen Gross
2024-03-18 14:35   ` Jan Beulich
2024-03-14  7:20 ` [PATCH v5 03/13] xen/spinlock: rename recursive lock functions Juergen Gross
2024-03-14  7:20 ` [PATCH v5 04/13] xen/spinlock: add rspin_[un]lock_irq[save|restore]() Juergen Gross
2024-03-18 14:43   ` Jan Beulich
2024-03-18 15:55     ` Jürgen Groß
2024-03-18 15:59       ` Jan Beulich
2024-03-18 16:05         ` Jürgen Groß
2024-03-18 16:08           ` Jan Beulich
2024-03-18 16:09             ` Jürgen Groß
2024-03-14  7:20 ` [PATCH v5 05/13] xen/spinlock: make struct lock_profile rspinlock_t aware Juergen Gross
2024-03-14  7:20 ` [PATCH v5 06/13] xen/spinlock: add explicit non-recursive locking functions Juergen Gross
2024-03-14  7:20 ` [PATCH v5 07/13] xen/spinlock: add another function level Juergen Gross
2024-03-18 14:49   ` Jan Beulich
2024-03-14  7:20 ` [PATCH v5 08/13] xen/spinlock: add missing rspin_is_locked() and rspin_barrier() Juergen Gross
2024-03-18 14:57   ` Jan Beulich
2024-03-18 15:31     ` Jürgen Groß
2024-03-18 15:44       ` Jan Beulich
2024-03-18 15:49         ` Jürgen Groß
2024-03-14  7:20 ` [PATCH v5 09/13] xen/spinlock: split recursive spinlocks from normal ones Juergen Gross
2024-03-18 14:59   ` Jan Beulich
2024-03-14  7:20 ` [PATCH v5 10/13] xen/spinlock: let all is_locked and trylock variants return bool Juergen Gross
2024-03-18 15:00   ` Jan Beulich
2024-03-14  7:20 ` [PATCH v5 11/13] xen/spinlock: support higher number of cpus Juergen Gross
2024-03-18 15:08   ` Jan Beulich
2024-03-18 15:56     ` Jürgen Groß
2024-03-14  7:20 ` Juergen Gross [this message]
2024-03-18 15:39   ` [PATCH v5 12/13] xen/rwlock: raise the number of possible cpus Jan Beulich
2024-03-18 16:00     ` Jürgen Groß
2024-03-18 16:05       ` Jan Beulich
2024-03-18 16:06         ` Jürgen Groß
2024-03-14  7:20 ` [PATCH v5 13/13] xen: allow up to 16383 cpus Juergen Gross
2024-03-14  7:26   ` Jan Beulich
2024-03-14 10:14     ` Jürgen Groß

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=20240314072029.16937-13-jgross@suse.com \
    --to=jgross@suse.com \
    --cc=andrew.cooper3@citrix.com \
    --cc=george.dunlap@citrix.com \
    --cc=jbeulich@suse.com \
    --cc=julien@xen.org \
    --cc=sstabellini@kernel.org \
    --cc=wl@xen.org \
    --cc=xen-devel@lists.xenproject.org \
    /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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.