All of lore.kernel.org
 help / color / mirror / Atom feed
From: Jan Kiszka <jan.kiszka@siemens.com>
To: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Cc: Xenomai <xenomai@xenomai.org>
Subject: Re: [Xenomai] Dealing with too small thread stacks
Date: Fri, 17 Apr 2015 20:34:00 +0200	[thread overview]
Message-ID: <55315218.70009@siemens.com> (raw)
In-Reply-To: <20150417183022.GT1589@hermes.click-hack.org>

On 2015-04-17 20:30, Gilles Chanteperdrix wrote:
> On Fri, Apr 17, 2015 at 08:26:32PM +0200, Jan Kiszka wrote:
>> On 2015-04-17 20:24, Gilles Chanteperdrix wrote:
>>> On Fri, Apr 17, 2015 at 08:17:26PM +0200, Jan Kiszka wrote:
>>>> On 2015-04-17 20:12, Gilles Chanteperdrix wrote:
>>>>> On Fri, Apr 17, 2015 at 08:10:40PM +0200, Jan Kiszka wrote:
>>>>>> On 2015-04-17 20:08, Gilles Chanteperdrix wrote:
>>>>>>> On Fri, Apr 17, 2015 at 08:05:57PM +0200, Jan Kiszka wrote:
>>>>>>>> On 2015-04-17 19:50, Gilles Chanteperdrix wrote:
>>>>>>>>> On Fri, Apr 17, 2015 at 07:34:30PM +0200, Jan Kiszka wrote:
>>>>>>>>>> Hi,
>>>>>>>>>>
>>>>>>>>>> analyzing page faults of an application that prefers to set its own
>>>>>>>>>> stacks, I noticed a problem in Xenomai (2 and 3), at least from the
>>>>>>>>>> usability POV: We document the minimum stack stack as PTHREAD_STACK_MIN
>>>>>>>>>> + 1 page, at least in Xenomai 3, and we enforce that on thread creation.
>>>>>>>>>> However, enforcement is doomed to fail if the stack is preallocated (and
>>>>>>>>>> that too small).
>>>>>>>>>>
>>>>>>>>>> As we cannot detect if the user set a stack address in pthread_attr_t, I
>>>>>>>>>> would suggest to fail thread creation instead of performing it with
>>>>>>>>>> improper parameters. Other suggestions? If not, I would prepare a patch
>>>>>>>>>> for Xenomai 3 (for 2 only if desired).
>>>>>>>>>
>>>>>>>>> It seems to me we can detect the parameters in the pthread_attr_t
>>>>>>>>> using pthread_attr_getstack. So, we can get __wrap_pthread_create to
>>>>>>>>> fail if the size is not sufficient.
>>>>>>>>
>>>>>>>> Nope, unfortunately not:
>>>>>>>>
>>>>>>>> "If the pthread_attr_getstack() function is called before the stackaddr
>>>>>>>> attribute has been set, the behavior is unspecified."
>>>>>>>
>>>>>>> It is unspecified by POSIX, but Xenomai supports only two
>>>>>>> implementations, glibc and uClibc, so, we can look at what these two
>>>>>>> libraries do. I would bet they return you a NULL stack pointer or
>>>>>>> something.
>>>>>>
>>>>>> I would have expected that, too, but the results for glibc seem random.
>>>>>> Plus there is the risk that something changes, thus we become
>>>>>> version-dependent.
>>>>>
>>>>> Ok then, what about the influence of pthread_attr_setstack() on
>>>>> pthread_attr_getstacksize(), maybe more luck there?
>>>>
>>>> setstack defines the size getstacksize returns. So does setstacksize.
>>>>
>>>> What happens during setstacksize is apparently that the address is set
>>>> to NULL - size. But, again, that is just the current glibc behaviour.
>>>
>>> Yes, ok, but in order to test the stack size passed by the user, it
>>> simply means we can use getstacksize and bail out if not sufficient.
>>
>> Sure, that would be the best way.
>>
>> Along that, I would recommend raising the minimum to 2*PTHREAD_STACK_MIN.
> 
> What for ? We know that the system crashes if the stack is too
> small, but that is the consequence of the user choice, there is not
> much we can do about it. What I would concentrate on, and I think we
> had that on xenomai 2.x is to have a reasonable default stack size.
> Actually, we could wrap pthread_attr_init to define our own default
> and be done with it.
> 

The current minimum PTHREAD_STACK_MIN + PAGE doesn't work reliably (see
my other posting). Thus we can either give up on checking the minimum
completely (much simpler) or raise it to a value that has at least an
effect.

Jan

-- 
Siemens AG, Corporate Technology, CT RTC ITP SES-DE
Corporate Competence Center Embedded Linux


  reply	other threads:[~2015-04-17 18:34 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-04-17 17:34 [Xenomai] Dealing with too small thread stacks Jan Kiszka
2015-04-17 17:50 ` Gilles Chanteperdrix
2015-04-17 18:05   ` Jan Kiszka
2015-04-17 18:08     ` Gilles Chanteperdrix
2015-04-17 18:10       ` Jan Kiszka
2015-04-17 18:12         ` Gilles Chanteperdrix
2015-04-17 18:17           ` Jan Kiszka
2015-04-17 18:24             ` Gilles Chanteperdrix
2015-04-17 18:26               ` Jan Kiszka
2015-04-17 18:30                 ` Gilles Chanteperdrix
2015-04-17 18:34                   ` Jan Kiszka [this message]
2015-04-17 18:46                     ` Gilles Chanteperdrix
2015-04-17 18:50                     ` Gilles Chanteperdrix
2015-04-17 18:22 ` Jan Kiszka

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=55315218.70009@siemens.com \
    --to=jan.kiszka@siemens.com \
    --cc=gilles.chanteperdrix@xenomai.org \
    --cc=xenomai@xenomai.org \
    /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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.