|
此文章由 mayumi86 原创或转贴,不代表本站立场和观点,版权归 oursteps.com.au 和作者 mayumi86 所有!转贴必须注明作者、出处和本声明,并保持内容完整
遇到一个作业问题,想来想去,不解.如果有人能够知道如何做的.麻烦帮帮我.小女子实在有点无能了.
-----------------------------------------
A server manages the objects a1, a2...an. The server provides two operations for its clients:
A read operation: read (i) which returns the value of ai; and a write operation: write (i, Value) which assigns Value to ai.
Two transactions T and U are defined as follows:
Transaction T:
x= read (j); y = read (i); write (j, 44); write (i, 33);
Transaction U:
x= read (k); write (i, 55); y = read (j); write (k, 66).
Give serially equivalent interleaving of T and U with the following properties:
- is strict;
- is not strict but could not produce cascading aborts;
- Could produce cascading aborts.
-------------------------------------------
请各位读IT的同学帮帮忙.5号要交的作业.这个题怎么想都想不出来.5555~~~  |
|