Re:F’: Flight Software and Embedded Systems Framework
by hctaw on Saturday February 20, 2021 @01:36AM
(#26202143)
What about iterator invalidation or multiple mutable aliasing in concurrent code
[ Parent
| on HN ]
Re:F’: Flight Software and Embedded Systems Framework
by otabdeveloper4 on Saturday February 20, 2021 @08:45AM
(#26204039)
Iterator invalidation is a kind of use-after-free.
Mutating aliased objects is, of course, usually the desired outcome and not a bug. It becomes a bug when your program's concurrency logic is not thought through, and there are no easy solutions here.