Funktionalitt

- Versionsnummern vergleichen bei IPC

- Ein closed wait kettet sich nicht beim Sender ein -- daher kann beim
  Tasklschen des Absenders der IPC nicht beendet werden.

- long IPC
  * Frank: Was geht dort noch nicht?

- IPC aus dem speicher kann page faults und damit IPC und blockieren
  auslsen -- daher ist der signalmechanismus als
  transaktionsmechanismus allein nicht geeignet, da signale (bisher)
  nicht blockieren drfen und nicht geschachtelt werden knnen

- IPC via Chiefs

- tasks/thread lschen

- mapping database

- i/o flexpages
  * Frank: Geht schon, aber noch nicht in Mapping-Database.

- profiling: Erzeugt momentan das alte BSD-GPROF4-Format, das keine
  Magic Number und keine Samplefrequenzangabe enthlt.  Erzeuge
  entweder das 4.4BSD-Format (enthlt beides, wird aber defaultmig
  von den GNU-Binutils nicht erkannt (nur auf BSDs)), oder gleich das
  GNU-Format (nimm src aus libc6).

--

Source code cosmetix

- class kmem sollte mit space_t verwandt sein, und kmem sollte ein
  richtiges Objekt sein.

- "Signal" sollte in "transactional message" umbenannt werden

- Objektvariablen "my_foo" sollten in "_foo" umbenannt werden

--

performance

- viele assertions -- diese sollten selektiv abschaltbar sein; zB
  knnten assertions auf dem IPC-Pfad als "expensive_assert()"
  markiert werden
  * Frank: Finde ich nicht gut. Entweder, Assertions an oder aus.
           Besser: Assertions als EXPECT_FALSE deklarieren, dann
	   kosten sie wenig. Geht aber nur ab gcc 3.

