[GHC] #650: Improve interaction between mutable arrays and GC

[GHC]

#650: Improve interaction between mutable arrays and GC
-------------------------------+--------------------------------------------
  Reporter:  simonmar          |          Owner:         
      Type:  task              |         Status:  new    
  Priority:  normal            |      Milestone:         
 Component:  Runtime System    |        Version:  6.4.1  
  Severity:  normal            |     Resolution:         
  Keywords:                    |             Os:  Unknown
Difficulty:  Moderate (1 day)  |   Architecture:  Unknown
-------------------------------+--------------------------------------------
Changes (by simonmar):

  * milestone:  6.6 =>

Comment:

 Dropped milestone.  Some of this work has been done in 6.6 already:
 mutable arrays are only traversed during GC if they were modified since
 the last GC (although they remain on the mutable list), and IORefs are
 only placed on the mutable list when they are modified.  Threads are also
 marked as clean/dirty to avoid traversing a thread's stack if it hasn't
 run since the last GC.

 The main thing missing is restricting the traversal of an array to just
 the parts that were modified, using card-marking or similar.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/650>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler