/**
* TODO
*/
~dynqueue() {
union { Node * n; void * n2; } p;
while(cachepop(&p.n2)) free(p.n);
while(head != tail) {
p.n = (Node*)head;
head = head->next;
free(p.n);
}
if (head) free((void*)head);
if (cache) freeAlignedMemory(cache);
}
/**
* Default destructor
*/
~SWSR_Ptr_Buffer() {
// freeAlignedMemory is a function defined in 'sysdep.h'
freeAlignedMemory(buf);
}
/**
* Destructor
*/
~Lamport_Buffer() {
freeAlignedMemory(buf);
}
