fixup whitespace
authorBrian Norris <banorris@uci.edu>
Wed, 1 Aug 2012 03:13:17 +0000 (20:13 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 17:12:54 +0000 (10:12 -0700)
hashtable.h
model.cc
model.h
nodestack.cc
promise.h
threads.cc

index 126b6a4..5d9e2d6 100644 (file)
@@ -63,7 +63,7 @@ template<typename _Key, typename _Val, typename _KeyInt, int _Shift=0, void * (*
                return _malloc(size);
        }
 
-  void operator delete(void *p, size_t size) {
+       void operator delete(void *p, size_t size) {
                _free(p);
        }
 
@@ -117,7 +117,7 @@ template<typename _Key, typename _Val, typename _KeyInt, int _Shift=0, void * (*
        }
 
        /** Put a key entry into the table. */
-  _Val * ensureptr(_Key key) {
+       _Val * ensureptr(_Key key) {
                if(size > threshold) {
                        //Resize
                  unsigned int newsize = capacity << 1;
index 02a4a6a..c87f5f9 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -284,7 +284,7 @@ void ModelChecker::check_current_action(void)
                        if (diverge==NULL) {
                                tmp->create_cv(get_parent_action(tmp->get_tid()));
                        }
-                       
+
                        delete curr;
                        curr = tmp;
                } else {
@@ -357,7 +357,7 @@ void ModelChecker::check_current_action(void)
        if (!parnode->backtrack_empty()||!currnode->read_from_empty()||!currnode->future_value_empty()||!currnode->promise_empty())
                if (!next_backtrack || *curr > *next_backtrack)
                        next_backtrack = curr;
-       
+
        set_backtracking(curr);
 }
 
@@ -452,7 +452,7 @@ void ModelChecker::w_modification_order(ModelAction * curr) {
                                                 (1) did not happen before us
                                                 (2) is a read and we are a write
                                                 (3) cannot synchronize with us
-                                                (4) is in a different thread 
+                                                (4) is in a different thread
                                                 =>
                                                 that read could potentially read from our write.
                                        */
@@ -616,7 +616,7 @@ void ModelChecker::build_reads_from_past(ModelAction *curr)
                action_list_t::reverse_iterator rit;
                for (rit = list->rbegin(); rit != list->rend(); rit++) {
                        ModelAction *act = *rit;
-                       
+
                        /* Only consider 'write' actions */
                        if (!act->is_write())
                                continue;
diff --git a/model.h b/model.h
index 73605db..c13dffd 100644 (file)
--- a/model.h
+++ b/model.h
@@ -90,7 +90,7 @@ private:
        ModelAction * process_rmw(ModelAction * curr);
        void r_modification_order(ModelAction * curr, const ModelAction *rf);
        void w_modification_order(ModelAction * curr);
-       
+
        ModelAction *current_action;
        ModelAction *diverge;
        thread_id_t nextThread;
index 77e2439..bdccf38 100644 (file)
@@ -58,7 +58,7 @@ void Node::print_may_read_from()
 }
 
 /** This method sets a promise to explore meeting with the given
- *  node. 
+ *  node.
  *  @param i is the promise index.
  */
 
@@ -99,7 +99,7 @@ bool Node::increment_promise() {
        return false;
 }
 
-/** This method returns whether the promise set is empty. 
+/** This method returns whether the promise set is empty.
  *
  *  @return true if we have explored all promise combinations.
  */
@@ -125,7 +125,7 @@ bool Node::add_future_value(uint64_t value) {
        return true;
 }
 
-/** 
+/**
  * Checks whether the future_values set for this node is empty.
  * @return true if the future_values set is empty.
  */
index 7b3d1ec..fda00cc 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -17,7 +17,7 @@ class Promise {
        ModelAction * get_action() { return read; }
        int increment_threads() { return ++numthreads; }
        uint64_t get_value() { return value; }
-       
+
  private:
        uint64_t value;
        ModelAction *read;
index cde331d..f240106 100644 (file)
@@ -94,7 +94,7 @@ void Thread::complete()
        }
 }
 
-/** Create a new thread. 
+/** Create a new thread.
  *  Takes the following parameters:
  *  @param t The thread identifier of the newly created thread.
  *  @param func  The function that the thread will call.