On 06/11/2014 09:56, Simon Peyton Jones wrote:
|   Oh, and the reason you have the debug RTS in your compiler is because
|  `-ticky` implies `-debug

Interesting.  I didn't know that.  Is that a good idea? Wouldn't it be better 
to make them independent?

See #3439, as you'll note it was your idea too :)

The alternative is worse: if they were separate, then we have to multiply the number of variants of the RTS we currently have by two (non-ticky and ticky). We currently build 6-8 versions of the RTS depending on whether you have profiling on, and if ticky were a separate option it would double that number. You could choose not to build some of the combinations, but then you might be surprised when -ticky doesn't work with some other option.

The other part of the rationale is that if you're using -ticky then you're already taking a performance hit from the counters, so adding more overhead, in the form of the extra checks that -debug does, doesn't hurt.

Cheers,
Simon


Simon

|  -----Original Message-----
|  From: ghc-tickets [mailto:ghc-tickets-boun...@haskell.org] On Behalf
|  Of GHC
|  Sent: 06 November 2014 08:37
|  Cc: ghc-tick...@haskell.org
|  Subject: Re: [GHC] #9741: Interpreter stack checks are not quite right
|
|  #9741: Interpreter stack checks are not quite right
|  -------------------------------------+--------------------------------
|  --
|  -------------------------------------+---
|                Reporter:  simonpj     |            Owner:  simonmar
|                    Type:  bug         |           Status:  closed
|                Priority:  highest     |        Milestone:  7.10.1
|               Component:  Compiler    |          Version:  7.8.3
|              Resolution:  fixed       |         Keywords:
|        Operating System:              |     Architecture:
|  Unknown/Multiple
|    Unknown/Multiple                   |       Difficulty:  Unknown
|         Type of failure:              |       Blocked By:
|    None/Unknown                       |  Related Tickets:
|               Test Case:              |
|                Blocking:              |
|  Differential Revisions:              |
|  -------------------------------------+--------------------------------
|  --
|  -------------------------------------+---
|
|  Comment (by simonmar):
|
|   Oh, and the reason you have the debug RTS in your compiler is because
|  `-ticky` implies `-debug`.  Incidentally this is probably slowing down
|  your builds quite a lot, so you might want to turn it off.
|
|  --
|  Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9741#comment:5>
|  GHC <http://www.haskell.org/ghc/>
|  The Glasgow Haskell Compiler
|  _______________________________________________
|  ghc-tickets mailing list
|  ghc-tick...@haskell.org
|  http://www.haskell.org/mailman/listinfo/ghc-tickets
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

Reply via email to