GNAT and multi-processor

GNAT and multi-processor

[huynh]

Hi

I have big problems with Ada/GNAT programs running on multi-processor
or
hyperthreaded Linux machines :
segmentation fault resulting in STORAGE_ERROR or PROGRAM_ERROR.

When they run on Linux mono-processor or Solaris machines, there is no
problem !

- Is there any way to make my programs use only ONE processor ?
- Or any way to change the threading policy ? (I cannot use FSU-threads
   because of I/O that would block the entire process)

Any idea is welcome !

Re: GNAT and multi-processor

[Marc A. Criley]

huynh@cena.fr wrote:

> I have big problems with Ada/GNAT programs running on multi-processor
> or
> hyperthreaded Linux machines :
> segmentation fault resulting in STORAGE_ERROR or PROGRAM_ERROR.
> 
> When they run on Linux mono-processor or Solaris machines, there is no
> problem !
> 
> - Is there any way to make my programs use only ONE processor ?
> - Or any way to change the threading policy ? (I cannot use FSU-threads
>    because of I/O that would block the entire process)

Genuinely concurrent programming is hard.  It's only been relatively 
recently that multi-processor and multi-core systems have become 
widespread, so up till now most multi-tasking programs haven't been 
exposed to executing separate tasks truly simultaneously.

Simulated multi-tasking wherein the reality is that actually only one 
task is ever executing at a time can cover up implementation defects 
relating to race conditions, deadlock, and simultaneously 
updating/accessing an unprotected resource.

While locking the program to one CPU would likely resolve your issue, 
it's at best a short-term fix.  In all likelihood, there's an error in 
your implementation where an implicit assumption is being made that only 
one task is ever executing at a time, and that's what needs to be 
addressed.  Judging by the failures you're getting, my first guess would 
be that a simultaneous access/update is occurring.


For a general overview of multi-core and multi-processor issues, try (I 
believe) the 9/05 issue of ACM Queue; here's a representative article: 
http://www.acmqueue.com/modules.php?name=Content&pa=showpage&pid=333.

-- Marc A. Criley
-- McKae Technologies
-- DTraq - XPath In Ada - XML EZ Out

Re: GNAT and multi-processor

[Jeffrey R. Carter]

huynh@cena.fr wrote:

> I have big problems with Ada/GNAT programs running on multi-processor
> or
> hyperthreaded Linux machines :
> segmentation fault resulting in STORAGE_ERROR or PROGRAM_ERROR.
> 
> When they run on Linux mono-processor or Solaris machines, there is no
> problem !

Are the Solaris machines mono- or multi-processors? If the former, there's 
likely an error in your SW that assumes the semantics of a mono-processor 
system; if the latter, there's probably an error in the Linux GNAT version 
you're using.

What version of GNAT are you using? I know that the SGI Ada compiler, which is 
supplied by AdaCore and invoked by "gnatmake", worked fine on SGI 
multi-processor systems in 2000.

-- 
Jeff Carter
"C++: The power, elegance and simplicity of a hand grenade."
Ole-Hjalmar Kristensen
90