diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-19 11:15:58 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-19 11:15:58 +0200 |
commit | 9a504117097495928a2a83884bb40438baa2321a (patch) | |
tree | bc945e4b7f71b8ef6d9972e4746d39b18e46ea17 /microkernel/mach/gnumach/open_issues | |
parent | 98af3eee371766914b053a5011b4830ac358f477 (diff) |
Mach issues.
Diffstat (limited to 'microkernel/mach/gnumach/open_issues')
-rw-r--r-- | microkernel/mach/gnumach/open_issues/resource_management_problems.mdwn | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/microkernel/mach/gnumach/open_issues/resource_management_problems.mdwn b/microkernel/mach/gnumach/open_issues/resource_management_problems.mdwn deleted file mode 100644 index 96028896..00000000 --- a/microkernel/mach/gnumach/open_issues/resource_management_problems.mdwn +++ /dev/null @@ -1,19 +0,0 @@ -[[!meta copyright="Copyright © 2008, 2009 Free Software Foundation, Inc."]] - -[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable -id="license" text="Permission is granted to copy, distribute and/or modify this -document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no Invariant -Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license -is included in the section entitled -[[GNU Free Documentation License|/fdl]]."]]"""]] - -[[Mach]] interfaces do not allow for proper resource accounting, when a server -allocates resources on behalf of a client. - -Mach can't do a good job at resource management, as it doesn't have enough -information how resources are used: which data is important and which is -discardable, for example. - -These issues are what Neal Walfield is working on with his new kernel -[[viengoos]]. |