lkml.org 
[lkml]   [2007]   [Sep]   [6]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH] Revised timerfd() interface
Hi Davide,

> > > > > > > > As I think about this more, I see more problems with
> > > > > > > > your argument. timerfd needs the ability to get and
> > > > > > > > get-while-setting just as much as the earlier APIs.
> > > > > > > > Consider a library that creates a timerfd file descriptor
> > > > > > > > that
> > > > > > > > is handed off to an application: that library may want
> > > > > > > > to modify the timer settings without having to create a
> > > > > > > > new file descriptor (the app mey not be able to be told
> > > > > > > > about
> > > > > > > > the new fd). Your argument just doesn't hold, AFAICS.
> > > > > > >
> > > > > > > Such hypotethical library, in case it really wanted to offer
> > > > > > > such
> > > > > > > functionality, could simply return an handle instead of the
> > > > > > > raw fd, and take care of all that stuff in userspace.
> > > > > >
> > > > > > Did I miss something? Is it not the case that as soon as the
> > > > > > library returns a handle, rather than an fd, then the whole
> > > > > > advantage of timerfd() (being able to select/poll/epoll on
> > > > > > the timer as well as other fds) is lost?
> > > > >
> > > > > Why? The handle would simply be a little struct where the
> > > > > timerfd fd is
> > > > > stored, and a XXX_getfd() would return it.
> > > > > So my point is, I doubt such functionalities are really needed,
> > > > > and I
> > > > > also argue that the kernel is the best place for such wrapper
^
(By the way, I assume that back there, there was a missing "not",
right?)

> > > > > code to go.
> > > >
> > > > So what happens if one thread (via the library) wants modify
> > > > a timer's settings at the same timer as another thread is
> > > > select()ing on it? The first thread can't do this by creating
> > > > a new timerfd timer, since it wants to affect the select()
> > > > in the other thread?
> > >
> > > It can be done w/out any problems. The select thread will be notified
> > > whenever the new timer setting expires.
> >
> > We are going in circles here. I think you are missing my point.
> > Consider the following
> >
> > [[
> > Thread A: calls library function which creates a timerfd file
> > descriptor.
> >
> > Thread B: calls select() on the timerfd file descriptor.
> >
> > Thread A: calls library function which wants to:
> > a) modify timer settings, and retrieve copy of current timer
> > settings, and later
> > b) restore old timer settings.
> > ]]
> >
> > This seems a quite reasonable use-case to me, and the existing
> > interface simply can't support it.
>
> "Quite reasonable"? :)
> I honestly doubt it, but anyway.

You are asserting this in the face of two previous APIs designed
by people who (at least in the case of POSIX timers) probably
thoroughly examined and discussed existing APIs and practice.

> Modulo error checking:

I'm not sure what problem this code is supposed to solve. It
doesn't solve the problem I have in mind; see below.

> struct tfd {
> int fd, clockid;
> struct itimerspec ts;
> };
>
> struct tfd *tfd_create(int clockid, int flags, const struct itimerspec
> *ts) {
> struct tfd *th;
> th = malloc(sizeof(*th));
> th->clockid = clockid;
> th->ts = *ts;
> th->fd = timerfd(-1, clockid, flags, ts);
> return th;
> }
>
> void tfd_close(struct tfd *th) {
> close(th->fd);
> free(th);
> }
>
> int tfd_getfd(const struct tfd *th) {
> return th->fd;
> }
>
> int tfd_gettime(const struct tfd *th, int *clockid, struct itimerspec *ts)
> {
> *clockid = th->clockid;
> *ts = th->ts;
> return 0;
> }

This function is *not at all* equivalent to the "get"
functionality of the previous APIs. The "get" functionality
of POSIX timers (for example) returns a structure that contains
the timer interval and the *time until the next expiration of
the timer* (not the initial timer string, as your code above
does).

So come up with a reliable, race-free way of doing that in
userspace. Then make it work for both CLOCK_MONOTONIC and
CLOCK_REALTIME timers. (You'll certainly need to be making
some additional system calls, by the way: at least some
calls to clock_gettime().)

> int tfd_settime(struct tfd *th, int clockid, int flags,
> const struct itimerspec *ts) {
> th->fd = timerfd(th->fd, clockid, flags, ts);
> th->clockid = clockid;
> th->ts = *ts;
> return 0;
> }
>
> Wrap the get/set with a mutex in case you plan to shoot yourself in a
> foot by doing get/set from multiple threads ;)
> So, once again:
>
> - I sincerly doubt the above is common usage/design patters for timerfds

See my comments above in this message. You may doubt it, but
all of the earlier API designers did not.

> * timerfds are not a common global resource, ala signals, that requires
> get+set+restore pattern - you can have many of them set to different
> times

No! In the example I described the library is able to create and
control exactly *one* timerfd file descriptor. It wants to hand
that fd back to the application and then perform arbitrary
manipulations of the timer's settings. Meanwhile the application
needs to (repeatedly) monitor that one file descriptor in a
select()/poll()/epoll() (and so the library can't just arbitrarily
create further file descriptors).

> - Those IMO *very* special use cases can be handled in userspace with few
> lines of code, *if* really needed

You have not demonstrated this ;-). Your userspace code does
not solve the problem.

Best regards,

Michael
--
Michael Kerrisk
maintainer of Linux man pages Sections 2, 3, 4, 5, and 7

Want to help with man page maintenance?
Grab the latest tarball at
http://www.kernel.org/pub/linux/docs/manpages ,
read the HOWTOHELP file and grep the source
files for 'FIXME'.

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2007-09-06 09:01    [W:0.128 / U:0.812 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site