From 54c8527dc334ce4866f1b083b83feca0e686c36b Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Tue, 17 Mar 2015 21:20:00 -0700 Subject: [PATCH] changes --- chase-lev-deque-bugfix/Makefile | 2 +- chase-lev-deque-bugfix/testcase7.c | 52 ++++++++++++++++++++++++++++++ 2 files changed, 53 insertions(+), 1 deletion(-) create mode 100644 chase-lev-deque-bugfix/testcase7.c diff --git a/chase-lev-deque-bugfix/Makefile b/chase-lev-deque-bugfix/Makefile index f061d64..61cc9c1 100644 --- a/chase-lev-deque-bugfix/Makefile +++ b/chase-lev-deque-bugfix/Makefile @@ -2,7 +2,7 @@ include ../benchmarks.mk BENCH := deque -NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 +NORMAL_TESTS := testcase1 testcase2 testcase3 testcase4 testcase5 testcase6 testcase7 WILDCARD_TESTS := $(patsubst %, %_wildcard, $(NORMAL_TESTS)) diff --git a/chase-lev-deque-bugfix/testcase7.c b/chase-lev-deque-bugfix/testcase7.c new file mode 100644 index 0000000..04986de --- /dev/null +++ b/chase-lev-deque-bugfix/testcase7.c @@ -0,0 +1,52 @@ +#include +#include +#include +#include +#include + +#include "model-assert.h" + +#include "deque.h" + +Deque *q; +int a; +int b; +int c; + +static void task(void * param) { + b=steal(q); + //c=steal(q); +} + +int user_main(int argc, char **argv) +{ + thrd_t t1, t2; + q=create(); + + push(q, 1); + push(q, 2); + push(q, 3); + thrd_create(&t1, task, 0); + thrd_create(&t2, task, 0); + a=take(q); + c=take(q); + thrd_join(t1); + thrd_join(t2); + +/* + bool correct=true; + if (a!=1 && a!=2 && a!=4 && a!= EMPTY) + correct=false; + if (b!=1 && b!=2 && b!=4 && b!= EMPTY) + correct=false; + if (c!=1 && c!=2 && c!=4 && a!= EMPTY) + correct=false; + if (a!=EMPTY && b!=EMPTY && c!=EMPTY && (a+b+c)!=7) + correct=false; + //if (!correct) + printf("a=%d b=%d c=%d\n",a,b,c); + MODEL_ASSERT(correct); + */ + + return 0; +} -- 2.34.1