RE: Sanitize the element when dequing

Thanks. This has been fixed with the most recent changeset.

--
Dr. Jan Stoess
KIT/UKa System Architecture Group
Phone: +49 (721) 608 4056
Fax: +49 (721) 608 7664
http://os.ibds.kit.edu/stoess

From: [email protected] [mailto:[email protected]] On Behalf Of Mai, Haohui
Sent: Wednesday, April 28, 2010 23:22
To: [email protected]
Subject: Sanitize the element when dequing

Hi,

Here is a patch to sanitize the element in the deque operation. Your suggestions are appreciated.

Haohui

Index: src/api/v4/queueing.h
===================================================================
--- src/api/v4/queueing.h       (revision 1696)
+++ src/api/v4/queueing.h       (working copy)
@@ -75,6 +75,7 @@
            head = tcb->list.next;                      \
        (tcb->list.next)->list.prev = tcb->list.prev;   \
        (tcb->list.prev)->list.next = tcb->list.next;   \
+    tcb->list.next = tcb->list.prev = NULL;            \
     }                                                  \
 } while(0)