[Oberon] Oberon for a C++ user.

[Lars]

On Mon, November 21, 2016 2:20 am, Felix Friedrich wrote:
> And also, I agree very much that the (academically interesting)
> discussion about the corner cases of module unloading is additionally
> merely relevant for the development phase and does not really apply to
> production systems.
>
> Regards
> Felix

Couldn't a live production system have a module that needs to be updated
on the fly?

I.e. someone is flying a rocket ship to Mars with an oberon system
controlling it.  3/4 of the way to Mars, someone is auditing the code in
their spare time because there is nothing to do, on the way to Mars, other
than twiddle thumbs.  So someone finds a small bug, that might cause the
ship to crash once it gets to mars after auditing the code. As they are
only 3/4 of the way to Mars, they unload the module and replace it with a
new module that has the small bug fixed.

This assumes, though, that unloading the module is possible without
brining the system down.. i.e. hopefully the bug is in a module that
hasn't been used or referenced yet, but will be used when the Mars ships
lands.

Sorry, just bringing up a silly corner case that "could be". Do module
unloading/loading allow live patching of a system, in other words....

Could be useful...