promise: add is_compatible()
authorBrian Norris <banorris@uci.edu>
Fri, 1 Feb 2013 23:07:56 +0000 (15:07 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:38 +0000 (13:44 -0800)
promise.cc
promise.h

index 2bd6637..fdd4579 100644 (file)
@@ -76,3 +76,12 @@ bool Promise::has_failed() const
 {
        return num_available_threads == 0;
 }
+
+/**
+ * @param write A store which could satisfy this Promise
+ * @return True if the store can satisfy this Promise; false otherwise
+ */
+bool Promise::is_compatible(const ModelAction *write) const
+{
+       return thread_is_available(write->get_tid());
+}
index 8ff8c3e..8eec87b 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -41,6 +41,7 @@ class Promise {
        void set_write(const ModelAction *act) { write = act; }
        const ModelAction * get_write() { return write; }
        int get_num_available_threads() { return num_available_threads; }
+       bool is_compatible(const ModelAction *write) const;
 
        void print() const;