NEWS: some notes on interrupts;
authorwenzelm
Thu Sep 09 18:32:21 2010 +0200 (2010-09-09)
changeset 3923947273e5b1441
parent 39238 7189a138dd6c
child 39240 a0c0698e56c0
NEWS: some notes on interrupts;
NEWS
     1.1 --- a/NEWS	Thu Sep 09 18:21:06 2010 +0200
     1.2 +++ b/NEWS	Thu Sep 09 18:32:21 2010 +0200
     1.3 @@ -252,6 +252,14 @@
     1.4  theory loader state as before.  Potential INCOMPATIBILITY, subtle
     1.5  change in semantics.
     1.6  
     1.7 +* Parallel and asynchronous execution requires special care concerning
     1.8 +interrupts.  Structure Exn provides some convenience functions that
     1.9 +avoid working directly with raw Interrupt.  User code must not absorb
    1.10 +interrupts -- intermediate handling (for cleanup etc.) needs to be
    1.11 +followed by re-raising of the original exception.  Another common
    1.12 +source of mistakes are "handle _" patterns, which make the meaning of
    1.13 +the program subject to physical effects of the environment.
    1.14 +
    1.15  
    1.16  *** System ***
    1.17