diff options
Diffstat (limited to 'regressions/ck_bytelock/validate/validate.c')
-rw-r--r-- | regressions/ck_bytelock/validate/validate.c | 166 |
1 files changed, 0 insertions, 166 deletions
diff --git a/regressions/ck_bytelock/validate/validate.c b/regressions/ck_bytelock/validate/validate.c deleted file mode 100644 index c164ce471706..000000000000 --- a/regressions/ck_bytelock/validate/validate.c +++ /dev/null @@ -1,166 +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 <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_bytelock.h> - -#include "../../common.h" - -#ifndef ITERATE -#define ITERATE 5000000 -#endif - -struct block { - unsigned int tid; -}; - -static struct affinity a; -static unsigned int locked = 0; -static int nthr; -static ck_bytelock_t lock CK_CC_CACHELINE = CK_BYTELOCK_INITIALIZER; - -static void * -thread(void *null) -{ - struct block *context = null; - int i = ITERATE; - unsigned int l; - - if (aff_iterate(&a)) { - perror("ERROR: Could not affine thread"); - exit(EXIT_FAILURE); - } - - if (context->tid == (unsigned int)nthr - 1) - context->tid = sizeof(lock.readers) + 1; - - while (i--) { - ck_bytelock_write_lock(&lock, context->tid); - { - 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_bytelock_write_unlock(&lock); - - ck_bytelock_read_lock(&lock, context->tid); - { - l = ck_pr_load_uint(&locked); - if (l != 0) { - ck_error("ERROR [RD:%d]: %u != 0\n", __LINE__, l); - } - } - ck_bytelock_read_unlock(&lock, context->tid); - } - - return (NULL); -} - -int -main(int argc, char *argv[]) -{ - pthread_t *threads; - struct block *context; - int i; - - if (argc != 3) { - ck_error("Usage: correct <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"); - } - - context = malloc(sizeof(struct block) * nthr); - if (context == NULL) { - ck_error("ERROR: Could not allocate thread contexts\n"); - } - - a.delta = atoi(argv[2]); - - fprintf(stderr, "Creating threads (mutual exclusion)..."); - for (i = 0; i < nthr; i++) { - context[i].tid = i + 1; - if (pthread_create(&threads[i], NULL, thread, context + i)) { - ck_error("ERROR: Could not create thread %d\n", i); - } - } - fprintf(stderr, "done\n"); - - fprintf(stderr, "Waiting for threads to finish correctness regression..."); - for (i = 0; i < nthr; i++) - pthread_join(threads[i], NULL); - fprintf(stderr, "done (passed)\n"); - - return (0); -} - |