From: jzhou <jzhou>
Date: Fri, 26 Aug 2011 18:29:56 +0000 (+0000)
Subject: Add check to see if the msg buffer is full during msg sending
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=406764d1e232bdcabfa00532a9249f266885f317;p=IRC.git

Add check to see if the msg buffer is full during msg sending
---

diff --git a/Robust/src/Runtime/bamboo/multicoremsg.c b/Robust/src/Runtime/bamboo/multicoremsg.c
index e620a8dd..e259c384 100644
--- a/Robust/src/Runtime/bamboo/multicoremsg.c
+++ b/Robust/src/Runtime/bamboo/multicoremsg.c
@@ -775,6 +775,7 @@ msg:
     return -1;
   }
   if(BAMBOO_CHECK_SEND_MODE()) {
+    BAMBOO_ASSERT((msgdataindex!=msgdatalast)||(!msgdatafull));
     // during send, don't process the msg now
     return -3; 
   }