[infinispan-issues] [JBoss JIRA] (ISPN-3500) Conditional operation can generate inconsistencies in transactional mode

Pedro Ruivo (JIRA) jira-events at lists.jboss.org
Thu Sep 12 13:44:03 EDT 2013


Pedro Ruivo created ISPN-3500:
---------------------------------

             Summary: Conditional operation can generate inconsistencies in transactional mode
                 Key: ISPN-3500
                 URL: https://issues.jboss.org/browse/ISPN-3500
             Project: Infinispan
          Issue Type: Bug
    Affects Versions: 6.0.0.Alpha4
            Reporter: Pedro Ruivo
            Assignee: Pedro Ruivo
             Fix For: 6.0.0.Beta1


conditional operation can be applied in the backup nodes. consider the following scenario:

{code}
k=v1

tx1: write on key k value v2
tx1: prepare and sends the commit... primary owner already applied v2
tx2: [replace(k, v1, v3)] starts and reads from primary owner v2. ignoreReturnValue is false because the operation has failed to change k.
tx2: sends the prepare. in the backup owner, if perform oldValue.equals(value). however, the oldValue == v1 and value == v1.
{code}

the operation changed the key in the backup owner creating inconsistency.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira


More information about the infinispan-issues mailing list