lkml.org 
[lkml]   [2010]   [Dec]   [27]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
SubjectRe: [PATCH v0] add nano semaphore in kernel
From
On Sun, Dec 26, 2010 at 8:56 PM, Rakib Mullick <rakib.mullick@gmail.com> wrote:
> On Sun, Dec 26, 2010 at 6:05 PM, Hillf Danton <dhillf@gmail.com> wrote:
>> On Sun, Dec 26, 2010 at 5:08 PM, Rakib Mullick <rakib.mullick@gmail.com> wrote:
>>> On Sun, Dec 26, 2010 at 1:04 PM, Hillf Danton <dhillf@gmail.com> wrote:
>>>> On Sun, Dec 26, 2010 at 2:46 PM, Rakib Mullick <rakib.mullick@gmail.com> wrote:
>>>>> On Sun, Dec 26, 2010 at 11:13 AM, Hillf Danton <dhillf@gmail.com> wrote:
>>>>> Above description tells how its done, what it is but its not clear why
>>>>> we should use it. Can I know why should we use it or its benefits?
>>>>>
>>>>
>>>> The outstanding benefit looks that nano semaphore could be used in
>>>> cases where callers want to wait not only more than one jiffy, but far
>>>> less than one jiffy also.
>>>>
>>> But, how do we know that resources are going to be available within
>>> one jiffy or far less than one jiffy? We we be deterministic?
>>>
>> This is a really hard question.
>>
>> Though I could not answer as fine as Ingo Molnar could, the
>> deterministic has to be faced by most contentions for resources in
>> kernel, simply because deadlock could occur in spin lock for instance.
>>
> Yes, if its not handled carefully.
>
>> On the other hand, this question explores a byproduct advantage, not
>> seriously considered before,  of nano semaphore, that the caller could
>> learn that there is something out of track if she waited over 100
>> microseconds in 5 consequent steps, 20 microseconds a step, if she
>> think the resource should be available in 60 microseconds.
>>
> Why should caller think such a way, that resource will be available in
> 60 microseconds?
>

There are methods in kernel, say watchdog, to detect cases that are out
of track. The estimation about the availability of resource is utilized also
in dispatching commands to scsi disk by registering timer.

In nano semaphore, though the methods not implemented,
the waiter is able to work out which task is holding it over 60us in
out-of-track case.

>> And in nano semaphore method is available for callers to select
>> waiting over one second, one millisecond, one microsecond, one
>> nanosecond, depending on what the underlying system could offer. After
>> waiting, the caller is free to determine what to do next if the
>> resource is not available.
>>
> How do we know that, what the underlying system will offer? Its an

This is another hard question. And Ingo could say a few words about
the accuracy of hrtimer.

> NP-type problem. We cannot determine what will happen on a systems
> context. When a caller need resource, without that resource is it

This is not hard. When kmallocing 4k, if NULL returned, I will try half,
if still not available, simply return -ENOMEM.

> possible to accomplish its job? If its not, then the ultimate way to
> deal with it, is simply waiting until it gets the resource.
>

Another way looks to return -EBUSY directly, like aborting what is
dispatched and reset the bus then in scsi.

>> Here is another sample, if taxi will not come in two minutes, I could
>> either give up shopping downtown, or wait another three minutes,
>> depending on what will happen two minutes later.
>
> But what, if your mother told you not to come home until you done shopping? :)
>

I will info her every two minutes that taxi still not available, and
go home after 15 infos.


And lets return to nano semaphore, it is designed, unlike semaphore, not to loop
until released by its holder. Another difference is that the caller is free to
select the time period in nano seconds to wait.

Should anything else be added?

thanks,
Hillf
--
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: 2010-12-27 15:07    [W:0.041 / U:5.984 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site