MINIX3 now has support for live update and rerandomization of its system services. These features are based on LLVM bitcode compilation and instrumentation in combination with various run-time extensions. Live update and rerandomization support is currently fully functional, although still in an experimental state, not enabled by default, and available for x86 only. This document describes the basic idea, provides instructions on how to enable and use the functionality, provides more in-depth information for developers, and lists open issues and further reading material.
A very detailed look at this piece of MINIX3 functionality.
Sounds nice. Is there an article that goes with this?
Either http://wiki.minix3.org/doku.php?id=developersguide:liveupdate or http://myinforms.com/en/a/18465765-minix-3-support-for-live-update-…
…Linux is obsolete.
😉
Erlang, the Sweden programming language, do feature such functionalities, yet haven’t skyrocketed into the programmers’ favorite tool. Best technologies ain’t always the most used, otherwise we would be all using recent Amiga computers.
I love functional programming languages being grown up with Standard ML. I would really like to see Haskell and Erlang take off beyond a few applications where strict provability is required.
But “Linux … is obsolete” was just targeted on the Tanenbaum discussion about 25 years ago.
Or maybe Erlang and Amiga computers weren’t the best tools.
That’s why we ended with PCs
Erlang requires a runtime, doesn’t it?
Yup, it is byte-code compiled for the Erlang VM.
Then you can’t really get those features at an OS level, unless it’s actually implemented by the OS which uses a lower level language.
Never said Erlang should be lowered at OS level, just that it features hotcode swapping and services respawning.
BTW, Java cards or Jazelle provides native Java implementations or at least accelerators to build the language upon.
If Minix3 offers such services natively, porting Erlang to Minix3 would be straightforward since it had just to use the native implementation instead of its own.
Tannenbaum talked about it on Devoxx Belgium 2015
https://www.youtube.com/watch?v=oS4UWgHtRDw&feature=youtu.be&t=41m