diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2009-02-17 01:57:35 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-02-17 01:57:35 +0100 |
commit | 7eecc9b75ce4867597f2dc404182bb04f7fe2145 (patch) | |
tree | 93339073807a7cc76d25fa6bfce2a1673c3f8fc6 /hurd/ng/resource_management_problems.mdwn | |
parent | f57755b84e4d352faab76bf7194768555a615596 (diff) |
hurd/ng/resource_management_problems -> microkernel/mach/gnumach/open_issues/resource_management_problems
Diffstat (limited to 'hurd/ng/resource_management_problems.mdwn')
-rw-r--r-- | hurd/ng/resource_management_problems.mdwn | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/hurd/ng/resource_management_problems.mdwn b/hurd/ng/resource_management_problems.mdwn deleted file mode 100644 index 856afb1a..00000000 --- a/hurd/ng/resource_management_problems.mdwn +++ /dev/null @@ -1,19 +0,0 @@ -[[meta copyright="Copyright © 2008 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]]."]]"""]] - -[[microkernel/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 -[[microkernel/viengoos]]. |