Re: [PATCH 4/4] Add a monotonic time device

[Samuel Thibault]

Roland McGrath, le Sat 27 Aug 2011 10:03:24 -0700, a écrit :
> > Pino Toscano, le Fri 26 Aug 2011 20:29:43 +0200, a écrit :
> > > +extern vm_offset_t monotonicmmap();
> > > +#define  monotonicname           "monotonic"
> > 
> > Ah, I was rather thinking about appending the new clock to the existing
> > mappable clock.  I don't think it is useful to separate them.
> 
> It does seem good to consolidate on the one page, no reason to have two
> pages.  But how exactly will the user tell that he has a new kernel that
> has both? It could be by some magic number on the page or something.

It could simply be the field being non-zero?

> But
> perhaps it's better just to have a new device name that's an alias for
> "time", but only recognized by new microkernels that are supplying the
> additional words on the same page.

That's another way indeed.

Samuel