Uploaded image for project: 'ZooKeeper'
  1. ZooKeeper
  2. ZOOKEEPER-3594

Ability to skip proposing requests with error transactions

    XMLWordPrintableJSON

    Details

    • Type: New Feature
    • Status: Open
    • Priority: Major
    • Resolution: Unresolved
    • Affects Version/s: 3.5.6
    • Fix Version/s: None
    • Component/s: quorum, server

      Description

      Ensembles that have a high write request rate could be skipping proposing requests that contain errors instead of having the quorum vote on those transactions.

      For example, having a sizable write traffic that results in error transactions would be creating additional network and log disk space overhead for each of the requests that would only return errors to the client in the end (e.g. delete non-existing path, version mismatch, trying to create a node that already exists etc). 

      Currently, there is no such logic in the ProposalRequestProcessor, every request that comes out of PrepRequestProcessor will be proposed to the quorum.  

      Proposed solution workflow:

      • A client sends a new write request trying to setData on an non-existing node
      • The server accepts the request and sends it through the PrepRequestProcessor
      • PrepRequestProcessor detects the error and assigns the error transaction to the request
      • Between PrepRequestProcessor and ProposalRequestProcessor there is another processor named SkipRequestProcessor which sole responsibility is to decide will the request be forwarded or returned to the originating quorum peer (Leader or Learner).
      • The quorum peer waits for all previous requests to complete before the error request proceeds with echoing the error back to the client.

      Requirements: 

      • We should be conservative about the use of ZXID. If the request generates an error transaction we don't want to increment the last proposed ZXID and cause any gaps in the log.
      • Request that are found to be invalid should be sent directly to the origin (either to the corresponding Learner or to the Leader directly) so there is exactly one roundtrip for each request with error transaction.
      • All the requests must preserve its order, the changes must be backwards compatible with the Zookeeper ordering guarantees. 

       Challenges:

      • Skipping request without having them go through the proposal pipeline poses a challenge in preserving Zookeeper transaction order.
      • Avoiding any additional changes inside CommitProcessor if possible.
      • Have unified logic for all three different paths in which write requests can come through:
        1. Via Leader placed directly into the PrepRequestProcessor
        2. Via Follower where the request is forwarded to the leader and also passed to CommitProcessor to wait for COMMIT packet
        3. Via Observer, where the request is forwarded to the Leader and the Observer waits for the INFORM packet

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                vladimir.ivic Vladimir Ivić
                Reporter:
                vladimir.ivic Vladimir Ivić
              • Votes:
                0 Vote for this issue
                Watchers:
                4 Start watching this issue

                Dates

                • Created:
                  Updated:

                  Time Tracking

                  Estimated:
                  Original Estimate - Not Specified
                  Not Specified
                  Remaining:
                  Remaining Estimate - 0h
                  0h
                  Logged:
                  Time Spent - 3.5h
                  3.5h