comp.lang.ada
 help / color / mirror / Atom feed
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: Stumped: Seg Fault with System.Secondary_Stack.SS_Mark()
Date: Fri, 7 Sep 2012 07:55:04 -0700 (PDT)
Date: 2012-09-07T07:55:04-07:00	[thread overview]
Message-ID: <3f420d6b-b289-4e20-ae7d-6046d356b4d1@googlegroups.com> (raw)
In-Reply-To: <cdb623ff-341f-42e6-ae30-dd5236476de9@googlegroups.com>

awdorrin wrote on comp.lang.ada:
> I verified that each pthread is being provided with 8MB of space for
> their stack. (This program starts off from C and spawns threads,
> which are mixed Ada and C.)
> 
> I'm not yet sure how to verify the default stack/secondary stack
> sizes in GNAT (although I've seen the -d/-D gnat flags for
> explicitly setting the sizes) - still researching.

The secondary stack is actually a region of the heap.  See the package
GNAT.Secondary_Stack_Info if you want to monitor usage and see
http://gcc.gnu.org/onlinedocs/gnat_ugn_unw/Switches-for-gnatbind.html
for a quick introduction (look for "-Dnn[k|m]").  The gritty details
of the secondary stack are in the sources of GCC: s-secsta.ad[bs]; on
Debian and most OSes with virtual memory, the secondary stack is
theoretically unlimited in size because
System.Parameters.Sec_Stack_Percentage is set to Dynamic.

HTH

-- 
Ludovic Brenta.



  reply	other threads:[~2012-09-07 14:55 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-09-06 19:34 Stumped: Seg Fault with System.Secondary_Stack.SS_Mark() awdorrin
2012-09-06 19:57 ` Ludovic Brenta
2012-09-06 20:53   ` awdorrin
2012-09-06 21:18     ` Ludovic Brenta
2012-09-06 22:13       ` awdorrin
2012-09-07 14:38         ` awdorrin
2012-09-07 14:55           ` Ludovic Brenta [this message]
2012-09-07 15:35           ` Simon Wright
2012-09-07 16:18             ` awdorrin
2012-09-07 16:31               ` awdorrin
2012-09-07 17:07                 ` Simon Wright
2012-09-07 17:50                   ` awdorrin
2012-09-08 13:23                     ` francois_fabien
2012-09-10 13:50                       ` awdorrin
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox