projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
promise: update names/comments
[model-checker.git]
/
promise.h
diff --git
a/promise.h
b/promise.h
index 35515d24b2da913b387e5ec06b786a83e3d43877..8ff8c3e319bd5b2f4a4b758be51c8adb7a5dbeb6 100644
(file)
--- a/
promise.h
+++ b/
promise.h
@@
-21,15
+21,15
@@
struct future_value {
class Promise {
public:
class Promise {
public:
- Promise(ModelAction *
act
, struct future_value fv) :
+ Promise(ModelAction *
read
, struct future_value fv) :
num_available_threads(0),
value(fv.value),
expiration(fv.expiration),
num_available_threads(0),
value(fv.value),
expiration(fv.expiration),
- read(
act
),
+ read(
read
),
write(NULL)
{
add_thread(fv.tid);
write(NULL)
{
add_thread(fv.tid);
- eliminate_thread(
act
->get_tid());
+ eliminate_thread(
read
->get_tid());
}
modelclock_t get_expiration() const { return expiration; }
ModelAction * get_action() const { return read; }
}
modelclock_t get_expiration() const { return expiration; }
ModelAction * get_action() const { return read; }
@@
-54,7
+54,10
@@
class Promise {
const uint64_t value;
const modelclock_t expiration;
const uint64_t value;
const modelclock_t expiration;
+
+ /** @brief The action which reads a promised value */
ModelAction * const read;
ModelAction * const read;
+
const ModelAction *write;
};
const ModelAction *write;
};