[prev in list] [next in list] [prev in thread] [next in thread] 

List:       glibc-help
Subject:    mmap'ed robust mutexes and possible undefined behaviour
From:       fw () deneb ! enyo ! de (Florian Weimer)
Date:       2014-11-26 20:09:00
Message-ID: 87ioi1lo5b.fsf () mid ! deneb ! enyo ! de
[Download RAW message or body]

* Carlos O'Donell:

> I don't object to someone implementing this in glibc, but I bet it
> will require coordination with the kernel to get right.

I agree.  Currently, the robust list is processed by the kernel only
on thread exit (where it will be empty unless an abnormal condition
occurred), and doing so on every unmapping operation seems
unacceptable due to the performance overhead and the data structures
being used.  The robust list layout is part of the userspace API, and
the kernel code has to deal with conconcurrent modifications
gracefully, so changes are invasive and need careful coordination.


[prev in list] [next in list] [prev in thread] [next in thread]