Re: [PATCH] Version 8 (2.6.23) Smack: Simplified Mandatory Access Control Kernel

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Al Viro
Date: Wednesday, October 17, 2007 - 9:57 pm

On Tue, Oct 16, 2007 at 09:17:40PM -0700, Casey Schaufler wrote:

At random:


And just what happens if another task calls the same while we are
blocked on allocation in smk_cipso_doi()?

Another problem is your handling of smk_known - you add to head under
mutex; fine.  However, you read without one _and_ have no barriers
in initializing new list entries.

Think what happens if CPU1 adds to list and CPU2 sees write to smk_known
*before* it sees write to ->smk_next.  We see a single-element list and
we'll be lucky if that single entry won't be FUBAR.
-
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Re: [PATCH] Version 8 (2.6.23) Smack: Simplified Mandatory ..., Al Viro, (Wed Oct 17, 9:57 pm)
[PATCH] Smackv8: Omit non-cipso labels in cipso_seq_start, Ahmed S. Darwish, (Sat Oct 20, 6:40 pm)
[PATCH] Smackv8: Safe lockless {cipso,load} read operation, Ahmed S. Darwish, (Sat Oct 20, 7:25 pm)