PowerAda 107
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 09:31, 24 April 2019 by imported>WikiVisor
(107) The upper bound on the duration of interrupt blocking caused by the implementation.
See D.12(5).
PowerAda does not explicitly block signals. At some points the priority of a thread performing an operation is boosted to System.Interrupt_Priority'last for a short time.