From: Arnaud Charlet Date: Thu, 13 Dec 2018 08:11:45 +0000 (+0100) Subject: Add note about abort and ZCX runtime. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=81f3e60f5b7d82567df02aeb780580b983f7aeaa;p=gcc.git Add note about abort and ZCX runtime. Part of RC12-001 From-SVN: r267079 --- diff --git a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst index 5b55ef77ae2..eaae6122f1c 100644 --- a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst +++ b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst @@ -49,15 +49,15 @@ For exception handling, either or both of two models are supplied: Most programs should experience a substantial speed improvement by being compiled with a ZCX run-time. This is especially true for -tasking applications or applications with many exception handlers.} +tasking applications or applications with many exception handlers. +Note however that the ZCX run-time does not support asynchronous abort +of tasks (``abort`` and ``select-then-abort`` constructs) and will instead +implement abort by polling points in the runtime. You can also add additional +polling points explicitly if needed in your application via ``pragma +Abort_Defer``. This section summarizes which combinations of threads and exception support are supplied on various GNAT platforms. -It then shows how to select a particular library either -permanently or temporarily, -explains the properties of (and tradeoffs among) the various threads -libraries, and provides some additional -information about several specific platforms. .. _Summary_of_Run-Time_Configurations: