Skip to content

Commit

Permalink
polish(incremental): lazily create DeferredFragments
Browse files Browse the repository at this point in the history
goal:

avoid creating or passing around the deferMap

methodology:

each DeferredFragmentRecord will be unique for a given deferUsage and creationPath
- we annotate the deferUsage with a "depth" property representing the path length in the response for wherever this defer is delivered.
- from a given execution group path, we can derive the path for the deferredFragment for a given deferUsage by "rewinding" the execution group path to the depth annotated on the given deferUsage
  • Loading branch information
yaacovCR committed Aug 11, 2024
1 parent 0b85d66 commit 3c6b5c1
Show file tree
Hide file tree
Showing 8 changed files with 303 additions and 296 deletions.
108 changes: 108 additions & 0 deletions src/execution/DeferredFragments.ts
Original file line number Diff line number Diff line change
@@ -0,0 +1,108 @@
import type { Path } from '../jsutils/Path.js';

import type { DeferUsage } from './collectFields.js';
import type {
PendingExecutionGroup,
StreamRecord,
SuccessfulExecutionGroup,
} from './types.js';

export type DeliveryGroup = DeferredFragmentRecord | StreamRecord;

/** @internal */
export class DeferredFragmentRecord {
path: Path | undefined;
label: string | undefined;
parentDeferUsage: DeferUsage | undefined;
id?: string | undefined;
pendingExecutionGroups: Set<PendingExecutionGroup>;
successfulExecutionGroups: Set<SuccessfulExecutionGroup>;
children: Set<DeliveryGroup>;

constructor(
path: Path | undefined,
label: string | undefined,
parentDeferUsage: DeferUsage | undefined,
) {
this.path = path;
this.label = label;
this.parentDeferUsage = parentDeferUsage;
this.pendingExecutionGroups = new Set();
this.successfulExecutionGroups = new Set();
this.children = new Set();
}
}

export function isDeferredFragmentRecord(
deliveryGroup: DeliveryGroup,
): deliveryGroup is DeferredFragmentRecord {
return deliveryGroup instanceof DeferredFragmentRecord;
}

/**
* @internal
*/
export class DeferredFragmentFactory {
private _rootDeferredFragments = new Map<
DeferUsage,
DeferredFragmentRecord
>();

get(deferUsage: DeferUsage, path: Path | undefined): DeferredFragmentRecord {
const deferUsagePath = this._pathAtDepth(path, deferUsage.depth);
let deferredFragmentRecords:
| Map<DeferUsage, DeferredFragmentRecord>
| undefined;
if (deferUsagePath === undefined) {
deferredFragmentRecords = this._rootDeferredFragments;
} else {
// A doubly nested Map<Path, Map<DeferUsage, DeferredFragmentRecord>>
// could be used, but could leak memory in long running operations.
// A WeakMap could be used instead. The below implementation is
// WeakMap-Like, saving the Map on the Path object directly.
// Alternatively, memory could be reclaimed manually, taking care to
// also reclaim memory for nested DeferredFragmentRecords if the parent
// is removed secondary to an error.
deferredFragmentRecords = (
deferUsagePath as unknown as {
deferredFragmentRecords: Map<DeferUsage, DeferredFragmentRecord>;
}
).deferredFragmentRecords;
if (deferredFragmentRecords === undefined) {
deferredFragmentRecords = new Map();
(
deferUsagePath as unknown as {
deferredFragmentRecords: Map<DeferUsage, DeferredFragmentRecord>;
}
).deferredFragmentRecords = deferredFragmentRecords;
}
}
let deferredFragmentRecord = deferredFragmentRecords.get(deferUsage);
if (deferredFragmentRecord === undefined) {
const { label, parentDeferUsage } = deferUsage;
deferredFragmentRecord = new DeferredFragmentRecord(
deferUsagePath,
label,
parentDeferUsage,
);
deferredFragmentRecords.set(deferUsage, deferredFragmentRecord);
}
return deferredFragmentRecord;
}

private _pathAtDepth(
path: Path | undefined,
depth: number,
): Path | undefined {
if (depth === 0) {
return;
}
const stack: Array<Path> = [];
let currentPath = path;
while (currentPath !== undefined) {
stack.unshift(currentPath);
currentPath = currentPath.prev;
}
return stack[depth - 1];
}
}
108 changes: 88 additions & 20 deletions src/execution/IncrementalGraph.ts
Original file line number Diff line number Diff line change
@@ -1,34 +1,43 @@
import { BoxedPromiseOrValue } from '../jsutils/BoxedPromiseOrValue.js';
import { invariant } from '../jsutils/invariant.js';
import { isPromise } from '../jsutils/isPromise.js';
import type { Path } from '../jsutils/Path.js';
import { promiseWithResolvers } from '../jsutils/promiseWithResolvers.js';

