Re: Ada multi-threaded programs do not terminate under RedHat Linux

From: Ruben Stranders (rstranders_at_yahoo.com)
Date: 11/08/03


Date: Sat, 8 Nov 2003 10:49:47 +0100

This is the output I'm getting:

==================
GNATMAKE 3.2.2 20030222 (3.2.2-4) Copyright 1995-2001 Free Software
Foundation, Inc.
  "test.ali" being checked ...
  -> "test.adb" time stamp mismatch
gcc -c test.adb
End of compilation
gnatbind -x test.ali
gnatlink test.ali
gnatlink: warning: executable name "test" may conflict with shell command
[strand00@atlas rts]$ ./test
Start 1
Finish 1
Start 2
Finish 2
===================

This is *very* strange....

"Dennis Lee Bieber" <wlfraed@ix.netcom.com> wrote in message
news:h8fu71-s53.ln1@beastie.ix.netcom.com...
> Ruben Stranders fed this fish to the penguins on Friday 07 November
> 2003 12:28 pm:
>
> >
> > I've compiled it under RedHat Linux 9.0 with "gnatmake test.adb".
> > Unfortunately, the resulting program doesn't terminate. Instead of the
> > expected output:
> >
> A stale version of Mandrake (8.2), GNAT 3.15p, with the following
> modified version of your test:
>
> with ada.text_io; use ada.text_io;
>
> procedure test is
> task type counter(ID : integer);
>
> task body counter is
> i : integer := 0;
> begin
> put("Start "); put_line(integer'image(ID));
> while i < 10_000 loop
> i := i + 1;
> end loop;
> put("Finish "); put_line(integer'image(ID));
> end;
>
> task1 : counter(1);
> task2 : counter(2);
>
> begin
> put_line("Test");
> end test;
>
> :produces the following (allowing for editor line wraps):
>
> [wulfraed@beastie ada]$ gnatmake -v test
>
> GNATMAKE 3.15p (20020523) Copyright 1995-2002 Free Software
> Foundation, Inc.
> "test.ali" being checked ...
> -> "test.adb" time stamp mismatch
> gcc -c test.adb
> End of compilation
> gnatbind -x test.ali
> gnatlink test.ali
> gnatlink: warning: executable name "test" may conflict with shell
> command
>
> [wulfraed@beastie ada]$ ./test
> Start 1
> Finish 1
> Test
> Start 2
> Finish 2
>
> --
> > ============================================================== <
> > wlfraed@ix.netcom.com | Wulfraed Dennis Lee Bieber KD6MOG <
> > wulfraed@dm.net | Bestiaria Support Staff <
> > ============================================================== <
> > Bestiaria Home Page: http://www.beastie.dm.net/ <
> > Home Page: http://www.dm.net/~wulfraed/ <
>



Relevant Pages

  • Re: generation of map files
    ... gnatlink to see it; here, ... GNATMAKE GPL 2006 ... gcc -c foo.adb ... gnatbind -x foo.ali ...
    (comp.lang.ada)
  • Re: to gnat make or not to gnat make (Was: ada compiler?)
    ... call 'gnatmake' program. ... gcc -c danger.adb ... gnatbind -x run.ali ... gnatlink run.ali ...
    (comp.lang.ada)
  • Re: How to get pathname of executable
    ... Simon Wright wrote: ... gcc -c test_exe_loc.adb ... gnatbind -x test_exe_loc.ali ... gnatlink test_exe_loc.ali ...
    (comp.lang.ada)
  • Re: task-safe hash table?
    ... gnatbind -x tmoran.ali ... gnatlink tmoran.ali ... a 0.111000000 mics ... gcc -c -O2 tmoran.adb ...
    (comp.lang.ada)
  • Re: Ada on Mac
    ... I have noticed that there is a separate toolchain, complete together with gcc, in /usr/local/ada-4.2/bin, so I have added that to my PATH. ... Running gnatlink -v -v on the .ali file gives this output: ... Thread model: posix ...
    (comp.lang.ada)