101a5ec42SMathieu Desnoyers // SPDX-License-Identifier: LGPL-2.1
201a5ec42SMathieu Desnoyers #define _GNU_SOURCE
301a5ec42SMathieu Desnoyers #include <assert.h>
401a5ec42SMathieu Desnoyers #include <pthread.h>
501a5ec42SMathieu Desnoyers #include <sched.h>
601a5ec42SMathieu Desnoyers #include <stdint.h>
701a5ec42SMathieu Desnoyers #include <stdio.h>
801a5ec42SMathieu Desnoyers #include <stdlib.h>
901a5ec42SMathieu Desnoyers #include <string.h>
1001a5ec42SMathieu Desnoyers #include <stddef.h>
1101a5ec42SMathieu Desnoyers
1207ad4f76SShuah Khan #include "../kselftest.h"
1301a5ec42SMathieu Desnoyers #include "rseq.h"
1401a5ec42SMathieu Desnoyers
15*cead7206SMathieu Desnoyers #ifdef BUILDOPT_RSEQ_PERCPU_MM_CID
16*cead7206SMathieu Desnoyers # define RSEQ_PERCPU RSEQ_PERCPU_MM_CID
17*cead7206SMathieu Desnoyers static
get_current_cpu_id(void)18*cead7206SMathieu Desnoyers int get_current_cpu_id(void)
19*cead7206SMathieu Desnoyers {
20*cead7206SMathieu Desnoyers return rseq_current_mm_cid();
21*cead7206SMathieu Desnoyers }
22*cead7206SMathieu Desnoyers static
rseq_validate_cpu_id(void)23*cead7206SMathieu Desnoyers bool rseq_validate_cpu_id(void)
24*cead7206SMathieu Desnoyers {
25*cead7206SMathieu Desnoyers return rseq_mm_cid_available();
26*cead7206SMathieu Desnoyers }
27*cead7206SMathieu Desnoyers #else
28*cead7206SMathieu Desnoyers # define RSEQ_PERCPU RSEQ_PERCPU_CPU_ID
29*cead7206SMathieu Desnoyers static
get_current_cpu_id(void)30*cead7206SMathieu Desnoyers int get_current_cpu_id(void)
31*cead7206SMathieu Desnoyers {
32*cead7206SMathieu Desnoyers return rseq_cpu_start();
33*cead7206SMathieu Desnoyers }
34*cead7206SMathieu Desnoyers static
rseq_validate_cpu_id(void)35*cead7206SMathieu Desnoyers bool rseq_validate_cpu_id(void)
36*cead7206SMathieu Desnoyers {
37*cead7206SMathieu Desnoyers return rseq_current_cpu_raw() >= 0;
38*cead7206SMathieu Desnoyers }
39*cead7206SMathieu Desnoyers #endif
40*cead7206SMathieu Desnoyers
4101a5ec42SMathieu Desnoyers struct percpu_lock_entry {
4201a5ec42SMathieu Desnoyers intptr_t v;
4301a5ec42SMathieu Desnoyers } __attribute__((aligned(128)));
4401a5ec42SMathieu Desnoyers
4501a5ec42SMathieu Desnoyers struct percpu_lock {
4601a5ec42SMathieu Desnoyers struct percpu_lock_entry c[CPU_SETSIZE];
4701a5ec42SMathieu Desnoyers };
4801a5ec42SMathieu Desnoyers
4901a5ec42SMathieu Desnoyers struct test_data_entry {
5001a5ec42SMathieu Desnoyers intptr_t count;
5101a5ec42SMathieu Desnoyers } __attribute__((aligned(128)));
5201a5ec42SMathieu Desnoyers
5301a5ec42SMathieu Desnoyers struct spinlock_test_data {
5401a5ec42SMathieu Desnoyers struct percpu_lock lock;
5501a5ec42SMathieu Desnoyers struct test_data_entry c[CPU_SETSIZE];
5601a5ec42SMathieu Desnoyers int reps;
5701a5ec42SMathieu Desnoyers };
5801a5ec42SMathieu Desnoyers
5901a5ec42SMathieu Desnoyers struct percpu_list_node {
6001a5ec42SMathieu Desnoyers intptr_t data;
6101a5ec42SMathieu Desnoyers struct percpu_list_node *next;
6201a5ec42SMathieu Desnoyers };
6301a5ec42SMathieu Desnoyers
6401a5ec42SMathieu Desnoyers struct percpu_list_entry {
6501a5ec42SMathieu Desnoyers struct percpu_list_node *head;
6601a5ec42SMathieu Desnoyers } __attribute__((aligned(128)));
6701a5ec42SMathieu Desnoyers
6801a5ec42SMathieu Desnoyers struct percpu_list {
6901a5ec42SMathieu Desnoyers struct percpu_list_entry c[CPU_SETSIZE];
7001a5ec42SMathieu Desnoyers };
7101a5ec42SMathieu Desnoyers
7201a5ec42SMathieu Desnoyers /* A simple percpu spinlock. Returns the cpu lock was acquired on. */
rseq_this_cpu_lock(struct percpu_lock * lock)7301a5ec42SMathieu Desnoyers int rseq_this_cpu_lock(struct percpu_lock *lock)
7401a5ec42SMathieu Desnoyers {
7501a5ec42SMathieu Desnoyers int cpu;
7601a5ec42SMathieu Desnoyers
7701a5ec42SMathieu Desnoyers for (;;) {
7801a5ec42SMathieu Desnoyers int ret;
7901a5ec42SMathieu Desnoyers
80*cead7206SMathieu Desnoyers cpu = get_current_cpu_id();
81*cead7206SMathieu Desnoyers ret = rseq_cmpeqv_storev(RSEQ_MO_RELAXED, RSEQ_PERCPU,
82*cead7206SMathieu Desnoyers &lock->c[cpu].v, 0, 1, cpu);
8301a5ec42SMathieu Desnoyers if (rseq_likely(!ret))
8401a5ec42SMathieu Desnoyers break;
8501a5ec42SMathieu Desnoyers /* Retry if comparison fails or rseq aborts. */
8601a5ec42SMathieu Desnoyers }
8701a5ec42SMathieu Desnoyers /*
8801a5ec42SMathieu Desnoyers * Acquire semantic when taking lock after control dependency.
8901a5ec42SMathieu Desnoyers * Matches rseq_smp_store_release().
9001a5ec42SMathieu Desnoyers */
9101a5ec42SMathieu Desnoyers rseq_smp_acquire__after_ctrl_dep();
9201a5ec42SMathieu Desnoyers return cpu;
9301a5ec42SMathieu Desnoyers }
9401a5ec42SMathieu Desnoyers
rseq_percpu_unlock(struct percpu_lock * lock,int cpu)9501a5ec42SMathieu Desnoyers void rseq_percpu_unlock(struct percpu_lock *lock, int cpu)
9601a5ec42SMathieu Desnoyers {
9701a5ec42SMathieu Desnoyers assert(lock->c[cpu].v == 1);
9801a5ec42SMathieu Desnoyers /*
9901a5ec42SMathieu Desnoyers * Release lock, with release semantic. Matches
10001a5ec42SMathieu Desnoyers * rseq_smp_acquire__after_ctrl_dep().
10101a5ec42SMathieu Desnoyers */
10201a5ec42SMathieu Desnoyers rseq_smp_store_release(&lock->c[cpu].v, 0);
10301a5ec42SMathieu Desnoyers }
10401a5ec42SMathieu Desnoyers
test_percpu_spinlock_thread(void * arg)10501a5ec42SMathieu Desnoyers void *test_percpu_spinlock_thread(void *arg)
10601a5ec42SMathieu Desnoyers {
10701a5ec42SMathieu Desnoyers struct spinlock_test_data *data = arg;
10801a5ec42SMathieu Desnoyers int i, cpu;
10901a5ec42SMathieu Desnoyers
11001a5ec42SMathieu Desnoyers if (rseq_register_current_thread()) {
11101a5ec42SMathieu Desnoyers fprintf(stderr, "Error: rseq_register_current_thread(...) failed(%d): %s\n",
11201a5ec42SMathieu Desnoyers errno, strerror(errno));
11301a5ec42SMathieu Desnoyers abort();
11401a5ec42SMathieu Desnoyers }
11501a5ec42SMathieu Desnoyers for (i = 0; i < data->reps; i++) {
11601a5ec42SMathieu Desnoyers cpu = rseq_this_cpu_lock(&data->lock);
11701a5ec42SMathieu Desnoyers data->c[cpu].count++;
11801a5ec42SMathieu Desnoyers rseq_percpu_unlock(&data->lock, cpu);
11901a5ec42SMathieu Desnoyers }
12001a5ec42SMathieu Desnoyers if (rseq_unregister_current_thread()) {
12101a5ec42SMathieu Desnoyers fprintf(stderr, "Error: rseq_unregister_current_thread(...) failed(%d): %s\n",
12201a5ec42SMathieu Desnoyers errno, strerror(errno));
12301a5ec42SMathieu Desnoyers abort();
12401a5ec42SMathieu Desnoyers }
12501a5ec42SMathieu Desnoyers
12601a5ec42SMathieu Desnoyers return NULL;
12701a5ec42SMathieu Desnoyers }
12801a5ec42SMathieu Desnoyers
12901a5ec42SMathieu Desnoyers /*
13001a5ec42SMathieu Desnoyers * A simple test which implements a sharded counter using a per-cpu
13101a5ec42SMathieu Desnoyers * lock. Obviously real applications might prefer to simply use a
13201a5ec42SMathieu Desnoyers * per-cpu increment; however, this is reasonable for a test and the
13301a5ec42SMathieu Desnoyers * lock can be extended to synchronize more complicated operations.
13401a5ec42SMathieu Desnoyers */
test_percpu_spinlock(void)13501a5ec42SMathieu Desnoyers void test_percpu_spinlock(void)
13601a5ec42SMathieu Desnoyers {
13701a5ec42SMathieu Desnoyers const int num_threads = 200;
13801a5ec42SMathieu Desnoyers int i;
13901a5ec42SMathieu Desnoyers uint64_t sum;
14001a5ec42SMathieu Desnoyers pthread_t test_threads[num_threads];
14101a5ec42SMathieu Desnoyers struct spinlock_test_data data;
14201a5ec42SMathieu Desnoyers
14301a5ec42SMathieu Desnoyers memset(&data, 0, sizeof(data));
14401a5ec42SMathieu Desnoyers data.reps = 5000;
14501a5ec42SMathieu Desnoyers
14601a5ec42SMathieu Desnoyers for (i = 0; i < num_threads; i++)
14701a5ec42SMathieu Desnoyers pthread_create(&test_threads[i], NULL,
14801a5ec42SMathieu Desnoyers test_percpu_spinlock_thread, &data);
14901a5ec42SMathieu Desnoyers
15001a5ec42SMathieu Desnoyers for (i = 0; i < num_threads; i++)
15101a5ec42SMathieu Desnoyers pthread_join(test_threads[i], NULL);
15201a5ec42SMathieu Desnoyers
15301a5ec42SMathieu Desnoyers sum = 0;
15401a5ec42SMathieu Desnoyers for (i = 0; i < CPU_SETSIZE; i++)
15501a5ec42SMathieu Desnoyers sum += data.c[i].count;
15601a5ec42SMathieu Desnoyers
15701a5ec42SMathieu Desnoyers assert(sum == (uint64_t)data.reps * num_threads);
15801a5ec42SMathieu Desnoyers }
15901a5ec42SMathieu Desnoyers
this_cpu_list_push(struct percpu_list * list,struct percpu_list_node * node,int * _cpu)16001a5ec42SMathieu Desnoyers void this_cpu_list_push(struct percpu_list *list,
16101a5ec42SMathieu Desnoyers struct percpu_list_node *node,
16201a5ec42SMathieu Desnoyers int *_cpu)
16301a5ec42SMathieu Desnoyers {
16401a5ec42SMathieu Desnoyers int cpu;
16501a5ec42SMathieu Desnoyers
16601a5ec42SMathieu Desnoyers for (;;) {
16701a5ec42SMathieu Desnoyers intptr_t *targetptr, newval, expect;
16801a5ec42SMathieu Desnoyers int ret;
16901a5ec42SMathieu Desnoyers
170*cead7206SMathieu Desnoyers cpu = get_current_cpu_id();
17101a5ec42SMathieu Desnoyers /* Load list->c[cpu].head with single-copy atomicity. */
17201a5ec42SMathieu Desnoyers expect = (intptr_t)RSEQ_READ_ONCE(list->c[cpu].head);
17301a5ec42SMathieu Desnoyers newval = (intptr_t)node;
17401a5ec42SMathieu Desnoyers targetptr = (intptr_t *)&list->c[cpu].head;
17501a5ec42SMathieu Desnoyers node->next = (struct percpu_list_node *)expect;
176*cead7206SMathieu Desnoyers ret = rseq_cmpeqv_storev(RSEQ_MO_RELAXED, RSEQ_PERCPU,
177*cead7206SMathieu Desnoyers targetptr, expect, newval, cpu);
17801a5ec42SMathieu Desnoyers if (rseq_likely(!ret))
17901a5ec42SMathieu Desnoyers break;
18001a5ec42SMathieu Desnoyers /* Retry if comparison fails or rseq aborts. */
18101a5ec42SMathieu Desnoyers }
18201a5ec42SMathieu Desnoyers if (_cpu)
18301a5ec42SMathieu Desnoyers *_cpu = cpu;
18401a5ec42SMathieu Desnoyers }
18501a5ec42SMathieu Desnoyers
18601a5ec42SMathieu Desnoyers /*
18701a5ec42SMathieu Desnoyers * Unlike a traditional lock-less linked list; the availability of a
18801a5ec42SMathieu Desnoyers * rseq primitive allows us to implement pop without concerns over
18901a5ec42SMathieu Desnoyers * ABA-type races.
19001a5ec42SMathieu Desnoyers */
this_cpu_list_pop(struct percpu_list * list,int * _cpu)19101a5ec42SMathieu Desnoyers struct percpu_list_node *this_cpu_list_pop(struct percpu_list *list,
19201a5ec42SMathieu Desnoyers int *_cpu)
19301a5ec42SMathieu Desnoyers {
19401a5ec42SMathieu Desnoyers for (;;) {
19501a5ec42SMathieu Desnoyers struct percpu_list_node *head;
19601a5ec42SMathieu Desnoyers intptr_t *targetptr, expectnot, *load;
19726dc8a6dSMathieu Desnoyers long offset;
19801a5ec42SMathieu Desnoyers int ret, cpu;
19901a5ec42SMathieu Desnoyers
200*cead7206SMathieu Desnoyers cpu = get_current_cpu_id();
20101a5ec42SMathieu Desnoyers targetptr = (intptr_t *)&list->c[cpu].head;
20201a5ec42SMathieu Desnoyers expectnot = (intptr_t)NULL;
20301a5ec42SMathieu Desnoyers offset = offsetof(struct percpu_list_node, next);
20401a5ec42SMathieu Desnoyers load = (intptr_t *)&head;
205*cead7206SMathieu Desnoyers ret = rseq_cmpnev_storeoffp_load(RSEQ_MO_RELAXED, RSEQ_PERCPU,
206*cead7206SMathieu Desnoyers targetptr, expectnot,
20701a5ec42SMathieu Desnoyers offset, load, cpu);
20801a5ec42SMathieu Desnoyers if (rseq_likely(!ret)) {
20901a5ec42SMathieu Desnoyers if (_cpu)
21001a5ec42SMathieu Desnoyers *_cpu = cpu;
21101a5ec42SMathieu Desnoyers return head;
21201a5ec42SMathieu Desnoyers }
21301a5ec42SMathieu Desnoyers if (ret > 0)
21401a5ec42SMathieu Desnoyers return NULL;
21501a5ec42SMathieu Desnoyers /* Retry if rseq aborts. */
21601a5ec42SMathieu Desnoyers }
21701a5ec42SMathieu Desnoyers }
21801a5ec42SMathieu Desnoyers
21901a5ec42SMathieu Desnoyers /*
22001a5ec42SMathieu Desnoyers * __percpu_list_pop is not safe against concurrent accesses. Should
22101a5ec42SMathieu Desnoyers * only be used on lists that are not concurrently modified.
22201a5ec42SMathieu Desnoyers */
__percpu_list_pop(struct percpu_list * list,int cpu)22301a5ec42SMathieu Desnoyers struct percpu_list_node *__percpu_list_pop(struct percpu_list *list, int cpu)
22401a5ec42SMathieu Desnoyers {
22501a5ec42SMathieu Desnoyers struct percpu_list_node *node;
22601a5ec42SMathieu Desnoyers
22701a5ec42SMathieu Desnoyers node = list->c[cpu].head;
22801a5ec42SMathieu Desnoyers if (!node)
22901a5ec42SMathieu Desnoyers return NULL;
23001a5ec42SMathieu Desnoyers list->c[cpu].head = node->next;
23101a5ec42SMathieu Desnoyers return node;
23201a5ec42SMathieu Desnoyers }
23301a5ec42SMathieu Desnoyers
test_percpu_list_thread(void * arg)23401a5ec42SMathieu Desnoyers void *test_percpu_list_thread(void *arg)
23501a5ec42SMathieu Desnoyers {
23601a5ec42SMathieu Desnoyers int i;
23701a5ec42SMathieu Desnoyers struct percpu_list *list = (struct percpu_list *)arg;
23801a5ec42SMathieu Desnoyers
23901a5ec42SMathieu Desnoyers if (rseq_register_current_thread()) {
24001a5ec42SMathieu Desnoyers fprintf(stderr, "Error: rseq_register_current_thread(...) failed(%d): %s\n",
24101a5ec42SMathieu Desnoyers errno, strerror(errno));
24201a5ec42SMathieu Desnoyers abort();
24301a5ec42SMathieu Desnoyers }
24401a5ec42SMathieu Desnoyers
24501a5ec42SMathieu Desnoyers for (i = 0; i < 100000; i++) {
24601a5ec42SMathieu Desnoyers struct percpu_list_node *node;
24701a5ec42SMathieu Desnoyers
24801a5ec42SMathieu Desnoyers node = this_cpu_list_pop(list, NULL);
24901a5ec42SMathieu Desnoyers sched_yield(); /* encourage shuffling */
25001a5ec42SMathieu Desnoyers if (node)
25101a5ec42SMathieu Desnoyers this_cpu_list_push(list, node, NULL);
25201a5ec42SMathieu Desnoyers }
25301a5ec42SMathieu Desnoyers
25401a5ec42SMathieu Desnoyers if (rseq_unregister_current_thread()) {
25501a5ec42SMathieu Desnoyers fprintf(stderr, "Error: rseq_unregister_current_thread(...) failed(%d): %s\n",
25601a5ec42SMathieu Desnoyers errno, strerror(errno));
25701a5ec42SMathieu Desnoyers abort();
25801a5ec42SMathieu Desnoyers }
25901a5ec42SMathieu Desnoyers
26001a5ec42SMathieu Desnoyers return NULL;
26101a5ec42SMathieu Desnoyers }
26201a5ec42SMathieu Desnoyers
26301a5ec42SMathieu Desnoyers /* Simultaneous modification to a per-cpu linked list from many threads. */
test_percpu_list(void)26401a5ec42SMathieu Desnoyers void test_percpu_list(void)
26501a5ec42SMathieu Desnoyers {
26601a5ec42SMathieu Desnoyers int i, j;
26701a5ec42SMathieu Desnoyers uint64_t sum = 0, expected_sum = 0;
26801a5ec42SMathieu Desnoyers struct percpu_list list;
26901a5ec42SMathieu Desnoyers pthread_t test_threads[200];
27001a5ec42SMathieu Desnoyers cpu_set_t allowed_cpus;
27101a5ec42SMathieu Desnoyers
27201a5ec42SMathieu Desnoyers memset(&list, 0, sizeof(list));
27301a5ec42SMathieu Desnoyers
27401a5ec42SMathieu Desnoyers /* Generate list entries for every usable cpu. */
27501a5ec42SMathieu Desnoyers sched_getaffinity(0, sizeof(allowed_cpus), &allowed_cpus);
27601a5ec42SMathieu Desnoyers for (i = 0; i < CPU_SETSIZE; i++) {
27701a5ec42SMathieu Desnoyers if (!CPU_ISSET(i, &allowed_cpus))
27801a5ec42SMathieu Desnoyers continue;
27901a5ec42SMathieu Desnoyers for (j = 1; j <= 100; j++) {
28001a5ec42SMathieu Desnoyers struct percpu_list_node *node;
28101a5ec42SMathieu Desnoyers
28201a5ec42SMathieu Desnoyers expected_sum += j;
28301a5ec42SMathieu Desnoyers
28401a5ec42SMathieu Desnoyers node = malloc(sizeof(*node));
28501a5ec42SMathieu Desnoyers assert(node);
28601a5ec42SMathieu Desnoyers node->data = j;
28701a5ec42SMathieu Desnoyers node->next = list.c[i].head;
28801a5ec42SMathieu Desnoyers list.c[i].head = node;
28901a5ec42SMathieu Desnoyers }
29001a5ec42SMathieu Desnoyers }
29101a5ec42SMathieu Desnoyers
29201a5ec42SMathieu Desnoyers for (i = 0; i < 200; i++)
29301a5ec42SMathieu Desnoyers pthread_create(&test_threads[i], NULL,
29401a5ec42SMathieu Desnoyers test_percpu_list_thread, &list);
29501a5ec42SMathieu Desnoyers
29601a5ec42SMathieu Desnoyers for (i = 0; i < 200; i++)
29701a5ec42SMathieu Desnoyers pthread_join(test_threads[i], NULL);
29801a5ec42SMathieu Desnoyers
29901a5ec42SMathieu Desnoyers for (i = 0; i < CPU_SETSIZE; i++) {
30001a5ec42SMathieu Desnoyers struct percpu_list_node *node;
30101a5ec42SMathieu Desnoyers
30201a5ec42SMathieu Desnoyers if (!CPU_ISSET(i, &allowed_cpus))
30301a5ec42SMathieu Desnoyers continue;
30401a5ec42SMathieu Desnoyers
30501a5ec42SMathieu Desnoyers while ((node = __percpu_list_pop(&list, i))) {
30601a5ec42SMathieu Desnoyers sum += node->data;
30701a5ec42SMathieu Desnoyers free(node);
30801a5ec42SMathieu Desnoyers }
30901a5ec42SMathieu Desnoyers }
31001a5ec42SMathieu Desnoyers
31101a5ec42SMathieu Desnoyers /*
31201a5ec42SMathieu Desnoyers * All entries should now be accounted for (unless some external
31301a5ec42SMathieu Desnoyers * actor is interfering with our allowed affinity while this
31401a5ec42SMathieu Desnoyers * test is running).
31501a5ec42SMathieu Desnoyers */
31601a5ec42SMathieu Desnoyers assert(sum == expected_sum);
31701a5ec42SMathieu Desnoyers }
31801a5ec42SMathieu Desnoyers
main(int argc,char ** argv)31901a5ec42SMathieu Desnoyers int main(int argc, char **argv)
32001a5ec42SMathieu Desnoyers {
32101a5ec42SMathieu Desnoyers if (rseq_register_current_thread()) {
32201a5ec42SMathieu Desnoyers fprintf(stderr, "Error: rseq_register_current_thread(...) failed(%d): %s\n",
32301a5ec42SMathieu Desnoyers errno, strerror(errno));
32401a5ec42SMathieu Desnoyers goto error;
32501a5ec42SMathieu Desnoyers }
326*cead7206SMathieu Desnoyers if (!rseq_validate_cpu_id()) {
327*cead7206SMathieu Desnoyers fprintf(stderr, "Error: cpu id getter unavailable\n");
328*cead7206SMathieu Desnoyers goto error;
329*cead7206SMathieu Desnoyers }
33001a5ec42SMathieu Desnoyers printf("spinlock\n");
33101a5ec42SMathieu Desnoyers test_percpu_spinlock();
33201a5ec42SMathieu Desnoyers printf("percpu_list\n");
33301a5ec42SMathieu Desnoyers test_percpu_list();
33401a5ec42SMathieu Desnoyers if (rseq_unregister_current_thread()) {
33501a5ec42SMathieu Desnoyers fprintf(stderr, "Error: rseq_unregister_current_thread(...) failed(%d): %s\n",
33601a5ec42SMathieu Desnoyers errno, strerror(errno));
33701a5ec42SMathieu Desnoyers goto error;
33801a5ec42SMathieu Desnoyers }
33901a5ec42SMathieu Desnoyers return 0;
34001a5ec42SMathieu Desnoyers
34101a5ec42SMathieu Desnoyers error:
34201a5ec42SMathieu Desnoyers return -1;
34301a5ec42SMathieu Desnoyers }
344