Rename the project to fray🥳

cmu-pasta · Apr 23, 2024 · 03d42a2 · 03d42a2
1 parent cb0a3d3
commit 03d42a2
Show file tree

Hide file tree

Showing 148 changed files with 351 additions and 373 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,12 +18,12 @@ jobs:
           distribution: 'temurin'
           java-version: '21'
           cache: 'gradle'
-      - name: Build sfuzz (no tests)
+      - name: Build fray (no tests)
         run: ./gradlew build -x test
       - name: Instrument JDK
         run: ./gradlew jlink
       - name: Build shadow JAR
         run: ./gradlew shadowJar
-      - name: Test sfuzz
+      - name: Test fray
         run: ./gradlew test
 
diff --git a/benchmarks/build.gradle.kts b/benchmarks/build.gradle.kts
@@ -35,7 +35,7 @@ tasks.withType<JavaExec> {
     val instrumentation = project(":instrumentation")
     classpath = sourceSets["main"].runtimeClasspath
     executable("${jdk.layout.buildDirectory.get().asFile}/java-inst/bin/java")
-    mainClass = "cmu.pasta.sfuzz.core.MainKt"
+    mainClass = "cmu.pasta.fray.core.MainKt"
     jvmArgs("-agentpath:$agentPath")
     jvmArgs("-javaagent:${instrumentation.layout.buildDirectory.get().asFile}/libs/${instrumentation.name}-${instrumentation.version}-all.jar")
     jvmArgs("-ea")

diff --git a/bin/sfuzz b/bin/sfuzz
@@ -15,7 +15,7 @@ command = [
     "-cp", CORE_PATH + ":" + sys.argv[1],
     "-agentpath:" + JVMTI_PATH,
     "-javaagent:" + AGENT_PATH,
-    "cmu.pasta.sfuzz.core.MainKt",
+    "cmu.pasta.fray.core.MainKt",
     *sys.argv[2:]
 ]
 

diff --git a/build.gradle.kts b/build.gradle.kts
@@ -5,7 +5,7 @@ plugins {
 
 
 allprojects {
-    group = "cmu.pasta.sfuzz"
+    group = "cmu.pasta.fray"
     version = "1.0-SNAPSHOT"
 }
 

diff --git a/core/build.gradle.kts b/core/build.gradle.kts
@@ -25,6 +25,6 @@ tasks.test {
 
 tasks.named<ShadowJar>("shadowJar") {
     manifest {
-        attributes(mapOf("Main-Class" to "cmu.pasta.sfuzz.core.MainKt"))
+        attributes(mapOf("Main-Class" to "cmu.pasta.fray.core.MainKt"))
     }
 }
diff --git a/...lin/cmu/pasta/sfuzz/core/Configuration.kt → ...tlin/cmu/pasta/fray/core/Configuration.kt b/...lin/cmu/pasta/sfuzz/core/Configuration.kt → ...tlin/cmu/pasta/fray/core/Configuration.kt
@@ -1,12 +1,11 @@
-package cmu.pasta.sfuzz.core
+package cmu.pasta.fray.core
 
-import cmu.pasta.sfuzz.core.logger.CsvLogger
-import cmu.pasta.sfuzz.core.logger.JsonLogger
-import cmu.pasta.sfuzz.core.logger.LoggerBase
-import cmu.pasta.sfuzz.core.scheduler.*
+import cmu.pasta.fray.core.logger.CsvLogger
+import cmu.pasta.fray.core.logger.JsonLogger
+import cmu.pasta.fray.core.logger.LoggerBase
+import cmu.pasta.fray.core.scheduler.*
 import com.github.ajalt.clikt.core.CliktCommand
 import com.github.ajalt.clikt.parameters.arguments.argument
-import com.github.ajalt.clikt.parameters.arguments.default
 import com.github.ajalt.clikt.parameters.groups.OptionGroup
 import com.github.ajalt.clikt.parameters.groups.groupChoice
 import com.github.ajalt.clikt.parameters.options.*

diff --git a/...lin/cmu/pasta/sfuzz/core/GlobalContext.kt → ...tlin/cmu/pasta/fray/core/GlobalContext.kt b/...lin/cmu/pasta/sfuzz/core/GlobalContext.kt → ...tlin/cmu/pasta/fray/core/GlobalContext.kt
@@ -1,21 +1,21 @@
-package cmu.pasta.sfuzz.core
-
-import cmu.pasta.sfuzz.core.concurrency.SFuzzThread
-import cmu.pasta.sfuzz.core.concurrency.SynchronizationManager
-import cmu.pasta.sfuzz.core.concurrency.locks.CountDownLatchManager
-import cmu.pasta.sfuzz.core.concurrency.locks.LockManager
-import cmu.pasta.sfuzz.core.concurrency.locks.SemaphoreManager
-import cmu.pasta.sfuzz.core.concurrency.operations.*
-import cmu.pasta.sfuzz.core.logger.LoggerBase
-import cmu.pasta.sfuzz.core.runtime.AnalysisResult
-import cmu.pasta.sfuzz.core.scheduler.Choice
-import cmu.pasta.sfuzz.core.scheduler.FifoScheduler
-import cmu.pasta.sfuzz.core.scheduler.Scheduler
-import cmu.pasta.sfuzz.instrumentation.memory.VolatileManager
-import cmu.pasta.sfuzz.runtime.Delegate
-import cmu.pasta.sfuzz.runtime.MemoryOpType
-import cmu.pasta.sfuzz.runtime.Runtime
-import cmu.pasta.sfuzz.runtime.TargetTerminateException
+package cmu.pasta.fray.core
+
+import cmu.pasta.fray.core.concurrency.HelperThread
+import cmu.pasta.fray.core.concurrency.SynchronizationManager
+import cmu.pasta.fray.core.concurrency.locks.CountDownLatchManager
+import cmu.pasta.fray.core.concurrency.locks.LockManager
+import cmu.pasta.fray.core.concurrency.locks.SemaphoreManager
+import cmu.pasta.fray.core.concurrency.operations.*
+import cmu.pasta.fray.core.logger.LoggerBase
+import cmu.pasta.fray.core.runtime.AnalysisResult
+import cmu.pasta.fray.core.scheduler.Choice
+import cmu.pasta.fray.core.scheduler.FifoScheduler
+import cmu.pasta.fray.core.scheduler.Scheduler
+import cmu.pasta.fray.instrumentation.memory.VolatileManager
+import cmu.pasta.fray.runtime.Delegate
+import cmu.pasta.fray.runtime.MemoryOpType
+import cmu.pasta.fray.runtime.Runtime
+import cmu.pasta.fray.runtime.TargetTerminateException
 import java.io.PrintWriter
 import java.io.StringWriter
 import java.util.concurrent.CountDownLatch
@@ -46,7 +46,7 @@ object GlobalContext {
   val loggers = mutableListOf<LoggerBase>()
   var executor =
       Executors.newSingleThreadExecutor { r ->
-        object : SFuzzThread() {
+        object : HelperThread() {
           override fun run() {
             r.run()
           }
@@ -56,7 +56,7 @@ object GlobalContext {
   fun bootstrap() {
     executor =
         Executors.newSingleThreadExecutor { r ->
-          object : SFuzzThread() {
+          object : HelperThread() {
             override fun run() {
               r.run()
             }
@@ -666,7 +666,7 @@ object GlobalContext {
       // by scheduled thread.
       val currentThread = registeredThreads[currentThreadId]!!
       assert(
-          Thread.currentThread() is SFuzzThread ||
+          Thread.currentThread() is HelperThread ||
               currentThreadId == Thread.currentThread().id ||
               currentThread.state == ThreadState.Enabled ||
               currentThread.state == ThreadState.Completed)
@@ -687,7 +687,7 @@ object GlobalContext {
             registeredThreads[mainThreadId]!!.unblock()
           }
           return
-        } else if (!currentThread.isExiting || Thread.currentThread() is SFuzzThread) {
+        } else if (!currentThread.isExiting || Thread.currentThread() is HelperThread) {
           // Deadlock detected
           val e = TargetTerminateException(-1)
           reportError(e)
@@ -698,7 +698,7 @@ object GlobalContext {
       step += 1
       if (step > maxScheduledStep &&
           !currentThread.isExiting &&
-          Thread.currentThread() !is SFuzzThread &&
+          Thread.currentThread() !is HelperThread &&
           !(mainExiting && currentThreadId == mainThreadId)) {
         val e = TargetTerminateException(-2)
         reportError(e)

diff --git a/.../main/kotlin/cmu/pasta/sfuzz/core/Main.kt → ...c/main/kotlin/cmu/pasta/fray/core/Main.kt b/.../main/kotlin/cmu/pasta/sfuzz/core/Main.kt → ...c/main/kotlin/cmu/pasta/fray/core/Main.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core
+package cmu.pasta.fray.core
 
 fun main(args: Array<String>) {
   val config = ConfigurationCommand().apply { main(args) }.toConfiguration()

diff --git a/...n/cmu/pasta/sfuzz/core/RuntimeDelegate.kt → ...in/cmu/pasta/fray/core/RuntimeDelegate.kt b/...n/cmu/pasta/sfuzz/core/RuntimeDelegate.kt → ...in/cmu/pasta/fray/core/RuntimeDelegate.kt
@@ -1,9 +1,9 @@
-package cmu.pasta.sfuzz.core
+package cmu.pasta.fray.core
 
-import cmu.pasta.sfuzz.core.concurrency.SFuzzThread
-import cmu.pasta.sfuzz.runtime.Delegate
-import cmu.pasta.sfuzz.runtime.MemoryOpType
-import cmu.pasta.sfuzz.runtime.TargetTerminateException
+import cmu.pasta.fray.core.concurrency.HelperThread
+import cmu.pasta.fray.runtime.Delegate
+import cmu.pasta.fray.runtime.MemoryOpType
+import cmu.pasta.fray.runtime.TargetTerminateException
 import java.util.concurrent.CountDownLatch
 import java.util.concurrent.Semaphore
 import java.util.concurrent.locks.Condition
@@ -24,7 +24,7 @@ class RuntimeDelegate : Delegate() {
       entered.set(false)
       return true
     }
-    if (Thread.currentThread() is SFuzzThread) {
+    if (Thread.currentThread() is HelperThread) {
       entered.set(false)
       return true
     }

diff --git a/...kotlin/cmu/pasta/sfuzz/core/TestRunner.kt → .../kotlin/cmu/pasta/fray/core/TestRunner.kt b/...kotlin/cmu/pasta/sfuzz/core/TestRunner.kt → .../kotlin/cmu/pasta/fray/core/TestRunner.kt
@@ -1,9 +1,9 @@
-package cmu.pasta.sfuzz.core
+package cmu.pasta.fray.core
 
-import cmu.pasta.sfuzz.core.logger.ConsoleLogger
-import cmu.pasta.sfuzz.core.runtime.AnalysisResult
-import cmu.pasta.sfuzz.runtime.Delegate
-import cmu.pasta.sfuzz.runtime.Runtime
+import cmu.pasta.fray.core.logger.ConsoleLogger
+import cmu.pasta.fray.core.runtime.AnalysisResult
+import cmu.pasta.fray.runtime.Delegate
+import cmu.pasta.fray.runtime.Runtime
 import java.nio.file.Paths
 import kotlin.io.path.ExperimentalPathApi
 import kotlin.io.path.createDirectories

diff --git a/...lin/cmu/pasta/sfuzz/core/ThreadContext.kt → ...tlin/cmu/pasta/fray/core/ThreadContext.kt b/...lin/cmu/pasta/sfuzz/core/ThreadContext.kt → ...tlin/cmu/pasta/fray/core/ThreadContext.kt
@@ -1,8 +1,8 @@
-package cmu.pasta.sfuzz.core
+package cmu.pasta.fray.core
 
-import cmu.pasta.sfuzz.core.concurrency.Sync
-import cmu.pasta.sfuzz.core.concurrency.operations.Operation
-import cmu.pasta.sfuzz.core.concurrency.operations.ThreadStartOperation
+import cmu.pasta.fray.core.concurrency.Sync
+import cmu.pasta.fray.core.concurrency.operations.Operation
+import cmu.pasta.fray.core.concurrency.operations.ThreadStartOperation
 
 enum class ThreadState {
   Enabled,

diff --git a/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/HelperThread.kt b/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/HelperThread.kt
@@ -0,0 +1,3 @@
+package cmu.pasta.fray.core.concurrency
+
+open class HelperThread : Thread() {}
diff --git a/.../cmu/pasta/sfuzz/core/concurrency/Sync.kt → ...n/cmu/pasta/fray/core/concurrency/Sync.kt b/.../cmu/pasta/sfuzz/core/concurrency/Sync.kt → ...n/cmu/pasta/fray/core/concurrency/Sync.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core.concurrency
+package cmu.pasta.fray.core.concurrency
 
 // Simple sync structure to block a thread and wait
 // for signals.

diff --git a/...ore/concurrency/SynchronizationManager.kt → ...ore/concurrency/SynchronizationManager.kt b/...ore/concurrency/SynchronizationManager.kt → ...ore/concurrency/SynchronizationManager.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core.concurrency
+package cmu.pasta.fray.core.concurrency
 
 class SynchronizationManager {
   val synchronizationPoints = mutableMapOf<Int, Sync>()

diff --git a/...oncurrency/locks/CountDownLatchContext.kt → ...oncurrency/locks/CountDownLatchContext.kt b/...oncurrency/locks/CountDownLatchContext.kt → ...oncurrency/locks/CountDownLatchContext.kt
@@ -1,8 +1,8 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
-import cmu.pasta.sfuzz.core.GlobalContext
-import cmu.pasta.sfuzz.core.ThreadState
-import cmu.pasta.sfuzz.core.concurrency.operations.ThreadResumeOperation
+import cmu.pasta.fray.core.GlobalContext
+import cmu.pasta.fray.core.ThreadState
+import cmu.pasta.fray.core.concurrency.operations.ThreadResumeOperation
 
 class CountDownLatchContext(var count: Long) : Interruptible {
   val latchWaiters = mutableMapOf<Long, Boolean>()

diff --git a/...oncurrency/locks/CountDownLatchManager.kt → ...oncurrency/locks/CountDownLatchManager.kt b/...oncurrency/locks/CountDownLatchManager.kt → ...oncurrency/locks/CountDownLatchManager.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
 import java.util.concurrent.CountDownLatch
 

diff --git a/...z/core/concurrency/locks/Interruptible.kt → ...y/core/concurrency/locks/Interruptible.kt b/...z/core/concurrency/locks/Interruptible.kt → ...y/core/concurrency/locks/Interruptible.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
 interface Interruptible {
   fun interrupt(tid: Long)

diff --git a/...uzz/core/concurrency/locks/LockContext.kt → ...ray/core/concurrency/locks/LockContext.kt b/...uzz/core/concurrency/locks/LockContext.kt → ...ray/core/concurrency/locks/LockContext.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
 interface LockContext : Interruptible {
   val wakingThreads: MutableSet<Long>

diff --git a/...uzz/core/concurrency/locks/LockManager.kt → ...ray/core/concurrency/locks/LockManager.kt b/...uzz/core/concurrency/locks/LockManager.kt → ...ray/core/concurrency/locks/LockManager.kt
@@ -1,8 +1,8 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
-import cmu.pasta.sfuzz.core.ThreadContext
-import cmu.pasta.sfuzz.core.ThreadState
-import cmu.pasta.sfuzz.core.concurrency.operations.ThreadResumeOperation
+import cmu.pasta.fray.core.ThreadContext
+import cmu.pasta.fray.core.ThreadState
+import cmu.pasta.fray.core.concurrency.operations.ThreadResumeOperation
 import java.util.concurrent.locks.Condition
 import java.util.concurrent.locks.Lock
 import java.util.concurrent.locks.ReentrantReadWriteLock.ReadLock

diff --git a/...concurrency/locks/ReentrantLockContext.kt → ...concurrency/locks/ReentrantLockContext.kt b/...concurrency/locks/ReentrantLockContext.kt → ...concurrency/locks/ReentrantLockContext.kt
@@ -1,8 +1,8 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
-import cmu.pasta.sfuzz.core.GlobalContext
-import cmu.pasta.sfuzz.core.ThreadState
-import cmu.pasta.sfuzz.core.concurrency.operations.ThreadResumeOperation
+import cmu.pasta.fray.core.GlobalContext
+import cmu.pasta.fray.core.ThreadState
+import cmu.pasta.fray.core.concurrency.operations.ThreadResumeOperation
 
 class ReentrantLockContext : LockContext {
   private var lockHolder: Long? = null

diff --git a/...cy/locks/ReentrantReadWriteLockContext.kt → ...cy/locks/ReentrantReadWriteLockContext.kt b/...cy/locks/ReentrantReadWriteLockContext.kt → ...cy/locks/ReentrantReadWriteLockContext.kt
@@ -1,8 +1,8 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
-import cmu.pasta.sfuzz.core.GlobalContext
-import cmu.pasta.sfuzz.core.ThreadState
-import cmu.pasta.sfuzz.core.concurrency.operations.ThreadResumeOperation
+import cmu.pasta.fray.core.GlobalContext
+import cmu.pasta.fray.core.ThreadState
+import cmu.pasta.fray.core.concurrency.operations.ThreadResumeOperation
 import java.util.concurrent.locks.ReentrantReadWriteLock.ReadLock
 
 class ReentrantReadWriteLockContext : LockContext {

diff --git a/...urrency/locks/ReferencedContextManager.kt → ...urrency/locks/ReferencedContextManager.kt b/...urrency/locks/ReferencedContextManager.kt → ...urrency/locks/ReferencedContextManager.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
 import java.lang.ref.PhantomReference
 import java.lang.ref.ReferenceQueue

diff --git a/...ore/concurrency/locks/SemaphoreContext.kt → ...ore/concurrency/locks/SemaphoreContext.kt b/...ore/concurrency/locks/SemaphoreContext.kt → ...ore/concurrency/locks/SemaphoreContext.kt
@@ -1,8 +1,8 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
-import cmu.pasta.sfuzz.core.GlobalContext
-import cmu.pasta.sfuzz.core.ThreadState
-import cmu.pasta.sfuzz.core.concurrency.operations.ThreadResumeOperation
+import cmu.pasta.fray.core.GlobalContext
+import cmu.pasta.fray.core.ThreadState
+import cmu.pasta.fray.core.concurrency.operations.ThreadResumeOperation
 
 class SemaphoreContext(var totalPermits: Int) : Interruptible {
   private val lockWaiters = mutableMapOf<Long, Pair<Int, Boolean>>()

diff --git a/...ore/concurrency/locks/SemaphoreManager.kt → ...ore/concurrency/locks/SemaphoreManager.kt b/...ore/concurrency/locks/SemaphoreManager.kt → ...ore/concurrency/locks/SemaphoreManager.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
 import java.util.concurrent.Semaphore
 

diff --git a/...e/concurrency/locks/StampedLockContext.kt → ...e/concurrency/locks/StampedLockContext.kt b/...e/concurrency/locks/StampedLockContext.kt → ...e/concurrency/locks/StampedLockContext.kt
@@ -1,4 +1,4 @@
-package cmu.pasta.sfuzz.core.concurrency.locks
+package cmu.pasta.fray.core.concurrency.locks
 
 class StampedLockContext : LockContext {
   override val wakingThreads: MutableSet<Long> = mutableSetOf()

diff --git a/...ncurrency/operations/LockLockOperation.kt → ...ncurrency/operations/LockLockOperation.kt b/...ncurrency/operations/LockLockOperation.kt → ...ncurrency/operations/LockLockOperation.kt
@@ -1,6 +1,6 @@
-package cmu.pasta.sfuzz.core.concurrency.operations
+package cmu.pasta.fray.core.concurrency.operations
 
-import cmu.pasta.sfuzz.runtime.MemoryOpType
+import cmu.pasta.fray.runtime.MemoryOpType
 
 class LockLockOperation(obj: Int) : RacingOperation(obj, MemoryOpType.MEMORY_WRITE) {
   override fun isRacing(op: Operation): Boolean {

diff --git a/...concurrency/operations/MemoryOperation.kt → ...concurrency/operations/MemoryOperation.kt b/...concurrency/operations/MemoryOperation.kt → ...concurrency/operations/MemoryOperation.kt
@@ -1,6 +1,6 @@
-package cmu.pasta.sfuzz.core.concurrency.operations
+package cmu.pasta.fray.core.concurrency.operations
 
-import cmu.pasta.sfuzz.runtime.MemoryOpType
+import cmu.pasta.fray.runtime.MemoryOpType
 
 class MemoryOperation(obj: Int, type: MemoryOpType) : RacingOperation(obj, type) {
   override fun isRacing(op: Operation): Boolean {

diff --git a/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/operations/NonRacingOperation.kt b/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/operations/NonRacingOperation.kt
@@ -0,0 +1,3 @@
+package cmu.pasta.fray.core.concurrency.operations
+
+abstract class NonRacingOperation : Operation {}
diff --git a/...urrency/operations/ObjectWaitOperation.kt → ...urrency/operations/ObjectWaitOperation.kt b/...urrency/operations/ObjectWaitOperation.kt → ...urrency/operations/ObjectWaitOperation.kt
@@ -1,6 +1,6 @@
-package cmu.pasta.sfuzz.core.concurrency.operations
+package cmu.pasta.fray.core.concurrency.operations
 
-import cmu.pasta.sfuzz.runtime.MemoryOpType
+import cmu.pasta.fray.runtime.MemoryOpType
 
 class ObjectWaitOperation(obj: Int) : RacingOperation(obj, MemoryOpType.MEMORY_WRITE) {
   override fun isRacing(op: Operation): Boolean {

diff --git a/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/operations/Operation.kt b/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/operations/Operation.kt
@@ -0,0 +1,3 @@
+package cmu.pasta.fray.core.concurrency.operations
+
+interface Operation {}
diff --git a/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/operations/PausedOperation.kt b/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/operations/PausedOperation.kt
@@ -0,0 +1,3 @@
+package cmu.pasta.fray.core.concurrency.operations
+
+class PausedOperation : NonRacingOperation() {}
diff --git a/...concurrency/operations/RacingOperation.kt → ...concurrency/operations/RacingOperation.kt b/...concurrency/operations/RacingOperation.kt → ...concurrency/operations/RacingOperation.kt
@@ -1,6 +1,6 @@
-package cmu.pasta.sfuzz.core.concurrency.operations
+package cmu.pasta.fray.core.concurrency.operations
 
-import cmu.pasta.sfuzz.runtime.MemoryOpType
+import cmu.pasta.fray.runtime.MemoryOpType
 
 abstract class RacingOperation(val resource: Int, val type: MemoryOpType) : Operation {
   abstract fun isRacing(op: Operation): Boolean

diff --git a/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/operations/RunningOperation.kt b/core/src/main/kotlin/cmu/pasta/fray/core/concurrency/operations/RunningOperation.kt
@@ -0,0 +1,3 @@
+package cmu.pasta.fray.core.concurrency.operations
+
+class RunningOperation : NonRacingOperation() {}
diff --git a/...rency/operations/ThreadResumeOperation.kt → ...rency/operations/ThreadResumeOperation.kt b/...rency/operations/ThreadResumeOperation.kt → ...rency/operations/ThreadResumeOperation.kt
@@ -1,3 +1,3 @@
-package cmu.pasta.sfuzz.core.concurrency.operations
+package cmu.pasta.fray.core.concurrency.operations
 
 class ThreadResumeOperation : NonRacingOperation() {}
diff --git a/...rrency/operations/ThreadStartOperation.kt → ...rrency/operations/ThreadStartOperation.kt b/...rrency/operations/ThreadStartOperation.kt → ...rrency/operations/ThreadStartOperation.kt
@@ -1,3 +1,3 @@
-package cmu.pasta.sfuzz.core.concurrency.operations
+package cmu.pasta.fray.core.concurrency.operations
 
 class ThreadStartOperation : NonRacingOperation() {}
diff --git a/...e/exception/SchedulerInternalException.kt → ...e/exception/SchedulerInternalException.kt b/...e/exception/SchedulerInternalException.kt → ...e/exception/SchedulerInternalException.kt
@@ -1,3 +1,3 @@
-package cmu.pasta.sfuzz.core.exception
+package cmu.pasta.fray.core.exception
 
 class SchedulerInternalException(reason: String) : RuntimeException(reason) {}