projects
/
cdsspec-compiler.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4019d34
)
more documentation
author
Brian Demsky
<bdemsky@uci.edu>
Thu, 20 Sep 2012 22:49:02 +0000
(15:49 -0700)
committer
Brian Demsky
<bdemsky@uci.edu>
Thu, 20 Sep 2012 22:49:02 +0000
(15:49 -0700)
model.cc
patch
|
blob
|
history
diff --git
a/model.cc
b/model.cc
index 205ae7c39b6445552b7234109670168350578443..aa83cfcfacf940e89f6d612151268324dfd36964 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-243,6
+243,13
@@
ModelAction * ModelChecker::get_last_conflict(ModelAction *act)
return NULL;
}
return NULL;
}
+/** This method find backtracking points where we should try to
+ * reorder the parameter ModelAction against.
+ *
+ * @param the ModelAction to find backtracking points for.
+ */
+
+
void ModelChecker::set_backtracking(ModelAction *act)
{
Thread *t = get_thread(act);
void ModelChecker::set_backtracking(ModelAction *act)
{
Thread *t = get_thread(act);
@@
-1525,6
+1532,11
@@
void ModelChecker::add_thread(Thread *t)
scheduler->add_thread(t);
}
scheduler->add_thread(t);
}
+/**
+ * Removes a thread from the scheduler.
+ * @param the thread to remove.
+ */
+
void ModelChecker::remove_thread(Thread *t)
{
scheduler->remove_thread(t);
void ModelChecker::remove_thread(Thread *t)
{
scheduler->remove_thread(t);