Stream: project leads (public)

Topic: Multi Core Soundness (Embedded)


James Munns (Jan 26 2020 at 15:36, on Zulip):

The embedded wg is currently discussing how to model/represent/enforce soundness in bare metal multicore systems, due to the lack of abstraction that is normally provided by the OS that all threads on all cores have access to a consistent set of resources. Might be interesting for the T-Lang folks in the room:

https://github.com/rust-embedded/wg/pull/419

Last update: Feb 25 2020 at 02:30UTC