John Mulholland of Boeing says Starliner's flight software has about 1 million lines of code. Now they will have to go back through and verify all of that.
-
-
-
Replying to @thomasantony @rustlang
Rust is way too new of a language to use in these safety critical embedded environments. C and C++ are here to stay for a long time. Likely a decade or more. Not to mention I don’t believe Rust supports pre-allocating memory which is critical for safe embedded coding.
4 replies 0 retweets 2 likes -
Replying to @AaronViviano @thomasantony
Rust absolutely “supports pre-allocating” memory, to be clear
1 reply 0 retweets 22 likes -
Replying to @rustlang @thomasantony
That’s great to hear! Rust is much further along than I had previously thought. Thank you for the correction. Is static allocation accomplished via this API? https://doc.rust-lang.org/std/alloc/index.html … Also is there a means around the standard library’s OOM program abort?
1 reply 0 retweets 1 like -
Replying to @AaronViviano @thomasantony
You declare a static, no specific api needed. You could write an allocator backed by that if you’d like, of course
1 reply 0 retweets 2 likes -
And no, in the sense that you can’t change that for the standard library, but yes, in that if you’re not using the standard library that doesn’t apply and you can do whatever you want
1 reply 0 retweets 0 likes -
Any time :)
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.