I'm starting to tweet news UIC is searching for Systems Faculty. The need which will drive new OS adoption is security.Įthos indicates what is possible with such a design philosophy. We believe that a new generation of OS semantics Which are guaranteed to hold for all applications which are built on top of Ethos. Together, the security services and abstraction provide security properties This semantics includes its security services (authentication, authorization, isolation)Įthos provides stronger security services which are more resistant to attackĪnd abstractions which are less prone to abuse by attackers.Īs an example of the former, all networking in Ethos is encrypted, authenticated,Īs an example of the later, Ethos I/O is typed (as in programming languages)Įnsuring that I/O conforms to declared typed and thus preventing many attacks In contrast, over this time Programming Langugages (PLs) have adoptedĪs a consequence of this semantic gap, PLs have been incorporating more OS semantics.īut PLs are not OSs and a PL-as-OS approach forfeits advantages which result from new OSs.Īn OS's system calls (and other interfaces) define its semantics. Thus the semantics of today's widely-used OSs dates back to the 1970s. 
For decades, Operating Systems (OSs) have stressed backward compatibility and extraordinary flexibility.
0 kommentar(er)
