From fe0fafc59e47c4f5a028bc7a3acaa3d08ca6aff8 Mon Sep 17 00:00:00 2001 From: charlet Date: Thu, 13 Dec 2018 08:11:45 +0000 Subject: [PATCH] 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 --- .../doc/gnat_ugn/platform_specific_information.rst | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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: -- 2.47.3