a-taster.adb (Current_Task_Fallback_Handler): Document why explicit protection agains...
authorJose Ruiz <ruiz@adacore.com>
Wed, 15 Feb 2006 09:28:13 +0000 (10:28 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 15 Feb 2006 09:28:13 +0000 (10:28 +0100)
commit85a40c43fb6f09054f535bae43e8622c971bcc48
treeff0fc56323a0b3142eb004ad33e55efe4c4a9b4e
parented50c9d24adb0eebefce8f67091e8505a546fee9
a-taster.adb (Current_Task_Fallback_Handler): Document why explicit protection against race conditions is not needed.

2006-02-13  Jose Ruiz  <ruiz@adacore.com>

* a-taster.adb (Current_Task_Fallback_Handler): Document why explicit
protection against race conditions is not needed.
(Set_Dependents_Fallback_Handler): Add mutual exclusive access to the
fallback handler.
(Set_Specific_Handler): Add mutual exclusive access to the specific
handler.
(Specific_Handler): Add mutual exclusive access for retrieving the
specific handler.

* s-tarest.adb (Task_Wrapper): Add mutual exclusive access to the fall
back handler.

* s-taskin.ads (Common_ATCB): Remove pragma Atomic for
Fall_Back_Handler and Specific_Handler.

* s-tassta.adb (Task_Wrapper): Add mutual exclusive access to the task
termination handlers.
Set two different owerflow depending on the maximal stack size.

* s-solita.adb (Task_Termination_Handler_T): Document why explicit
protection against race conditions is not needed when executing the
task termination handler.

From-SVN: r111022
gcc/ada/a-taster.adb
gcc/ada/s-solita.adb
gcc/ada/s-tarest.adb
gcc/ada/s-taskin.ads
gcc/ada/s-tassta.adb