XArray updates for 5.12

- Fix a bug when splitting to a non-zero order
  - Documentation fix
  - Add a predefined 16-bit allocation limit
  - Various test suite fixes
 -----BEGIN PGP SIGNATURE-----
 
 iQEzBAABCgAdFiEEejHryeLBw/spnjHrDpNsjXcpgj4FAmBlv+kACgkQDpNsjXcp
 gj7lYAf/R0dG7V5LdZaHVLTIE9lgWDn1U5ISTw9HuRgpFf9RUDEY6LnnPNa5TkWS
 OqVKGyhHOUYmJr4ImsuXssTXq2vaUBvR1ojf+/gst/rsaAoCFEsKMl8ZIZz95tz8
 hzDUXV/rd5s7ZUXkKTuuZRBxqj4r5VW8KDdheboM6wGtrd6iXFC1JFG/DL/EbHDd
 XZVZ0i3+nqB0CO2SG1uyE9m38En69jB5498Q4SPUDqYAw2+7XZWRT7qPPUnCPXJD
 bgHZUf4XEG6xOjTV8AfPYhWTZ99d6gD1vYhxxSAmLKCHla+2Wd8lYLvSHFh+QXhs
 WYyhsHsculb9BGdmXCTwYrJn6qZKMw==
 =p+yt
 -----END PGP SIGNATURE-----

Merge tag 'xarray-5.12' of git://git.infradead.org/users/willy/xarray

Pull XArray fixes from Matthew Wilcox:
 "My apologies for the lateness of this. I had a bug reported in the
  test suite, and when I started working on it, I realised I had two
  fixes sitting in the xarray tree since last November. Anyway,
  everything here is fixes, apart from adding xa_limit_16b. The test
  suite passes.

  Summary:

   - Fix a bug when splitting to a non-zero order

   - Documentation fix

   - Add a predefined 16-bit allocation limit

   - Various test suite fixes"

* tag 'xarray-5.12' of git://git.infradead.org/users/willy/xarray:
  idr test suite: Improve reporting from idr_find_test_1
  idr test suite: Create anchor before launching throbber
  idr test suite: Take RCU read lock in idr_find_test_1
  radix tree test suite: Register the main thread with the RCU library
  radix tree test suite: Fix compilation
  XArray: Add xa_limit_16b
  XArray: Fix splitting to non-zero orders
  XArray: Fix split documentation
This commit is contained in:
Linus Torvalds 2021-04-01 09:32:18 -07:00
commit e8d1895883
7 changed files with 45 additions and 21 deletions

View File

