Re: [patch 25/61] lock validator: design docs

[Nikita Danilov]

Ingo Molnar writes:
 > From: Ingo Molnar <mingo@xxxxxxx>

[...]

 > +
 > +enum bdev_bd_mutex_lock_type
 > +{
 > +       BD_MUTEX_NORMAL,
 > +       BD_MUTEX_WHOLE,
 > +       BD_MUTEX_PARTITION
 > +};

In some situations well-defined and finite set of "nesting levels" does
not exist. For example, if one has a tree with per-node locking, and
algorithms acquire multiple node locks left-to-right in the tree
order. Reiser4 does this.

Can nested locking restrictions be weakened for certain lock types?

Nikita.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/