From be05092c3406d72165ceddf16d8221b99608c905 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 7 Apr 2013 00:20:44 +0200 Subject: microkernel/mach/gnumach/interface/device/time: New. --- microkernel/mach/gnumach/boot_trace.mdwn | 4 ++-- microkernel/mach/gnumach/interface/device.mdwn | 16 ++++++++++++++++ microkernel/mach/gnumach/interface/device/time.mdwn | 17 +++++++++++++++++ open_issues/clock_gettime.mdwn | 4 +++- open_issues/dde.mdwn | 5 ++++- open_issues/libpthread_CLOCK_MONOTONIC.mdwn | 5 ++++- open_issues/performance/io_system/read-ahead.mdwn | 3 +++ 7 files changed, 49 insertions(+), 5 deletions(-) create mode 100644 microkernel/mach/gnumach/interface/device.mdwn create mode 100644 microkernel/mach/gnumach/interface/device/time.mdwn 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..d399e8b5 --- /dev/null +++ b/microkernel/mach/gnumach/interface/device/time.mdwn @@ -0,0 +1,17 @@ +[[!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 `` provides `maptime_map` +and `maptime_read`, see the [[hurd/reference_manual]]. diff --git a/open_issues/clock_gettime.mdwn b/open_issues/clock_gettime.mdwn index 83ad81e8..3c06c368 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. 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 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]]. + however, that break any use of the work "jiffies", e.g. structure members & such actually it's not only after headers that the #include has to be 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]]."]]"""]] that's unfortunate, but that's what nptl actually does this way we could add inside hurdtime.c the mapped time stuff too + +[[Mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]]. + most probably a noobish question, but why does rt link to pthread? 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]]."]]"""]] 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]]. + oh btw, i didn't know you had a blog :) well, it would be possible to replace the device interface by specific interfaces for the generic pseudo devices... I'm not sure how -- cgit v1.2.3