public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
From: Rene Herman <rene.herman@gmail.com>
To: Bodo Eggert <7eggert@gmx.de>
Cc: Ray Lee <ray-lk@madrabbit.org>, Matt Mackall <mpm@selenic.com>,
	Jeremy Fitzhardinge <jeremy@goop.org>,
	Jesper Juhl <jesper.juhl@gmail.com>,
	Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
	William Lee Irwin III <wli@holomorphy.com>,
	David Chinner <dgc@sgi.com>,
	Arjan van de Ven <arjan@infradead.org>
Subject: Re: [PATCH][RFC] 4K stacks default, not a debug thing any more...?
Date: Tue, 17 Jul 2007 16:38:14 +0200	[thread overview]
Message-ID: <469CD456.801@gmail.com> (raw)
In-Reply-To: <Pine.LNX.4.58.0707171119050.2210@be1.lrz>

On 07/17/2007 12:06 PM, Bodo Eggert wrote:

> On Tue, 17 Jul 2007, Rene Herman wrote:
>> On 07/17/2007 01:45 AM, Bodo Eggert wrote:

>>> 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.
> 
> And yet you have a more strict claim than I do. If you are right, I'll be
> right, too, because two times less-than-4K is less tham 8K.

Firstly, it's not two times 4K but 4K + (4K + 4K) * NR_CPUS. Secondly, _you_ 
are the one making claims -- specifically that !CONFIG_4KSTACKS is "safer", 
happily ignoring the fact that generally speaking available process stack 
can be _better_ with CONFIG_4KSTACKS and there seems to exist but _one_ 
(één, ein, une) known situation where it's problematic.

Must there be none rather than one? In some senses maybe, if the problem is 
more than bad, fixable code but I doubt you know this. CONFIG_4KSTACKS is 
much better on the VM (and hence faster) and as such, any user not using the 
one nicely isolated and identified problem case benefits from it. This means 
it's either very close or already _at_ the point of being the best default 
for the kernel. Changing options is for users with special needs, as you 
believe you are.

I truly apologise for taking it into this direction but you're wearing me 
down rapidly. Every single time you insert some uninformed crap comment that 
shows that you both don't understand the issue and didn't understand what 
the other person was saying and then after being made aware of such, ignore 
that and follow up with the next uninformed crap comment. That is, you seem 
to care less about the issue then about the discussion and since for me it's 
quite the other way around I'm leaving it at that.

RedHat is the one with the actual data available, and they've been enabling 
4KSTACKS for quite some time now (with some of their users apparently 
unhappy about it but not many it would seem).

Jesper also already posted how he's going to proceed: lift 4K from debug 
status and submit it as default for -mm. As to the latter bit, unless I 
remember wrong, it already _was_ default in -mm for some time a while ago so 
Andrew no doubt has an informed opinion on how to proceed with that.

Rene.

  reply	other threads:[~2007-07-17 14:39 UTC|newest]

