• Home
  • Archive
  • Tools
  • Contact Us

The Customize Windows

Technology Journal

  • Cloud Computing
  • Computer
  • Digital Photography
  • Windows 7
  • Archive
  • Cloud Computing
  • Virtualization
  • Computer and Internet
  • Digital Photography
  • Android
  • Sysadmin
  • Electronics
  • Big Data
  • Virtualization
  • Downloads
  • Web Development
  • Apple
  • Android
Advertisement
You are here: Home » Microsoft SafeOS

By Abhishek Ghosh November 15, 2010 7:21 pm Updated on November 15, 2010

Microsoft SafeOS

Advertisement

Tutorial3Microsoft is certainly exploring operating systems beyond Windows, and SafeOS can be added to the list that already contains Midori and Singularity.

But in all fairness, SafeOS is not designed as a moniker but rather it serves the purpose of describing the concept of a non-Windows safe operating system, whereas Midori and Singularity are codenames for projects already being explored by the software giant.

SafeOS is mentioned in a Microsoft patent application unearthed by MA-Config, which involves a secure operating system put together by using techniques such as typed assembly language (TAL) and Hoare logic for an Automated, Static Safety Verifier in order to deliver highly automated, static verification of both type and memory safety.

Essentially, the new Microsoft platform concept involves a completely different architecture of the operating system, going beyond address-based memory protection.

œSafeOS, or a similar operating system constructed using the “Automated, Static Safety Verifier”, includes a “Nucleus” that provides access to hardware and memory, a “kernel” that builds services on top of the Nucleus, and applications that run on top of the kernel, reads an excerpt from the patent.

œThe Nucleus, written in verified assembly language, implements allocation, garbage collection, multiple stacks, interrupt handling, and device access.

œThe kernel, written in C# (or other language) and compiled to TAL, builds higher-level services, such as preemptive threads, on top of the Nucleus.

œA TAL checker then verifies the safety of the kernel and applications. Finally, a Hoare-style verifier with an automated theorem prover verifies both the safety and correctness of the Nucleus.

In the patent, Microsoft is underlining the fact that SafeOS is nothing more than a concept designed to illustrate the principle of an Automated, Static Safety Verifier used to bulletproof a platform.

There is no guarantee that the Redmond company will explore this type of OS going forward, or that building a fully functional operating system with the SafeOS concept at the core is even possible.

œit should be understood that while feature rich safe operating systems can be constructed using the “Automated, Static Safety Verifier”, in its current implementation, SafeOS is a small safe operating system that has a number of programmatic limitations.

œFor example, it lacks support for many common C# features: exception handling, for example, is implemented by killing a thread entirely, rather than with try/catch.

œIt lacks the standard .NET class library, since the library’s implementation currently contains much unsafe code.

œIt lacks dynamic loading of code. Although it protects applications from each other using type safety, it lacks a more comprehensive isolation mechanism between applications, such as Java Isolates, C# AppDomains, or Singularity SIPs, it is added in the patent.

Written by: mariusoiaga ; published in Softpedia

Tagged With SafeOS , windows SafeOS , safeOS windows , du for safeos , What is SafeOS , what is windows safeos

This Article Has Been Shared 838 Times!

Facebook Twitter Pinterest
Abhishek Ghosh

About Abhishek Ghosh

Abhishek Ghosh is a Businessman, Orthopaedic Surgeon, Author and Blogger. You can keep touch with him on Twitter - @AbhishekCTRL.

Here’s what we’ve got for you which might like :

Articles Related to Microsoft SafeOS

  • Microsoft Posts Record Revenues in Quarter

    Microsoft announced operating income of $7 billion on record revenue of $16.2 billion for the quarter ending September 30. The results were dramatically better than expectations and up significantly from the same time period a year ago.

  • Windows 8 Could Feature Cloud Backup via Windows Azure

    Although the details for what could end up being Windows Azure-based Windows 8 storage come from Microsoft, fact is that the information was not confirmed officially.

  • Windows 8: using the functions without loading the full OS

    A sum up of latest Windows 8 possible features.

  • A new different version of Windows for Tablet PCs

    According to the report, Microsoft is finally and belatedly porting Windows to non-PC chipsets, specifically those made by ARM. These chipsets can be used in everything from smartphones to tablet-like devices similar to the iPad, and use a lot less power—and thus also get much better battery life—than devices based on PC-style chipsets from Intel or AMD.

  • Microsoft plans to impliment Windows 7 for wide range of devices

    At CES, Microsoft’s CEO shows off new tablet, laptop running Windows and says ‘only the imagination limits what can be done with Windows’

Additionally, performing a search on this website can help you. Also, we have YouTube Videos.

Take The Conversation Further ...

We'd love to know your thoughts on this article.
Meet the Author over on Twitter to join the conversation right now!

If you want to Advertise on our Article or want a Sponsored Article, you are invited to Contact us.

Contact Us

Subscribe To Our Free Newsletter

You can subscribe to our Free Once a Day, Regular Newsletter by clicking the subscribe button below.

Click To Subscribe

Please Confirm the Subscription When Approval Email Will Arrive in Your Email Inbox as Second Step.

Search this website…

 

Popular Articles

Our Homepage is best place to find popular articles!

Here Are Some Good to Read Articles :

  • Cloud Computing Service Models
  • What is Cloud Computing?
  • Cloud Computing and Social Networks in Mobile Space
  • ARM Processor Architecture
  • What Camera Mode to Choose
  • Indispensable MySQL queries for custom fields in WordPress
  • Windows 7 Speech Recognition Scripting Related Tutorials

Social Networks

  • Pinterest (21K Followers)
  • Twitter (5.3k Followers)
  • Facebook (5.7k Followers)
  • LinkedIn (3.7k Followers)
  • YouTube (1.3k Followers)
  • GitHub (Repository)
  • GitHub (Gists)
Looking to publish sponsored article on our website?

Contact us

Recent Posts

  • Basics of Data Protection on the Internet March 2, 2021
  • What is Standard Software February 28, 2021
  • WordPress Link to text Fragment February 27, 2021
  • How to Protect IP Cameras From Hackers February 25, 2021
  • 6 Sectors That Have Undergone Revamps in Digital Landscape February 24, 2021

 

About This Article

Cite this article as: Abhishek Ghosh, "Microsoft SafeOS," in The Customize Windows, November 15, 2010, March 3, 2021, https://thecustomizewindows.com/2010/11/microsoft-safeos/.

Source:The Customize Windows, JiMA.in

 

This website uses cookies. If you do not want to allow us to use cookies and/or non-personalized Ads, kindly clear browser cookies after closing this webpage.

Read Cookie Policy.

PC users can consult Corrine Chorney for Security.

Want to know more about us? Read Notability and Mentions & Our Setup.

Copyright © 2021 - The Customize Windows | dESIGNed by The Customize Windows

Copyright  · Privacy Policy  · Advertising Policy  · Terms of Service  · Refund Policy