From: charlet Date: Thu, 13 Dec 2018 08:11:45 +0000 (+0000) Subject: Add note about abort and ZCX runtime. X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=fe0fafc59e47c4f5a028bc7a3acaa3d08ca6aff8;p=thirdparty%2Fgcc.git Add note about abort and ZCX runtime. Part of RC12-001 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@267079 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst index 5b55ef77ae2a..eaae6122f1ca 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: