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:

Last update: Jun 19 2021 at 23:45UTC