X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.h;h=c18953d44824d09782e1cd389becbb96c181fb4c;hb=262fab229626c8504297467fc7b5a04f60b7c530;hp=6ae2d2b53eeb354d522d9aac187c38cbdd4226b7;hpb=30999f20b8426081e676adfc76d1c4af7b941e8e;p=model-checker.git diff --git a/schedule.h b/schedule.h index 6ae2d2b..c18953d 100644 --- a/schedule.h +++ b/schedule.h @@ -18,6 +18,8 @@ typedef enum enabled_type { THREAD_SLEEP_SET } enabled_type_t; +void enabled_type_to_string(enabled_type_t e, char *str); + /** @brief The Scheduler class performs the mechanics of Thread execution * scheduling. */ class Scheduler { @@ -39,9 +41,9 @@ public: bool is_enabled(const Thread *t) const; bool is_enabled(thread_id_t tid) const; bool is_sleep_set(const Thread *t) const; + bool all_threads_sleeping() const; void set_scheduler_thread(thread_id_t tid); - SNAPSHOTALLOC private: /** The list of available Threads that are not currently running */