comparison gcc/ada/libgnarl/s-tasuti.ads @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- S Y S T E M . T A S K I N G . U T I L I T I E S -- 5 -- S Y S T E M . T A S K I N G . U T I L I T I E S --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- 9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNARL is free software; you can redistribute it and/or modify it under -- 11 -- GNARL is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
52 -- then it will abort all the level 2 tasks. See Finalize_Global_Tasks 52 -- then it will abort all the level 2 tasks. See Finalize_Global_Tasks
53 -- procedure for more information. 53 -- procedure for more information.
54 -- 54 --
55 -- This is a dangerous operation, and should never be used on nested tasks 55 -- This is a dangerous operation, and should never be used on nested tasks
56 -- or tasks that depend on any objects that might be finalized earlier than 56 -- or tasks that depend on any objects that might be finalized earlier than
57 -- the termination of the environment task. It is for internal use by the 57 -- the termination of the environment task. It is primarily for internal
58 -- GNARL, to prevent such internal server tasks from preventing a partition 58 -- use by the GNARL, to prevent such internal server tasks from preventing
59 -- from terminating. 59 -- a partition from terminating.
60 -- 60 --
61 -- Also note that the run time assumes that the parent of an independent 61 -- Also note that the run time assumes that the parent of an independent
62 -- task is the environment task. If this is not the case, Make_Independent 62 -- task is the environment task. If this is not the case, Make_Independent
63 -- will change the task's parent. This assumption is particularly 63 -- will change the task's parent. This assumption is particularly
64 -- important for master level completion and for the computation of 64 -- important for master level completion and for the computation of