Le 04/08/2018 à 11:10, Jeffrey R. Carter a écrit : > With GNAT, which we have to use because Gnoga's in Ada 12, you can include > potentially blocking operations in a PO, which is nice, because that > restriction > was a mistake. Calls of potentially blocking operations are generally not detectable at compile time, and are not checked at run-time unless you use a pragma Detect-Blocking. But it's still a bounded error.
The restriction is no mistake: without it, it is impossible to make any scheduling or WCET analysis. -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Gnoga-list mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/gnoga-list
