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

Rene Herman
2007-07-17T00:29:43Z

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.