modelclock_t used_sequence_numbers;
Thread *nextThread;
ModelAction *next_backtrack;
+
+ /** @see ModelChecker::lazy_sync_size */
+ unsigned int lazy_sync_size;
};
/** @brief The central structure for model-checking */
ModelAction * get_last_conflict(ModelAction *act);
void set_backtracking(ModelAction *act);
- Thread * get_next_replay_thread();
+ Thread * get_next_thread(ModelAction *curr);
ModelAction * get_next_backtrack();
void reset_to_initial_state();
bool resolve_promises(ModelAction *curr);
*/
HashTable<void *, std::list<ModelAction *>, uintptr_t, 4> *lazy_sync_with_release;
+ /**
+ * Represents the total size of the
+ * ModelChecker::lazy_sync_with_release lists. This count should be
+ * snapshotted, so it is actually a pointer to a location within
+ * ModelChecker::priv
+ */
+ unsigned int *lazy_sync_size;
+
std::vector<ModelAction *> *thrd_last_action;
NodeStack *node_stack;