Google's Chrome OS, built on a platform of software as a service, is going the wrong way against open source software.
What we need instead is a more robust, seamless, version of what Debian calls unattended-upgrades. Ksplice is sort of the right idea, we need a seamless way of upgrading any running software. (But once any application can easily be shutdown and restarted without losing state, Ksplice is no longer needed.)
Formally prove that nothing "bad" will happen in an upgrade, regardless of the state of the running old program.
No comments :
Post a Comment