Get some concurrency benchmarks to compile.

This is the first 5 benchmarks (alphabetically).

Author: petervdonovan

C/Savina/src/concurrency/Banking.lf

@@ -61,19 +61,22 @@
     threading: false,
     /// [[[end]]]
     files: ["../include/PseudoRandom.h",
+            "../include/benchmark_runner.h",
             "/lib/c/reactor-c/util/deque.h",
             "/lib/c/reactor-c/util/deque.c"],
+    cmake-include: ["../include/deque.cmake"],
     logging: warn,
     fast: true
 };
 
 import BenchmarkRunner from "../BenchmarkRunner.lf";
 
 preamble {=
+    #include "benchmark_runner.h"
     #include "PseudoRandom.h"
-    #include "deque.c"
+    #include "deque.h"
     #include <float.h>
-    long seed = 123456;
+    extern long seed;
     typedef deque_t message_queue_t;
     typedef struct CreditMessage {
         size_t recipient;
@@ -84,6 +87,10 @@ preamble {=
 
 reactor Teller(numAccounts:int(1000), numBankings:int(50000)) {
 
+    preamble {=
+        long seed = 123456;
+    =}
+
     state message_queues : {=message_queue_t*=};
     state random_gen : {=PseudoRandom *=};
     input start: bool;

C/Savina/src/concurrency/BoundedBuffer.lf

@@ -33,7 +33,9 @@ target C {
     /// [[[end]]]
     files: ["/lib/c/reactor-c/util/deque.h",
             "/lib/c/reactor-c/util/deque.c",
+            "../include/benchmark_runner.h",
             "../include/PseudoRandom.h"],
+    cmake-include: ["../include/deque.cmake"],
     flags: "-lm",
     logging: "warn",
     fast: true
@@ -70,7 +72,7 @@ preamble {=
 reactor ManagerReactor(bufferSize: size_t(50), numProducers: size_t(40), numConsumers: size_t(40)) {
 
     preamble {=
-        #include "deque.c"
+        #include "deque.h"
     =}
 
     input start: bool;

C/Savina/src/concurrency/CigaretteSmoker.lf

@@ -70,19 +70,18 @@ target C {
     ]]] */
     threading: false,
     /// [[[end]]]
-    files: "../include/PseudoRandom.h",
+    files: ["../include/PseudoRandom.h", "../include/benchmark_runner.h"],
     fast: true
 };
 
 import BenchmarkRunner from "../BenchmarkRunner.lf";
 
+preamble {=
+    #include "PseudoRandom.h"
+=}
 
 reactor ArbiterReactor(numRounds:size_t(1000), numSmokers:size_t(200)) {
 
-    preamble {=
-        #include "PseudoRandom.h"
-    =}
-
     state roundsSoFar: size_t(0);
     state random: PseudoRandom*;
 

C/Savina/src/concurrency/Dictionary.lf

@@ -47,6 +47,7 @@ preamble {=
     #include <map>
     #include <vector>
     #include <memory>
+    #include <random>
     enum class AccessType {
       Read,
       Write
@@ -151,10 +152,6 @@ reactor DictionaryImpl(numWorkers: size_t(20)) {
 
 reactor Worker(bank_index: size_t(0), numMessagesPerWorker: size_t(10000), writePercentage: int(10)) {
 
-    preamble {=
-        #include <random>
-    =}
-
     state messageCount: size_t(0);
     state random: std::minstd_rand;
 

C/Savina/src/include/PseudoRandom.h

@@ -15,37 +15,37 @@ typedef struct PseudoRandom {
 /**
  * Initialize the random number generator to the specified seed.
  */
-void initPseudoRandom(struct PseudoRandom* random, long seed) {
+static void initPseudoRandom(struct PseudoRandom* random, long seed) {
     random->mValue = seed;
 }
 
 /**
  * Return a random number between 0 and 65535
  */
-long nextLong(struct PseudoRandom *random) {
+static long nextLong(struct PseudoRandom *random) {
     random->mValue = ((random->mValue * 1309) + 13849) & 65535;
     return random->mValue;
 }
 
 /**
  * Return a random number between 0 and 65535
  */
-int nextInt(struct PseudoRandom *random) {
+static int nextInt(struct PseudoRandom *random) {
     return (int)nextLong(random);
 }
 
 /**
  * Return a random number between 1.0/65536
  * and 1.0.
  */
-double nextDouble(struct PseudoRandom *random) {
+static double nextDouble(struct PseudoRandom *random) {
     return 1.0 / (nextLong(random) + 1);
 }
 
 /**
  * Return a random number between 0 and exclusive_max - 1.
  */
-int nextIntEMax(struct PseudoRandom *random, int exclusive_max) {
+static int nextIntEMax(struct PseudoRandom *random, int exclusive_max) {
     return nextInt(random) % exclusive_max;
 }