diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 15:28:21 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 15:28:21 +0200 |
| commit | 80363c2f0bf302e569c12d86352e4d086c2e6d4d (patch) | |
| tree | c0a1af73f0e07dee9b5802115990158c3bc85faf /gcc/ada/a-coinho-shared.adb | |
| parent | d56f4479e63df5de87b47572640de835924cf443 (diff) | |
| download | gcc-80363c2f0bf302e569c12d86352e4d086c2e6d4d.zip gcc-80363c2f0bf302e569c12d86352e4d086c2e6d4d.tar.gz gcc-80363c2f0bf302e569c12d86352e4d086c2e6d4d.tar.bz2 | |
[multiple changes]
2014-10-10 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb: Minor code reorganization.
2014-10-10 Pat Rogers <rogers@adacore.com>
* gnat_rm.texi: Text now indicates pragma No_Run_Time is not
for users.
2014-10-10 Vadim Godunko <godunko@adacore.com>
* a-coinho-shared.adb: Add minor comment.
* a-stzmap.adb (To_Sequence): Compute size of result array.
From-SVN: r216081
Diffstat (limited to 'gcc/ada/a-coinho-shared.adb')
| -rw-r--r-- | gcc/ada/a-coinho-shared.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/a-coinho-shared.adb b/gcc/ada/a-coinho-shared.adb index 1f3d8bc..94d4fe4 100644 --- a/gcc/ada/a-coinho-shared.adb +++ b/gcc/ada/a-coinho-shared.adb @@ -25,6 +25,13 @@ -- <http://www.gnu.org/licenses/>. -- ------------------------------------------------------------------------------ +-- Note: special attention must be paid to the case of simultaneous access +-- to internal shared objects and elements by difference tasks. The Reference +-- counter of internal shared object is the only component protected using +-- atomic operations; other components and elements can be modified only when +-- reference counter is equal to one (so there are no other references to this +-- internal shared object and element). + with Ada.Unchecked_Deallocation; package body Ada.Containers.Indefinite_Holders is |