[SystemSafety] A small taste of what we're up against

[David Crocker]

On 25/10/2018 16:51, Peter Bishop wrote:
> ...
>
> Another area that (most) languages do not address is concurrency, so
> Pascal might be better than C semantically *as a sequential program* but
> both are equally vulnerable to data races in a concurrent real-time
> environment, i.e. the behaviour is semantically ambiguous unless other
> concurrency control measures (outside the language semantics) are put in
> place.
C and C++ have both supported concurrency in the language since their
2011 revisions. However, shared-memory concurrency is very easy to get
wrong in any programming language.

- David