[rucksack-devel] Re: Rucksack, ECLM

[Arthur Lemmens]

Marco wrote:

>>> The only point remaining is objects whose Rucksack has been closed: I
>>> assume they are effectively dead, and touching them isn't allowed?
>>
>> I see no reason to prohibit reading them, but yes: changing them
>> is not allowed.  (I should probably add a check for that.)
>
> i don't think you should be able to read those objects.
>
> 1) what happens if the rucksack is modified by someone else who has,
>    at a later time, opened it?
>
> 2) what happens when i want to read a "forward-pointer"?
>
> i think it would be better, simpler to implement and reason about, to
> require all interaction with persistent objects to happen within a
> transaction.

Yes, I think you're right.  I'm not sure that we can always enforce this
automatically, but we should document that you're not supposed to have
any references to persistent objects outside of a transaction.  That
would also prohibit Nikodemus' trouble scenario.

Arthur