@ -229,9 +229,10 @@ static inline int xa_err(void *entry)
* *
* This structure is used either directly or via the XA_LIMIT() macro * This structure is used either directly or via the XA_LIMIT() macro
* to communicate the range of IDs that are valid for allocation. * to communicate the range of IDs that are valid for allocation.
* Two common ranges are predefined for you: * Three common ranges are predefined for you:
* * xa_limit_32b - [0 - UINT_MAX] * * xa_limit_32b - [0 - UINT_MAX]
* * xa_limit_31b - [0 - INT_MAX] * * xa_limit_31b - [0 - INT_MAX]
* * xa_limit_16b - [0 - USHRT_MAX]
*/ */
struct xa_limit { struct xa_limit {
u32 max; u32 max;
@ -242,6 +243,7 @@ struct xa_limit {
#define xa_limit_32b XA_LIMIT(0, UINT_MAX) #define xa_limit_32b XA_LIMIT(0, UINT_MAX)
#define xa_limit_31b XA_LIMIT(0, INT_MAX) #define xa_limit_31b XA_LIMIT(0, INT_MAX)
#define xa_limit_16b XA_LIMIT(0, USHRT_MAX)
typedef unsigned __bitwise xa_mark_t; typedef unsigned __bitwise xa_mark_t;
#define XA_MARK_0 ((__force xa_mark_t)0U) #define XA_MARK_0 ((__force xa_mark_t)0U)

View File

@ -1530,24 +1530,24 @@ static noinline void check_store_range(struct xarray *xa)
#ifdef CONFIG_XARRAY_MULTI #ifdef CONFIG_XARRAY_MULTI
static void check_split_1(struct xarray *xa, unsigned long index, static void check_split_1(struct xarray *xa, unsigned long index,
unsigned int order) unsigned int order, unsigned int new_order)
{ {
XA_STATE(xas, xa, index); XA_STATE_ORDER(xas, xa, index, new_order);
void *entry; unsigned int i;
unsigned int i = 0;
xa_store_order(xa, index, order, xa, GFP_KERNEL); xa_store_order(xa, index, order, xa, GFP_KERNEL);
xas_split_alloc(&xas, xa, order, GFP_KERNEL); xas_split_alloc(&xas, xa, order, GFP_KERNEL);
xas_lock(&xas); xas_lock(&xas);
xas_split(&xas, xa, order); xas_split(&xas, xa, order);
for (i = 0; i < (1 << order); i += (1 << new_order))
__xa_store(xa, index + i, xa_mk_index(index + i), 0);
xas_unlock(&xas); xas_unlock(&xas);
xa_for_each(xa, index, entry) { for (i = 0; i < (1 << order); i++) {
XA_BUG_ON(xa, entry != xa); unsigned int val = index + (i & ~((1 << new_order) - 1));
i++; XA_BUG_ON(xa, xa_load(xa, index + i) != xa_mk_index(val));
} }
XA_BUG_ON(xa, i != 1 << order);
xa_set_mark(xa, index, XA_MARK_0); xa_set_mark(xa, index, XA_MARK_0);
XA_BUG_ON(xa, !xa_get_mark(xa, index, XA_MARK_0)); XA_BUG_ON(xa, !xa_get_mark(xa, index, XA_MARK_0));
@ -1557,14 +1557,16 @@ static void check_split_1(struct xarray *xa, unsigned long index,
static noinline void check_split(struct xarray *xa) static noinline void check_split(struct xarray *xa)
{ {
unsigned int order; unsigned int order, new_order;
XA_BUG_ON(xa, !xa_empty(xa)); XA_BUG_ON(xa, !xa_empty(xa));
for (order = 1; order < 2 * XA_CHUNK_SHIFT; order++) { for (order = 1; order < 2 * XA_CHUNK_SHIFT; order++) {
check_split_1(xa, 0, order); for (new_order = 0; new_order < order; new_order++) {
check_split_1(xa, 1UL << order, order); check_split_1(xa, 0, order, new_order);
check_split_1(xa, 3UL << order, order); check_split_1(xa, 1UL << order, order, new_order);
check_split_1(xa, 3UL << order, order, new_order);
}
} }
} }
#else #else

View File

@ -987,7 +987,7 @@ static void node_set_marks(struct xa_node *node, unsigned int offset,
* xas_split_alloc() - Allocate memory for splitting an entry. * xas_split_alloc() - Allocate memory for splitting an entry.
* @xas: XArray operation state. * @xas: XArray operation state.
* @entry: New entry which will be stored in the array. * @entry: New entry which will be stored in the array.
* @order: New entry order. * @order: Current entry order.
* @gfp: Memory allocation flags. * @gfp: Memory allocation flags.
* *
* This function should be called before calling xas_split(). * This function should be called before calling xas_split().
@ -1011,7 +1011,7 @@ void xas_split_alloc(struct xa_state *xas, void *entry, unsigned int order,
do { do {
unsigned int i; unsigned int i;
void *sibling; void *sibling = NULL;
struct xa_node *node; struct xa_node *node;
node = kmem_cache_alloc(radix_tree_node_cachep, gfp); node = kmem_cache_alloc(radix_tree_node_cachep, gfp);
@ -1021,7 +1021,7 @@ void xas_split_alloc(struct xa_state *xas, void *entry, unsigned int order,
for (i = 0; i < XA_CHUNK_SIZE; i++) { for (i = 0; i < XA_CHUNK_SIZE; i++) {
if ((i & mask) == 0) { if ((i & mask) == 0) {
RCU_INIT_POINTER(node->slots[i], entry); RCU_INIT_POINTER(node->slots[i], entry);
sibling = xa_mk_sibling(0); sibling = xa_mk_sibling(i);
} else { } else {
RCU_INIT_POINTER(node->slots[i], sibling); RCU_INIT_POINTER(node->slots[i], sibling);
} }
@ -1041,9 +1041,10 @@ EXPORT_SYMBOL_GPL(xas_split_alloc);
* xas_split() - Split a multi-index entry into smaller entries. * xas_split() - Split a multi-index entry into smaller entries.
* @xas: XArray operation state. * @xas: XArray operation state.
* @entry: New entry to store in the array. * @entry: New entry to store in the array.
* @order: New entry order. * @order: Current entry order.
* *
* The value in the entry is copied to all the replacement entries. * The size of the new entries is set in @xas. The value in @entry is
* copied to all the replacement entries.
* *
* Context: Any context. The caller should hold the xa_lock. * Context: Any context. The caller should hold the xa_lock.
*/ */

View File

@ -296,21 +296,34 @@ static void *idr_throbber(void *arg)
return NULL; return NULL;
} }
/*
* There are always either 1 or 2 objects in the IDR. If we find nothing,
* or we find something at an ID we didn't expect, that's a bug.
*/
void idr_find_test_1(int anchor_id, int throbber_id) void idr_find_test_1(int anchor_id, int throbber_id)
{ {
pthread_t throbber; pthread_t throbber;
time_t start = time(NULL); time_t start = time(NULL);
pthread_create(&throbber, NULL, idr_throbber, &throbber_id);
BUG_ON(idr_alloc(&find_idr, xa_mk_value(anchor_id), anchor_id, BUG_ON(idr_alloc(&find_idr, xa_mk_value(anchor_id), anchor_id,
anchor_id + 1, GFP_KERNEL) != anchor_id); anchor_id + 1, GFP_KERNEL) != anchor_id);
pthread_create(&throbber, NULL, idr_throbber, &throbber_id);
rcu_read_lock();
do { do {
int id = 0; int id = 0;
void *entry = idr_get_next(&find_idr, &id); void *entry = idr_get_next(&find_idr, &id);
BUG_ON(entry != xa_mk_value(id)); rcu_read_unlock();
if ((id != anchor_id && id != throbber_id) ||
entry != xa_mk_value(id)) {
printf("%s(%d, %d): %p at %d\n", __func__, anchor_id,
throbber_id, entry, id);
abort();
}
rcu_read_lock();
} while (time(NULL) < start + 11); } while (time(NULL) < start + 11);
rcu_read_unlock();
pthread_join(throbber, NULL); pthread_join(throbber, NULL);
@ -577,6 +590,7 @@ void ida_tests(void)
int __weak main(void) int __weak main(void)
{ {
rcu_register_thread();
radix_tree_init(); radix_tree_init();
idr_checks(); idr_checks();
ida_tests(); ida_tests();
@ -584,5 +598,6 @@ int __weak main(void)
rcu_barrier(); rcu_barrier();
if (nr_allocated) if (nr_allocated)
printf("nr_allocated = %d\n", nr_allocated); printf("nr_allocated = %d\n", nr_allocated);
rcu_unregister_thread();
return 0; return 0;
} }

View File

@ -224,7 +224,9 @@ void multiorder_checks(void)
int __weak main(void) int __weak main(void)
{ {
rcu_register_thread();
radix_tree_init(); radix_tree_init();
multiorder_checks(); multiorder_checks();
rcu_unregister_thread();
return 0; return 0;
} }

View File

@ -25,11 +25,13 @@ void xarray_tests(void)
int __weak main(void) int __weak main(void)
{ {
rcu_register_thread();
radix_tree_init(); radix_tree_init();
xarray_tests(); xarray_tests();
radix_tree_cpu_dead(1); radix_tree_cpu_dead(1);
rcu_barrier(); rcu_barrier();
if (nr_allocated) if (nr_allocated)
printf("nr_allocated = %d\n", nr_allocated); printf("nr_allocated = %d\n", nr_allocated);
rcu_unregister_thread();
return 0; return 0;
} }