From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mga01.intel.com (mga01.intel.com [192.55.52.88]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ml01.01.org (Postfix) with ESMTPS id 7DCF12095D9E8 for ; Thu, 3 Aug 2017 09:17:15 -0700 (PDT) Received: from fmsmga003.fm.intel.com ([10.253.24.29]) by fmsmga101.fm.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Aug 2017 09:19:27 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.41,316,1498546800"; d="scan'208";a="886062667" Received: from fmsmsx103.amr.corp.intel.com ([10.18.124.201]) by FMSMGA003.fm.intel.com with ESMTP; 03 Aug 2017 09:19:26 -0700 Received: from fmsmsx156.amr.corp.intel.com (10.18.116.74) by FMSMSX103.amr.corp.intel.com (10.18.124.201) with Microsoft SMTP Server (TLS) id 14.3.319.2; Thu, 3 Aug 2017 09:19:27 -0700 Received: from shsmsx151.ccr.corp.intel.com (10.239.6.50) by fmsmsx156.amr.corp.intel.com (10.18.116.74) with Microsoft SMTP Server (TLS) id 14.3.319.2; Thu, 3 Aug 2017 09:19:26 -0700 Received: from shsmsx102.ccr.corp.intel.com ([169.254.2.146]) by SHSMSX151.ccr.corp.intel.com ([169.254.3.188]) with mapi id 14.03.0319.002; Fri, 4 Aug 2017 00:19:24 +0800 From: "Gao, Liming" To: Marvin H?user , "edk2-devel@lists.01.org" CC: "Kinney, Michael D" Thread-Topic: [PATCH v2 2/2] MdePkg/BaseLib: Update internal LinkedList verifications. Thread-Index: AQHTC5DsjyJXg/Rms0aldga9ZPjpbqJywjWggAAB5/CAAA09cA== Date: Thu, 3 Aug 2017 16:19:23 +0000 Message-ID: <4A89E2EF3DFEDB4C8BFDE51014F606A14D75F649@shsmsx102.ccr.corp.intel.com> References: <20170802131136.3128-1-Marvin.Haeuser@outlook.com> <4A89E2EF3DFEDB4C8BFDE51014F606A14D75F52F@shsmsx102.ccr.corp.intel.com> In-Reply-To: Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: dlp-product: dlpe-windows dlp-version: 10.0.102.7 dlp-reaction: no-action x-originating-ip: [10.239.127.40] MIME-Version: 1.0 Subject: Re: [PATCH v2 2/2] MdePkg/BaseLib: Update internal LinkedList verifications. X-BeenThere: edk2-devel@lists.01.org X-Mailman-Version: 2.1.22 Precedence: list List-Id: EDK II Development List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 03 Aug 2017 16:17:15 -0000 Content-Language: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable I have no preference. Please go ahead.=20 > -----Original Message----- > From: Marvin H?user [mailto:Marvin.Haeuser@outlook.com] > Sent: Thursday, August 3, 2017 11:43 PM > To: edk2-devel@lists.01.org > Cc: Gao, Liming ; Kinney, Michael D > Subject: RE: [PATCH v2 2/2] MdePkg/BaseLib: Update internal LinkedList ve= rifications. >=20 > Hey Liming, >=20 > I noticed that and assumed that a second call is not going to hurt much (= only used in DEBUG afterall). > To work around that, the macro could be modified to either call IsNodeInL= ist() or InternalBaseLibIsListValid() based on the PCD value, > though one would have to know/check the PCD's value to know what actually= triggered the ASSERT(), so I opted to separate the > ASSERTs (this also looks cleaner in my opinion). > The macro could also be modified to carry two separate ASSERT calls, whic= h would solve the issue above, > though I would need to think of a proper name for a macro that checks lis= t membership *and* whether the list is valid. > If you have a preference, please let me know, otherwise I'll come up with= a V3 soon. >=20 > Thanks and regards, > Marvin. >=20 > > -----Original Message----- > > From: Gao, Liming [mailto:liming.gao@intel.com] > > Sent: Thursday, August 3, 2017 5:28 PM > > To: Marvin.Haeuser@outlook.com; edk2-devel@lists.01.org > > Cc: Kinney, Michael D > > Subject: RE: [PATCH v2 2/2] MdePkg/BaseLib: Update internal LinkedList > > verifications. > > > > Marvin: > > If PcdVerifyNodeInList is set TRUE, InternalBaseLibIsListValid() will= be > > checked twice in two ASSERT(). In the original logic, InternalBaseLibIs= ListValid > > only runs once. Could we work out the same check logic? > > > > Thanks > > Liming > > > -----Original Message----- > > > From: edk2-devel [mailto:edk2-devel-bounces@lists.01.org] On Behalf O= f > > > Marvin H?user > > > Sent: Wednesday, August 2, 2017 9:12 PM > > > To: edk2-devel@lists.01.org > > > Cc: Kinney, Michael D ; Gao, Liming > > > > > > Subject: [edk2] [PATCH v2 2/2] MdePkg/BaseLib: Update internal Linked= List > > verifications. > > > > > > 1) Replace InternalBaseLibIsNodeInList() with > > > InternalBaseLibIsListValid(). > > > - The verification whether Node is within the doubly-linked List > > > is now done by IsNodeInList(). > > > - Whether the list is valid is returned. > > > > > > 2) The comments within InsertHeadList() and InsertTailList() stated > > > that it is checked whether Entry is not part of the doubly-linked > > > list. This was not done as argument 3 of > > > InternalBaseLibIsNodeInList() indicated whether the check is done, > > > not whether to check if the node is or is not in the list. This > > > has been fixed by using IsNodeInList() for the ASSERTs. > > > > > > V2: > > > - Fix IsListEmpty() to ASSERT when the passed list is invalid. > > > - Introduce the VERIFY_IS_NODE_IN_LIST() macro to only verify wheth= er > > the > > > passed node is part of the list when PcdVerifyNodeInList is TRUE. > > > > > > Contributed-under: TianoCore Contribution Agreement 1.1 > > > Signed-off-by: Marvin Haeuser > > > --- > > > MdePkg/Library/BaseLib/LinkedList.c | 105 +++++++++----------- > > > 1 file changed, 47 insertions(+), 58 deletions(-) > > > > > > diff --git a/MdePkg/Library/BaseLib/LinkedList.c > > > b/MdePkg/Library/BaseLib/LinkedList.c > > > index 484ee836b8c2..6864fae7d939 100644 > > > --- a/MdePkg/Library/BaseLib/LinkedList.c > > > +++ b/MdePkg/Library/BaseLib/LinkedList.c > > > @@ -15,25 +15,38 @@ > > > #include "BaseLibInternals.h" > > > > > > /** > > > - Worker function that locates the Node in the List. > > > + If PcdVerifyNodeInList is TRUE, checks whether FirstNode and > > > + SecondNode are part of the same doubly-linked list. > > > > > > - By searching the List, finds the location of the Node in List. At > > > the same time, > > > - verifies the validity of this list. > > > + If FirstEntry is NULL, then ASSERT(). > > > + If FirstEntry->ForwardLink is NULL, then ASSERT(). > > > + If FirstEntry->BackLink is NULL, then ASSERT(). > > > + If SecondEntry is NULL, then ASSERT(); If > > > + PcdMaximumLinkedListLength is not zero, and List contains more than > > > + PcdMaximumLinkedListLength nodes, then ASSERT(). > > > + > > > + @param FirstEntry A pointer to a node in a linked list. > > > + @param SecondEntry A pointer to the node to locate. > > > + > > > + @retval TRUE SecondEntry is in the same doubly-linked list as Fi= rstEntry > > > + or PcdVerifyNodeInList is FALSE. > > > + @retval FALSE SecondEntry isn't in the same doubly-linked list as > > FirstEntry, > > > + or FirstEntry is invalid. > > > + > > > +**/ > > > +#define VERIFY_IS_NODE_IN_LIST(FirstEntry, SecondEntry) \ > > > + (!FeaturePcdGet (PcdVerifyNodeInList) || IsNodeInList > > > +((FirstEntry), (SecondEntry))) > > > + > > > +/** > > > + Worker function that verifies the validity of this list. > > > > > > If List is NULL, then ASSERT(). > > > If List->ForwardLink is NULL, then ASSERT(). > > > - If List->backLink is NULL, then ASSERT(). > > > - If Node is NULL, then ASSERT(). > > > - If PcdVerifyNodeInList is TRUE and DoMembershipCheck is TRUE and > > > Node > > > - is in not a member of List, then return FALSE > > > + If List->BackLink is NULL, then ASSERT(). > > > If PcdMaximumLinkedListLength is not zero, and List contains more = than > > > PcdMaximumLinkedListLength nodes, then ASSERT(). > > > > > > @param List A pointer to a node in a linked list. > > > - @param Node A pointer to a node in a linked list. > > > - @param VerifyNodeInList TRUE if a check should be made to see if= Node > > is a > > > - member of List. FALSE if no membership = test should > > > - be performed. > > > > > > @retval TRUE if PcdVerifyNodeInList is FALSE > > > @retval TRUE if DoMembershipCheck is FALSE > > > @@ -45,10 +58,8 @@ > > > **/ > > > BOOLEAN > > > EFIAPI > > > -InternalBaseLibIsNodeInList ( > > > - IN CONST LIST_ENTRY *List, > > > - IN CONST LIST_ENTRY *Node, > > > - IN BOOLEAN VerifyNodeInList > > > +InternalBaseLibIsListValid ( > > > + IN CONST LIST_ENTRY *List > > > ) > > > { > > > UINTN Count; > > > @@ -60,40 +71,11 @@ InternalBaseLibIsNodeInList ( > > > ASSERT (List !=3D NULL); > > > ASSERT (List->ForwardLink !=3D NULL); > > > ASSERT (List->BackLink !=3D NULL); > > > - ASSERT (Node !=3D NULL); > > > - > > > - Count =3D 0; > > > - Ptr =3D List; > > > - > > > - if (FeaturePcdGet (PcdVerifyNodeInList) && VerifyNodeInList) { > > > - // > > > - // Check to see if Node is a member of List. > > > - // Exit early if the number of nodes in List >=3D > > PcdMaximumLinkedListLength > > > - // > > > - do { > > > - Ptr =3D Ptr->ForwardLink; > > > - if (PcdGet32 (PcdMaximumLinkedListLength) > 0) { > > > - Count++; > > > - // > > > - // ASSERT() if the linked list is too long > > > - // > > > - ASSERT (Count < PcdGet32 (PcdMaximumLinkedListLength)); > > > - > > > - // > > > - // Return if the linked list is too long > > > - // > > > - if (Count >=3D PcdGet32 (PcdMaximumLinkedListLength)) { > > > - return (BOOLEAN)(Ptr =3D=3D Node); > > > - } > > > - } > > > - } while ((Ptr !=3D List) && (Ptr !=3D Node)); > > > - > > > - if (Ptr !=3D Node) { > > > - return FALSE; > > > - } > > > - } > > > > > > if (PcdGet32 (PcdMaximumLinkedListLength) > 0) { > > > + Count =3D 0; > > > + Ptr =3D List; > > > + > > > // > > > // Count the total number of nodes in List. > > > // Exit early if the number of nodes in List >=3D > > > PcdMaximumLinkedListLength @@ -104,9 +86,9 @@ > > InternalBaseLibIsNodeInList ( > > > } while ((Ptr !=3D List) && (Count < PcdGet32 > > > (PcdMaximumLinkedListLength))); > > > > > > // > > > - // ASSERT() if the linked list is too long > > > + // return whether linked list is too long > > > // > > > - ASSERT (Count < PcdGet32 (PcdMaximumLinkedListLength)); > > > + return (BOOLEAN)(Count < PcdGet32 (PcdMaximumLinkedListLength)); > > > } > > > > > > return TRUE; > > > @@ -244,7 +226,8 @@ InsertHeadList ( > > > // > > > // ASSERT List not too long and Entry is not one of the nodes of L= ist > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (ListHead, Entry, FALSE)); > > > + ASSERT (InternalBaseLibIsListValid (ListHead)); ASSERT > > > + (!VERIFY_IS_NODE_IN_LIST (ListHead, Entry)); > > > > > > Entry->ForwardLink =3D ListHead->ForwardLink; > > > Entry->BackLink =3D ListHead; > > > @@ -285,7 +268,8 @@ InsertTailList ( > > > // > > > // ASSERT List not too long and Entry is not one of the nodes of L= ist > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (ListHead, Entry, FALSE)); > > > + ASSERT (InternalBaseLibIsListValid (ListHead)); ASSERT > > > + (!VERIFY_IS_NODE_IN_LIST (ListHead, Entry)); > > > > > > Entry->ForwardLink =3D ListHead; > > > Entry->BackLink =3D ListHead->BackLink; @@ -323,7 +307,7 @@ > > > GetFirstNode ( > > > // > > > // ASSERT List not too long > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (List, List, FALSE)); > > > + ASSERT (InternalBaseLibIsListValid (List)); > > > > > > return List->ForwardLink; > > > } > > > @@ -359,7 +343,8 @@ GetNextNode ( > > > // > > > // ASSERT List not too long and Node is one of the nodes of List > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (List, Node, TRUE)); > > > + ASSERT (InternalBaseLibIsListValid (List)); ASSERT > > > + (VERIFY_IS_NODE_IN_LIST (List, Node)); > > > > > > return Node->ForwardLink; > > > } > > > @@ -395,7 +380,8 @@ GetPreviousNode ( > > > // > > > // ASSERT List not too long and Node is one of the nodes of List > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (List, Node, TRUE)); > > > + ASSERT (InternalBaseLibIsListValid (List)); ASSERT > > > + (VERIFY_IS_NODE_IN_LIST (List, Node)); > > > > > > return Node->BackLink; > > > } > > > @@ -428,7 +414,7 @@ IsListEmpty ( > > > // > > > // ASSERT List not too long > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (ListHead, ListHead, FALSE)); > > > + ASSERT (InternalBaseLibIsListValid (ListHead)); > > > > > > return (BOOLEAN)(ListHead->ForwardLink =3D=3D ListHead); } @@ -46= 9,7 > > > +455,8 @@ IsNull ( > > > // > > > // ASSERT List not too long and Node is one of the nodes of List > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (List, Node, TRUE)); > > > + ASSERT (InternalBaseLibIsListValid (List)); ASSERT > > > + (VERIFY_IS_NODE_IN_LIST (List, Node)); > > > > > > return (BOOLEAN)(Node =3D=3D List); > > > } > > > @@ -507,7 +494,8 @@ IsNodeAtEnd ( > > > // > > > // ASSERT List not too long and Node is one of the nodes of List > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (List, Node, TRUE)); > > > + ASSERT (InternalBaseLibIsListValid (List)); ASSERT > > > + (VERIFY_IS_NODE_IN_LIST (List, Node)); > > > > > > return (BOOLEAN)(!IsNull (List, Node) && List->BackLink =3D=3D Nod= e); > > > } @@ -554,7 +542,8 @@ SwapListEntries ( > > > // > > > // ASSERT Entry1 and Entry2 are in the same linked list > > > // > > > - ASSERT (InternalBaseLibIsNodeInList (FirstEntry, SecondEntry, > > > TRUE)); > > > + ASSERT (InternalBaseLibIsListValid (FirstEntry)); ASSERT > > > + (VERIFY_IS_NODE_IN_LIST (FirstEntry, SecondEntry)); > > > > > > // > > > // Ptr is the node pointed to by FirstEntry->ForwardLink > > > -- > > > 2.12.2.windows.2 > > > > > > _______________________________________________ > > > edk2-devel mailing list > > > edk2-devel@lists.01.org > > > https://lists.01.org/mailman/listinfo/edk2-devel