Re: Ada.Text_IO and protected objects (Was: [newbie question] tasks and protected types)

[Jeffrey Carter <spam@spam.com>]

fabio de francesco wrote:

> Isn't there in GCC/GNAT any options like "-pedantic" and "-ansi" in
> order to reject all programs that do not strictly follow the standard?

For GNAT,

-gnato -fstack-check -gnatE

make it strictly follow the standard. That won't affect what happens in 
your problem.

Blocking operations in protected operations are a bounded error. That 
means don't do it.

Doing IO to the same file from multiple tasks may cause interleaving.

So the simple solution to your problem as given is to define a subtype 
of String

subtype Task_Name is String (1 .. 6);

to use in your entry and Msg object, and have another task to do the 
output. That should solve your deadlock and be portable.

If task names need to be different lengths, then Msg could be an 
[Un]Bounded_String.

-- 
Jeff Carter
"Spam! Spam! Spam! Spam! Spam! Spam! Spam! Spam!"
Monty Python's Flying Circus
53