Re: Scheduling behaviour issue

[AdaMagica <christ-usch.grein@t-online.de>]

Am Mittwoch, 22. April 2020 20:03:56 UTC+2 schrieb Niklas Holsti:
> Under RTEMS, if there are higher-priority tasks on that processor core, 
> such actions on shared data would not have this mutual-exclusion 
> property, and the shared data could be messed up. However, I'm not sure 
> if such use of shared data is "correct" per the Ada RM, and if the 
> resulting mess can be called "misbehaviour".

This is the reasoning of Ada 83 (RM 9.11 Shared Variables):

<quote>
For the actions performed by a program that uses shared variables, the following assumptions can always be made:

* If between two synchronization points of a task, this task reads a shared variable whose type is a scalar or access type, then the variable is not updated by any other task at any time between these two points.

* If between two synchronization points of a task, this task updates a shared variable whose type is a scalar or access type, then the variable is neither read nor updated by any other task at any time between these two points. 

The execution of the program is erroneous if any of these assumptions is violated.
</quote>

I'm too lazy to search for the relevant text in current Ada, but as far as I can tell, this principle is still valid. This is one of the reasons I guess that protected objects were introduced.