{"id":293,"date":"2015-10-23T18:27:48","date_gmt":"2015-10-23T17:27:48","guid":{"rendered":"http:\/\/www.lestarif.fr\/?p=293"},"modified":"2015-10-23T18:27:48","modified_gmt":"2015-10-23T17:27:48","slug":"after-linux-national-server-operating-system-in-the-right-way","status":"publish","type":"post","link":"http:\/\/www.lestarif.fr\/?p=293","title":{"rendered":"After Linux: National Server Operating System in the Right Way"},"content":{"rendered":"

Sur CTOCIO.com<\/a><\/p>\n

Russia [1]<\/a>, China [2]<\/a>, India [3]<\/a>, Turkey [4]<\/a>, France [5]<\/a> are all creating or planning to create their national operating system as a way to reduce their dependency to US software dominance. Are those plans going to succeed ?<\/strong><\/p>\n

 <\/p>\n

Unix: a national OS that became international<\/h2>\n

A \u201cNational OS\u201d strategy is not wrong per se. It can even be successful.<\/p>\n

Unix and POSIX are good examples of an operating system financed by US national interests that became successful after an open source version created in Finland under the name \u201cLinux\u201d solved interoperability issues among vendors and hardware. The ADA language [6]<\/a> \u2013 a kind of national lingua franca for aerospace industry \u2013 was actually designed in France to introduce better type checking for embedded systems and is now used in the US more than anywhere else.<\/p>\n

Becoming international and bringing major innovations without blocking interoperability seems to be the secret for a \u201cNational OS\u201d to be successful. Are thus any problems that a mature and apparently perfect GNU\/Linux distribution such as Debian still does not solve?<\/p>\n

 <\/p>\n

Virtualisation: solving real problems of current operating systems in the wrong way<\/h2>\n

Much effort has been invested in cloud computing for now ten years. Let us analyse those efforts from an \u201coperating system\u201d design standpoint and make a typical list of the problems that Cloud tries to solve in POSIX operating systems.<\/p>\n

Problem 1<\/strong>. Current POSIX operating systems do not provide strong isolation between services implemented as processes. Cloud uses CPU virtualisation to provide process isolation.<\/p>\n

Problem 2<\/strong>. Current POSIX operating systems do not support multiple versions of the same service. Cloud uses multiple virtual disk images to run multiple versions of the same service.<\/p>\n

Problem 3<\/strong>. Current POSIX operating systems do not support the paradigm of \u201cmultiple instances of the same class of service\u201d. Cloud uses multiple virtual disk images to run multiple instances of the same service.<\/p>\n

Problem 4<\/strong>. Current POSIX operating systems do not support configuration of multiple inter-related services. Cloud uses network virtualisation or orchestrators to connect multiple virtual disk images or containers.<\/p>\n

Problem 5<\/strong>. Current POSIX operating systems do not support remote deployment of services. Cloud uses remote deployment of virtual disk images to remotely execute a service.<\/p>\n

Problem 6<\/strong>. Current POSIX operating systems do not natively monitor services. Cloud uses dedicated monitoring services that often run outside the Cloud infrastructure.<\/p>\n

Problem 7<\/strong>. Current POSIX operating systems do not support accounting and billing of resources used by services. Cloud uses dedicated third party applications for accounting and billing applications that often run outside the Cloud infrastructure.<\/p>\n

Each of the 7 problems we have listed defines possible improvement that National OS could provide over current GNU\/Linux distributions.<\/p>\n

Those improvements are not really new: operating systems of mainframe computers have solved quite well the 7 problems them for more than 40 years. Those improvements also relate to 20 years old effort to turn Unix into fully distributed operating system that has until now not succeeded.<\/p>\n

 <\/p>\n

Single System Image: \u201ceverything is a distributed file\u201d<\/h2>\n

OpenSSI [7]<\/a> and MOSIX [8]<\/a> provided a first solution in 1977 to turn Unix and later Linux into a distributed operating system. They were followed by Kerrighed [9] <\/a> in 1998 and XtreemOS [10] <\/a> in 2006. Under the term \u201cSingle System Image\u201d (SSI), the idea is to aggregate multiple Linux servers as if they were a single one with petabytes of RAM and tens of thousands of processors. Processes started on one server are capable of migrating transparently to another server in order to optimize hardware resources without the user having to care about it.<\/p>\n

MOSIX did not last very long [11]<\/a>. Kerrighed commercial company closed in 2014 after 16 years of R&D [12]<\/a>. Even though the single system image (SSI) approach is the most elegant, it does not seem ready yet for production. It also does not solve most problems that found in traditional POSIX operating systems, such as native support of multiple versions and multiple instances of a service.<\/p>\n

Another major approach started in 1987 \u2013 Plan9 and its successor Inferno \u2013 prove that it is possible to design a modern distributed operating system based on the Unix philosphy of \u201ceverything is a file\u201d. But becase Plan9 break compatibility with POSIX codebase and only solves part of the 7 problems that we listed, Plan9 was never adopted much outside research projects such as Akaros [13] <\/a>.<\/p>\n

 <\/p>\n

Mesh Computing: \u201ceverything is a service\u201d<\/h2>\n

A new generation of operating system has recently emerged by focusing on packages and services rather than on files. In recent conference, Hewlett Packard CTO described them as \u201cmesh\u201d [14]<\/a>. Two initiatives are worth attention: NixOS and SlapOS.<\/p>\n

NixOS, started in 2004, considers that the package manager is the most important component in a modern operating system. NixOS package manager innovative design can solve 4 of the 7 problems that we listed.<\/p>\n

The NixOS package manager uses a declarative domain specific language to represent software packages, their dependencies and their configuration. It is able to install multiple versions of the same software on a single operating system, without containers or virtualization. It provides atomic upgrades and downgrades of consistent set of packages. NixOS support distributed package management and configuration, with a declarative model and garbage collection that are consistent with functional philisophy that guided its origin. In 2012, NixOps has introduced cloud extensions that support remote deployment of services in the same way as local deployment of packages with the same declarative language. But at the same time, NixOs has started to introduce some imperative programming and containers that depart from its original philisophy.<\/p>\n

SlapOS started in 2010 with the idea to fully automate the operation of multiple instances and versions of arbitrary services on a decentralized infrastructure at minimal cost. Just as NixOS and Disnix, SlapOS relies on declarative language to describe software build, deployment and configuration on a distributed infrastructure. SlapOS also describes with the same declarative language: monitoring, backup, restore, accounting and billing of services. SlapOS has been used in a few large companies to deploy ERP applications: Airbus (Germany), SANEF (France), Kyorin (Japan).<\/p>\n

SlapOS brings a couple of ideas that are still unique in POSIX world and that solve all of the 7 challenges we listed. Its core design is a compact ERP model. Users can request any quantity of software services from a distributed software catalog (ex. a database service), just like they would request products from an online shop. SlapOS delivers requested service to the user, monitors it, accounts resource usage and generates an invoice. All objects in SlapOS can be represented by a Web URL, which provides unique naming and decentralised management of shared resources. Security relies on the generation of X.509 certificates for every service, software, computer, IPv6 address and every user through a distributed Public Key Infrastructue (PKI). Binary isolation between processes is achieved through Israel originated ZeroVM technology [15] <\/a>. Isolation properties of SlapOS have been demonstrated through a still unique formal proof by French Atomic Energy Research Center [16]<\/a>.<\/p>\n

 <\/p>\n

Overcoming the challenge of adoption through new products<\/h2>\n

Rebranding existing operating system has never created much traction in the absence of innovation. Security extensions sponsored by state army \u2013 such as in SE Linux [17]<\/a> or Kylin Linux [18]<\/a> \u2013 always bear the suspicion of added backdoor from other states. The only reasonable path for a national operating system to gain wide adoption is thus to bring major innovations to the market. Mesh computing is one reasonable candidate for a national operating system.<\/p>\n

But greatness of a technology such mesh computing \u2013 or Plan9 before \u2013 does not suffice for its adoption. Native orchestration, higher resilience and lower operating cost compared to virtualisation are insufficient arguments to convince conservative developers to spend even minimal effort to port applications from their current favourite environment. Recent efforts found for example in CoreOS [19]<\/a> to seamlessly integrate containers [20]<\/a> and orchestration into a Linux distribution with nearly no porting cost finds much more traction even if it leaves most of our 7 challenges unresolved.<\/p>\n

If we look back in operating system history, MacOS was initially rejected by about any corporate IT expert. It could however gain adoption thanks to new products that did not fit in existing market segments: Desktop Publishing with PageMaker [21]<\/a> and Rapid Application Development (RAD) with 4D [22]<\/a>. New users of DTP or RAD did not care whether it was good or bad to use mouse and windows on a single threaded operating system which files had two so-called \u201cforks\u201d [23]<\/a>. They just cared that they could get things done well, fast and cheap.<\/p>\n

Finding new products and markets is thus probably the key for wide international adoption of a national mesh operating system. The end of network neutrality could for example create a market for a private CDN product based on mesh computing. Exponential growth of data and privacy concerns could favour plug-and-play, self-orchestrated Big Data product based on mesh computing. The need for different parties to deploy software in smart sensors calls for a new operating system that supports secure resource sharing with little overhead. Ability to run same binary application on different architectures (ARM, x86, etc.) for higher resilience against hardware backdoors is an obvious product for sensitive applications that can all simplify corporate IT with end of Intel dominance.<\/p>\n

The race for the first killer product of \u201cmesh computing\u201d is now open.<\/p>\n

Reference<\/h3>\n

[1] \u4fc4\u7f57\u65af\u5c06\u5f00\u53d1\u81ea\u4e3b\u64cd\u4f5c\u7cfb\u7edf\u51cf\u5c11Windows\u4f9d\u8d56 \u2013 http:\/\/tech.sina.com.cn\/it\/2010-10-28\/08474800078.shtml<\/a>
\n[2] \u4e2d\u56fd\u653f\u5e9c\u91c7\u8d2d\u5bf9win8\u8bf4\u4e0d, \u56fd\u4ea7\u64cd\u4f5c\u7cfb\u7edf\u88ab\u5bc4\u4e88\u539a\u671b \u2013 http:\/\/news.163.com\/14\/0521\/08\/9SONC5MK00014JB5.html <\/a>
\n[3] DRDO\uff1a\u5f00\u53d1\u5c5e\u4e8e\u5370\u5ea6\u4eba\u81ea\u5df1\u7684\u64cd\u4f5c\u7cfb\u7edf \u2013 http:\/\/www.ifanr.com\/news\/221832<\/a>
\n[4] Linux\u65e0\u5904\u4e0d\u5728\uff01\u8ba9\u6211\u6765\u544a\u8bc9\u4f60\u5b83\u5230\u5e95\u5728\u54ea\uff01 \u2013 http:\/\/linux.cn\/article-2480-1.html <\/a>
\n[5] Montebourg serait favorable \u00e0 la cr\u00e9ation d\u2019un OS \u201cmade in France\u201d\u00a0\u2013 http:\/\/www.zdnet.fr\/actualites\/montebourg-serait-favorable-a-la-creation-d-un-os-made-in-france-xptdr-39801597.htm<\/a>
\n[6] Ada \u2013 http:\/\/zh.wikipedia.org\/wiki\/Ada <\/a>
\n[7] OpenSSI \u2013 http:\/\/en.wikipedia.org\/wiki\/OpenSSI<\/a>
\n[8] MOSIX \u2013 http:\/\/en.wikipedia.org\/wiki\/MOSIX<\/a>
\n[9] Kerrighed \u2013 http:\/\/en.wikipedia.org\/wiki\/Kerrighed<\/a>
\n[10] XtreemOS \u2013 http:\/\/en.wikipedia.org\/wiki\/XtreemOS<\/a>
\n[11] openMosix Project Ends \u2013 http:\/\/sourceforge.net\/p\/openmosix\/news\/2008\/02\/openmosix-project-ends\/<\/a>
\n[12] Kerlabs \u2013 http:\/\/www.societe.com\/societe\/kerlabs-492287552.html<\/a>
\n[13] Akaros \u2013 http:\/\/akaros.cs.berkeley.edu\/akaros-web\/news.php<\/a>
\n[14] Complement The machine with a distributed mesh cloud, welcome to the future \u2013 http:\/\/h30507.www3.hp.com\/t5\/Cloud-Source-Blog\/Complement-The-machine-with-a-distributed-mesh-cloud-welcome-to\/ba-p\/165020#.U8e4Jv5mK00<\/a>
\n[15] ZeroVM \u2013 http:\/\/en.wikipedia.org\/wiki\/ZeroVM<\/a>
\n[16] Formal Verification of the Runtime of ZeroVm, a Sandbox Technique Based on NaCl \u2013 http:\/\/sebastien.bardin.free.fr\/seminaire.html<\/a>
\n[17] SE Linux \u2013 http:\/\/zh.wikipedia.org\/wiki\/%E5%AE%89%E5%85%A8%E5%A2%9E%E5%BC%BA%E5%BC%8FLinux<\/a>
\n[18] Kylin Linux \u2013 http:\/\/zh.wikipedia.org\/wiki\/%E4%B8%AD%E6%A0%87%E9%BA%92%E9%BA%9F<\/a>
\n[19] CoreOS \u2013 https:\/\/coreos.com\/<\/a>
\n[20] Docker \u2013 http:\/\/en.wikipedia.org\/wiki\/Docker_%28software%29<\/a>
\n[21] PageMaker \u2013 http:\/\/zh.wikipedia.org\/wiki\/Adobe_PageMaker<\/a>
\n[22] 4D \u2013 http:\/\/www.4d.com\/solutions\/develop\/design.html<\/a>
\n[23] HFS \u2013 http:\/\/fr.wikipedia.org\/wiki\/Hierarchical_File_System<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Sur CTOCIO.com Russia [1], China [2], India [3], Turkey [4], France [5] are all creating or planning to create their national operating system as a way to reduce their dependency to US software dominance. Are those plans going to succeed ?   Unix: a national OS that became international A \u201cNational OS\u201d strategy is not …<\/p>\n

Continue reading ‘After Linux: National Server Operating System in the Right Way’ »<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[7,3],"tags":[],"_links":{"self":[{"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=\/wp\/v2\/posts\/293"}],"collection":[{"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=293"}],"version-history":[{"count":1,"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=\/wp\/v2\/posts\/293\/revisions"}],"predecessor-version":[{"id":294,"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=\/wp\/v2\/posts\/293\/revisions\/294"}],"wp:attachment":[{"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=293"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=293"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.lestarif.fr\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=293"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}