commit c4ecfeebefab3ee570613216a9acd5f4b2b47b5e
author Lionel Landwerlin <lionel.g.landwerlin@intel.com> Fri Apr 17 20:42:41 2020 +0300
committer Craig Stout <cstout@google.com> Mon Jun 22 16:42:07 2020 +0000
tree ed225fcba0057975a83819ed8a94b8fec7603ae1
parent 0edf7cc1700f070498926dacdbfd16f2279e32a0

util/sparse_free_list: manipulate node pointers using atomic primitives

Probably doesn't fix anything but those should be accessed in an
atomic way just like the head pointer.

Signed-off-by: Lionel Landwerlin <lionel.g.landwerlin@intel.com>
Fixes: e4f01eca3b3cd1 ("util: Add a free list structure for use with util_sparse_array")
Reviewed-by: Jason Ekstrand <jason@jlekstrand.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4613>
(cherry picked from commit cdc43775917e301a7ca654fcebb94fad08dc4131)

Cherry picked from eb39c5fb4f8f30a203e20abd14f13c30fe28b8d8

Change-Id: Ia37fc2ce540bd594b9d9e23beb08fd5df788f1e4
Reviewed-on: https://fuchsia-review.googlesource.com/c/third_party/mesa/+/399927
Reviewed-by: Craig Stout <cstout@google.com>

src/util/sparse_array.c

diff --git a/src/util/sparse_array.c b/src/util/sparse_array.c
index 3942047..4691adc 100644
--- a/src/util/sparse_array.c
+++ b/src/util/sparse_array.c
@@ -220,7 +220,7 @@
    void *last_elem = util_sparse_array_get(fl->arr, items[0]);
    uint32_t *last_next = (uint32_t *)((char *)last_elem + fl->next_offset);
    for (unsigned i = 1; i < num_items; i++) {
-      *last_next = items[i];
+      p_atomic_set(last_next, items[i]);
       assert(items[i] != fl->sentinel);
       last_elem = util_sparse_array_get(fl->arr, items[i]);
       last_next = (uint32_t *)((char *)last_elem + fl->next_offset);
@@ -230,7 +230,7 @@
    old_head = p_atomic_read(&fl->head);
    do {
       current_head = old_head;
-      *last_next = current_head; /* Index is the bottom 32 bits */
+      p_atomic_set(last_next, (uint32_t)current_head); /* Index is the bottom 32 bits */
       uint64_t new_head = free_list_head(current_head, items[0]);
       old_head = p_atomic_cmpxchg(&fl->head, current_head, new_head);
    } while (old_head != current_head);
@@ -249,7 +249,7 @@
       uint32_t head_idx = current_head; /* Index is the bottom 32 bits */
       void *head_elem = util_sparse_array_get(fl->arr, head_idx);
       uint32_t *head_next = (uint32_t *)((char *)head_elem + fl->next_offset);
-      uint64_t new_head = free_list_head(current_head, *head_next);
+      uint64_t new_head = free_list_head(current_head, p_atomic_read(head_next));
       uint64_t old_head = p_atomic_cmpxchg(&fl->head, current_head, new_head);
       if (old_head == current_head)
          return head_idx;
@@ -270,7 +270,7 @@
       uint32_t head_idx = current_head; /* Index is the bottom 32 bits */
       void *head_elem = util_sparse_array_get(fl->arr, head_idx);
       uint32_t *head_next = (uint32_t *)((char *)head_elem + fl->next_offset);
-      uint64_t new_head = free_list_head(current_head, *head_next);
+      uint64_t new_head = free_list_head(current_head, p_atomic_read(head_next));
       uint64_t old_head = p_atomic_cmpxchg(&fl->head, current_head, new_head);
       if (old_head == current_head)
          return head_elem;