答复: [musl] questions about __tl_lock

[guolongqiang <guolongqiang@huawei.com>]

Thank you for explaining. I didn't notice that the parameter of do_futex invoked in mm_release for linux kernel.

Although the kernel(linux kernel) uses shared option by default to do_futex(wakeup), I think libc can still use
private option to do futex wait, there's no question of correctness. This conclusion comes from the review of
the kernel code. Am I right?

If that's true, isn't it a matter of us rely on the kernel?

-----邮件原件-----
发件人: Rich Felker [mailto:dalias@libc.org] 
发送时间: 2024年8月10日 10:51
收件人: guolongqiang <guolongqiang@huawei.com>
抄送: musl@lists.openwall.com; xufengwei <xufengwei@huawei.com>
主题: Re: [musl] questions about __tl_lock

On Fri, Aug 09, 2024 at 03:21:23AM +0000, guolongqiang wrote:
> Hi, all
>          I have one question about __tl_lock. The current implementation of __tl_lock shown as follow.
> Obviously __thread_list_lock is a private memory, why don't we pass FUTEX_PRIVATE option to __wait?
> 
> ```
> void __tl_lock(void)
> {
> int tid = __pthread_self()->tid;
> int val = __thread_list_lock;
> if (val == tid) {
> tl_lock_count++;
> return;
> }
> while ((val = a_cas(&__thread_list_lock, 0, tid))) 
> __wait(&__thread_list_lock, &tl_lock_waiters, val, 0); } ``` Thank you 
> to explain.
> 

The thread list wait operation has to use a non-private futex wait because the wake operation will be performed by the kernel, which performs a non-private wake because that was the original contract from before private futex operations existed.

Ideally when private waits were added, the kernel exit code path should have been updated to do both private and non-private wakes so that either type of wait would work. But that was overlooked, so even if it were fixed in the kernel now, we couldn't rely on that.

Rich