X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=9fd6552d06bbe3746767376e9ddb270516b4437c;hb=c49d1c1de40847e0133b61137422005ec1cc69fd;hp=f30779c2131babfe0eb60038667f98cd5c73e2b2;hpb=ccb7650d28bc49534bfb75de43447900cd048461;p=model-checker.git

diff --git a/promise.h b/promise.h
index f30779c..9fd6552 100644
--- a/promise.h
+++ b/promise.h
@@ -32,11 +32,18 @@ class Promise {
 	ModelAction * get_action() const { return read; }
 	bool eliminate_thread(thread_id_t tid);
 
-	bool has_sync_thread(thread_id_t tid) {
+	/**
+	 * Check if a thread has already been eliminated from resolving this
+	 * promise
+	 * @param tid Thread ID of the thread to check
+	 * @return True if the thread is already eliminated; false otherwise
+	 */
+	bool thread_is_eliminated(thread_id_t tid) const
+	{
 		unsigned int id = id_to_int(tid);
-		if (id >= synced_thread.size())
+		if (id >= eliminated_thread.size())
 			return false;
-		return synced_thread[id];
+		return eliminated_thread[id];
 	}
 
 	bool has_failed() const;
@@ -46,7 +53,7 @@ class Promise {
 
 	SNAPSHOTALLOC
  private:
-	std::vector<bool> synced_thread;
+	std::vector<bool> eliminated_thread;
 	const uint64_t value;
 	const modelclock_t expiration;
 	ModelAction * const read;