"Finished GC",
"Request sequential GC",
"Request parallel GC",
- "Create spark"
+ "Create spark",
+ "Spark to thread"
};
// Event type.
eventTypes[t].size = sizeof(CapNo) + sizeof(ThreadID);
break;
+ case EVENT_SPARK_TO_THREAD: // (cap, thread, spark_thread)
+ eventTypes[t].size =
+ sizeof(CapNo) + sizeof(ThreadID) + sizeof(ThreadID);
+ break;
+
case EVENT_MIGRATE_THREAD: // (cap, thread, new_cap)
case EVENT_STEAL_SPARK: // (cap, thread, victim_cap)
case EVENT_THREAD_WAKEUP: // (cap, thread, other_cap)
break;
}
+ case EVENT_SPARK_TO_THREAD: // (cap, thread, spark_thread)
+ {
+ postThreadID(eb,thread);
+ postThreadID(eb,other /* spark_thread */);
+ break;
+ }
+
case EVENT_MIGRATE_THREAD: // (cap, thread, new_cap)
case EVENT_STEAL_SPARK: // (cap, thread, victim_cap)
case EVENT_THREAD_WAKEUP: // (cap, thread, other_cap)