import type { GraphQLError } from '../error/GraphQLError.js';

import type { DeferUsage } from './collectFields.js';
import type {
DeferredFragmentRecord,
DeliveryGroup,
} from './DeferredFragments.js';
import {
DeferredFragmentFactory,
isDeferredFragmentRecord,
} from './DeferredFragments.js';
import type {
IncrementalDataRecord,
IncrementalDataRecordResult,
PendingExecutionGroup,
StreamItemRecord,
StreamRecord,
SuccessfulExecutionGroup,
} from './types.js';
import { isDeferredFragmentRecord, isPendingExecutionGroup } from './types.js';
import { isPendingExecutionGroup } from './types.js';

/**
* @internal
*/
export class IncrementalGraph {
private _rootNodes: Set<DeliveryGroup>;

private _deferredFragmentFactory: DeferredFragmentFactory;
private _completedQueue: Array<IncrementalDataRecordResult>;
private _nextQueue: Array<
(iterable: Iterable<IncrementalDataRecordResult> | undefined) => void
>;

constructor() {
this._deferredFragmentFactory = new DeferredFragmentFactory();
this._rootNodes = new Set();
this._completedQueue = [];
this._nextQueue = [];
Expand All @@ -51,11 +60,15 @@ export class IncrementalGraph {
): void {
const { pendingExecutionGroup, incrementalDataRecords } =
successfulExecutionGroup;
const { deferUsages, path } = pendingExecutionGroup;

const deferredFragmentRecords =
pendingExecutionGroup.deferredFragmentRecords;

for (const deferredFragmentRecord of deferredFragmentRecords) {
const deferredFragmentRecords: Array<DeferredFragmentRecord> = [];
for (const deferUsage of deferUsages) {
const deferredFragmentRecord = this._deferredFragmentFactory.get(
deferUsage,
path,
);
deferredFragmentRecords.push(deferredFragmentRecord);
const { pendingExecutionGroups, successfulExecutionGroups } =
deferredFragmentRecord;
pendingExecutionGroups.delete(pendingExecutionGroup);
Expand All @@ -70,6 +83,26 @@ export class IncrementalGraph {
}
}

getDeepestDeferredFragmentAtRoot(
initialDeferUsage: DeferUsage,
deferUsages: ReadonlySet<DeferUsage>,
path: Path | undefined,
): DeferredFragmentRecord {
let bestDeferUsage = initialDeferUsage;
let maxDepth = initialDeferUsage.depth;
for (const deferUsage of deferUsages) {
if (deferUsage === initialDeferUsage) {
continue;
}
const depth = deferUsage.depth;
if (depth > maxDepth) {
maxDepth = depth;
bestDeferUsage = deferUsage;
}
}
return this._deferredFragmentFactory.get(bestDeferUsage, path);
}

*currentCompletedBatch(): Generator<IncrementalDataRecordResult> {
let completed;
while ((completed = this._completedQueue.shift()) !== undefined) {
Expand Down Expand Up @@ -102,12 +135,20 @@ export class IncrementalGraph {
return this._rootNodes.size > 0;
}

completeDeferredFragment(deferredFragmentRecord: DeferredFragmentRecord):
completeDeferredFragment(
deferUsage: DeferUsage,
path: Path | undefined,
):
| {
deferredFragmentRecord: DeferredFragmentRecord;
newRootNodes: ReadonlyArray<DeliveryGroup>;
successfulExecutionGroups: ReadonlyArray<SuccessfulExecutionGroup>;
}
| undefined {
const deferredFragmentRecord = this._deferredFragmentFactory.get(
deferUsage,
path,
);
if (
!this._rootNodes.has(deferredFragmentRecord) ||
deferredFragmentRecord.pendingExecutionGroups.size > 0
Expand All @@ -119,8 +160,13 @@ export class IncrementalGraph {
);
this._rootNodes.delete(deferredFragmentRecord);
for (const successfulExecutionGroup of successfulExecutionGroups) {
for (const otherDeferredFragmentRecord of successfulExecutionGroup
.pendingExecutionGroup.deferredFragmentRecords) {
const { deferUsages, path: resultPath } =
successfulExecutionGroup.pendingExecutionGroup;
for (const otherDeferUsage of deferUsages) {
const otherDeferredFragmentRecord = this._deferredFragmentFactory.get(
otherDeferUsage,
resultPath,
);
otherDeferredFragmentRecord.successfulExecutionGroups.delete(
successfulExecutionGroup,
);
Expand All @@ -129,17 +175,22 @@ export class IncrementalGraph {
const newRootNodes = this._promoteNonEmptyToRoot(
deferredFragmentRecord.children,
);
return { newRootNodes, successfulExecutionGroups };
return { deferredFragmentRecord, newRootNodes, successfulExecutionGroups };
}

removeDeferredFragment(
deferredFragmentRecord: DeferredFragmentRecord,
): boolean {
deferUsage: DeferUsage,
path: Path | undefined,
): DeferredFragmentRecord | undefined {
const deferredFragmentRecord = this._deferredFragmentFactory.get(
deferUsage,
path,
);
if (!this._rootNodes.has(deferredFragmentRecord)) {
return false;
return;
}
this._rootNodes.delete(deferredFragmentRecord);
return true;
return deferredFragmentRecord;
}

removeStream(streamRecord: StreamRecord): void {
Expand All @@ -153,7 +204,12 @@ export class IncrementalGraph {
): void {
for (const incrementalDataRecord of incrementalDataRecords) {
if (isPendingExecutionGroup(incrementalDataRecord)) {
for (const deferredFragmentRecord of incrementalDataRecord.deferredFragmentRecords) {
const { deferUsages, path } = incrementalDataRecord;
for (const deferUsage of deferUsages) {
const deferredFragmentRecord = this._deferredFragmentFactory.get(
deferUsage,
path,
);
this._addDeferredFragment(
deferredFragmentRecord,
initialResultChildren,
Expand Down Expand Up @@ -210,9 +266,17 @@ export class IncrementalGraph {
private _completesRootNode(
pendingExecutionGroup: PendingExecutionGroup,
): boolean {
return pendingExecutionGroup.deferredFragmentRecords.some(
(deferredFragmentRecord) => this._rootNodes.has(deferredFragmentRecord),
);
const { deferUsages, path } = pendingExecutionGroup;
for (const deferUsage of deferUsages) {
const deferredFragmentRecord = this._deferredFragmentFactory.get(
deferUsage,
path,
);
if (this._rootNodes.has(deferredFragmentRecord)) {
return true;
}
}
return false;
}

private _addDeferredFragment(
Expand All @@ -222,12 +286,16 @@ export class IncrementalGraph {
if (this._rootNodes.has(deferredFragmentRecord)) {
return;
}
const parent = deferredFragmentRecord.parent;
if (parent === undefined) {
const parentDeferUsage = deferredFragmentRecord.parentDeferUsage;
if (parentDeferUsage === undefined) {
invariant(initialResultChildren !== undefined);
initialResultChildren.add(deferredFragmentRecord);
return;
}
const parent = this._deferredFragmentFactory.get(
parentDeferUsage,
deferredFragmentRecord.path,
);
parent.children.add(deferredFragmentRecord);
this._addDeferredFragment(parent, initialResultChildren);
}
Expand Down
Loading

0 comments on commit 3c6b5c1

Please sign in to comment.