DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type:content-transfer-encoding;
        b=kkrAChJ1VfL1UAEUqast4k4Ivr6CSCLn5NrfGlsSuov3ZCmzvbx8lhACX7OiVYV2bu
         WoMq2uZCIWKF4VEaLY1FUwNx9KuQbxzjMT9n3VvrSlcRu7tX52rlX1GOAPPkZf/L7IJz
         LmroNRund/7/l70lSKCjiEXA6L0InJpNsQ1KE=
MIME-Version: 1.0
In-Reply-To: <49CD4967.2090606@msgid.tls.msk.ru>
References: <84a01a8b0903250545n799a8727o1faad60c8eaf372e@mail.gmail.com>
	 <49CAA055.5060603@goop.org>
	 <84a01a8b0903251437l9f9059s3c548b5d35ea47d4@mail.gmail.com>
	 <84a01a8b0903270244s146ca50cr2758d36c2d9d77cd@mail.gmail.com>
	 <49CD4967.2090606@msgid.tls.msk.ru>
Date: Fri, 27 Mar 2009 23:17:05 +0100
Message-ID: <84a01a8b0903271517t668c6276l7fe098d74c24b836@mail.gmail.com>
Subject: Re: epoll_ctl and const correctness
From: nicolas sitbon <nicolas.sitbon@gmail.com>
To: Michael Tokarev <mjt@tls.msk.ru>
Cc: Jeremy Fitzhardinge <jeremy@goop.org>, linux-kernel@vger.kernel.org,
       Davide Libenzi <davidel@xmailserver.org>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8BIT
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 2417
Lines: 58

Well, first, thanks for your answer, then, there is a difference
between saying the kernel modify or not the structure and the kernel
keep track of it. Consider this user :
http://www.csplayer.org/2009/02/a-tutorial-example-of-epoll-usage/, he
thinks the kernel doesn't keep track of the event, and I'm sure he is
not the first, so please, at least, be more explicit in the
documentation and again thanks for your answer. And what about size
parameter in epoll_create()? why is it an int and not a size_t?

2009/3/27 Michael Tokarev <mjt@tls.msk.ru>:
> nicolas sitbon wrote:
>>
>> Please, can anyone answer me, I need a response.
>
>> 2009/3/25 nicolas sitbon <nicolas.sitbon@gmail.com>:
>>>
>>> You don't teach me anything, I know that, the fact is the
>>> documentation is incomplete, so rather saying that, please answer my
>>> questions. For the moment, only the documenation and the prototype of
>>> epoll are buggy.
>
> So which response do you want -- the one saying that the documentation
> is buggy or or epoll prototype?  Or something else?
>
> []
>>>>>
>>>>>  or the good prototype is
>>>>>
>>>>> int epoll_ctl(int epfd, int op, int fd, struct epoll_event const
>>>>> *event);
>
> Why should it be const?  There is no guarantee the argument will not be
> modified by the kernel.  Documentation does not say that.  Current prototype
> does not say that.  If you need such a guarantee, you're free to add another
> system call into your kernel, and fix both your documentation and your
> prototype to match.  What's the deal?
>
> Back from useless rants and to the technical points.
>
> Again: there's no guarantee the `event' argument will not be modified.
> Even if kernel CURRENTLY indeed does not modify it, but the interface
> does not PROMISE it to be that way for ever.
>
> Why does it not promise that is another question.  Just one example:
> what, some day, stops us from adding some EPOLL_CTL_GET operation
> to RETRIEVE information associated with that filedescriptor in kernel
> currently and STORE that info in the structure pointed to by `event'
> argument?  That way it will not be const anymore.
>
> So.. what's your problem?
>
> /mjt
>
--
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/