Module: xenomai-head
Branch: master
Commit: 411ca80c1a4c8ea64e972bde8e8bb81d03527efd

Author: Gilles Chanteperdrix <>
Date:   Sun Aug 22 16:52:32 2010 +0200

fix comment


 src/skins/common/sem_heap.c |   10 +++-------
 1 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/skins/common/sem_heap.c b/src/skins/common/sem_heap.c
index d954db4..23678cd 100644
--- a/src/skins/common/sem_heap.c
+++ b/src/skins/common/sem_heap.c
@@ -82,19 +82,15 @@ static void unmap_on_fork(void)
           Otherwise the global heap would be used instead, which
           leads to unwanted effects.
-          We set xeno_sem_heap[PRIVATE] to NULL on machines with an
-          MMU, so that any reference to the private heap prior to
+          We set xeno_sem_heap[PRIVATE] to NULL. On machines with an
+          MMU, any reference to the private heap prior to
           re-binding will cause a segmentation fault.
-          On machines without an MMU, we keep the address unchanged,
-          it will cause unwanted mutual exclusion with the father,
-          but at least, we will not get any memory corruption.
+          On machines without an MMU, there is no such thing as fork.
        munmap((void *)xeno_sem_heap[PRIVATE], private_hdesc.size);
-#ifdef CONFIG_MMU
        xeno_sem_heap[PRIVATE] = NULL;
        init_private_heap = PTHREAD_ONCE_INIT;

Xenomai-git mailing list

Reply via email to