Re: More Uniform Ada libraries (was: Proving Correctness)

[brentcarnellis@hotmail.com]

On Thu, 06 Sep 2001 08:29:48 -0500, "Samuel T. Harris"
<u61783@gsde.hou.us.ray.com> wrote:

>brentcarnellis@hotmail.com wrote:
>> 
>> On Wed, 05 Sep 2001 08:13:31 -0500, "Samuel T. Harris"
>> <u61783@gsde.hou.us.ray.com> wrote:
>> 
>> >brentcarnellis@hotmail.com wrote:
>> >>
>> >
>> >Funny, my rather dated Apex 2.0.8D for SGI IRIX 5
>> >works with no problems (and that Apex is, what, over
>> >4 years old).
>> >
>> >And my VADS 621.52 works as well (and that is a
>> >pre-Rational true-blue Verdix compiler).
>> 
>> That's why I mentioned the regression test scenario.
>> In your particular case, Apex Get_Line apparently provided utility
>> at one time but current versions are unusable over a remote pipe.
>
>Still funny. My recent Apex 3.2.0 installation also
>performs as you expect. Just what version and platform
>is mis-behaving for you and have you reported it
>to Rational support?
>
>-- 
>Samuel T. Harris, Senior Software Engineer II
>Raytheon, Aerospace Engineering Services
>"If you can make it, We can fake it!"

Apex 4.0 and No I won't report it because we use GNAT and it's
Text_IO.Get_Line works as expected over a remote pipe.

I decided to experiment with the aid of the Solaris "truss" 
filter by rerunning the program with input AAA followed by BBB.
Notice that "Hello World: AAA" is only echoed to stdout after 
BBB is read. Apex Text_IO.Get_Line is definitely reading the first AAA
(check the read call) but refuses to echo it out until the second line
is entered! 

write(1, " P l e a s e   e n t e r".., 22)	= 22
write(1, "\n", 1)				= 1
door_return(0x00000000, 0, 0x00000000, 0)	= 0
open("/dev/zero", O_RDWR)			= 3
mmap(0x00000000, 24576, PROT_READ|PROT_WRITE|PROT_EXEC, 
MAP_PRIVATE|MAP_NORESERVE, 3, 0) = 0xEF4D0000
close(3)					= 0
mprotect(0xEF4D0000, 8192, PROT_NONE)		= 0
lwp_create(0xEF5A5A40, 0x00C0, 0xEF4D5E0C)	= 5
lwp_continue(5)					= 0
lwp_create(0x00000001, 0x6000, 0xEF5A5BDC)	= 0
lwp_schedctl(SC_STATE|SC_BLOCK, -1, 0xEF4D5D14)	= 0
lwp_schedctl(SC_DOOR, 0, 0x00000000)		= 3
door_bind(3)					= 0
close(3)					= 0
lwp_self()					= 3
lwp_create(0xEF4E5840, 0x00C0, 0xEF20BE0C)	= 6
lwp_continue(6)					= 0
lwp_create(0x00000000, 0, 0x00000000)		= 0
lwp_self()					= 6
lwp_schedctl(SC_STATE|SC_BLOCK, -1, 0xEF20BD74)	= 0
lwp_sema_post(0xEF7884D8)			= 0
sigprocmask(SIG_BLOCK, 0xEF20BE2C, 0x00000000)	= 0
sigprocmask(SIG_UNBLOCK, 0xEF7884C8, 0x00000000) = 0
lwp_sema_wait(0xEF7884D8)			= 0
sigprocmask(SIG_BLOCK, 0xEF7884C8, 0x00000000)	= 0
setitimer(ITIMER_REAL, 0xEF20BCD0, 0x00000000)	= 0
sigprocmask(SIG_UNBLOCK, 0xEF7884C8, 0x00000000) = 0
door_return(0x00000000, 0, 0x00000000, 0)	= 0
open("/dev/zero", O_RDWR)			= 3
mmap(0x00000000, 24576, PROT_READ|PROT_WRITE|PROT_EXEC, 
MAP_PRIVATE|MAP_NORESERVE, 3, 0) = 0xEF4C0000
close(3)					= 0
mprotect(0xEF4C0000, 8192, PROT_NONE)		= 0
lwp_create(0xEF4D5A40, 0x00C0, 0xEF4C5E0C)	= 7
lwp_continue(7)					= 0
lwp_create(0x00000001, 0x6000, 0xEF4D5BDC)	= 0
lwp_schedctl(SC_STATE|SC_BLOCK, -1, 0xEF4C5D14)	= 0
lwp_schedctl(SC_DOOR, 0, 0x00000000)		= 3
door_bind(3)					= 0
close(3)					= 0
sigaction(SIGWAITING, 0xEF787B78, 0x00000000)	= 0
time()						= 999823649


read(0, " A A A\n", 400)			= 4
BB    Received signal #14, SIGALRM, in lwp_sema_wait() [caught]
lwp_sema_wait(0xEF7884D8)			Err#91 ERESTART
sigprocmask(SIG_SETMASK, 0xEF20BE2C, 0x00000000) = 0
lwp_sema_post(0xEF4E5E78)			= 0
lwp_sema_wait(0xEF4E5E78)			= 0
setcontext(0xEF20B728)
sigprocmask(SIG_BLOCK, 0xEF7884C8, 0x00000000)	= 0
sigprocmask(SIG_UNBLOCK, 0xEF7884C8, 0x00000000) = 0
lwp_sema_post(0xEF7884D8)			= 0
lwp_sema_wait(0xEF7884D8)			= 0
sigprocmask(SIG_BLOCK, 0xEF7884C8, 0x00000000)	= 0
setitimer(ITIMER_REAL, 0xEF20BCD0, 0x00000000)	= 0
sigprocmask(SIG_UNBLOCK, 0xEF7884C8, 0x00000000) = 0
B
read(0, " B B B\n", 397)			= 4
Hello world! AAAwrite(1, " H e l l o   w o r l d !".., 16)	= 16
write(1, "\n", 1)				= 1

    Received signal #14, SIGALRM, in lwp_sema_wait() [caught]