Re: how to build a database from scratch
Date: 8 Dec 2006 12:07:00 -0800
Message-ID: <1165608420.847681.90810_at_16g2000cwy.googlegroups.com>
Sampo Syreeni wrote:
> Also, even if you can't rely on something like this, you can offer an
> option to declare the sets and then utilize them on top of a more
> general DBMS. If you want to incentivize your users, you can even
> guarantee higher acquisition priority to a transaction which has
> declared the sets or which has a form which enables the sets to be
> deduced statically.
...
> Kinda. You should say techniques, plural, because any policy which
> guarantees that one or more of the Coffman conditions is a negative
> invariant, cyclicity of the wait-for graph being one of them, is enough
> to guarantee deadlock-freeness. Resource ordering is indeed a crude
> example of this more general class of algorithms.
Congratulation! You are 1/2 way to re-inventing the TP-Monitor. Received on Fri Dec 08 2006 - 21:07:00 CET