* Is it possible to translate ada program to C using GCC or other tools?
@ 2008-07-22 20:48 climber.cui
2008-07-23 0:15 ` Jeffrey R. Carter
` (4 more replies)
0 siblings, 5 replies; 12+ messages in thread
From: climber.cui @ 2008-07-22 20:48 UTC (permalink / raw)
Hi all,
I would like to investigate on how ada's protected object and
tasking features are implemented with C/pthread. Is it possible to use
gcc(or other tools) to do the translation?
thanks.
tony
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other tools?
2008-07-22 20:48 Is it possible to translate ada program to C using GCC or other tools? climber.cui
@ 2008-07-23 0:15 ` Jeffrey R. Carter
2008-07-23 0:59 ` climber.cui
2008-07-23 0:45 ` Is it possible to translate ada program to C using GCC or other anon
` (3 subsequent siblings)
4 siblings, 1 reply; 12+ messages in thread
From: Jeffrey R. Carter @ 2008-07-23 0:15 UTC (permalink / raw)
climber.cui@gmail.com wrote:
>
> I would like to investigate on how ada's protected object and
> tasking features are implemented with C/pthread. Is it possible to use
> gcc(or other tools) to do the translation?
What makes you think these features are implemented in C?
gcc will not translate Ada to C.
SofCheck has a compiler that uses ANSI C as its intermediate language, but I
suspect what you're interested in is part of their runtime code, not the code
produced by the compiler.
--
Jeff Carter
"It's symbolic of his struggle against reality."
Monty Python's Life of Brian
78
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other
2008-07-22 20:48 Is it possible to translate ada program to C using GCC or other tools? climber.cui
2008-07-23 0:15 ` Jeffrey R. Carter
@ 2008-07-23 0:45 ` anon
2008-07-23 1:05 ` climber.cui
2008-07-23 1:44 ` Is it possible to translate ada program to C using GCC or other tools? Robert A Duff
` (2 subsequent siblings)
4 siblings, 1 reply; 12+ messages in thread
From: anon @ 2008-07-23 0:45 UTC (permalink / raw)
No!
In GNAT the compiler generates assembly code. With one exception that is
"GNATBIND" program. Using the "-C" option, GNATBIND with produce its
binder program in C. But that does very little for what most people want.
A thesis, back in 1991 by Jeffrey Skinner, was in titled "Ada2C: An
ADA-To-C Program Translator" but it seams that today, most "Ada2C"
programs have more to do with homework assignments than actual working
programs.
In <334c1c0a-0c49-49d3-b03b-867c2288159c@25g2000hsx.googlegroups.com>, climber.cui@gmail.com writes:
>Hi all,
> I would like to investigate on how ada's protected object and
>tasking features are implemented with C/pthread. Is it possible to use
>gcc(or other tools) to do the translation?
>
> thanks.
>
>tony
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other tools?
2008-07-23 0:15 ` Jeffrey R. Carter
@ 2008-07-23 0:59 ` climber.cui
0 siblings, 0 replies; 12+ messages in thread
From: climber.cui @ 2008-07-23 0:59 UTC (permalink / raw)
On Jul 22, 8:15 pm, "Jeffrey R. Carter"
<spam.jrcarter....@spam.acm.org> wrote:
> climber....@gmail.com wrote:
>
> > I would like to investigate on how ada's protected object and
> > tasking features are implemented with C/pthread. Is it possible to use
> > gcc(or other tools) to do the translation?
>
> What makes you think these features are implemented in C?
>
> gcc will not translate Ada to C.
>
> SofCheck has a compiler that uses ANSI C as its intermediate language, but I
> suspect what you're interested in is part of their runtime code, not the code
> produced by the compiler.
>
> --
> Jeff Carter
> "It's symbolic of his struggle against reality."
> Monty Python's Life of Brian
> 78
yes, you are right. It is the Gnat runtime code that implements the
concurrent features. But I first want to see what runtime calls is
made for certain ADA constructs. When i try to read gcc source code, i
got lost at the beginning.
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other
2008-07-23 0:45 ` Is it possible to translate ada program to C using GCC or other anon
@ 2008-07-23 1:05 ` climber.cui
2008-07-23 7:01 ` anon
2008-07-23 10:12 ` Pascal Obry
0 siblings, 2 replies; 12+ messages in thread
From: climber.cui @ 2008-07-23 1:05 UTC (permalink / raw)
On Jul 22, 8:45 pm, a...@anon.org (anon) wrote:
> No!
>
> In GNAT the compiler generates assembly code. With one exception that is
> "GNATBIND" program. Using the "-C" option, GNATBIND with produce its
> binder program in C. But that does very little for what most people want.
>
> A thesis, back in 1991 by Jeffrey Skinner, was in titled "Ada2C: An
> ADA-To-C Program Translator" but it seams that today, most "Ada2C"
> programs have more to do with homework assignments than actual working
> programs.
>
Any chance to get ADA to be translated to something readable, like ADA
code plus run-time calls to its runtime system and pthread library?
By the way, how to use GNAT to compile ada program into assembly code?
I use gcc with -S option, but did not get anything but an assembly
program with no body.
tony
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other tools?
2008-07-22 20:48 Is it possible to translate ada program to C using GCC or other tools? climber.cui
2008-07-23 0:15 ` Jeffrey R. Carter
2008-07-23 0:45 ` Is it possible to translate ada program to C using GCC or other anon
@ 2008-07-23 1:44 ` Robert A Duff
2008-07-23 2:23 ` Steve
2008-07-23 7:54 ` Georg Bauhaus
4 siblings, 0 replies; 12+ messages in thread
From: Robert A Duff @ 2008-07-23 1:44 UTC (permalink / raw)
climber.cui@gmail.com writes:
> Hi all,
> I would like to investigate on how ada's protected object and
> tasking features are implemented with C/pthread. Is it possible to use
> gcc(or other tools) to do the translation?
You might be interested in the -gnatD or -gnatG switches.
See the docs for details.
Or just look at the sources for the runtime libs.
- Bob
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other tools?
2008-07-22 20:48 Is it possible to translate ada program to C using GCC or other tools? climber.cui
` (2 preceding siblings ...)
2008-07-23 1:44 ` Is it possible to translate ada program to C using GCC or other tools? Robert A Duff
@ 2008-07-23 2:23 ` Steve
2008-07-23 6:46 ` Peter Schildmann
2008-07-23 7:54 ` Georg Bauhaus
4 siblings, 1 reply; 12+ messages in thread
From: Steve @ 2008-07-23 2:23 UTC (permalink / raw)
<climber.cui@gmail.com> wrote in message
news:334c1c0a-0c49-49d3-b03b-867c2288159c@25g2000hsx.googlegroups.com...
> Hi all,
> I would like to investigate on how ada's protected object and
> tasking features are implemented with C/pthread. Is it possible to use
> gcc(or other tools) to do the translation?
>
Hi,
pthread isn't C. pthread is machine code. The source code may have been
in C (or any other programming language for that matter) but you don't
execute C. Back in the olden days they used to document OS interface calls
in a programming language independent manner, that made it a little clearer.
At any rate, while the following information is somewhat outdated, you may
find it useful:
http://www.iuma.ulpgc.es/users/jmiranda/
Regards,
Steve
> thanks.
>
> tony
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other tools?
2008-07-23 2:23 ` Steve
@ 2008-07-23 6:46 ` Peter Schildmann
2008-07-24 1:32 ` Steve
0 siblings, 1 reply; 12+ messages in thread
From: Peter Schildmann @ 2008-07-23 6:46 UTC (permalink / raw)
Steve schrieb:
> At any rate, while the following information is somewhat outdated, you may
> find it useful:
>
> http://www.iuma.ulpgc.es/users/jmiranda/
There is an improved version:
https://www2.adacore.com/gap-static/GNAT_Book/html/index.htm
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other
2008-07-23 1:05 ` climber.cui
@ 2008-07-23 7:01 ` anon
2008-07-23 10:12 ` Pascal Obry
1 sibling, 0 replies; 12+ messages in thread
From: anon @ 2008-07-23 7:01 UTC (permalink / raw)
First to clarify, the compiling process. Normally to compile a program
step 1. gnat compile <filename>.adb
step 2. gnat bind <filename>.ali or gnatbind <filename>.ali
this program creates two files:
1. b~<filename>.adb
2. b~<filename>.ads
step 3. gnat link <filename>.ali or gnatlink <filename>.ali
this program compiles the package
b~<filename>.adb
and then finishes the linking process.
Note: After linking the b~<filename>.* files are deleted.
but in step two and three you can use
step 2. gnat bind -C <filename>.ali or gnatbind -C <filename>.ali
this creates one file:
1. b_<filename>.c
this file is equivalence to the package file:
b~<filename>.adb
step 3. gnat link -C <filename>.ali or gnatlink -C <filename>.ali
this program compiles the C binder file
b_<filename>.c
and then finishes the linking process.
Note: After linking the b_<filename>.* files are deleted.
As for the thesis, I am not sure, you might be able to find it. There is
a "Jeffrey Skinner" that is into web designing. Maybe he is the same
guy, so I would suggest, that you email and ask him. The only problem I
see will be that the Ada translator and source code will be based on Ada
83 specs.
www.jeffreyskinner.com
Jeffrey Skinner. email: jeff [at] jeffreyskinner
aka
jeff@jeffreyskinner
In <822c5e24-bd20-458d-8346-ba22994aa850@d45g2000hsc.googlegroups.com>, climber.cui@gmail.com writes:
>On Jul 22, 8:45 pm, a...@anon.org (anon) wrote:
>> No!
>>
>> In GNAT the compiler generates assembly code. With one exception that is
>> "GNATBIND" program. Using the "-C" option, GNATBIND with produce its
>> binder program in C. But that does very little for what most people want.
>>
>> A thesis, back in 1991 by Jeffrey Skinner, was in titled "Ada2C: An
>> ADA-To-C Program Translator" but it seams that today, most "Ada2C"
>> programs have more to do with homework assignments than actual working
>> programs.
>>
>Any chance to get ADA to be translated to something readable, like ADA
>code plus run-time calls to its runtime system and pthread library?
>By the way, how to use GNAT to compile ada program into assembly code?
>I use gcc with -S option, but did not get anything but an assembly
>program with no body.
>
>tony
>
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other tools?
2008-07-22 20:48 Is it possible to translate ada program to C using GCC or other tools? climber.cui
` (3 preceding siblings ...)
2008-07-23 2:23 ` Steve
@ 2008-07-23 7:54 ` Georg Bauhaus
4 siblings, 0 replies; 12+ messages in thread
From: Georg Bauhaus @ 2008-07-23 7:54 UTC (permalink / raw)
climber.cui@gmail.com wrote:
> Hi all,
> I would like to investigate on how ada's protected object and
> tasking features are implemented with C/pthread. Is it possible to use
> gcc(or other tools) to do the translation?
You'd need an Ada compiler that will translate Ada to C and
use C and pthreads for protected objects. I think Sofcheck
has such a compiler.
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other
2008-07-23 1:05 ` climber.cui
2008-07-23 7:01 ` anon
@ 2008-07-23 10:12 ` Pascal Obry
1 sibling, 0 replies; 12+ messages in thread
From: Pascal Obry @ 2008-07-23 10:12 UTC (permalink / raw)
To: climber.cui
climber.cui@gmail.com a �crit :
> Any chance to get ADA to be translated to something readable, like ADA
> code plus run-time calls to its runtime system and pthread library?
You probably want to look at -gnatDG option.
Pascal.
--
--|------------------------------------------------------
--| Pascal Obry Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--| http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: Is it possible to translate ada program to C using GCC or other tools?
2008-07-23 6:46 ` Peter Schildmann
@ 2008-07-24 1:32 ` Steve
0 siblings, 0 replies; 12+ messages in thread
From: Steve @ 2008-07-24 1:32 UTC (permalink / raw)
"Peter Schildmann" <news@schildmann.info> wrote in message
news:6eo2etF8053cU1@mid.individual.net...
> Steve schrieb:
>> At any rate, while the following information is somewhat outdated, you
>> may
>> find it useful:
>>
>> http://www.iuma.ulpgc.es/users/jmiranda/
>
> There is an improved version:
>
> https://www2.adacore.com/gap-static/GNAT_Book/html/index.htm
Thanks,
Steve
^ permalink raw reply [flat|nested] 12+ messages in thread
end of thread, other threads:[~2008-07-24 1:32 UTC | newest]
Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-07-22 20:48 Is it possible to translate ada program to C using GCC or other tools? climber.cui
2008-07-23 0:15 ` Jeffrey R. Carter
2008-07-23 0:59 ` climber.cui
2008-07-23 0:45 ` Is it possible to translate ada program to C using GCC or other anon
2008-07-23 1:05 ` climber.cui
2008-07-23 7:01 ` anon
2008-07-23 10:12 ` Pascal Obry
2008-07-23 1:44 ` Is it possible to translate ada program to C using GCC or other tools? Robert A Duff
2008-07-23 2:23 ` Steve
2008-07-23 6:46 ` Peter Schildmann
2008-07-24 1:32 ` Steve
2008-07-23 7:54 ` Georg Bauhaus
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox