From d23c2068d3f764f930ee1f498fb3adefff0cb32b Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 22 Aug 2012 19:08:50 -0700 Subject: [PATCH] model: improve some promise-related comments --- model.cc | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/model.cc b/model.cc index 531ef7e..0ecf592 100644 --- a/model.cc +++ b/model.cc @@ -569,7 +569,11 @@ ClockVector * ModelChecker::get_cv(thread_id_t tid) return get_parent_action(tid)->get_cv(); } -/** Resolve the given promises. */ +/** + * Resolve a set of Promises with a current write. The set is provided in the + * Node corresponding to @a write. + * @param write The ModelAction that is fulfilling Promises + */ void ModelChecker::resolve_promises(ModelAction *write) { for (unsigned int i = 0, promise_index = 0; promise_index < promises->size(); i++) { @@ -585,8 +589,12 @@ void ModelChecker::resolve_promises(ModelAction *write) } } -/** Compute the set of promises that could potentially be satisfied by - * this action. */ +/** + * Compute the set of promises that could potentially be satisfied by this + * action. Note that the set computation actually appears in the Node, not in + * ModelChecker. + * @param curr The ModelAction that may satisfy promises + */ void ModelChecker::compute_promises(ModelAction *curr) { for (unsigned int i = 0; i < promises->size(); i++) { -- 2.34.1