News for hackers. Stuff that matters.

A comment on Fearless concurrency in your microcontroller. Parent comment

Re:Fearless concurrency in your microcontroller by nickpsecurity on Wednesday May 10, 2017 @05:17PM (#14311816)
I don't see anything about safety for dynamic, memory management in that link. It just talks about correctness. I'm specifically wanting affine types and ownership system that let SPARK go from static to dynamic.

I do like them splitting it into several levels, though. That worked under Orange Book for security.

[ Parent | on HN ]
Re:Fearless concurrency in your microcontroller by touisteur on Thursday May 11, 2017 @01:34AM (#14314043)
My bad, slides are not available yet... There's a mention in there about some rust-like ownership proof mechanism in their roadmap. I thought about our last exchange on SPARK & rust when I saw this :-).
[ Parent | on HN ]
Re:Fearless concurrency in your microcontroller by pjmlp on Thursday May 11, 2017 @01:00AM (#14313930)
AdaCore hired the guy that designed ParaSail, however the language development is a bit slow.

https://forge.open-do.org/plugins/moinmoin/parasail/FrontPag...

[ Parent | on HN ]
Re:Fearless concurrency in your microcontroller by nickpsecurity on Monday May 15, 2017 @07:13PM (#14346036)
In case you're interested in details on this development:

https://news.ycombinator.com/item?id=14346032

[ Parent | on HN ]