Uploaded image for project: 'Infinispan'
  1. Infinispan
  2. ISPN-10029

Transactional invalidation cache with shared store prone to stale reads, even with FORCE_WRITE_LOCK

    XMLWordPrintable

Details

    • DataGrid Sprint #29
    • Hide

      Consider 2 nodes, A & B, containing a single cache entry with

      {key = K, value = 1}

      Consider 2 application threads (X & Y) accessing the key = K:

      1. X starts tx on A
      2. X reads key = K using FORCE_WRITE_LOCK, returning value = 1
      3. X updates key = K with value = 2
      4. Y starts tx on B
      5. Y reads key = K using FORCE_WRITE_LOCK
      6. X commits tx

      #5 should block until #6 is complete and return 2. However, it returns 1.

      Show
      Consider 2 nodes, A & B, containing a single cache entry with {key = K, value = 1} Consider 2 application threads (X & Y) accessing the key = K: 1. X starts tx on A 2. X reads key = K using FORCE_WRITE_LOCK, returning value = 1 3. X updates key = K with value = 2 4. Y starts tx on B 5. Y reads key = K using FORCE_WRITE_LOCK 6. X commits tx #5 should block until #6 is complete and return 2. However, it returns 1.

    Attachments

      Issue Links

        causes

        Bug - A problem that impairs or prevents the functions of the product. WFLY-11939 FineDatabasePersistenceWebFailoverTestCase fails intermittently

        • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
        • Closed

        Bug - A problem that impairs or prevents the functions of the product. WFLY-11948 CoarseDatabasePersistenceWebFailoverTestCase fails intermittently

        • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
        • Closed
        is incorporated by

        Component Upgrade - A task tracking an update to a bundled component or revision of component upstream of the project. JBEAP-16455 [GSS](7.2.z) Upgrade Infinispan from 9.3.6 to 9.3.7

        • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
        • Closed

        Component Upgrade - A task tracking an update to a bundled component or revision of component upstream of the project. WFLY-12100 Upgrade Infinispan to 9.4.14.Final

        • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
        • Closed
        relates to

        Bug - A problem that impairs or prevents the functions of the product. ISPN-10749 Invalidation mode needs a proper key partitioner

        • Major - To be worked after higher priority work items are addressed. When the severity is high and the effort to change it is low to moderate, this term is chosen. Issues in this category likely have an existing workaround but implementation or execution may be non-trivial.
        • Closed

        Activity

          People

            dberinde@redhat.com Dan Berindei (Inactive)
            pferraro@redhat.com Paul Ferraro
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: