projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7fbbbb4
)
model: fixup indentation, spelling in comment
author
Brian Norris
<banorris@uci.edu>
Thu, 24 Jan 2013 01:02:46 +0000
(17:02 -0800)
committer
Brian Norris
<banorris@uci.edu>
Thu, 24 Jan 2013 01:02:46 +0000
(17:02 -0800)
model.cc
patch
|
blob
|
history
diff --git
a/model.cc
b/model.cc
index cdafa697239a3d7035a0b6aa2a70cdaa618a3d31..b6ef861ff78fb31a7a35fb4f5b2af8df9d71dd65 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-2398,19
+2398,23
@@
void ModelChecker::check_promises_thread_disabled()
}
}
}
}
-/** Checks promises in response to addition to modification order for threads.
+/**
+ * @brief Checks promises in response to addition to modification order for
+ * threads.
+ *
* Definitions:
* Definitions:
+ *
* pthread is the thread that performed the read that created the promise
*
* pread is the read that created the promise
*
* pwrite is either the first write to same location as pread by
* pthread is the thread that performed the read that created the promise
*
* pread is the read that created the promise
*
* pwrite is either the first write to same location as pread by
- * pthread that is sequenced after pread or the
valu
e read by the
- * first read to the same l
co
ation as pread by pthread that is
- * sequenced after pread.
.
+ * pthread that is sequenced after pread or the
writ
e read by the
+ * first read to the same l
oc
ation as pread by pthread that is
+ * sequenced after pread.
*
*
- *
1. If tid=pthread, then we check what other threads are reachable
- * through the mod
e
order starting with pwrite. Those threads cannot
+ * 1. If tid=pthread, then we check what other threads are reachable
+ * through the mod order starting with pwrite. Those threads cannot
* perform a write that will resolve the promise due to modification
* order constraints.
*
* perform a write that will resolve the promise due to modification
* order constraints.
*
@@
-2419,11
+2423,11
@@
void ModelChecker::check_promises_thread_disabled()
* cannot perform a future write that will resolve the promise due to
* modificatin order constraints.
*
* cannot perform a future write that will resolve the promise due to
* modificatin order constraints.
*
- *
@param tid The thread that either read from the model action
- *
write, or
actually did the model action write.
+ *
@param tid The thread that either read from the model action write, or
+ * actually did the model action write.
*
*
- *
@param write The ModelAction representing the relevant write.
- *
@param read The ModelAction that reads a promised write, or NULL otherwise.
+ * @param write The ModelAction representing the relevant write.
+ * @param read The ModelAction that reads a promised write, or NULL otherwise.
*/
void ModelChecker::mo_check_promises(thread_id_t tid, const ModelAction *write, const ModelAction *read)
{
*/
void ModelChecker::mo_check_promises(thread_id_t tid, const ModelAction *write, const ModelAction *read)
{