Re: [PATCH][RFC] 4K stacks default, not a debug thing any more...?

[Rene Herman <rene.herman@gmail.com>]

On 07/17/2007 01:45 AM, Bodo Eggert wrote:

> On Tue, 17 Jul 2007, Rene Herman wrote:
>> On 07/17/2007 12:37 AM, Ray Lee wrote:

>>> If at some point one of the pro-4k stacks crowd can prove that all 
>>> code paths are safe
>> I'll do that the minute you prove the current shared 8K stacks are
>> safe. Do we have a deal?
> 
> You claim 4k+4k is safe, therefore 8k must be safe, too.

No, I most certainly do not. I claim proving that 4K and seperate (per cpu) 
interrupt stacks are safe are exactly the same as proving unshared 8K stacks 
are safe. That is, you don't, no such proof exists other than in the eating 
of the pudding. Ray (and you) in considering !CONFIG_4KSTACKS to be "safer" 
than CONFIG_4KSTACKS suggest that _inevitably_ CONFIG_4KSTACKS would leave 
you with less available stack and I pointed out this isn't be the case.

And in fact, I shouldn't have said "exactly" the same. Unshared interrupt 
stacks make for more determistisc behaviour, so you'd have a harder time 
proven anything to some set limit of uncertainty with the shared 8K stacks 
than with the unshared 4K stacks.

> But if 8k is safe, this does not yet prove that you can store 5k+3k in
> 4k+4k.

I really have not made any claim of the kind. The argument is that with 
CONFIG_4KSTACKS, availeble stack space isn't inevitably less at any point in 
time.

Rene.