Table of Contents

To do

Events

  • bug fix : some pthread_mutex*lock errors were not handled correctly, and some mutex were not used correctly (2009/05 — 2009/06/17)
  • bug report : having too many threads leads to segmentation fault (2009/04 — 2009/05) (2009/06/17 : should be fixed)
  • automatic fix for page_size and shared_size → multiple of 2 (2009/04/23)
  • growing shared_heap (naively) (2009/04/21)
  • bug fix extern.c (globals are now “thread-local”)(2009/04/20)
  • bug fix io.c (globals → mutex)(2009/04/20)
  • freelist.c removed from runtime (2009/04/19)
  • finalize.c merged with gci.c (2009/04/17)
  • bug exception backtrace ? (globals) → not fixed yet as it's unused in ocaml-3.10.2(2009/04/16)
  • bug fix compare.c (globals → local variables, function arguments) (2009/04/16)
  • smaller package (2009/04/14)
  • (gci.c, gci.h, posix.c) put back “enter/leave blocking section” / blocking I/O operations don't block the whole program anymore (2009/04/08)
  • (posix.c, gci.c, gci.h) reimplementation of Thread.join (for better performance) (2009/04/08)
  • (amd64.S) (bug) segmentation fault when exception raised from C-code (2009/04/07)
  • (posix.c) implementation of Condition.create, Condition.wait, Condition.broadcast, Condition.signal (2009/04/03)
  • (*) implementation of a Caml interface to communicate with the GC at runtime (2009/04/03)
  • first public (alpha) release (2009/04/02)
  • (build.sh) update distribution package building script (2009/04/02)
  • (posix.c, gci.c, gci.h) working Mutex.create, Mutex.lock, Mutex.unlock, Thread.create and Thread.join (2009/04/02)
  • (bug) runtime library dead-lock with mutex (2009/04/02)
  • (posix.c, gci.c, gci.h) implementation of mutexes (2009/04/01)
  • (amd64.S) (bug) error with some page sizes (2009/03/29)
  • (bug elimination) working Thread.join (2009/03/26)
  • (bug) bypass of Thread.join (2009/03/26)
  • (gen_package.sh) distribution package building script (2009/03/23)
  • (build.sh) full-building script (2009/03/23)
  • implementation of Thread.create, Thread.join (2008)
  • asm optimisation (inline alloc in amd64.S; break compatibility with Boehm's GC) (2008)
  • implementation of “stop the world” mechanism (change of gci.h)
  • implementation of our own “Stop&Copy GC” (2008)
  • (benchmarks) very poor performances using (naively) Boehm's GC (2008)
  • plug (naively) Boehm's GC using (gci.h) (2008)
  • implementation of (gci.h) interface to plug alternative GCs (2008)

Notes

  • working means “working without known bugs”
  • “striking-through text” means elimination
  • 2009/06/17 : mutex locks errors were not exhaustively handled, so some locks tried to lock invalid values and these operations were not detected. By adding error handlers, the detection of invalid values were made quite easier. So we have reached, again, the state of no-known-bugs.
 
log.txt · Last modified: 2009/06/17 17:24 by philippe