From: Thomas Veerman <thomas@minix3.org>
Date: Wed, 11 Jan 2012 10:20:44 +0000 (+0000)
Subject: Fix tll state bug
X-Git-Tag: v3.2.0~141
X-Git-Url: http://zhaoyanbai.com/repos/icons/debian/static/datamaps.china.min.js?a=commitdiff_plain;h=a4d01f8a8374b56e4c5c2e1f89b7c3bed169f9b7;p=minix.git

Fix tll state bug

When a lock has read-serialized and read-only locks, releasing the read-
serialized lock would not set the state to read-only when no other locks
were pending.
---

diff --git a/servers/avfs/tll.c b/servers/avfs/tll.c
index 6ce2f2c80..bf728e880 100644
--- a/servers/avfs/tll.c
+++ b/servers/avfs/tll.c
@@ -93,6 +93,7 @@ PUBLIC void tll_downgrade(tll_t *tllp)
     case TLL_READSER:
 	/* If nothing is queued on write-only, but there is a pending lock
 	 * requesting read-serialized, grant it and keep the lock type. */
+
 	if (tllp->t_write == NULL && tllp->t_serial != NULL) {
 		tllp->t_owner = tllp->t_serial;
 		tllp->t_serial = tllp->t_serial->w_next; /* Remove head */
@@ -108,6 +109,9 @@ PUBLIC void tll_downgrade(tll_t *tllp)
 	break;
     default: panic("VFS: Incorrect lock state");
   }
+
+  if (tllp->t_current != TLL_WRITE && tllp->t_current != TLL_READSER)
+	assert(tllp->t_owner == NULL);
 }
 
 PUBLIC void tll_init(tll_t *tllp)
@@ -233,6 +237,7 @@ PUBLIC int tll_unlock(tll_t *tllp)
 	/* This unlock must have been done by a read-only lock */
 	tllp->t_readonly--;
 	assert(tllp->t_readonly >= 0);
+	assert(tllp->t_current == TLL_READ || tllp->t_current == TLL_READSER);
 
 	/* If a read-serialized lock is trying to upgrade and there are no more
 	 * read-only locks, the lock can now be upgraded to write-only */
@@ -269,8 +274,12 @@ PUBLIC int tll_unlock(tll_t *tllp)
   }
 
   /* If no one is using this lock, mark it as not in use */
-  if (tllp->t_owner == NULL && tllp->t_readonly == 0)
-	tllp->t_current = TLL_NONE;
+  if (tllp->t_owner == NULL) {
+	if (tllp->t_readonly == 0)
+		tllp->t_current = TLL_NONE;
+	else
+		tllp->t_current = TLL_READ;
+  }
 
   if (tllp->t_current == TLL_NONE || tllp->t_current == TLL_READ) {
 	if (!signal_owner) {