Re: [jbosscache-dev] Locking parents for insertion and removal with MVCC

On 3 Jul 2008, at 21:21, Jason T. Greene wrote: > Manik Surtani wrote: > > Why not treat a delete like a modify (as I think it has been done in > the past)? When a node is deleted, it is locked, and either a sentinel > or just an fqn is stored in the TX context that issued the delete. > Then the parent still conains the original node, allowing concurrent > readers, while the calling tx knows to filter deleted nodes from child > operations. Wasn't as simple - phantoms are problematic since we have no read locks. Let me explain: Node /a/b exists. T1 starts, adds child /a/b/c. T2 reads /a/b. Gets child count for /a/b. Sees 1 (phantom). Then tries to do a get() on /a/b/c and sees this as well - since this is added to the parent and the parent is not locked for writing (i.e., copied). I have worked around this by only attaching new children to their parents at commit time. This completely gets rid of phantoms, but introduces a problem where when retrieving children newly added in a tx by accessing it's parent, you won't see the new children. So I've updated GetChildrenNamesCommand to retrieve the child list, and then correct it based on children added and removed in the current scope before returning. This works well, save for the overhead of checking and correcting the child list with respect to anything added or removed in the current scope.

In the above sequence, changes made to /a/b/c are lost in step 5.1 since changes to /a/b/c are made in /a/b/c' which is attached to /a/b and /a/b is replaced with /a/b'. Now this can be solved by either: 1. Acquiring parent lock at *commit* time. Simpler to implement and more secure, but involves more locking, even if for a short while. 2. Merge child maps during commit (steps 4.1 and 5.1) between the copied node and the original node. E.g., in 5.1., merge child maps between /a/b and /a/b' before swapping refs on /a. Slightly more complex to implement (may need to track whether children have been modified on each copied node).