Thread overview: 105+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <8FO1e-2jW-35@gated-at.bofh.it>
     [not found] ` <8FYWD-2eS-7@gated-at.bofh.it>
     [not found]   ` <8GdsH-8dc-13@gated-at.bofh.it>
     [not found]     ` <8Ghmx-60z-17@gated-at.bofh.it>
     [not found]       ` <8Gj55-hJ-5@gated-at.bofh.it>
     [not found]         ` <8GkNo-2Vb-1@gated-at.bofh.it>
     [not found]           ` <8GtnN-7TG-23@gated-at.bofh.it>
     [not found]             ` <8GVjY-PL-25@gated-at.bofh.it>
2007-07-15 17:17               ` [PATCH][RFC] 4K stacks default, not a debug thing any more...? Bodo Eggert
2007-07-15 17:35                 ` Arjan van de Ven
2007-07-15 18:32                   ` Måns Rullgård
2007-07-15 17:46                 ` Rene Herman
2007-07-16 13:43                   ` Bodo Eggert
2007-07-16 22:28                     ` Rene Herman
2007-07-16 22:37                       ` Ray Lee
2007-07-16 22:54                         ` Alan Cox
2007-07-16 22:53                           ` Ray Lee
2007-07-16 23:05                             ` Rene Herman
2007-07-16 23:15                               ` Ray Lee
2007-07-18  0:14                                 ` Alan Cox
2007-07-18  6:39                                   ` Ray Lee
2007-07-17 17:01                           ` William Lee Irwin III
2007-07-17 23:39                             ` Jesper Juhl
2007-07-18  0:22                               ` Rene Herman
2007-07-16 22:54                         ` Jesper Juhl
2007-07-16 23:01                           ` Rene Herman
2007-07-16 23:42                           ` Bodo Eggert
2007-07-16 23:51                             ` Jesper Juhl
2007-07-19 19:34                             ` Denis Vlasenko
2007-07-19 20:04                               ` Bodo Eggert
2007-07-16 22:55                         ` Rene Herman
2007-07-16 23:07                           ` Matt Mackall
2007-07-16 23:12                             ` Rene Herman
2007-07-16 23:27                               ` Matt Mackall
2007-07-16 23:32                                 ` Rene Herman
2007-07-18  2:38                                 ` Rene Herman
2007-07-18 16:54                                   ` Matt Mackall
2007-07-18 17:17                                     ` Rene Herman
2007-07-19  0:15                                 ` Andrea Arcangeli
2007-07-19  0:39                                   ` Alan Cox
2007-07-19  1:33                                     ` Andrea Arcangeli
2007-07-19  1:37                                       ` Matt Mackall
2007-07-19  1:56                                         ` Rene Herman
2007-07-19 11:24                                         ` Andrea Arcangeli
2007-07-19 11:44                                           ` Alan Cox
2007-07-27 13:02                                             ` Eric Sandeen
2007-07-27 17:38                                               ` Alan Cox
2007-07-27 18:31                                                 ` Satyam Sharma
2007-08-01  3:53                                                   ` Eric Sandeen
2007-08-01  8:11                                                     ` Dan Merillat
2007-08-01 10:04                                                       ` Neil Brown
2007-08-10  4:51                                                         ` Dan Merillat
2007-08-10  4:59                                                           ` Neil Brown
2007-08-01 13:33                                                       ` Andrea Arcangeli
2007-08-01 15:44                                                         ` Alan Cox
2007-08-10  1:03                                                           ` Dan Merillat
2007-07-19  9:23                                       ` Alan Cox
2007-07-19 10:52                                         ` Andrea Arcangeli
2007-07-27 13:03                                     ` Eric Sandeen
2007-07-27 17:18                                       ` Krzysztof Halasa
2007-07-19  0:41                                   ` Matt Mackall
2007-07-19  0:48                                     ` Rene Herman
2007-07-19  1:28                                       ` Matt Mackall
2007-07-16 23:13                           ` Ray Lee
2007-07-16 23:22                             ` Rene Herman
2007-07-16 23:35                               ` Jesper Juhl
2007-07-16 23:40                               ` Ray Lee
2007-07-17  0:57                                 ` Rene Herman
2007-07-17 16:14                                   ` Shawn Bohrer
2007-07-17 16:52                                     ` Rene Herman
2007-07-17 17:45                                       ` Zan Lynx
2007-07-18  0:16                                     ` Alan Cox
2007-07-16 23:45                           ` Bodo Eggert
2007-07-17  0:28                             ` Rene Herman
2007-07-17 10:06                               ` Bodo Eggert
2007-07-17 14:38                                 ` Rene Herman [this message]
2007-07-17 23:19                                   ` Bodo Eggert
2007-07-17 23:29                                     ` Arjan van de Ven
2007-07-19 17:20                                       ` Bodo Eggert
2007-07-17 23:57                                     ` Rene Herman
2007-07-19 17:05                                       ` Bodo Eggert
2007-07-16 23:26                       ` utz lehmann
2007-07-16 23:39                         ` Måns Rullgård
2007-07-17  1:00                         ` Rene Herman
2007-07-17 14:45                         ` John Stoffel
2007-07-17 23:46                           ` utz lehmann
     [not found] <8IdHQ-7Pm-25@gated-at.bofh.it>
     [not found] ` <8IdHQ-7Pm-27@gated-at.bofh.it>
     [not found]   ` <8IdHQ-7Pm-29@gated-at.bofh.it>
     [not found]     ` <8IdHQ-7Pm-31@gated-at.bofh.it>
     [not found]       ` <8IdHQ-7Pm-33@gated-at.bofh.it>
     [not found]         ` <8IdHQ-7Pm-35@gated-at.bofh.it>
     [not found]           ` <8IdHQ-7Pm-37@gated-at.bofh.it>
     [not found]             ` <8IdHQ-7Pm-39@gated-at.bofh.it>
     [not found]               ` <8IdHQ-7Pm-41@gated-at.bofh.it>
     [not found]                 ` <8IdHQ-7Pm-43@gated-at.bofh.it>
     [not found]                   ` <8IdHQ-7Pm-45@gated-at.bofh.it>
     [not found]                     ` <8IdHQ-7Pm-47@gated-at.bofh.it>
     [not found]                       ` <8IdHQ-7Pm-49@gated-at.bofh.it>
     [not found]                         ` <8IdHQ-7Pm-23@gated-at.bofh.it>
