X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2f5a2e23987ab74ad87320adce1bb1c886595410..dbacefe09d961d21ce12a7aa223b1177e9b3c323:/src/xbt/swag.c diff --git a/src/xbt/swag.c b/src/xbt/swag.c index 1b2fb7b165..5a11ab7fc5 100644 --- a/src/xbt/swag.c +++ b/src/xbt/swag.c @@ -1,6 +1,5 @@ -/* $Id$ */ - -/* Copyright (c) 2004 Arnaud Legrand. All rights reserved. */ +/* Copyright (c) 2004, 2005, 2006, 2007, 2008, 2009, 2010. The SimGrid Team. + * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -12,40 +11,32 @@ /* This type should be added to a type that is to be used in such a swag */ #include "xbt/sysdep.h" -#include "xbt/error.h" +#include "xbt/log.h" #include "xbt/swag.h" -XBT_LOG_NEW_DEFAULT_SUBCATEGORY(swag,xbt,"Swag : O(1) set library"); - -#define PREV(obj,offset) xbt_swag_getPrev(obj,offset) -#define NEXT(obj,offset) xbt_swag_getNext(obj,offset) - /** Creates a new swag. * \param offset where the hookup is located in the structure * \see xbt_swag_offset * - * Usage : xbt_swag_new(&obj.setA-&obj); + * Usage : xbt_swag_new(&obj.setA-&obj); */ -xbt_swag_t xbt_swag_new(size_t offset) +XBT_INLINE xbt_swag_t xbt_swag_new(size_t offset) { xbt_swag_t swag = xbt_new0(s_xbt_swag_t, 1); - swag->tail = NULL; - swag->head = NULL; - swag->offset = offset; - swag->count = 0; + xbt_swag_init(swag, offset); return swag; } -/** +/** * \param swag poor victim - * + * * kilkil a swag but not it's content. If you do not understand why * xbt_swag_free should not free its content, don't use swags. */ -void xbt_swag_free(xbt_swag_t swag) +XBT_INLINE void xbt_swag_free(xbt_swag_t swag) { free(swag); } @@ -55,9 +46,9 @@ void xbt_swag_free(xbt_swag_t swag) * \param offset where the hookup is located in the structure * \see xbt_swag_offset * - * Usage : xbt_swag_init(swag,&obj.setA-&obj); + * Usage : xbt_swag_init(swag,&obj.setA-&obj); */ -void xbt_swag_init(xbt_swag_t swag, size_t offset) +XBT_INLINE void xbt_swag_init(xbt_swag_t swag, size_t offset) { swag->tail = NULL; swag->head = NULL; @@ -66,13 +57,13 @@ void xbt_swag_init(xbt_swag_t swag, size_t offset) } -/** +/** * \param obj the objet to insert in the swag * \param swag a swag * * insert \a obj in \a swag */ -void xbt_swag_insert(void *obj, xbt_swag_t swag) +XBT_INLINE void xbt_swag_insert(void *obj, xbt_swag_t swag) { if (xbt_swag_belongs(obj, swag)) @@ -80,26 +71,25 @@ void xbt_swag_insert(void *obj, xbt_swag_t swag) (swag->count)++; if (swag->head == NULL) { - xbt_assert0(!(swag->tail), "Inconsistent swag."); + xbt_assert(!(swag->tail), "Inconsistent swag."); swag->head = obj; swag->tail = obj; return; } - PREV(obj, swag->offset) = swag->tail; - NEXT(PREV(obj, swag->offset), swag->offset) = obj; - + xbt_swag_getPrev(obj, swag->offset) = swag->tail; + xbt_swag_getNext(swag->tail, swag->offset) = obj; swag->tail = obj; } -/** +/** * \param obj the objet to insert in the swag * \param swag a swag * * insert (at the head... you probably had a very good reason to do * that, I hope you know what you're doing) \a obj in \a swag */ -void xbt_swag_insert_at_head(void *obj, xbt_swag_t swag) +XBT_INLINE void xbt_swag_insert_at_head(void *obj, xbt_swag_t swag) { if (xbt_swag_belongs(obj, swag)) @@ -107,26 +97,25 @@ void xbt_swag_insert_at_head(void *obj, xbt_swag_t swag) (swag->count)++; if (swag->head == NULL) { - xbt_assert0(!(swag->tail), "Inconsistent swag."); + xbt_assert(!(swag->tail), "Inconsistent swag."); swag->head = obj; swag->tail = obj; return; } - NEXT(obj, swag->offset) = swag->head; - PREV(NEXT(obj, swag->offset), swag->offset) = obj; - + xbt_swag_getNext(obj, swag->offset) = swag->head; + xbt_swag_getPrev(swag->head, swag->offset) = obj; swag->head = obj; } -/** +/** * \param obj the objet to insert in the swag * \param swag a swag * * insert (at the tail... you probably had a very good reason to do * that, I hope you know what you're doing) \a obj in \a swag */ -void xbt_swag_insert_at_tail(void *obj, xbt_swag_t swag) +XBT_INLINE void xbt_swag_insert_at_tail(void *obj, xbt_swag_t swag) { if (xbt_swag_belongs(obj, swag)) @@ -134,59 +123,60 @@ void xbt_swag_insert_at_tail(void *obj, xbt_swag_t swag) (swag->count)++; if (swag->head == NULL) { - xbt_assert0(!(swag->tail), "Inconsistent swag."); + xbt_assert(!(swag->tail), "Inconsistent swag."); swag->head = obj; swag->tail = obj; return; } - PREV(obj, swag->offset) = swag->tail; - NEXT(PREV(obj, swag->offset), swag->offset) = obj; - + xbt_swag_getPrev(obj, swag->offset) = swag->tail; + xbt_swag_getNext(swag->tail, swag->offset) = obj; swag->tail = obj; } -/** +/** * \param obj the objet to remove from the swag * \param swag a swag * \return \a obj if it was in the \a swag and NULL otherwise * * removes \a obj from \a swag */ -void *xbt_swag_remove(void *obj, xbt_swag_t swag) +XBT_INLINE void *xbt_swag_remove(void *obj, xbt_swag_t swag) { size_t offset = swag->offset; if ((!obj) || (!swag)) return NULL; - if(!xbt_swag_belongs(obj, swag)) /* Trying to remove an object that - was not in this swag */ - return NULL; + if (!xbt_swag_belongs(obj, swag)) /* Trying to remove an object that + was not in this swag */ + return NULL; - if (swag->head == swag->tail) { /* special case */ - if (swag->head != obj) /* Trying to remove an object that was not in this swag */ + if (swag->head == swag->tail) { /* special case */ + if (swag->head != obj) /* Trying to remove an object that was not in this swag */ return NULL; swag->head = NULL; swag->tail = NULL; - NEXT(obj, offset) = PREV(obj, offset) = NULL; - } else if (obj == swag->head) { /* It's the head */ - swag->head = NEXT(obj, offset); - PREV(swag->head, offset) = NULL; - NEXT(obj, offset) = NULL; - } else if (obj == swag->tail) { /* It's the tail */ - swag->tail = PREV(obj, offset); - NEXT(swag->tail, offset) = NULL; - PREV(obj, offset) = NULL; - } else { /* It's in the middle */ - NEXT(PREV(obj, offset), offset) = NEXT(obj, offset); - PREV(NEXT(obj, offset), offset) = PREV(obj, offset); - PREV(obj, offset) = NEXT(obj, offset) = NULL; + xbt_swag_getNext(obj, offset) = xbt_swag_getPrev(obj, offset) = NULL; + } else if (obj == swag->head) { /* It's the head */ + swag->head = xbt_swag_getNext(obj, offset); + xbt_swag_getPrev(swag->head, offset) = NULL; + xbt_swag_getNext(obj, offset) = NULL; + } else if (obj == swag->tail) { /* It's the tail */ + swag->tail = xbt_swag_getPrev(obj, offset); + xbt_swag_getNext(swag->tail, offset) = NULL; + xbt_swag_getPrev(obj, offset) = NULL; + } else { /* It's in the middle */ + xbt_swag_getNext(xbt_swag_getPrev(obj, offset), offset) = + xbt_swag_getNext(obj, offset); + xbt_swag_getPrev(xbt_swag_getNext(obj, offset), offset) = + xbt_swag_getPrev(obj, offset); + xbt_swag_getPrev(obj, offset) = xbt_swag_getNext(obj, offset) = NULL; } (swag->count)--; return obj; } -/** +/** * \param swag a swag * \return an object from the \a swag */ @@ -200,34 +190,91 @@ void *xbt_swag_extract(xbt_swag_t swag) obj = swag->head; - if (swag->head == swag->tail) { /* special case */ + if (swag->head == swag->tail) { /* special case */ swag->head = swag->tail = NULL; - PREV(obj, offset) = NEXT(obj, offset) = NULL; + xbt_swag_getPrev(obj, offset) = xbt_swag_getNext(obj, offset) = NULL; } else { - swag->head = NEXT(obj, offset); - PREV(swag->head, offset) = NULL; - NEXT(obj, offset) = NULL; + swag->head = xbt_swag_getNext(obj, offset); + xbt_swag_getPrev(swag->head, offset) = NULL; + xbt_swag_getNext(obj, offset) = NULL; } (swag->count)--; return obj; } -/** + +/** * \param swag a swag * \return the number of objects in \a swag */ -int xbt_swag_size(xbt_swag_t swag) +XBT_INLINE int xbt_swag_size(xbt_swag_t swag) { return (swag->count); } -/** - * \param obj an object - * \param swag a swag - * \return 1 if \a obj is in the \a swag and 0 otherwise - */ -int xbt_swag_belongs(void *obj, xbt_swag_t swag) + +#ifdef SIMGRID_TEST + +XBT_TEST_SUITE("swag", "Swag data container"); + +typedef struct { + s_xbt_swag_hookup_t setA; + s_xbt_swag_hookup_t setB; + const char *name; +} shmurtz, s_shmurtz_t, *shmurtz_t; + + +XBT_TEST_UNIT("basic", test_swag_basic, "Basic usage") { - return ((NEXT(obj, swag->offset)) || (PREV(obj, swag->offset)) - || (swag->head == obj)); + shmurtz_t obj1, obj2, obj; + xbt_swag_t setA, setB; + + obj1 = xbt_new0(s_shmurtz_t, 1); + obj2 = xbt_new0(s_shmurtz_t, 1); + + obj1->name = "Obj 1"; + obj2->name = "Obj 2"; + + xbt_test_add("Basic usage"); + xbt_test_log("%p %p %ld\n", obj1, &(obj1->setB), + (long) ((char *) &(obj1->setB) - (char *) obj1)); + + setA = xbt_swag_new(xbt_swag_offset(*obj1, setA)); + setB = xbt_swag_new(xbt_swag_offset(*obj1, setB)); + + xbt_swag_insert(obj1, setA); + xbt_swag_insert(obj1, setB); + xbt_swag_insert(obj2, setA); + xbt_swag_insert(obj2, setB); + + xbt_swag_remove(obj1, setB); + /* xbt_swag_remove(obj2, setB); */ + + xbt_test_add("Traverse set A"); + xbt_swag_foreach(obj, setA) { + xbt_test_log("Saw: %s", obj->name); + } + + xbt_test_add("Traverse set B"); + xbt_swag_foreach(obj, setB) { + xbt_test_log("Saw: %s", obj->name); + } + + xbt_test_add("Ensure set content and length"); + xbt_test_assert(xbt_swag_belongs(obj1, setA)); + xbt_test_assert(xbt_swag_belongs(obj2, setA)); + + xbt_test_assert(!xbt_swag_belongs(obj1, setB)); + xbt_test_assert(xbt_swag_belongs(obj2, setB)); + + xbt_test_assert(xbt_swag_size(setA) == 2); + xbt_test_assert(xbt_swag_size(setB) == 1); + + xbt_swag_free(setA); + xbt_swag_free(setB); + + xbt_free(obj1); + xbt_free(obj2); } + +#endif /* SIMGRID_TEST */