On Mon, 16 Jun 2014 09:53:13 +0300, Binyamin Dissen wrote:

>On Sun, 15 Jun 2014 19:16:36 -0400 Peter Relson wrote:
>
>:>A refreshable module, if treated as reentrant, will work (the
>:>converse not being true, of course). A refreshable module, if treated as
>:>serially reusable will work.
>
>Not true.
>
>Just because the module does not self modify, does not mean that it properly
>serializes access to other storage.

In that case, the module is broken, regardless of whether RENT and REUS are 
implied. In your scenario, if you have a module that is REFR,NORENT,NOREUS, 
and if those attributes are all honored by the system, CSV would bring in a 
new copy of the module for the second usage, and the damage would still be 
done.

The failure to serialize its usage of other storage means that it does not 
behave correctly.

-- 
Tom Marchant

----------------------------------------------------------------------
For IBM-MAIN subscribe / signoff / archive access instructions,
send email to [email protected] with the message: INFO IBM-MAIN

Reply via email to