1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
/*
* Check decoding of membarrier syscall.
*
* Copyright (c) 2015-2017 Dmitry V. Levin <ldv@strace.io>
* Copyright (c) 2015-2023 The strace developers.
* All rights reserved.
*
* SPDX-License-Identifier: GPL-2.0-or-later
*/
#include "tests.h"
#include "scno.h"
#include <assert.h>
#include <errno.h>
#include <stdio.h>
#include <unistd.h>
int
main(void)
{
assert(syscall(__NR_membarrier, 3, 255, -1) == -1);
int saved_errno = errno;
printf("membarrier(0x3 /* MEMBARRIER_CMD_??? */"
", MEMBARRIER_CMD_FLAG_CPU|0xfe, -1) = %s\n",
sprintrc(-1));
if (saved_errno != ENOSYS) {
const char *text_global;
const char *text;
int rc = syscall(__NR_membarrier, 0, 0);
assert(rc >= 0);
text_global = rc & 1 ? "MEMBARRIER_CMD_GLOBAL" : "";
switch (rc & ~1) {
case 0:
text = "";
break;
case 8:
text = "MEMBARRIER_CMD_PRIVATE_EXPEDITED";
break;
case 8|16:
text = "MEMBARRIER_CMD_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED";
break;
case 2|4|8|16:
text = "MEMBARRIER_CMD_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED";
break;
case 2|4|8|16|512:
text = "MEMBARRIER_CMD_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_GET_REGISTRATIONS";
break;
case 2|4|8|16|32|64:
text = "MEMBARRIER_CMD_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED_SYNC_CORE|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED_SYNC_CORE";
break;
case 2|4|8|16|32|64|128|256:
text = "MEMBARRIER_CMD_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED_SYNC_CORE|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED_SYNC_CORE|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED_RSEQ|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED_RSEQ";
break;
case 2|4|8|16|128|256:
text = "MEMBARRIER_CMD_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED_RSEQ|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED_RSEQ";
break;
case 2|4|8|16|128|256|512:
text = "MEMBARRIER_CMD_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED_RSEQ|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED_RSEQ|"
"MEMBARRIER_CMD_GET_REGISTRATIONS";
break;
case 2|4|8|16|32|64|128|256|512:
text = "MEMBARRIER_CMD_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_GLOBAL_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED_SYNC_CORE|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED_SYNC_CORE|"
"MEMBARRIER_CMD_PRIVATE_EXPEDITED_RSEQ|"
"MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED_RSEQ|"
"MEMBARRIER_CMD_GET_REGISTRATIONS";
break;
default:
error_msg_and_fail("membarrier returned %#x, does"
" the test have to be updated?", rc);
}
printf("membarrier(MEMBARRIER_CMD_QUERY, 0) = %#x (%s%s%s)\n",
rc, text_global, text[0] && text_global[0] ? "|" : "",
text);
rc = syscall(__NR_membarrier, 128, 1, -1);
printf("membarrier(MEMBARRIER_CMD_PRIVATE_EXPEDITED_RSEQ"
", MEMBARRIER_CMD_FLAG_CPU, -1) = %s\n",
sprintrc(rc));
}
puts("+++ exited with 0 +++");
return 0;
}
|
