region we are about to unmap, so we first make a local copy of it on the
stack and use the copy. */
+void mmalloc_pre_detach(void *md)
+{
+ struct mdesc *mdp = md;
+
+ if(--mdp->refcount == 0){
+ LOCK(mdp) ;
+ sem_destroy(&mdp->sem);
+ }
+}
+
void *mmalloc_detach(void *md)
{
- struct mdesc mtemp;
+ struct mdesc *mdp = (struct mdesc *)md;
+ struct mdesc mtemp, *mdptemp;
+
+ if (mdp != NULL) {
+ /* Remove the heap from the linked list of heaps attached by mmalloc */
+ mdptemp = __mmalloc_default_mdp;
+ while(mdptemp->next_mdesc != mdp )
+ mdptemp = mdptemp->next_mdesc;
- if (md != NULL) {
+ mdptemp->next_mdesc = mdp->next_mdesc;
+ mmalloc_pre_detach(md);
mtemp = *(struct mdesc *) md;
- xbt_os_mutex_destroy(((struct mdesc *) md)->mutex);
/* Now unmap all the pages associated with this region by asking for a
negative increment equal to the current size of the region. */
