Re: Problem with -gnatt

["Matthew Heaney" <mheaney@on2.com>]

"Alex R. Mosteo" <devnull@mailinator.com> wrote in message
news:417377F7.7050506@mailinator.com...
>
> Sole instance of a Map:
>
http://deepsix.homeip.net/svn/Adagio%20head/src/download/adagio-download-manager.adb

Note that protected operations should only execute "for a short time."  Your
Http_Report_Downloads protected operation could take longer than a "short
time," if the map is large.  Consider using a semaphore style lock,
something like:

procedure Http_Report_Downloads (...) is
   Control : Control_Type (Semaphore'Access);
begin
   ... -- safely manipulate map that you now have locked
end;

where Control_Type calls Semaphore.Seize during controlled Initialization,
and calls Semaphore.Release during controlled Finalization.

Also consider using a passive iterator instead of an exaplicit loop.  The
passive iterator is likely to be slightly more efficient than an active
iterator.