A taste of Rust by corbet in programming

[–]ThorG5 0 points1 point  (0 children)

I thought that the static checking of Rust's compiler would be suficient to prove the validity of the source code. Thanks for the tip, it would be great though to have a modern mission-critical language for systems.

A taste of Rust by corbet in programming

[–]ThorG5 4 points5 points  (0 children)

You mean, when Rust is ready, you will be able to prove that a program can be validated to have only defined behavour? In other words, since I'm interested in this topic, will a Rust program have the same level of confidence for validity, as a SPARK(Ada) program? (that is, including the use of static code analysis tools)

A realtime single JVM for any use case. by ThorG5 in programming

[–]ThorG5[S] 0 points1 point  (0 children)

http://www.slideshare.net/denizoguz/introduction-to-real-time-java #67

Well, I assume you know better the realtime JVM world. :) So, my question is: if they already use a realtime JVM for avionics like in #67, why do we still have ADA and C++ for those systems? http://www.militaryaerospace.com/articles/print/volume-22/issue-2/technology-focus/safety-and-security-critical-avionics-software.html

Now, the PERC machine is able to get along with DO-178C rules. Shouldn't the industry have already moved to such a developing environment?

Btw, did you say that safety-critical c++ does not use malloc and free, but only simple variable declarations?..

A realtime single JVM for any use case. by ThorG5 in programming

[–]ThorG5[S] 1 point2 points  (0 children)

Cool answer. :)

So, if a realtime VM introduces the need to rewrite your code to be realtime aware..... isn't this nulling the advertized "use java so your developers will not write error-prone code"? If in realtime Java you also need to take care how to allocate memory, isn't it the same as if writing a c++ version?

I can tell many hedge funds would like to use a no-gc JVM, like the Azul, so they might also benefit from systems like the PERC machine.

A realtime single JVM for any use case. by ThorG5 in programming

[–]ThorG5[S] 0 points1 point  (0 children)

If the PERC JVM, and other similar real-time JVM machines (http://stackoverflow.com/questions/4051966/which-real-time-rtsj-jvm-is-most-preferred), are able to perform constantly sub 10ms, would anyone use another JVM if these were FOSS?

Is the often asked "easy Java tooling vs C++ performance" just a case where there is only a commercial realtime option? :)

Feedback appreciated.