Multiaddress space message passing virtual machine

Discussions on more advanced topics such as monolithic vs micro-kernels, transactional memory models, and paging vs segmentation should go here. Use this forum to expand and improve the wiki!
User avatar
zeitue
Member
Member
Posts: 88
Joined: Fri Dec 14, 2012 6:05 pm
Libera.chat IRC: zeitue
Location: United States, Texas
Contact:

Re: Multiaddress space message passing virtual machine

Post by zeitue »

An intesrting concept for a single address spaced virtual machine would be the use of domains used in Mungi.
after all this I think it would be better to just emulate the hardware to a degree and use host integration like HostFS and passthrough daemons.
4.1 Protection Philosophy
One of the most obvious advantages that single-address-space systems have over separate
address space system is the ease with which sharing can be accomplished. Consequently,
the design of a protection mechanisms needs to take great care that sharing is not unduly
hindered; conversely we cannot ignore protection as this would render the resultant system
unsuitable for use in a multiuser environment.
Ideally a protection mechanism should be unobtrusive, o er perfect safety, allow the
implementation of arbitrary security policies and have no performance impact on the system.
It is obvious that this is an impossible goal. In reality the aims are: a protection system
that is exible, intuitive and has as little performance impact on the user as possible. These
requirements form a subset of the Mungi design requirements; in particular the following
32CHAPTER 4. PROTECTION IN MUNGI
33
subset provided the guiding principles for the design of the Mungi protection system.
Flexibility: The protection mechanism should not limit the security policies that can
be implemented using Mungi primitives. A limited range of security policies restricts
the use of the operating system to a speci c range of of environments.
Simplicity: Protection can only be applied to entities that can be named. In the
Mungi single address space there is only one name for each entity, its virtual address.
This allows Mungi to implement protection simply by applying the \3 R's" (read,
write and run).
Ease of use: Good protection mechanisms don't necessarily translate to good security.
If protection is too invasive or counter-intuitive users will not routinely apply it.
Therefore, operating system primitives should allow the intuitive application of good
security practice. Further, while a na ve user should not need to understand the
protection mechanism to apply good security practice, the security conscious user,
who does understand the protection mechanism, should be able to arbitrarily enact
any security policy that they wish.
Performance: The need to minimise the performance impact is obvious. Protection is
not tolerated if the costs are prohibitive.
Still a cool idea :D
### Z++; && S++; ###
zeitue is pronounced zeɪtə
Web Site::Bit Bucket
Programming Languages: C, C++, Java, Ruby, Common Lisp, Clojure
Languages: English, zɪ̀ŋ, 日本語, maitraiuen
Post Reply