Re: [PATCH v2 0/4] futex: Drop ROBUST_LIST_LIMIT
From: Florian Weimer
Date: Tue Jan 28 2025 - 02:51:21 EST
* André Almeida:
> As requested by Peter at [1], this patchset drops the
> ROBUST_LIST_LIMIT. This is achieve by simply rewriting the processed
> list element ->next to point to the head->list address, destroying the
> linked list to avoid any circular list.
Doesn't this turn a robust mutex overwrite or a TCB overwrite into a
write-anything-anywhere primitive? Furthermore, I'm not entirely sure
if this is entirely backwards-compatible.
Could you use the tortoise/hare approach instead?
Thanks,
Florian