[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: RFC: Lightweight synchronization mechanism for gnumach v3
From: |
Samuel Thibault |
Subject: |
Re: RFC: Lightweight synchronization mechanism for gnumach v3 |
Date: |
Thu, 25 Aug 2016 20:49:08 +0200 |
User-agent: |
Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30) |
Hello,
We have an issue with the kernel implementation :)
When lock debugging is enabled (MACH_LDEBUG set to 1 in configfrag.ac),
simple_lock uses _simple_lock to check using simple locks correctly.
It happens that vm_map_lock_read, i.e. lock_read, calls
check_simple_locks(): no simple lock is supposed to be taken.
So vm_map_lock_read can't come after simple_lock (&hbp->lock).
It seems we could just invert the locking, could you check on that?
Samuel
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: RFC: Lightweight synchronization mechanism for gnumach v3,
Samuel Thibault <=