feat(plugin-workflow): add parallel branch and mixed test cases

This commit is contained in:
mytharcher 2022-02-01 12:04:08 +08:00
parent f9182c4004
commit 2f584b40bd
7 changed files with 388 additions and 57 deletions

View File

@ -250,7 +250,7 @@ describe('execution', () => {
const [execution] = await workflow.getExecutions(); const [execution] = await workflow.getExecutions();
expect(execution.status).toEqual(EXECUTION_STATUS.STARTED); expect(execution.status).toEqual(EXECUTION_STATUS.STARTED);
const [pending] = await execution.getJobs({ nodeId: n2.id }); const [pending] = await execution.getJobs({ where: { nodeId: n2.id } });
pending.set('result', 123); pending.set('result', 123);
await execution.resume(pending); await execution.resume(pending);
@ -285,7 +285,7 @@ describe('execution', () => {
const [execution] = await workflow.getExecutions(); const [execution] = await workflow.getExecutions();
expect(execution.status).toEqual(EXECUTION_STATUS.STARTED); expect(execution.status).toEqual(EXECUTION_STATUS.STARTED);
const [pending] = await execution.getJobs({ nodeId: n2.id }); const [pending] = await execution.getJobs({ where: { nodeId: n2.id } });
pending.set('result', 123); pending.set('result', 123);
await execution.resume(pending); await execution.resume(pending);
expect(execution.status).toEqual(EXECUTION_STATUS.REJECTED); expect(execution.status).toEqual(EXECUTION_STATUS.REJECTED);
@ -294,4 +294,219 @@ describe('execution', () => {
expect(jobs.length).toEqual(2); expect(jobs.length).toEqual(2);
}); });
}); });
describe('branch: parallel node', () => {
it('link to single branch', async () => {
const n1 = await workflow.createNode({
title: 'parallel',
type: 'parallel'
});
const n2 = await workflow.createNode({
title: 'echo1',
type: 'echo',
upstreamId: n1.id,
branchIndex: 0
});
const n3 = await workflow.createNode({
title: 'echo2',
type: 'echo',
upstreamId: n1.id
});
await n1.setDownstream(n3);
const post = await PostModel.create({ title: 't1' });
const [execution] = await workflow.getExecutions();
expect(execution.status).toEqual(EXECUTION_STATUS.RESOLVED);
const jobs = await execution.getJobs({ order: [['id', 'ASC']] });
expect(jobs.length).toEqual(3);
});
it('link to multipe branches', async () => {
const n1 = await workflow.createNode({
title: 'parallel',
type: 'parallel'
});
const n2 = await workflow.createNode({
title: 'echo1',
type: 'echo',
upstreamId: n1.id,
branchIndex: 0
});
const n3 = await workflow.createNode({
title: 'echo2',
type: 'echo',
upstreamId: n1.id,
branchIndex: 1
});
const n4 = await workflow.createNode({
title: 'echo on end',
type: 'echo',
upstreamId: n1.id
});
await n1.setDownstream(n4);
const post = await PostModel.create({ title: 't1' });
const [execution] = await workflow.getExecutions();
expect(execution.status).toEqual(EXECUTION_STATUS.RESOLVED);
const jobs = await execution.getJobs({ order: [['id', 'ASC']] });
expect(jobs.length).toEqual(4);
});
it('downstream has manual node', async () => {
const n1 = await workflow.createNode({
title: 'parallel',
type: 'parallel'
});
const n2 = await workflow.createNode({
title: 'prompt',
type: 'prompt',
upstreamId: n1.id,
branchIndex: 0
});
const n3 = await workflow.createNode({
title: 'echo',
type: 'echo',
upstreamId: n1.id,
branchIndex: 1
});
const n4 = await workflow.createNode({
title: 'echo on end',
type: 'echo',
upstreamId: n1.id
});
await n1.setDownstream(n4);
const post = await PostModel.create({ title: 't1' });
const [execution] = await workflow.getExecutions();
expect(execution.status).toEqual(EXECUTION_STATUS.STARTED);
const [pending] = await execution.getJobs({ nodeId: n2.id });
pending.set('result', 123);
await execution.resume(pending);
expect(execution.status).toEqual(EXECUTION_STATUS.RESOLVED);
const jobs = await execution.getJobs({ order: [['id', 'ASC']] });
expect(jobs.length).toEqual(4);
});
});
describe('branch: mixed', () => {
it('condition branches contains parallel', async () => {
const n1 = await workflow.createNode({
title: 'condition',
type: 'condition'
});
const n2 = await workflow.createNode({
title: 'parallel',
type: 'parallel',
branchIndex: BRANCH_INDEX.ON_TRUE,
upstreamId: n1.id
});
const n3 = await workflow.createNode({
title: 'prompt',
type: 'prompt',
upstreamId: n2.id,
branchIndex: 0
});
const n4 = await workflow.createNode({
title: 'parallel echo',
type: 'echo',
upstreamId: n2.id,
branchIndex: 1
});
const n5 = await workflow.createNode({
title: 'last echo',
type: 'echo',
upstreamId: n1.id
});
await n1.setDownstream(n5);
const post = await PostModel.create({ title: 't1' });
const [execution] = await workflow.getExecutions();
expect(execution.status).toEqual(EXECUTION_STATUS.STARTED);
const pendingJobs = await execution.getJobs();
expect(pendingJobs.length).toBe(4);
const pending = pendingJobs.find(item => item.nodeId === n3.id );
pending.set('result', 123);
await execution.resume(pending);
expect(execution.status).toEqual(EXECUTION_STATUS.RESOLVED);
const jobs = await execution.getJobs({ order: [['id', 'ASC']] });
expect(jobs.length).toEqual(5);
});
it('parallel branches contains condition', async () => {
const n1 = await workflow.createNode({
title: 'parallel',
type: 'parallel'
});
const n2 = await workflow.createNode({
title: 'prompt',
type: 'prompt',
upstreamId: n1.id,
branchIndex: 0
});
const n3 = await workflow.createNode({
title: 'condition',
type: 'condition',
upstreamId: n1.id,
branchIndex: 1
});
const n4 = await workflow.createNode({
title: 'condition echo',
type: 'echo',
upstreamId: n3.id,
branchIndex: BRANCH_INDEX.ON_TRUE
});
const n5 = await workflow.createNode({
title: 'last echo',
type: 'echo',
upstreamId: n1.id
});
await n1.setDownstream(n5);
const post = await PostModel.create({ title: 't1' });
const [execution] = await workflow.getExecutions();
expect(execution.status).toEqual(EXECUTION_STATUS.STARTED);
const pendingJobs = await execution.getJobs();
expect(pendingJobs.length).toBe(4);
const pending = pendingJobs.find(item => item.nodeId === n2.id );
pending.set('result', 123);
await execution.resume(pending);
expect(execution.status).toEqual(EXECUTION_STATUS.RESOLVED);
const jobs = await execution.getJobs({ order: [['id', 'ASC']] });
expect(jobs.length).toEqual(5);
});
});
}); });

