Why need a lock in memory/capability map

Yuxin Ren <[email protected]> Fri, 18 Jul 2014 18:34:31 -0400

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<CAAKbDrdtjDGk7Hsv=gaXrdsAukkxwHbUzwbeVEtUoOndp1UgCg@mail.gmail.com>

Hi All,

I note that when a thread does memory or capability mapping, both over
system call and IPC, it needs take a lock, which is the existence_lock of
target task. I cannot understand it needs take a per task, as cap/page
table are per thread.
What data does this lock to protect?

Thank you.
Yuixn

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers