> It seems it can happen with the standard library's RwLock too[1]. Perhaps it's a Linux peculiarity?

I would not call it a “linux peculiarity” as any system could have any priority policy and could change it unless explicitly guaranteed, which this rarely is.