Re: Semantics of statement reordering relevant to Ada.Real_Time

On Mar 30, 12:59 pm, Robert A Duff <bobd...@[EMAIL PROTECTED]
>
wrote:
> The only thing that's guaranteed is I/O behavior, so you have to do some
> I/O.

Only?  You can also count on task termination, no?  Example code
below.

Eric


with Ada.Real_Time ;
with Ada.Text_IO ;
procedure Foo
is
   Val : Natural := 0 ;
   Start_T, End_T : Ada.Real_Time.Time ;
   use Ada.Real_Time ;
begin
   declare
      task Start_Timer ;
      task body Start_Timer is begin
         Start_T := Ada.Real_Time.Clock ;
      end ;
   begin
      null ;
   end ;

   declare
      task Compute ;
      task body Compute is begin
         for K in 1 .. 10 loop
            for I in 1 .. 10_000 loop
               Val := Val + I * I ;
            end loop;
         end loop;
      end ;
   begin
      null ;
   end ;

   declare
      task End_Timer ;
      task body End_Timer is begin
         End_T := Ada.Real_Time.Clock ;
      end ;
   begin
      null ;
   end ;

   Ada.Text_IO.Put_Line( Natural'Image( Val ) ) ;
   Ada.Text_IO.Put_Line( Duration'Image( To_Duration( End_T -
Start_T ) ) ) ;

end Foo ;