projects
/
cdsspec-compiler.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
a47b5b6
)
README: a few more formatting issues
author
Brian Norris
<banorris@uci.edu>
Tue, 4 Jun 2013 23:30:00 +0000
(16:30 -0700)
committer
Brian Norris
<banorris@uci.edu>
Tue, 4 Jun 2013 23:30:00 +0000
(16:30 -0700)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index 218e960a868351d62e6ceb90f5bc26456f5ca2fe..23492ebfc671a0873dd58fe4091e11526adf9161 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-166,8
+166,8
@@
The following list describes each of the columns in the execution trace output:
* Action type: The type of operation performed
* Action type: The type of operation performed
- * MO: The memory-order for this operation (i.e., `memory_order_XXX`, where
XXX
is
-
relaxed, release, acquire, rel_acq, or seq_cst
)
+ * MO: The memory-order for this operation (i.e., `memory_order_XXX`, where
`XXX`
is
+
`relaxed`, `release`, `acquire`, `rel_acq`, or `seq_cst`
)
* Location: The memory location on which this operation is operating. This is
well-defined for atomic write/read/RMW, but other operations are subject to
* Location: The memory location on which this operation is operating. This is
well-defined for atomic write/read/RMW, but other operations are subject to
@@
-176,7
+176,7
@@
The following list describes each of the columns in the execution trace output:
* Value: For reads/writes/RMW, the value returned by the operation. Note that
for RMW, this is the value that is *read*, not the value that was *written*.
For other operations, 'value' may have some CDSChecker-internal meaning, or
* Value: For reads/writes/RMW, the value returned by the operation. Note that
for RMW, this is the value that is *read*, not the value that was *written*.
For other operations, 'value' may have some CDSChecker-internal meaning, or
- it may simply be a don't-care (such as
0xdeadbeef
).
+ it may simply be a don't-care (such as
`0xdeadbeef`
).
* Rf: For reads, the sequence number of the operation from which it reads.
[Note: If the execution is a partial, infeasible trace (labeled INFEASIBLE),
* Rf: For reads, the sequence number of the operation from which it reads.
[Note: If the execution is a partial, infeasible trace (labeled INFEASIBLE),