microkernel/mach/gnumach/interface/device/time: New.

7 files changed, 49 insertions, 5 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..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 `<maptime.h>` 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
     <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/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