Skip to content
  • Keith Wansbrough's avatar
    [project @ 1999-05-11 16:47:39 by keithw] · eb407ca1
    Keith Wansbrough authored
    (this is number 9 of 9 commits to be applied together)
    
      Usage verification changes / ticky-ticky changes:
    
      We want to verify that SingleEntry thunks are indeed entered at most
      once.  In order to do this, -ticky / -DTICKY_TICKY turns on eager
      blackholing.  We blackhole with new blackholes: SE_BLACKHOLE and
      SE_CAF_BLACKHOLE.  We will enter one of these if we attempt to enter
      a SingleEntry thunk twice.  Note that CAFs are dealt with in by
      codeGen, and ordinary thunks by the RTS.
    
      We also want to see how many times we enter each Updatable thunk.
      To this end, we have modified -ticky.  When -ticky is on, we update
      with a permanent indirection, and arrange that when we enter a
      permanent indirection we count the entry and then convert the
      indirection to a normal indirection.  This gives us a means of
      counting the number of thunks entered again after the first entry.
      Obviously this screws up profiling, and so you can't build a ticky
      and profiling compiler any more.
    
      Also a few other changes that didn't make it into the previous 8
      commits, but form a part of this set.
    eb407ca1