aboutsummaryrefslogtreecommitdiff
path: root/regressions/ck_swlock
diff options
context:
space:
mode:
Diffstat (limited to 'regressions/ck_swlock')
-rw-r--r--regressions/ck_swlock/benchmark/Makefile17
-rw-r--r--regressions/ck_swlock/benchmark/latency.c86
-rw-r--r--regressions/ck_swlock/benchmark/throughput.c183
-rw-r--r--regressions/ck_swlock/validate/Makefile17
-rw-r--r--regressions/ck_swlock/validate/validate.c455
5 files changed, 0 insertions, 758 deletions
diff --git a/regressions/ck_swlock/benchmark/Makefile b/regressions/ck_swlock/benchmark/Makefile
deleted file mode 100644
index 4ec728c2a51c..000000000000
--- a/regressions/ck_swlock/benchmark/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-.PHONY: clean distribution
-
-OBJECTS=latency throughput
-
-all: $(OBJECTS)
-
-latency: latency.c ../../../include/ck_swlock.h
- $(CC) $(CFLAGS) -o latency latency.c
-
-throughput: throughput.c ../../../include/ck_swlock.h
- $(CC) $(CFLAGS) -o throughput throughput.c
-
-clean:
- rm -rf *.dSYM *.exe *~ *.o $(OBJECTS)
-
-include ../../../build/regressions.build
-CFLAGS+=$(PTHREAD_CFLAGS) -D_GNU_SOURCE
diff --git a/regressions/ck_swlock/benchmark/latency.c b/regressions/ck_swlock/benchmark/latency.c
deleted file mode 100644
index 73a9482849f4..000000000000
--- a/regressions/ck_swlock/benchmark/latency.c
+++ /dev/null
@@ -1,86 +0,0 @@
-/*
- * Copyright 2011-2015 Samy Al Bahra.
- * All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
- * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
- * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
- * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
- * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
- * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
- * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
- * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
- * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
- * SUCH DAMAGE.
- */
-
-#include <ck_swlock.h>
-#include <inttypes.h>
-#include <stdio.h>
-
-#include "../../common.h"
-
-#define CK_F_PR_RTM
-
-#ifndef STEPS
-#define STEPS 2000000
-#endif
-
-int
-main(void)
-{
- uint64_t s_b, e_b, i;
- ck_swlock_t swlock = CK_SWLOCK_INITIALIZER;
-
- for (i = 0; i < STEPS; i++) {
- ck_swlock_write_lock(&swlock);
- ck_swlock_write_unlock(&swlock);
- }
-
- s_b = rdtsc();
- for (i = 0; i < STEPS; i++) {
- ck_swlock_write_lock(&swlock);
- ck_swlock_write_unlock(&swlock);
- }
- e_b = rdtsc();
- printf(" WRITE: swlock %15" PRIu64 "\n", (e_b - s_b) / STEPS);
-
- for (i = 0; i < STEPS; i++) {
- ck_swlock_read_lock(&swlock);
- ck_swlock_read_unlock(&swlock);
- }
-
- s_b = rdtsc();
- for (i = 0; i < STEPS; i++) {
- ck_swlock_read_lock(&swlock);
- ck_swlock_read_unlock(&swlock);
- }
- e_b = rdtsc();
- printf(" READ: swlock %15" PRIu64 "\n", (e_b - s_b) / STEPS);
-
- for (i = 0; i < STEPS; i++) {
- ck_swlock_write_latch(&swlock);
- ck_swlock_write_unlatch(&swlock);
- }
-
- s_b = rdtsc();
- for (i = 0; i < STEPS; i++) {
- ck_swlock_write_latch(&swlock);
- ck_swlock_write_unlatch(&swlock);
- }
- e_b = rdtsc();
- printf(" LATCH: swlock %15" PRIu64 "\n", (e_b - s_b) / STEPS);
-
- return 0;
-}
-
diff --git a/regressions/ck_swlock/benchmark/throughput.c b/regressions/ck_swlock/benchmark/throughput.c
deleted file mode 100644
index 5b05365751ce..000000000000
--- a/regressions/ck_swlock/benchmark/throughput.c
+++ /dev/null
@@ -1,183 +0,0 @@
-/*
- * Copyright 2011-2015 Samy Al Bahra.
- * All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
- * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
- * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
- * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
- * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
- * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
- * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
- * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
- * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
- * SUCH DAMAGE.
- */
-
-#include <ck_swlock.h>
-#include <inttypes.h>
-#include <pthread.h>
-#include <stdio.h>
-#include <stdint.h>
-#include <stdlib.h>
-#include <unistd.h>
-
-#include "../../common.h"
-
-#ifndef STEPS
-#define STEPS 1000000
-#endif
-
-static int barrier;
-static int threads;
-static unsigned int flag CK_CC_CACHELINE;
-static struct {
- ck_swlock_t lock;
-} rw CK_CC_CACHELINE = {
- .lock = CK_SWLOCK_INITIALIZER
-};
-
-static struct affinity affinity;
-
-static void *
-thread_lock(void *pun)
-{
- uint64_t s_b, e_b, a, i;
- uint64_t *value = pun;
-
- if (aff_iterate(&affinity) != 0) {
- perror("ERROR: Could not affine thread");
- exit(EXIT_FAILURE);
- }
-
- ck_pr_inc_int(&barrier);
- while (ck_pr_load_int(&barrier) != threads)
- ck_pr_stall();
-
- for (i = 1, a = 0;; i++) {
- s_b = rdtsc();
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- ck_swlock_read_lock(&rw.lock);
- ck_swlock_read_unlock(&rw.lock);
- e_b = rdtsc();
-
- a += (e_b - s_b) >> 4;
-
- if (ck_pr_load_uint(&flag) == 1)
- break;
- }
-
- ck_pr_inc_int(&barrier);
- while (ck_pr_load_int(&barrier) != threads * 2)
- ck_pr_stall();
-
- *value = (a / i);
- return NULL;
-}
-
-static void
-swlock_test(pthread_t *p, int d, uint64_t *latency, void *(*f)(void *), const char *label)
-{
- int t;
-
- ck_pr_store_int(&barrier, 0);
- ck_pr_store_uint(&flag, 0);
-
- affinity.delta = d;
- affinity.request = 0;
-
- fprintf(stderr, "Creating threads (%s)...", label);
- for (t = 0; t < threads; t++) {
- if (pthread_create(&p[t], NULL, f, latency + t) != 0) {
- ck_error("ERROR: Could not create thread %d\n", t);
- }
- }
- fprintf(stderr, "done\n");
-
- common_sleep(10);
- ck_pr_store_uint(&flag, 1);
-
- fprintf(stderr, "Waiting for threads to finish acquisition regression...");
- for (t = 0; t < threads; t++)
- pthread_join(p[t], NULL);
- fprintf(stderr, "done\n\n");
-
- for (t = 1; t <= threads; t++)
- printf("%10u %20" PRIu64 "\n", t, latency[t - 1]);
-
- fprintf(stderr, "\n");
- return;
-}
-
-
-int
-main(int argc, char *argv[])
-{
- int d;
- pthread_t *p;
- uint64_t *latency;
-
- if (argc != 3) {
- ck_error("Usage: throughput <delta> <threads>\n");
- }
-
- threads = atoi(argv[2]);
- if (threads <= 0) {
- ck_error("ERROR: Threads must be a value > 0.\n");
- }
-
- p = malloc(sizeof(pthread_t) * threads);
- if (p == NULL) {
- ck_error("ERROR: Failed to initialize thread.\n");
- }
-
- latency = malloc(sizeof(uint64_t) * threads);
- if (latency == NULL) {
- ck_error("ERROR: Failed to create latency buffer.\n");
- }
-
- d = atoi(argv[1]);
- swlock_test(p, d, latency, thread_lock, "swlock");
-
- return 0;
-}
-
diff --git a/regressions/ck_swlock/validate/Makefile b/regressions/ck_swlock/validate/Makefile
deleted file mode 100644
index 54d62f2033d6..000000000000
--- a/regressions/ck_swlock/validate/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-.PHONY: check clean distribution
-
-OBJECTS=validate
-
-all: $(OBJECTS)
-
-validate: validate.c ../../../include/ck_swlock.h
- $(CC) $(CFLAGS) -o validate validate.c
-
-check: all
- ./validate $(CORES) 1
-
-clean:
- rm -rf *.dSYM *.exe *~ *.o $(OBJECTS)
-
-include ../../../build/regressions.build
-CFLAGS+=$(PTHREAD_CFLAGS) -D_GNU_SOURCE
diff --git a/regressions/ck_swlock/validate/validate.c b/regressions/ck_swlock/validate/validate.c
deleted file mode 100644
index 11366ce6415b..000000000000
--- a/regressions/ck_swlock/validate/validate.c
+++ /dev/null
@@ -1,455 +0,0 @@
-/*
- * Copyright 2014 Jaidev Sridhar.
- * All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
- * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
- * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
- * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
- * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
- * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
- * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
- * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
- * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
- * SUCH DAMAGE.
- */
-
-#include <errno.h>
-#include <inttypes.h>
-#include <pthread.h>
-#include <math.h>
-#include <stdint.h>
-#include <stdio.h>
-#include <stdlib.h>
-#include <strings.h>
-#include <unistd.h>
-#include <sys/time.h>
-
-#include <ck_pr.h>
-#include <ck_swlock.h>
-
-#include "../../common.h"
-
-#ifndef ITERATE
-#define ITERATE 1000000
-#endif
-
-static struct affinity a;
-static unsigned int locked;
-static int nthr;
-static ck_swlock_t lock = CK_SWLOCK_INITIALIZER;
-static ck_swlock_t copy;
-#ifdef CK_F_PR_RTM
-static void *
-thread_rtm_adaptive(void *arg)
-{
- unsigned int i = ITERATE;
- unsigned int l;
- int tid = ck_pr_load_int(arg);
-
- struct ck_elide_config config = CK_ELIDE_CONFIG_DEFAULT_INITIALIZER;
- struct ck_elide_stat st = CK_ELIDE_STAT_INITIALIZER;
-
- if (aff_iterate(&a)) {
- perror("ERROR: Could not affine thread");
- exit(EXIT_FAILURE);
- }
-
- while (i--) {
- if (tid == 0) {
- CK_ELIDE_LOCK_ADAPTIVE(ck_swlock_write, &st, &config, &lock);
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
-
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 8) {
- ck_error("ERROR [WR:%d]: %u != 2\n", __LINE__, l);
- }
-
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
- }
- CK_ELIDE_UNLOCK_ADAPTIVE(ck_swlock_write, &st, &lock);
- }
-
- CK_ELIDE_LOCK(ck_swlock_read, &lock);
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [RD:%d]: %u != 0\n", __LINE__, l);
- }
- }
- CK_ELIDE_UNLOCK(ck_swlock_read, &lock);
- }
-
- return NULL;
-}
-
-static void *
-thread_rtm_mix(void *arg)
-{
- unsigned int i = ITERATE;
- unsigned int l;
- int tid = ck_pr_load_int(arg);
-
- if (aff_iterate(&a)) {
- perror("ERROR: Could not affine thread");
- exit(EXIT_FAILURE);
- }
-
- while (i--) {
- if (tid == 0) {
- if (i & 1) {
- CK_ELIDE_LOCK(ck_swlock_write, &lock);
- } else {
- ck_swlock_write_lock(&lock);
- }
-
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
-
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 8) {
- ck_error("ERROR [WR:%d]: %u != 2\n", __LINE__, l);
- }
-
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
- }
-
- if (i & 1) {
- CK_ELIDE_UNLOCK(ck_swlock_write, &lock);
- } else {
- ck_swlock_write_unlock(&lock);
- }
- }
- if (i & 1) {
- CK_ELIDE_LOCK(ck_swlock_read, &lock);
- } else {
- ck_swlock_read_lock(&lock);
- }
-
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [RD:%d]: %u != 0\n", __LINE__, l);
- }
- }
-
- if (i & 1) {
- CK_ELIDE_UNLOCK(ck_swlock_read, &lock);
- } else {
- ck_swlock_read_unlock(&lock);
- }
- }
-
- return (NULL);
-}
-
-static void *
-thread_rtm(void *arg)
-{
- unsigned int i = ITERATE;
- unsigned int l;
- int tid = ck_pr_load_int(arg);
-
- if (aff_iterate(&a)) {
- perror("ERROR: Could not affine thread");
- exit(EXIT_FAILURE);
- }
-
- while (i--) {
- if (tid == 0) {
- CK_ELIDE_LOCK(ck_swlock_write, &lock);
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
-
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 8) {
- ck_error("ERROR [WR:%d]: %u != 2\n", __LINE__, l);
- }
-
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
- }
- CK_ELIDE_UNLOCK(ck_swlock_write, &lock);
- }
-
- CK_ELIDE_LOCK(ck_swlock_read, &lock);
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [RD:%d]: %u != 0\n", __LINE__, l);
- }
- }
- CK_ELIDE_UNLOCK(ck_swlock_read, &lock);
- }
-
- return (NULL);
-}
-#endif /* CK_F_PR_RTM */
-
-static void *
-thread_latch(void *arg)
-{
- unsigned int i = ITERATE;
- unsigned int l;
- int tid = ck_pr_load_int(arg);
-
- if (aff_iterate(&a)) {
- perror("ERROR: Could not affine thread");
- exit(EXIT_FAILURE);
- }
-
- while (i--) {
- if (tid == 0) {
- /* Writer */
- ck_swlock_write_latch(&lock);
- {
- memcpy(&copy, &lock, sizeof(ck_swlock_t));
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
-
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 8) {
- ck_error("ERROR [WR:%d]: %u != 2\n", __LINE__, l);
- }
-
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
- memcpy(&lock, &copy, sizeof(ck_swlock_t));
- }
- ck_swlock_write_unlatch(&lock);
- }
-
- ck_swlock_read_lock(&lock);
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [RD:%d]: %u != 0\n", __LINE__, l);
- }
- }
- ck_swlock_read_unlock(&lock);
- }
-
- return (NULL);
-}
-
-static void *
-thread(void *arg)
-{
- unsigned int i = ITERATE;
- unsigned int l;
- int tid = ck_pr_load_int(arg);
-
- if (aff_iterate(&a)) {
- perror("ERROR: Could not affine thread");
- exit(EXIT_FAILURE);
- }
-
- while (i--) {
- if (tid == 0) {
- /* Writer */
- ck_swlock_write_lock(&lock);
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
-
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
- ck_pr_inc_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 8) {
- ck_error("ERROR [WR:%d]: %u != 2\n", __LINE__, l);
- }
-
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
- ck_pr_dec_uint(&locked);
-
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [WR:%d]: %u != 0\n", __LINE__, l);
- }
- }
- ck_swlock_write_unlock(&lock);
- }
-
- ck_swlock_read_lock(&lock);
- {
- l = ck_pr_load_uint(&locked);
- if (l != 0) {
- ck_error("ERROR [RD:%d]: %u != 0\n", __LINE__, l);
- }
- }
- ck_swlock_read_unlock(&lock);
- }
-
- return (NULL);
-}
-
-static void
-swlock_test(pthread_t *threads, void *(*f)(void *), const char *test)
-{
- int i, tid[nthr];
-
- fprintf(stderr, "Creating threads (%s)...", test);
- for (i = 0; i < nthr; i++) {
- ck_pr_store_int(&tid[i], i);
- if (pthread_create(&threads[i], NULL, f, &tid[i])) {
- ck_error("ERROR: Could not create thread %d\n", i);
- }
- }
- fprintf(stderr, ".");
-
- for (i = 0; i < nthr; i++)
- pthread_join(threads[i], NULL);
- fprintf(stderr, "done (passed)\n");
- return;
-}
-
-int
-main(int argc, char *argv[])
-{
- pthread_t *threads;
-
- if (argc != 3) {
- ck_error("Usage: validate <number of threads> <affinity delta>\n");
- }
-
- nthr = atoi(argv[1]);
- if (nthr <= 0) {
- ck_error("ERROR: Number of threads must be greater than 0\n");
- }
-
- threads = malloc(sizeof(pthread_t) * nthr);
- if (threads == NULL) {
- ck_error("ERROR: Could not allocate thread structures\n");
- }
-
- a.delta = atoi(argv[2]);
-
- swlock_test(threads, thread, "regular");
- swlock_test(threads, thread_latch, "latch");
-#ifdef CK_F_PR_RTM
- swlock_test(threads, thread_rtm, "rtm");
- swlock_test(threads, thread_rtm_mix, "rtm-mix");
- swlock_test(threads, thread_rtm_adaptive, "rtm-adaptive");
-#endif
- return 0;
-}
-