Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8189387

ConcurrentLinkedDeque linearizability continued ...

    XMLWordPrintable

    Details

      Backports

        Description

        In JDK-8188900 we fixed some linearizability problems, but we didn't go far enough. We no longer possibly return an element from e.g. pollFirst that was not ever first. But we need to extend this to the empty-handed case - never return null from pollFirst if the deque is clearly never empty.

          Attachments

            Issue Links

              Activity

                People

                Assignee:
                martin Martin Buchholz
                Reporter:
                martin Martin Buchholz
                Votes:
                0 Vote for this issue
                Watchers:
                4 Start watching this issue

                  Dates

                  Created:
                  Updated:
                  Resolved: