Re: Setting RLIMIT_STACK

2010-07-19 Thread Paul Smith
On Mon, 2010-07-19 at 11:29 +0200, Edward Welbourne wrote:
  Probably there should be an effort to switch to heap for anything that
  might get large and reserve alloca() usage just for things we know for a
  fact will not get too large, but that hasn't been done.
 
 ... and anywhere you use a scanf variant, glibc is also using
 alloca(), without knowing any bound:
 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=553206

Yes, unpleasant for sure.  Luckly GNU make doesn't use *scanf() much at
all and were it does only in fairly well-defined situations.

-- 
---
 Paul D. Smith psm...@gnu.org  Find some GNU make tips at:
 http://www.gnu.org  http://make.mad-scientist.net
 Please remain calm...I may be mad, but I am a professional. --Mad Scientist


___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make


Re: Setting RLIMIT_STACK

2010-07-19 Thread Edward Welbourne
 Probably there should be an effort to switch to heap for anything that
 might get large and reserve alloca() usage just for things we know for a
 fact will not get too large, but that hasn't been done.

... and anywhere you use a scanf variant, glibc is also using
alloca(), without knowing any bound:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=553206

Eddy.

___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make


Re: Setting RLIMIT_STACK

2010-07-18 Thread Paul Smith
On Sat, 2010-07-17 at 02:22 -0300, Alberto Bertogli wrote:
 Chasing a bug, I noticed that make sets RLIMIT_STACK to RLIM_INFINITY.
 
 In Linux (since 2.6.25), that actually triggers a very subtle behaviour
 change in the way the kernel manages the memory layout. While most
 applications are oblivious to it, some are not and can cause issues that
 are not so easy to see.
 
 The layouts are described at http://lwn.net/Articles/90311/, and while
 Linux usually uses the new one (described there as top-down mmap()
 method), when RLIMIT_STACK is set to RLIM_INFINITY it falls back to the
 old one (the one described first).

Hi Alberto.  I was looking into this more.  Although GNU make does set
RLIMIT_STACK to infinity while it, itself, is running, it resets the
stack size back to the original value it had when it was started before
it runs any commands.

That is, in job.c after we fork() to start the command we call
setrlimit() again to reset the stack back to what it was, before we
exec() the command we're about to run.

So, I'm not sure I fully understand the implications here.

Are you saying that this resetting of the stack limit back to what it
was does not reset the memory layout back to using the new method in
make's children, and this causes different behavior in make's children?
Or that the change somehow subtly changes the behavior of _make_ in a
less-than-optimal way?

I'd like to understand this so we can decide how to proceed for make
3.82 which will be out very, very shortly (so if we're going to remove
this we need to make that decision right now, basically).

-- 
---
 Paul D. Smith psm...@gnu.org  Find some GNU make tips at:
 http://www.gnu.org  http://make.mad-scientist.net
 Please remain calm...I may be mad, but I am a professional. --Mad Scientist


___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make


Re: Setting RLIMIT_STACK

2010-07-18 Thread Paul Smith
On Sun, 2010-07-18 at 14:40 -0300, Alberto Bertogli wrote:
 The layout is decided by the kernel early, when the new process is being
 created in execve(), and cannot be changed while running.

I did suspect as much: it seemed impossible (or at least highly
unlikely) for this to be changed during runtime.

OK, seems to be OK for the next release.  Thanks!

-- 
---
 Paul D. Smith psm...@gnu.org  Find some GNU make tips at:
 http://www.gnu.org  http://make.mad-scientist.net
 Please remain calm...I may be mad, but I am a professional. --Mad Scientist


___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make


Re: Setting RLIMIT_STACK

2010-07-18 Thread Alberto Bertogli
On Sun, Jul 18, 2010 at 12:54:56PM -0400, Paul Smith wrote:
 On Sat, 2010-07-17 at 02:22 -0300, Alberto Bertogli wrote:
  Chasing a bug, I noticed that make sets RLIMIT_STACK to RLIM_INFINITY.
  
  In Linux (since 2.6.25), that actually triggers a very subtle behaviour
  change in the way the kernel manages the memory layout. While most
  applications are oblivious to it, some are not and can cause issues that
  are not so easy to see.
  
  The layouts are described at http://lwn.net/Articles/90311/, and while
  Linux usually uses the new one (described there as top-down mmap()
  method), when RLIMIT_STACK is set to RLIM_INFINITY it falls back to the
  old one (the one described first).
 
 Hi Alberto.  I was looking into this more.  Although GNU make does set
 RLIMIT_STACK to infinity while it, itself, is running, it resets the
 stack size back to the original value it had when it was started before
 it runs any commands.

Thanks for looking into it!


 That is, in job.c after we fork() to start the command we call
 setrlimit() again to reset the stack back to what it was, before we
 exec() the command we're about to run.
 
 So, I'm not sure I fully understand the implications here.
 
 Are you saying that this resetting of the stack limit back to what it
 was does not reset the memory layout back to using the new method in
 make's children, and this causes different behavior in make's children?
 Or that the change somehow subtly changes the behavior of _make_ in a
 less-than-optimal way?

Layout changes affect make's children, but not make itself.

The layout is decided by the kernel early, when the new process is being
created in execve(), and cannot be changed while running. So changing it
after fork() but prior to execve(), as you said, should be ok.

However, I'm not seeing this behaviour in make 3.81 (Ubuntu's, not my
own).


Peeking around the source browser I notice that the change that introduced
the setrlimit() you describe is commit 1.191, dated 2008-11-30, which is
post-3.81.

Seeing that, I tried the latest alpha release (3.81.90), and it works as
expected!

So I can confirm that the issue I was seeing has already been fixed in the
new release, and as far as I can see there are no further changes needed
to address it.

Thanks a lot,
Alberto


___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make


Re: Setting RLIMIT_STACK

2010-07-18 Thread Alberto Bertogli
On Sun, Jul 18, 2010 at 02:40:19PM -0300, Alberto Bertogli wrote:
 Peeking around the source browser I notice that the change that introduced
 the setrlimit() you describe is commit 1.191, dated 2008-11-30, which is
 post-3.81.
 
 Seeing that, I tried the latest alpha release (3.81.90), and it works as
 expected!

I've just read the thread about this in the general list, sorry I missed
it before (if anyone is wondering, I'm referring to Weird performance
problem, http://thread.gmane.org/gmane.comp.gnu.make.general/8974).

While I talk to Leandro often, I didn't know there was a discussion about
this bug going on over there when I posted these mails (my fault).

I'm sorry if this caused you any trouble, and I'm glad it's already fixed.

Thanks again,
Alberto


___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make


Re: Setting RLIMIT_STACK

2010-07-16 Thread Paul Smith
On Sat, 2010-07-17 at 02:22 -0300, Alberto Bertogli wrote:
 So I was wondering what was the reason for that rlimit, and if perhaps
 it could be avoided to prevent this behaviour change.

It was added a number of years ago by Paul Eggert, because make makes
extensive use of alloca() and some larger, more complex makefiles might
run into problems.

Probably there should be an effort to switch to heap for anything that
might get large and reserve alloca() usage just for things we know for a
fact will not get too large, but that hasn't been done.

-- 
---
 Paul D. Smith psm...@gnu.org  Find some GNU make tips at:
 http://www.gnu.org  http://make.mad-scientist.net
 Please remain calm...I may be mad, but I am a professional. --Mad Scientist


___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make