OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add note about abort and ZCX runtime.

Browse Source 
Part of RC12-001

From-SVN: r267079
This commit is contained in:
Arnaud Charlet 2018-12-13 09:11:45 +01:00
parent 26b57b93b3
commit 81f3e60f5b
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/ada/doc/gnat_ugn/platform_specific_information.rst
View File

@ -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: