Tirsdag d. 5. maj 2009

Dagsorden

• Håndtering af race-conditions. Vi skal finde ud af om vi vil gøre noget ved de mulige race conditions i eventkøen. Ind til videre er det bedste vi har fundet ud af at gøre, at disable interrupts globalt når en mutex tilgås.

• I hvor høj grad skal vi beskrive transformeringsmodulerne fra Red til F og fra F til C? Vi har i praksis ikke modificeret dem, og kommer næppe til at lave ændringer af betydning, og samtidigt er deres implementering yderst teknisk kompliceret, dog uden at være konceptuelt interessant (bortset fra deres fantastiske brug af monader).