View File

@ -5,6 +5,12 @@ import plugin from '../server';
import { registerInstruction } from '../instructions'; import { registerInstruction } from '../instructions';
import { JOB_STATUS } from '../constants'; import { JOB_STATUS } from '../constants';
export function sleep(ms: number) {
return new Promise(resolve => {
setTimeout(resolve, ms);
});
}
export async function getApp(options = {}): Promise<MockServer> { export async function getApp(options = {}): Promise<MockServer> {
const app = mockServer(options); const app = mockServer(options);

View File

@ -22,8 +22,9 @@ describe('workflow > instructions > condition', () => {
workflow = await WorkflowModel.create({ workflow = await WorkflowModel.create({
title: 'test workflow', title: 'test workflow',
enabled: true, enabled: true,
type: 'afterCreate', type: 'model',
config: { config: {
mode: 1,
collection: 'posts' collection: 'posts'
} }
}); });
@ -75,15 +76,6 @@ describe('workflow > instructions > condition', () => {
}); });
it('calculation to false downstream', async () => { it('calculation to false downstream', async () => {
const workflow = await WorkflowModel.create({
title: 'condition workflow',
enabled: true,
type: 'afterCreate',
config: {
collection: 'posts'
}
});
const n1 = await workflow.createNode({ const n1 = await workflow.createNode({
title: 'condition', title: 'condition',
type: 'condition', type: 'condition',

View File

@ -95,22 +95,13 @@ export default {
const savedJob = await execution.saveJob(job); const savedJob = await execution.saveJob(job);
// return execution.exec(branchNode, savedJob); return execution.exec(branchNode, savedJob);
const tailJob = await execution.exec(branchNode, savedJob);
if (tailJob.status === JOB_STATUS.PENDING) {
savedJob.set('status', JOB_STATUS.PENDING);
return savedJob;
}
return tailJob;
}, },
async resume(this, branchJob, execution) { async resume(this, branchJob, execution) {
if (branchJob.status === JOB_STATUS.RESOLVED) { if (branchJob.status === JOB_STATUS.RESOLVED) {
const job = execution.findBranchParentJob(branchJob, this); // return to continue this.downstream
job.set('status', JOB_STATUS.RESOLVED); return branchJob;
return job;
} }
// pass control to upper scope by ending current scope // pass control to upper scope by ending current scope

View File

@ -3,7 +3,7 @@ import FlowNodeModel from "../models/FlowNode";
import prompt from './prompt'; import prompt from './prompt';
import condition from './condition'; import condition from './condition';
// import parallel from './parallel'; import parallel from './parallel';
export interface Job { export interface Job {
status: number; status: number;
@ -41,4 +41,4 @@ export function registerInstruction(key: string, instruction: any) {
registerInstruction('prompt', prompt); registerInstruction('prompt', prompt);
registerInstruction('condition', condition); registerInstruction('condition', condition);
// registerInstruction('parallel', parallel); registerInstruction('parallel', parallel);

View File

@ -0,0 +1,92 @@
import { JOB_STATUS } from "../constants";
import ExecutionModel from "../models/Execution";
import FlowNodeModel from "../models/FlowNode";
import JobModel from "../models/Job";
export const PARALLEL_MODE = {
ALL: 'all',
ANY: 'any',
RACE: 'race'
} as const;
const StatusGetters = {
[PARALLEL_MODE.ALL](result) {
if (result.some(j => j && j.status === JOB_STATUS.REJECTED)) {
return JOB_STATUS.REJECTED;
}
if (result.every(j => j && j.status === JOB_STATUS.RESOLVED)) {
return JOB_STATUS.RESOLVED;
}
return JOB_STATUS.PENDING;
},
[PARALLEL_MODE.ANY](result) {
return result.some(j => j && j.status === JOB_STATUS.RESOLVED)
? JOB_STATUS.RESOLVED
: (
result.some(j => j && j.status === JOB_STATUS.PENDING)
? JOB_STATUS.PENDING
: JOB_STATUS.REJECTED
)
},
[PARALLEL_MODE.RACE](result) {
return result.some(j => j && j.status === JOB_STATUS.RESOLVED)
? JOB_STATUS.RESOLVED
: (
result.some(j => j && j.status === JOB_STATUS.REJECTED)
? JOB_STATUS.REJECTED
: JOB_STATUS.PENDING
)
}
};
export default {
async run(this: FlowNodeModel, prevJob: JobModel, execution: ExecutionModel) {
const branches = execution.nodes
.filter(item => item.upstream === this && item.branchIndex !== null)
.sort((a, b) => a.branchIndex - b.branchIndex);
const job = await execution.saveJob({
status: JOB_STATUS.PENDING,
result: Array(branches.length).fill(null),
nodeId: this.id,
upstreamId: prevJob?.id ?? null
});
// NOTE:
// use `reduce` but not `Promise.all` here to avoid racing manupulating db.
// for users, this is almost equivalent to `Promise.all`,
// because of the delay is not significant sensible.
// another better aspect of this is, it could handle sequenced branches in future.
await branches.reduce((promise: Promise<any>, branch) => promise.then(() => execution.exec(branch, job)), Promise.resolve());
return execution.end(this, job);
},
async resume(this, branchJob, execution: ExecutionModel) {
const job = execution.findBranchParentJob(branchJob, this);
const { result, status } = job;
// if parallel has been done (resolved / rejected), do not care newly executed branch jobs.
if (status !== JOB_STATUS.PENDING) {
return null;
}
// find the index of the node which start the branch
const jobNode = execution.nodesMap.get(branchJob.nodeId);
const { branchIndex } = execution.findBranchStartNode(jobNode);
const { mode = PARALLEL_MODE.ALL } = this.config || {};
const newResult = [...result.slice(0, branchIndex), branchJob.get(), ...result.slice(branchIndex + 1)];
job.set({
result: newResult,
status: StatusGetters[mode](newResult)
});
if (job.status === JOB_STATUS.PENDING) {
await job.save({ transaction: execution.transaction });
return execution.end(this, job);
}
return job;
}
}

View File

@ -2,7 +2,8 @@ import {
Model, Model,
BelongsToGetAssociationMixin, BelongsToGetAssociationMixin,
Optional, Optional,
HasManyGetAssociationsMixin HasManyGetAssociationsMixin,
Transaction
} from 'sequelize'; } from 'sequelize';
import Database from '@nocobase/database'; import Database from '@nocobase/database';
@ -22,11 +23,15 @@ interface ExecutionAttributes {
interface ExecutionCreationAttributes extends Optional<ExecutionAttributes, 'id'> {} interface ExecutionCreationAttributes extends Optional<ExecutionAttributes, 'id'> {}
export interface ExecutionOptions {
transaction?: Transaction;
}
export default class ExecutionModel export default class ExecutionModel
extends Model<ExecutionAttributes, ExecutionCreationAttributes> extends Model<ExecutionAttributes, ExecutionCreationAttributes>
implements ExecutionAttributes { implements ExecutionAttributes {
declare readonly database: Database; declare static readonly database: Database;
declare id: number; declare id: number;
declare title: string; declare title: string;
@ -42,10 +47,20 @@ export default class ExecutionModel
declare jobs?: JobModel[]; declare jobs?: JobModel[];
declare getJobs: HasManyGetAssociationsMixin<JobModel>; declare getJobs: HasManyGetAssociationsMixin<JobModel>;
options: ExecutionOptions;
transaction: Transaction;
nodes: Array<FlowNodeModel> = []; nodes: Array<FlowNodeModel> = [];
nodesMap = new Map<number, FlowNodeModel>(); nodesMap = new Map<number, FlowNodeModel>();
jobsMap = new Map<number, JobModel>(); jobsMap = new Map<number, JobModel>();
static StatusMap = {
[JOB_STATUS.PENDING]: EXECUTION_STATUS.STARTED,
[JOB_STATUS.RESOLVED]: EXECUTION_STATUS.RESOLVED,
[JOB_STATUS.REJECTED]: EXECUTION_STATUS.REJECTED,
[JOB_STATUS.CANCELLED]: EXECUTION_STATUS.CANCELLED,
};
// make dual linked nodes list then cache // make dual linked nodes list then cache
makeNodes(nodes = []) { makeNodes(nodes = []) {
this.nodes = nodes; this.nodes = nodes;
@ -71,44 +86,60 @@ export default class ExecutionModel
}); });
} }
async prepare() { async prepare(options) {
if (this.status !== EXECUTION_STATUS.STARTED) { if (this.status !== EXECUTION_STATUS.STARTED) {
throw new Error(`execution was ended with status ${this.status}`); throw new Error(`execution was ended with status ${this.status}`);
} }
this.options = options || {};
const { transaction = await (<typeof ExecutionModel>this.constructor).database.sequelize.transaction() } = this.options;
this.transaction = transaction;
if (!this.workflow) { if (!this.workflow) {
this.workflow = await this.getWorkflow(); this.workflow = await this.getWorkflow({ transaction });
} }
const nodes = await this.workflow.getNodes(); const nodes = await this.workflow.getNodes({ transaction });
this.makeNodes(nodes); this.makeNodes(nodes);
const jobs = await this.getJobs(); const jobs = await this.getJobs({ transaction });
this.makeJobs(jobs); this.makeJobs(jobs);
} }
async start(options) { async start(options: ExecutionOptions) {
await this.prepare(); await this.prepare(options);
if (!this.nodes.length) { if (this.nodes.length) {
return this.exit(); const head = this.nodes.find(item => !item.upstream);
await this.exec(head, { result: this.context });
} else {
await this.exit(null);
} }
const head = this.nodes.find(item => !item.upstream); await this.commit();
return this.exec(head, { result: this.context });
} }
async resume(job, options) { async resume(job: JobModel, options: ExecutionOptions) {
await this.prepare(); await this.prepare(options);
const node = this.nodesMap.get(job.nodeId); const node = this.nodesMap.get(job.nodeId);
return this.recall(node, job); await this.recall(node, job);
await this.commit();
} }
private async run(instruction, node, prevJob) { private async commit() {
if (!this.options || !this.options.transaction) {
await this.transaction.commit();
}
}
private async run(instruction, node: FlowNodeModel, prevJob) {
let job; let job;
try { try {
// call instruction to get result and status // call instruction to get result and status
job = await instruction.call(node, prevJob, this); job = await instruction.call(node, prevJob, this);
if (!job) {
return null;
}
} catch (err) { } catch (err) {
// for uncaught error, set to rejected // for uncaught error, set to rejected
job = { job = {
@ -122,11 +153,11 @@ export default class ExecutionModel
} }
} }
let savedJob; let savedJob: JobModel;
// TODO(optimize): many checking of resuming or new could be improved // TODO(optimize): many checking of resuming or new could be improved
// could be implemented separately in exec() / resume() // could be implemented separately in exec() / resume()
if (job instanceof Model) { if (job instanceof Model) {
savedJob = await job.save(); savedJob = await job.save({ transaction: this.transaction }) as JobModel;
} else { } else {
const upstreamId = prevJob instanceof Model ? prevJob.get('id') : null; const upstreamId = prevJob instanceof Model ? prevJob.get('id') : null;
savedJob = await this.saveJob({ savedJob = await this.saveJob({
@ -173,32 +204,36 @@ export default class ExecutionModel
return this.run(resume, node, job); return this.run(resume, node, job);
} }
async exit(job?: JobModel) { async exit(job: JobModel | null) {
const executionStatusMap = { const status = job ? ExecutionModel.StatusMap[job.status] : EXECUTION_STATUS.RESOLVED;
[JOB_STATUS.PENDING]: EXECUTION_STATUS.STARTED, await this.update({ status }, { transaction: this.transaction });
[JOB_STATUS.RESOLVED]: EXECUTION_STATUS.RESOLVED, return null;
[JOB_STATUS.REJECTED]: EXECUTION_STATUS.REJECTED,
[JOB_STATUS.CANCELLED]: EXECUTION_STATUS.CANCELLED,
};
const status = job ? executionStatusMap[job.status] : EXECUTION_STATUS.RESOLVED;
await this.update({ status });
return job;
} }
// TODO(optimize) // TODO(optimize)
async saveJob(payload) { async saveJob(payload) {
// @ts-ignore const { database } = <typeof WorkflowModel>this.constructor;
const { database } = this.constructor;
const { model } = database.getCollection('jobs'); const { model } = database.getCollection('jobs');
const [result] = await model.upsert({ const [result] = await model.upsert({
...payload, ...payload,
executionId: this.id executionId: this.id
}) as [JobModel, boolean | null]; }, { transaction: this.transaction }) as [JobModel, boolean | null];
this.jobsMap.set(result.id, result); this.jobsMap.set(result.id, result);
return result; return result;
} }
// find the first node in current branch
findBranchStartNode(node: FlowNodeModel): FlowNodeModel | null {
for (let n = node; n; n = n.upstream) {
if (n.branchIndex !== null) {
return n;
}
}
return null;
}
// find the node start current branch
findBranchParentNode(node: FlowNodeModel): FlowNodeModel | null { findBranchParentNode(node: FlowNodeModel): FlowNodeModel | null {
for (let n = node; n; n = n.upstream) { for (let n = node; n; n = n.upstream) {
if (n.branchIndex !== null) { if (n.branchIndex !== null) {