Re: [Haskell-cafe] Estimating the time to garbage collect

2009-05-04 Thread Duncan Coutts
On Fri, 2009-05-01 at 09:14 +0100, Neil Davies wrote: Hi With the discussion on threads and priority, and given that (in Stats.c) there are lots of useful pieces of information that the run time system is collecting, some of which is already visible (like the total amount of memory

Re: [Haskell-cafe] Estimating the time to garbage collect

2009-05-04 Thread Neil Davies
Duncan That was my first thought - but what I'm looking for is some confirmation from those who know better that treating the GC as 'statistical source' is a valid hypothesis. If the thing is 'random' that's fine - if its timing is non-deterministic, that's not fine. So GC experts are

Re: [Haskell-cafe] Estimating the time to garbage collect

2009-05-04 Thread Duncan Coutts
On Mon, 2009-05-04 at 15:05 +0100, Neil Davies wrote: Duncan That was my first thought - but what I'm looking for is some confirmation from those who know better that treating the GC as 'statistical source' is a valid hypothesis. If the thing is 'random' that's fine - if its timing is

Re: [Haskell-cafe] Estimating the time to garbage collect

2009-05-02 Thread Neil Davies
Yes, you've got the problem domain. I don't have to deliver responses to stimuli all the time within a bound, but I need to supply some probability for that figure. That problem domain is everywhere - all that varies is the bound on the time and the probability of meeting it. 'Hard real time'

[Haskell-cafe] Estimating the time to garbage collect

2009-05-01 Thread Neil Davies
Hi With the discussion on threads and priority, and given that (in Stats.c) there are lots of useful pieces of information that the run time system is collecting, some of which is already visible (like the total amount of memory mutated) and it is easy to make other measures available -

Re: [Haskell-cafe] Estimating the time to garbage collect

2009-05-01 Thread John Van Enk
I think the problem becomes slightly easier if you can provide an upper bound on the time GC will take. If I understand your problem domain, Neil, you're most concerned with holding up other processes/partitions who are expecting to have a certain amount of processing time per frame. If we can