2007-07-18 11:09                           ` Nick Craig-Wood
     [not found] <8HfVl-71J-15@gated-at.bofh.it>
     [not found] ` <8Hgoq-7Cd-21@gated-at.bofh.it>
     [not found]   ` <8Hz7K-38K-37@gated-at.bofh.it>
     [not found]     ` <8HHeZ-7R1-21@gated-at.bofh.it>
     [not found]       ` <8HHoA-835-21@gated-at.bofh.it>
     [not found]         ` <8HHI2-8r2-27@gated-at.bofh.it>
     [not found]           ` <8HI1k-Dn-25@gated-at.bofh.it>
     [not found]             ` <8HIb2-PD-11@gated-at.bofh.it>
     [not found]               ` <8HIun-1e7-33@gated-at.bofh.it>
     [not found]                 ` <8HJA3-2Nq-9@gated-at.bofh.it>
     [not found]                   ` <8HXWo-8t2-17@gated-at.bofh.it>
     [not found]                     ` <8HYzd-PZ-25@gated-at.bofh.it>
     [not found]                       ` <8HZlt-27o-7@gated-at.bofh.it>
2007-07-18  8:37                         ` Nick Craig-Wood
     [not found]           ` <8HHRD-rK-19@gated-at.bofh.it>
     [not found]             ` <8HI1j-Dn-21@gated-at.bofh.it>
     [not found]               ` <8HIb2-PD-5@gated-at.bofh.it>
     [not found]                 ` <8IrUr-4SZ-9@gated-at.bofh.it>
     [not found]                   ` <8IsdO-5g4-7@gated-at.bofh.it>
     [not found]                     ` <8It9R-6Eb-3@gated-at.bofh.it>
     [not found]                       ` <8IAkZ-WW-1@gated-at.bofh.it>
2007-07-19 13:37                         ` Bodo Eggert
2007-07-11 17:16 Jesper Juhl
2007-07-11 17:54 ` Zan Lynx
2007-07-11 20:05   ` Daniel Phillips
2007-07-11 22:09     ` Neil Brown
2007-07-12  3:15       ` Daniel Phillips
2007-07-12  4:16 ` David Chinner
2007-07-12  4:59 ` Ray Lee
2007-07-12 20:24   ` Jesper Juhl
2007-07-13  0:34     ` Jeremy Fitzhardinge
2007-07-13  2:25       ` Jesper Juhl
2007-07-13  4:14         ` Jeremy Fitzhardinge
2007-07-13  9:19           ` Jan Engelhardt
2007-07-13 13:20           ` Rene Herman
2007-07-14 19:17             ` Matt Mackall
2007-07-14 22:19               ` Rene Herman
2007-07-16 23:38                 ` Matt Mackall
2007-07-17 13:46                   ` Rene Herman
2007-07-18 17:19               ` Phillip Susi
2007-07-18 17:32                 ` Rene Herman
2007-07-18 17:32                 ` Alan Cox
2007-07-18 17:33                   ` Phillip Susi
2007-07-14 19:42         ` Matt Mackall
2007-07-12  6:08 ` Jeremy Fitzhardinge
2007-07-12  6:37   ` David Chinner

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=469CD456.801@gmail.com \
    --to=rene.herman@gmail.com \
    --cc=7eggert@gmx.de \
    --cc=arjan@infradead.org \
    --cc=dgc@sgi.com \
    --cc=jeremy@goop.org \
    --cc=jesper.juhl@gmail.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mpm@selenic.com \
    --cc=ray-lk@madrabbit.org \
    --cc=wli@holomorphy.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox