Random scheduler (#23)

core/src/main/kotlin/cmu/pasta/sfuzz/core/Configuration.kt

@@ -39,6 +39,12 @@ class POS: ScheduleAlgorithm("pos") {
     }
 }
 
+class Rand: ScheduleAlgorithm("random") {
+    override fun getScheduler(): Scheduler {
+        return RandomScheduler()
+    }
+}
+
 class PCT: ScheduleAlgorithm("pct") {
     val numSwitchPoints by option().int().default(3)
 }
@@ -52,7 +58,8 @@ class ConfigurationCommand: CliktCommand() {
     val scheduler by option().groupChoice(
         "replay" to Replay(),
         "fifo" to Fifo(),
-        "pos" to POS()
+        "pos" to POS(),
+        "random" to Rand()
     )
     val fullSchedule by option("-f", "--full").boolean().default(false)
 

core/src/main/kotlin/cmu/pasta/sfuzz/core/scheduler/RandomScheduler.kt

@@ -0,0 +1,10 @@
+package cmu.pasta.sfuzz.core.scheduler
+
+import cmu.pasta.sfuzz.core.ThreadContext
+import cmu.pasta.sfuzz.core.ThreadState
+
+class RandomScheduler: Scheduler {
+    override fun scheduleNextOperation(threads: List<ThreadContext>): ThreadContext {
+        return threads.random()
+    }
+}