diff --git a/docs/Makefile b/docs/Makefile index 022c152..6526c20 100755 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,5 +1,6 @@ SUBDIRS = editing-example1 editing-example2 editing-example3 INPUTS = index.xml constitution.xml official.xml machine_usage.xml \ - machine_usage_summary.xml website.xml editing-howto.xml + machine_usage_summary.xml website.xml editing-howto.xml \ + constitution-change-20020920.xml include ../default.mk \ No newline at end of file diff --git a/events.xml b/events.xml index 91383ae..88fa6a6 100755 --- a/events.xml +++ b/events.xml @@ -938,10 +938,19 @@ lent to you for the duration of this class.
-The Hurd server interfaces are at the heart of the Hurd system. They + define the remote procedure calls (RPCs) that are used by the servers, the + GNU C library and the utility programs to communicate with the Hurd system + and to implement the POSIX personality of the Hurd as well as other + features.
+ +This talk is a walk through the Hurd RPCs, and will give an overview of how + they are used to implement the system. Individual RPCs will be used to + illustrate important or exciting features of the Hurd system in general, + and it will be shown how those features are accessible to the user at the + command line, too.
+ +Marcus Brinkmann is a math student at the Ruhr-Universitaet Bochum in + Germany. He is one of maintainers of the GNU Hurd project and the + initiator of the Debian GNU/Hurd binary distribution. He designed and + implemented the console subsystem of the Hurd, wrote the FAT filesystem + server, and fixed a lot of bugs, thus increasing the stability and + usability of the system.
+ +Virtual memory management is one of the cornerstones of multiuser +operating systems. Most systems available today place all of the +policy in a monolithic virtual memory manager, VMM, isolated from the +rest of the system. Although secure and lightweight, users have no +way to communicate their anticipated memory needs and usage to the +system pager. As a result, the VMM can only implement a global paging +policy (typically, an approximation of LRU) which may be good on +average but is best for nobody.
+ +With the port of Hurd to the L4 microkernel, this situation is being +readdressed. Due to its more distributed nature, a centralized +resource manager is not only more difficult to implement efficiently +but also contrary to the philosophy of the rest of the system. We are +currently exploring a model whereby each program is fully self-paged +and all compete for memory from a physical memory server. This talk +will first discuss how paging currently works in Mach and other +systems. An argument for an external paging policy will then be +presented followed by the requirements of such a design and the design +itself.
+ +Neil Walfield, a Hurd developer, is from the University of Mass. Lowell.
+ +The Debian Project produces a "Universal Operating System" that is +comprised entirely of Free Software. This talk focuses on using Debian +GNU/Linux in an enterprise environment. This includes:
+