RTOS/rtems
1
0
Fork 0
forked from Imagelibrary/rtems
Code Pull Requests Activity

score: Add _Atomic_Fence()

Browse Source
This commit is contained in:
Sebastian Huber
2014-03-03 09:09:24 +01:00
parent a418b2f8b0
commit 8b50a55001
4 changed files with 84 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

63
testsuites/smptests/smpatomic01/init.c
View File

@@ -21,6 +21,7 @@
#include <rtems/score/atomic.h>
#include <rtems/score/smpbarrier.h>
#include <rtems.h>
#include <limits.h>
#include <string.h>
#include "tmacros.h"
@@ -40,6 +41,8 @@ typedef struct {
Atomic_Ulong atomic_value;
unsigned long per_worker_value[CPU_COUNT];
unsigned long normal_value;
char unused_space_for_cache_line_separation[128];
unsigned long second_value;
Atomic_Flag global_flag;
} test_context;
@@ -74,7 +77,7 @@ static void test_fini(
unsigned long actual_value;
size_t worker_index;
printf("=== atomic %s test case ==\n", test);
printf("=== atomic %s test case ===\n", test);
for (worker_index = 0; worker_index < ctx->worker_count; ++worker_index) {
unsigned long worker_value = ctx->per_worker_value[worker_index];
@@ -255,6 +258,48 @@ static void test_atomic_or_and_fini(test_context *ctx)
test_fini(ctx, "or/and", true);
}
static void test_atomic_fence_init(test_context *ctx)
{
ctx->normal_value = 0;
ctx->second_value = 0;
_Atomic_Fence(ATOMIC_ORDER_RELEASE);
}
static void test_atomic_fence_body(test_context *ctx, size_t worker_index)
{
if (is_master_worker(worker_index)) {
unsigned long counter = 0;
while (!stop(ctx)) {
++counter;
ctx->normal_value = counter;
_Atomic_Fence(ATOMIC_ORDER_RELEASE);
ctx->second_value = counter;
}
} else {
while (!stop(ctx)) {
unsigned long n;
unsigned long s;
s = ctx->second_value;
_Atomic_Fence(ATOMIC_ORDER_ACQUIRE);
n = ctx->normal_value;
rtems_test_assert(n - s < LONG_MAX);
}
}
}
static void test_atomic_fence_fini(test_context *ctx)
{
printf(
"=== atomic fence test case ===\n"
"normal value = %lu, second value = %lu\n",
ctx->normal_value,
ctx->second_value
);
}
static const test_case test_cases[] = {
{
test_atomic_add_init,
@@ -276,6 +321,10 @@ static const test_case test_cases[] = {
test_atomic_or_and_init,
test_atomic_or_and_body,
test_atomic_or_and_fini
}, {
test_atomic_fence_init,
test_atomic_fence_body,
test_atomic_fence_fini
},
};
@@ -432,7 +481,7 @@ static void test_simple_atomic_add_body(test_context *ctx)
unsigned long a = 2, b = 1;
unsigned long c;
puts("=== atomic simple add test case ==\n");
puts("=== atomic simple add test case ===\n");
_Atomic_Store_uint(&ctx->atomic_int_value, ia, ATOMIC_ORDER_RELAXED);
_Atomic_Fetch_add_uint(&ctx->atomic_int_value, ib, ATOMIC_ORDER_RELAXED);
@@ -452,7 +501,7 @@ static void test_simple_atomic_sub_body(test_context *ctx)
unsigned long a = 2, b = 1;
unsigned long c;
puts("=== atomic simple sub test case ==\n");
puts("=== atomic simple sub test case ===\n");
_Atomic_Store_uint(&ctx->atomic_int_value, ia, ATOMIC_ORDER_RELAXED);
_Atomic_Fetch_sub_uint(&ctx->atomic_int_value, ib, ATOMIC_ORDER_RELAXED);
@@ -472,7 +521,7 @@ static void test_simple_atomic_or_body(test_context *ctx)
unsigned long a = 2, b = 1;
unsigned long c;
puts("=== atomic simple or test case ==\n");
puts("=== atomic simple or test case ===\n");
_Atomic_Store_uint(&ctx->atomic_int_value, ia, ATOMIC_ORDER_RELAXED);
_Atomic_Fetch_or_uint(&ctx->atomic_int_value, ib, ATOMIC_ORDER_RELAXED);
@@ -492,7 +541,7 @@ static void test_simple_atomic_and_body(test_context *ctx)
unsigned long a = 2, b = 1;
unsigned long c;
puts("=== atomic simple and test case ==\n");
puts("=== atomic simple and test case ===\n");
_Atomic_Store_uint(&ctx->atomic_int_value, ia, ATOMIC_ORDER_RELAXED);
_Atomic_Fetch_and_uint(&ctx->atomic_int_value, ib, ATOMIC_ORDER_RELAXED);
@@ -512,7 +561,7 @@ static void test_simple_atomic_exchange_body(test_context *ctx)
unsigned long a = 2, b = 1;
unsigned long c;
puts("=== atomic simple exchange test case ==\n");
puts("=== atomic simple exchange test case ===\n");
_Atomic_Store_uint(&ctx->atomic_int_value, ia, ATOMIC_ORDER_RELAXED);
_Atomic_Exchange_uint(&ctx->atomic_int_value, ib, ATOMIC_ORDER_RELAXED);
@@ -532,7 +581,7 @@ static void test_simple_atomic_compare_exchange_body(test_context *ctx)
unsigned long a = 2, b = 1;
unsigned long c;
puts("=== atomic simple compare exchange test case ==\n");
puts("=== atomic simple compare exchange test case ===\n");
_Atomic_Store_uint(&ctx->atomic_int_value, ia, ATOMIC_ORDER_RELAXED);
_Atomic_Compare_exchange_uint(&ctx->atomic_int_value, &ia, ib,

26
testsuites/smptests/smpatomic01/smpatomic01.scn
View File

@@ -1,29 +1,31 @@
*** TEST SMPATOMIC 1 ***
=== atomic simple add test case ==
=== atomic simple sub test case ==
=== atomic simple or test case ==
=== atomic simple and test case ==
=== atomic simple exchange test case ==
=== atomic simple compare exchange test case ==
=== static and dynamic initialization test case ===
=== atomic add test case ==
=== atomic simple add test case ===
=== atomic simple sub test case ===
=== atomic simple or test case ===
=== atomic simple and test case ===
=== atomic simple exchange test case ===
=== atomic simple compare exchange test case ===
=== static and dynamic initialization test case ====
=== atomic add test case ===
worker 0 value: 16686
worker 1 value: 36405
atomic value: expected = 53091, actual = 53091
=== atomic flag test case ==
=== atomic flag test case ===
worker 0 value: 5588
worker 1 value: 16019
atomic value: expected = 21607, actual = 21607
=== atomic sub test case ==
=== atomic sub test case ===
worker 0 value: 4294950967
worker 1 value: 4294930886
atomic value: expected = 4294914557, actual = 4294914557
=== atomic compare exchange test case ==
=== atomic compare exchange test case ===
worker 0 value: 2950
worker 1 value: 22456
atomic value: expected = 25406, actual = 25406
=== atomic or/and test case ==
=== atomic or/and test case ===
worker 0 value: 1
worker 1 value: 0
atomic value: expected = 1, actual = 1
=== atomic fence test case ===
normal value = 10759507, second value = 10759507
*** END OF TEST SMPATOMIC 1 ***