
#7763: Resource limits for Haskell ---------------------------------+------------------------------------------ Reporter: ezyang | Owner: ezyang Type: feature request | Status: patch Priority: normal | Milestone: Component: Profiling | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by simonpj): * difficulty: => Unknown Comment: Simon M is really the main expert (and gatekeeper) for this kind of feature. It certainly looks interesting, and resource control is an important question. But (tell me if I'm wrong) it's not at all trivial, and the patch runs to 1,200 lines (pretty small actually). I don't know whether it's all very independent of existing stuff, or whether it interacts in subtle ways. I had a look at the Wiki page and I really can't deduce the intended semantics. Would it be possible to add a bit more by way of general introduction to the API? And a function-by-function description saying what each does? I'm missing quite basic understandings like what things I can attach resource limits to (threads? arbitrary expressions?) Plus, how the tricky problems are addressed? For example, when a data structure is shared between two resource-limited things, which does it get charged to, if either? Perhaps it'd be worth emitting to Haskell Cafe the link to the design description, to encourage them to look at it, and take advantage of all the smart people there? Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7763#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler