From 81f3e60f5b7d82567df02aeb780580b983f7aeaa Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 13 Dec 2018 09:11:45 +0100 Subject: [PATCH] Add note about abort and ZCX runtime. Part of RC12-001 From-SVN: r267079 --- .../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 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: -- 2.30.2