diff options
-rw-r--r-- | microkernel/mach/gnumach/boot_trace.mdwn | 4 | ||||
-rw-r--r-- | microkernel/mach/gnumach/interface/device.mdwn | 16 | ||||
-rw-r--r-- | microkernel/mach/gnumach/interface/device/time.mdwn | 18 | ||||
-rw-r--r-- | open_issues/clock_gettime.mdwn | 7 | ||||
-rw-r--r-- | open_issues/dde.mdwn | 5 | ||||
-rw-r--r-- | open_issues/gdb.mdwn | 2 | ||||
-rw-r--r-- | open_issues/implementing_hurd_on_top_of_another_system.mdwn | 7 | ||||
-rw-r--r-- | open_issues/libpthread_CLOCK_MONOTONIC.mdwn | 5 | ||||
-rw-r--r-- | open_issues/performance/io_system/read-ahead.mdwn | 3 | ||||
-rw-r--r-- | open_issues/time.mdwn | 3 | ||||
-rw-r--r-- | open_issues/vdso.mdwn | 48 | ||||
-rw-r--r-- | sidebar.mdwn | 4 | ||||
-rw-r--r-- | system_call.mdwn | 3 |
13 files changed, 112 insertions, 13 deletions
diff --git a/microkernel/mach/gnumach/boot_trace.mdwn b/microkernel/mach/gnumach/boot_trace.mdwn index 1badf712..7b729c23 100644 --- a/microkernel/mach/gnumach/boot_trace.mdwn +++ b/microkernel/mach/gnumach/boot_trace.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2007, 2008, 2011 Free Software Foundation, +[[!meta copyright="Copyright © 2007, 2008, 2011, 2013 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable @@ -114,7 +114,7 @@ License|/fdl]]."]]"""]] >>>> kern/time\_stamp.c: timestamp\_init ->>>> kern/mach\_clock.c: mapable\_time\_init +>>>> kern/mach\_clock.c: [[mapable\_time\_init|interface/device/time]] >>>> i386/i386at/model\_dep.c: machine\_init diff --git a/microkernel/mach/gnumach/interface/device.mdwn b/microkernel/mach/gnumach/interface/device.mdwn new file mode 100644 index 00000000..c8ab50e9 --- /dev/null +++ b/microkernel/mach/gnumach/interface/device.mdwn @@ -0,0 +1,16 @@ +[[!meta copyright="Copyright © 2013 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]]."]]"""]] + +[[!meta title="Devices"]] + +/!\ Incomplete. + +[[!map pages="microkernel/mach/gnumach/interface/device/* and !microkernel/mach/gnumach/interface/device/*/*" +show=title]] diff --git a/microkernel/mach/gnumach/interface/device/time.mdwn b/microkernel/mach/gnumach/interface/device/time.mdwn new file mode 100644 index 00000000..d1e9a488 --- /dev/null +++ b/microkernel/mach/gnumach/interface/device/time.mdwn @@ -0,0 +1,18 @@ +[[!meta copyright="Copyright © 2013 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]]."]]"""]] + +The *mapped-time interface*, that is, a `mmap`able read-only memory page +containing a `struct mapped_time_value`. See the [[reference_manual]]. + +Typically available as `/dev/time`, [[hurd/translator/storeio]]. + +Using that, [[hurd/libshouldbeinlibc]]'s `<maptime.h>` provides `maptime_map` +and `maptime_read`, see the [[hurd/reference_manual]]. Candidate for +replacement with [[open_issues/vDSO]] code? diff --git a/open_issues/clock_gettime.mdwn b/open_issues/clock_gettime.mdwn index 83ad81e8..3caa6c28 100644 --- a/open_issues/clock_gettime.mdwn +++ b/open_issues/clock_gettime.mdwn @@ -14,7 +14,9 @@ License|/fdl]]."]]"""]] Missing `clock_gettime(CLOCK_MONOTONIC)` (e.g. for iceweasel) -It could be a mere matter of extending the mappable clock: add it to +It could be a mere matter of extending the +[[mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]]: +add it to `mapped_time_value_t` in gnumach, handle it in `gnumach/kern/mach_clock.c`, and make `clock_gettime` use it. @@ -184,3 +186,6 @@ In context of [[select]]. <braunr> do you want to make the changes yourself or should i add a new branch ? <youpi> and we'll make that a 64bit struct when we have a64bit userland + + +# Candidate for [[vDSO]] code? diff --git a/open_issues/dde.mdwn b/open_issues/dde.mdwn index b25e53d7..f0f7cae0 100644 --- a/open_issues/dde.mdwn +++ b/open_issues/dde.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2010, 2011, 2012 Free Software Foundation, +[[!meta copyright="Copyright © 2010, 2011, 2012, 2013 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable @@ -393,6 +393,9 @@ After the microkernel devroom at [[community/meetings/FOSDEM_2013]]. we'd have to update 100times per second <youpi> so ZhengDa preferred to make jiffies a macro which calls a function which reads the mapped time + +[[Mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]]. + <youpi> however, that break any use of the work "jiffies", e.g. structure members & such <youpi> actually it's not only after headers that the #include has to be diff --git a/open_issues/gdb.mdwn b/open_issues/gdb.mdwn index 4782368a..6b9cd135 100644 --- a/open_issues/gdb.mdwn +++ b/open_issues/gdb.mdwn @@ -107,7 +107,7 @@ formats and more emulation vectors. * Why do we specify `-D_GNU_SOURCE`, and GNU/Linux doesn't? - * GNU/Linux: `gdb/symfile-mem.c` for vDSO. + * GNU/Linux: `gdb/symfile-mem.c` for [[vDSO]]. * GNU/Linux: `gdb/i386-nat.c` for hardware breakpoints, etc. -- we should probably use that, too. Related to Samuel's Hurd GDB patch? diff --git a/open_issues/implementing_hurd_on_top_of_another_system.mdwn b/open_issues/implementing_hurd_on_top_of_another_system.mdwn index 220c69cc..cf3db0ab 100644 --- a/open_issues/implementing_hurd_on_top_of_another_system.mdwn +++ b/open_issues/implementing_hurd_on_top_of_another_system.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2010, 2011, 2012 Free Software Foundation, +[[!meta copyright="Copyright © 2010, 2011, 2012, 2013 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable @@ -358,8 +358,9 @@ Continue reading about the [[benefits_of_a_native_Hurd_implementation]]. <peo-xaci> what you talked about above "the user space system call code is loaded as a virtual shared library" <braunr> let's call it vdso - <braunr> i have to leave in a few minutes - <braunr> keep going, i'll read later + +[[vDSO]] + <peo-xaci> thanks, I looked it up on Wikipedia and understand immediately :P <peo-xaci> so VDSOs are provided by the kernel, not a regular library file, diff --git a/open_issues/libpthread_CLOCK_MONOTONIC.mdwn b/open_issues/libpthread_CLOCK_MONOTONIC.mdwn index 5a99778b..37ee548b 100644 --- a/open_issues/libpthread_CLOCK_MONOTONIC.mdwn +++ b/open_issues/libpthread_CLOCK_MONOTONIC.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2012 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2012, 2013 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 @@ -25,6 +25,9 @@ License|/fdl]]."]]"""]] <youpi> that's unfortunate, but that's what nptl actually does <pinotree> this way we could add inside hurdtime.c the mapped time stuff too + +[[Mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]]. + <pinotree> most probably a noobish question, but why does rt link to pthread? <youpi> no idea :) diff --git a/open_issues/performance/io_system/read-ahead.mdwn b/open_issues/performance/io_system/read-ahead.mdwn index d471efca..8a8ba823 100644 --- a/open_issues/performance/io_system/read-ahead.mdwn +++ b/open_issues/performance/io_system/read-ahead.mdwn @@ -1323,6 +1323,9 @@ License|/fdl]]."]]"""]] <antrik> well, in theory, specific kernel drivers can expose their own device_map() -- but IIRC the only one that does (besides mem of course) is maptime -- which is not a real driver either... + +[[Mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]]. + <braunr> oh btw, i didn't know you had a blog :) <antrik> well, it would be possible to replace the device interface by specific interfaces for the generic pseudo devices... I'm not sure how diff --git a/open_issues/time.mdwn b/open_issues/time.mdwn index 13cb0a41..becb88b0 100644 --- a/open_issues/time.mdwn +++ b/open_issues/time.mdwn @@ -1,4 +1,5 @@ -[[!meta copyright="Copyright © 2009, 2011 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2009, 2011, 2013 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 diff --git a/open_issues/vdso.mdwn b/open_issues/vdso.mdwn new file mode 100644 index 00000000..2b2d2805 --- /dev/null +++ b/open_issues/vdso.mdwn @@ -0,0 +1,48 @@ +[[!meta copyright="Copyright © 2013 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]]."]]"""]] + +[[!tag open_issue_glibc open_issue_gnumach open_issue_hurd]] + +Evaluate whether or not usage of vDSOs (virtual dynamically linked shared +objects; [[!wikipedia vDSO]]) can be useful in a GNU Hurd system. + +Explanation and example for the Linux kernel: [Creating a vDSO: the Colonel's +Other +Chicken](http://www.linuxjournal.com/content/creating-vdso-colonels-other-chicken), +Matt Davis, 2012-02-06. The *Resources* given are also worth reading. +Basically, this is useful for exporting data from the kernel (generally, or +given a process context ([[Unix]]), or task/thread context, and so on). + +On a GNU Hurd system, parts of the data that makes up a process context doesn't +actually live inside the kernel, but instead is directly held in glibc. For +example `sysdeps/mach/hurd/getpid.c:__getpid` does a mere `return _hurd_pid`. +For this reason, vDSOs might not be as useful on GNU Hurd as they are with the +Linux kernel. Or, put another way, as GNU Hurd system doesn't have many +[[system_call]]s, also there aren't many that could be replaced. + +Generally only *real* [[system_call]]s should be candidates for implementation +with vDSO code, because otherwise that'd break the ([[RPC]]) system's inherent +[[/virtualization]] capabilities. + +Having vDSO code might be useful for: + + * `mach_*_self`: `mach_host_self`, `mach_task_self`, `mach_thread_self`? + + * [[mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]] + + Every application can then use that via the regular + `gettimeofday`/`clock_gettime` and similar calls instead of using the + special [[hurd/libshouldbeinlibc]]'s `<maptime.h>` interface. + + Can implement [[`clock_gettime` stuff|clock_gettime]] more easily that way, + for example for nanosecond precision? + + Now, the [[mapped-time_interface]] is virtualizable -- the question is + whether there is a way so that we can make a compromise here? diff --git a/sidebar.mdwn b/sidebar.mdwn index 2055edb7..e8b69a93 100644 --- a/sidebar.mdwn +++ b/sidebar.mdwn @@ -1,5 +1,5 @@ -[[!meta copyright="Copyright © 2007, 2008, 2009, 2010, 2011, 2012 Free Software -Foundation, Inc."]] +[[!meta copyright="Copyright © 2007, 2008, 2009, 2010, 2011, 2012, 2013 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 diff --git a/system_call.mdwn b/system_call.mdwn index 197889cb..f180a79b 100644 --- a/system_call.mdwn +++ b/system_call.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2010, 2013 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 @@ -14,6 +14,7 @@ kinds of functionality from the operating system kernel. A [[microkernel]]-based system typically won't offer a lot of system calls -- apart from one central one, and that is *send message* -- but instead [[RPC]]s will be used instead. +See [[GNU Mach's system calls|microkernel/mach/gnumach/interface/syscall]]. In the [[GNU Hurd|hurd]], a lot of what is traditionlly considered to be a UNIX system call is implemented (primarily by means of [[RPC]]) inside [[glibc]]. |