Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-80157

ExclusionProjectionExecutor forces Document cache to load excluded fields

    • Type: Icon: Bug Bug
    • Resolution: Fixed
    • Priority: Icon: Major - P3 Major - P3
    • 7.2.0-rc0, 5.0.22, 7.0.3, 4.4.26, 6.0.12
    • Affects Version/s: None
    • Component/s: None
    • Labels:
      None
    • Query Execution
    • Fully Compatible
    • ALL
    • v7.1, v7.0, v6.3, v6.0, v5.0, v4.4
    • QE 2023-10-02, QE 2023-10-16

      When an ExclusionProjectionExecutor is used to apply a projection like:

      {a: 0, b: 0}

      The code walks the input document, and for each field, determines whether to "project" it. Since the code for applying the projection is generalized to work for both inclusion and exclusion projections, the value for the field is always provided. By reading the value field, we load it into the document cache.

      For exclusion projections, the value of the field doesn't matter, since we're going to exclude it. So the work of loading it into cache is completely wasted.

      Recently, two fast paths have been added for exclusion projection, which do a direct BSON -> BSON transform. These were added under SERVER-61284 (ProjectionSimple) and SERVER-70353 which adds a fast path in ExclusionProjectionExecutor. These both went into 6.2, and make it harder to hit this problem, since the fast paths are used more frequently than the generic path which has the bug. However, for older versions, it's still very easy to run into this problem. Anyone upgrading from 4.2 -> 4.4 is likely to see this issue.

      For example, here is a test script which creates one document with a field blocks which is a 40,000 element array. Then it runs a query to exclude just the blocks field. Since blocks is such a large field, the (wasted) time spent loading it into cache dominates the runtime for 4.4:

      (function() {
          let doc = {blocks: []};
      
      
          for (let i = 0; i < 40 * 1000; ++i) {
              doc.blocks.push({hash: 123, size: 456, otherdata: "hello world"});
          }
          // Add 100 other top level fields.
          for (let i = 0; i < 20; ++i) {
              doc["field" + i] = "test";
          }
      
      
          assert.commandWorked(db.c.insert(doc));
      
          let now = Date.now();
          for (let i = 0; i < 1000; ++i) {
              db.c.find({}, {"blocks": 0}).toArray();
          }
          let after = Date.now();
          print("Total time: " + tojson(after - now));
      })();

      If you compare this with a run on 6.2 or later, it is much slower (around 30x on my machine).

      In short, on affected versions, an exclusion projection requires us to completely copy and shred the fields we don't want to keep.

      This ticket tracks the work of fixing the problem in the default ExclusionProjectionExecutor path. Whether we also want to backport the new fast paths to older versions is a separate question. 

            Assignee:
            parker.felix@mongodb.com Parker Felix
            Reporter:
            ian.boros@mongodb.com Ian Boros
            Votes:
            1 Vote for this issue
            Watchers:
            11 Start watching this issue

              Created:
              Updated:
              Resolved: