1 files changed, 261 insertions, 0 deletions
diff --git a/sca-cpp/branches/lightweight-sca/kernel/parallel-test.cpp b/sca-cpp/branches/lightweight-sca/kernel/parallel-test.cpp
new file mode 100644
index 0000000000..28e484d42b
--- /dev/null
+++ b/sca-cpp/branches/lightweight-sca/kernel/parallel-test.cpp
@@ -0,0 +1,261 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one
+ * or more contributor license agreements.  See the NOTICE file
+ * distributed with this work for additional information
+ * regarding copyright ownership.  The ASF licenses this file
+ * to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance
+ * with the License.  You may obtain a copy of the License at
+ *
+ *   http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing,
+ * software distributed under the License is distributed on an
+ * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+ * KIND, either express or implied.  See the License for the
+ * specific language governing permissions and limitations
+ * under the License.
+ */
+
+/* $Rev$ $Date$ */
+
+/**
+ * Test parallel functions.
+ */
+
+#include <assert.h>
+#include "stream.hpp"
+#include "string.hpp"
+#include "function.hpp"
+#include "list.hpp"
+#include "perf.hpp"
+#include "parallel.hpp"
+
+namespace tuscany {
+
+int inci = 0;
+
+struct incPerf {
+    incPerf() {
+    }
+    const bool operator()() const {
+        inci = inci + 1;
+        return true;
+    }
+};
+
+const gc_ptr<int> tlsic() {
+    gc_ptr<int> i = new (gc_new<int>()) int();
+    *i = 0;
+    return i;
+}
+const perthread_ptr<int> tlsi(tlsic);
+
+struct tlsPerf {
+    tlsPerf() {
+    }
+    const bool operator()() const {
+        *tlsi = *tlsi + 1;
+        return true;
+    }
+};
+
+#ifdef WANT_THREADS
+
+int addi = 0;
+
+struct addAndFetchPerf {
+    addAndFetchPerf() {
+    }
+    const bool operator()() const {
+        __sync_add_and_fetch(&addi, 1);
+        return true;
+    }
+};
+
+int muxi = 0;
+
+struct mutexPerf {
+    pthread_mutex_t* mutex;
+    mutexPerf(pthread_mutex_t* mutex) : mutex(mutex) {
+    }
+    const bool operator()() const {
+        pthread_mutex_lock(mutex);
+        muxi = muxi + 1;
+        pthread_mutex_unlock(mutex);
+        return true;
+    }
+};
+
+#endif
+
+bool testAtomicPerf() {
+    const int count = 100000;
+    {
+        const lambda<bool()> l = incPerf();
+        cout << "Non-atomic inc test " << time(l, 1000, count) << " ms" << endl;
+        assert(inci == count + 1000);
+    }
+#ifdef WANT_THREADS
+    {
+        const lambda<bool()> l = addAndFetchPerf();
+        cout << "Atomic inc test " << time(l, 1000, count) << " ms" << endl;
+        assert(addi == count + 1000);
+    }
+    {
+        pthread_mutex_t mutex;
+        pthread_mutex_init(&mutex, NULL);
+        const lambda<bool()> l = mutexPerf(&mutex);
+        cout << "Locked inc test " << time(l, 1000, count) << " ms" << endl;
+        assert(muxi == count + 1000);
+        pthread_mutex_destroy(&mutex);
+    }
+#endif
+    {
+        const lambda<bool()> l = tlsPerf();
+        cout << "Thread local inc test " << time(l, 1000, count) << " ms" << endl;
+        assert(*tlsi == count + 1000);
+    }
+    return true;
+}
+
+#ifdef WANT_THREADS
+
+const int mtsquare(const int x) {
+    for(int i = 0; i < 10000000; i++)
+        ;
+    return x * x;
+}
+
+const list<future<int> > submitSquares(worker& w, const int max, const int i) {
+    if (i == max)
+        return list<future<int> >();
+    const lambda<int()> func = curry(lambda<int(const int)> (mtsquare), i);
+    return cons(submit(w, func), submitSquares(w, max, i + 1));
+}
+
+bool checkSquareResults(const list<future<int> > r, int i) {
+    if (isNil(r))
+        return true;
+    assert(car(r) == i * i);
+    checkSquareResults(cdr(r), i + 1);
+    return true;
+}
+
+const gc_ptr<unsigned long> tlsvc() {
+    gc_ptr<unsigned long> i = new (gc_new<unsigned long>()) unsigned long();
+    *i = 0l;
+    return i;
+}
+const perthread_ptr<unsigned long> tlsv(tlsvc);
+
+const long int tlsset(gc_ptr<wqueue<bool>> wq, gc_ptr<wqueue<bool>> xq) {
+    const unsigned long v = *tlsv;
+    *tlsv = threadId();
+    enqueue(*xq, true);
+    dequeue(*wq);
+    return v;
+}
+
+const bool tlscheck(gc_ptr<wqueue<bool>> wq, gc_ptr<wqueue<bool>> xq) {
+    const bool r = *tlsv == threadId();
+    enqueue(*xq, true);
+    dequeue(*wq);
+    return r;
+}
+
+const bool waitForWorkers(wqueue<bool>& xq, const int n) {
+    if (n == 0)
+        return true;
+    dequeue(xq);
+    return waitForWorkers(xq, n - 1);
+}
+
+const bool unblockWorkers(wqueue<bool>& wq, const int n) {
+    if (n == 0)
+        return true;
+    enqueue(wq, true);
+    return unblockWorkers(wq, n - 1);
+}
+
+const list<future<long int> > submitTLSSets(worker& w, wqueue<bool>& wq, wqueue<bool>& xq, const int max, const int i) {
+    if (i == max)
+        return list<future<long int> >();
+    const lambda<long int()> func = curry(lambda<long int(gc_ptr<wqueue<bool>>, gc_ptr<wqueue<bool>>)>(tlsset), (gc_ptr<wqueue<bool>>)&wq, (gc_ptr<wqueue<bool>>)&xq);
+    return cons(submit(w, func), submitTLSSets(w, wq, xq, max, i + 1));
+}
+
+bool checkTLSSets(const list<future<long int> > s) {
+    if (isNil(s))
+        return true;
+    assert(car(s) == 0);
+    return checkTLSSets(cdr(s));
+}
+
+const list<future<bool> > submitTLSChecks(worker& w, wqueue<bool>& wq, wqueue<bool>& xq, const int max, const int i) {
+    if (i == max)
+        return list<future<bool> >();
+    const lambda<bool()> func = curry(lambda<bool(gc_ptr<wqueue<bool>>, gc_ptr<wqueue<bool>>)>(tlscheck), (gc_ptr<wqueue<bool>>)&wq, (gc_ptr<wqueue<bool>>)&xq);
+    return cons(submit(w, func), submitTLSChecks(w, wq, xq, max, i + 1));
+}
+
+bool checkTLSResults(const list<future<bool> > r) {
+    if (isNil(r))
+        return true;
+    assert(car(r) == true);
+    return checkTLSResults(cdr(r));
+}
+
+bool testWorker() {
+    const int max = 100;
+    worker w(max);
+    {
+        const lambda<int()> func = curry(lambda<int(const int)> (mtsquare), 2);
+        assert(submit(w, func) == 4);
+    }
+    {
+        const list<future<int> > r(submitSquares(w, max, 0));
+        checkSquareResults(r, 0);
+    }
+    {
+        wqueue<bool> wq(max);
+        unblockWorkers(wq, max);
+        waitForWorkers(wq, max);
+        unblockWorkers(wq, max);
+        waitForWorkers(wq, max);
+    }
+    {
+        wqueue<bool> wq(max);
+        wqueue<bool> xq(max);
+        const list<future<long int> > s(submitTLSSets(w, wq, xq, max, 0));
+        waitForWorkers(xq, max);
+        unblockWorkers(wq, max);
+        checkTLSSets(s);
+        const list<future<bool> > r(submitTLSChecks(w, wq, xq, max, 0));
+        waitForWorkers(xq, max);
+        unblockWorkers(wq, max);
+        checkTLSResults(r);
+    }
+    shutdown(w);
+    return true;
+}
+
+#endif
+
+}
+
+int main() {
+    tuscany::gc_scoped_pool p;
+    tuscany::cout << "Testing..." << tuscany::endl;
+
+    tuscany::testAtomicPerf();
+#ifdef WANT_THREADS
+    tuscany::testWorker();
+#else
+    tuscany::cout << "Skipped multi-thread tests" << tuscany::endl;
+#endif
+
+    tuscany::cout << "OK" << tuscany::endl;
+
+    return 0;
+}