Compare commits

..

2 Commits

Author SHA1 Message Date
d5aaecce18 wip 2025-06-05 12:35:20 +03:00
d110ffee46 wip 2025-06-04 18:26:07 +03:00
12 changed files with 195 additions and 66 deletions

View File

@ -14,9 +14,11 @@ includes:
blake3: 321b1f88930aead7fe47961c8664005b3441f6502824769bf21eb06c3e5aaba4 blake3: 321b1f88930aead7fe47961c8664005b3441f6502824769bf21eb06c3e5aaba4
use: use:
- dex-app.cm v0.0.67+test - jump-listener.cm v0.1.8
- eth_offer_maker 0.0.67+devnet - jump_listener_devnet v0.1.8
- jump-listener.cm v0.0.5 - jump-forwarder.cm v0.1.5
- jump_forwarder_devnet v0.1.5
interpreters: {} interpreters: {}
@ -31,3 +33,4 @@ contract_instances:
template: contract.cm v0.0.1 template: contract.cm v0.0.1
parameters: parameters:
content: [] content: []

View File

@ -0,0 +1,93 @@
import path from 'node:path';
import { constructContractIssuer, constructContractRef, type PreparedCallInfo } from '@coinweb/contract-kit';
import { UnitTest, type ExecInfo, type RoundInfo, type UnitTestContext, type DbWriteOp } from '@coinweb/testing-sdk';
import { AddWordArgs, FEE, PUBLIC_METHODS } from '../../offchain/shared';
import { CONTRACT_INSTANCE_ID, TEST_PRIVATE_KEY, TEST_PUBLIC_KEY, waitRoundsCount } from './helpers';
const addWordRound = (creatorAccount: Buffer): RoundInfo => {
const self = constructContractIssuer(CONTRACT_INSTANCE_ID);
const kvDeleteCallInfo: PreparedCallInfo = {
ref: constructContractRef(self, []),
methodInfo: { methodName: PUBLIC_METHODS.ADD_WORD, methodArgs: ['TEST_HELLO'] satisfies AddWordArgs },
contractArgs: [],
contractInfo: { providedCweb: FEE.ADD_WORD, authenticated: null }, // null = authenticated account in tests
};
const withFunds = { type: { privateKey: creatorAccount } };
return {
txsInfo: {
// @ts-ignore
txs: [{ callInfo: kvDeleteCallInfo, withFunds }],
l1_events: [],
},
claims: [],
blocks_on: [],
};
};
const runTest = async (context: UnitTestContext, input: ExecInfo, checkFn: (results: DbWriteOp[]) => void) => {
const test = new UnitTest(context);
await test.load(path.join(import.meta.dirname, '../../../tests_data/state.json'));
await test.run(input, { checkFn });
};
describe('PUBLIC_METHODS.ADD_WORD Tests', () => {
let creatorAccount: { publicKey: Buffer; privateKey: Buffer };
beforeAll(() => {
creatorAccount = {
privateKey: Buffer.from(TEST_PRIVATE_KEY, 'hex'),
publicKey: Buffer.from(TEST_PUBLIC_KEY, 'hex'),
};
});
it('Should successfully execute', async () => {
const input: ExecInfo = {
rounds: [...waitRoundsCount(50), addWordRound(creatorAccount.privateKey), ...waitRoundsCount(2)],
};
const checkFn = (results: DbWriteOp[]) => {
expect(results).toBeDefined();
// @ts-ignore
// const errors = findAllValuesRecursivelyByKey<{ ContractError: ContractError }>(results, 'Invalid');
// expect(errors.length).toBe(0);
// @ts-ignore
// const storeOps = findAllValuesRecursivelyByKey<CwebStore>(results, 'StoreOp');
// expect(storeOps.length).toBeGreaterThan(0);
// const existingPayload = storeOps.find((s) => isEqual(s.key.first_part, createFirstPartDefault()));
// expect(existingPayload).toBeDefined();
// expect(existingPayload?.key).toStrictEqual(createDefaultKey(Number.MAX_SAFE_INTEGER));
// expect(existingPayload?.key.first_part).toStrictEqual(createFirstPartDefault());
// const { id, data, owner, tx } = existingPayload?.body as StoreKvPayload;
// expect(id).toBeDefined();
// expect(data).toBeDefined();
// expect(owner).toBeDefined();
// expect(tx).toBeDefined();
// expect(tx?.timestamp).toBeDefined();
// expect(tx?.coinwebTxId).toBeDefined();
// expect(Number(id)).toStrictEqual(Number.MAX_SAFE_INTEGER);
// expect(owner).toStrictEqual({
// auth: 'EcdsaContract',
// payload: TEST_PUBLIC_KEY,
// });
};
const context: UnitTestContext = {
name: 'add_word',
testPath: path.join(import.meta.dirname, './tests_data/add_word'),
verbose: true,
};
await runTest(context, input, checkFn);
});
});

View File

@ -0,0 +1,35 @@
import path from 'node:path';
import { getInstanceFromIndex, type RoundInfo } from '@coinweb/testing-sdk';
const onchainPackage = (await import('../../../dist/out/package.json')) as {
name: string;
};
export const CONTRACT_INSTANCE = await getInstanceFromIndex({
path: path.resolve(import.meta.dirname, '../../../tests_data/index.yaml'),
instance_alias: 'cwait-contract 0.0.1-test',
});
export const CONTRACT_INSTANCE_ID = '0x'.concat(CONTRACT_INSTANCE.instance_id.replace(/0x/, ''));
export const CONTRACT_TEMPLATE_ID = `0x${onchainPackage.name.substring(5)}`;
export const TEST_PRIVATE_KEY = '31c70848e4e3aaffcf91f134853ec966e913aa9a813115bcb81512e7625f46a9';
export const TEST_PUBLIC_KEY = '03951f89fe78e13f295d96eb7afa1e0da726df7d58f9c84f7144e5febc30efeec4';
export const waitRoundsCount = (roundsCount: number): RoundInfo[] => {
const emptyRound: RoundInfo = {
txsInfo: {
txs: [],
l1_events: [],
},
claims: [],
blocks_on: [],
};
const rounds: RoundInfo[] = [];
for (let i = 0; i < roundsCount; i++) {
rounds.push(emptyRound);
}
return rounds;
};

View File

@ -58,7 +58,7 @@ export const handleContext = (ctx: Context) => {
caller, caller,
thisId, thisId,
parentId, parentId,
saveResult, shouldSaveResult,
takenFundsIds = [], takenFundsIds = [],
execOpsIndexes = [], execOpsIndexes = [],
] = getMethodArgs(); ] = getMethodArgs();
@ -70,7 +70,7 @@ export const handleContext = (ctx: Context) => {
initialContext.parentId = parentId; initialContext.parentId = parentId;
initialContext.methodName = methodName; initialContext.methodName = methodName;
initialContext.initialArgs = initialArgs ?? []; initialContext.initialArgs = initialArgs ?? [];
initialContext.needSaveResult = saveResult ?? false; initialContext.needSaveResult = shouldSaveResult ?? false;
const { authInfo } = getCallParameters(getRawContext()); const { authInfo } = getCallParameters(getRawContext());
initialContext.user = (authInfo && extractUser(authInfo)) ?? caller ?? null; initialContext.user = (authInfo && extractUser(authInfo)) ?? caller ?? null;

View File

@ -86,7 +86,11 @@ export const extractOps = ({
throw new Error('Wrong subcall result'); throw new Error('Wrong subcall result');
} }
extractedOps.push({ ChildOp: 0 }, ...(nextAfterBlock.TakeOp.result as TypedClaim<ResolvedOp[]>).body); extractedOps.push({
ChildOp: {
ops: (nextAfterBlock.TakeOp.result as TypedClaim<ResolvedOp[]>).body,
},
});
i += 2; i += 2;
continue; continue;

View File

@ -11,7 +11,7 @@ import {
} from '@coinweb/contract-kit'; } from '@coinweb/contract-kit';
import { CwebTake } from '@coinweb/contract-kit/dist/types/operations/take'; import { CwebTake } from '@coinweb/contract-kit/dist/types/operations/take';
import { ExecutorMethodArgs, PreparedExtendedStoreOp, PreparedOp, ResolvedOp, ResolvedSlotOp } from '../../../types'; import { ExecutorMethodArgs, PreparedExtendedStoreOp, PreparedOp, ResolvedSlotOp } from '../../../types';
import { constructFundsClaimRangRead, constructFundsClaimStore } from '../../claims/funds'; import { constructFundsClaimRangRead, constructFundsClaimStore } from '../../claims/funds';
import { constructResultBlockFilter, constructResultClaimTake, resultKey } from '../../claims/result'; import { constructResultBlockFilter, constructResultClaimTake, resultKey } from '../../claims/result';
import { context, getRawContext } from '../../context'; import { context, getRawContext } from '../../context';
@ -68,16 +68,18 @@ export const prepareInThreadTxs = ({
let callsPrepared = 0; let callsPrepared = 0;
const resolvedSlotOps = new Array(outThreadTasksCount).fill({ SlotOp: { ok: true } }) satisfies ResolvedSlotOp[]; const resolvedSlotOps = new Array(outThreadTasksCount).fill({ SlotOp: { ok: true } }) satisfies ResolvedSlotOp[];
//Mutex exec ops
const preparedExecOps: (PreparedExtendedStoreOp | GTake<CwebTake>)[] = []; const preparedExecOps: (PreparedExtendedStoreOp | GTake<CwebTake>)[] = [];
const excOpsIndexes: number[] = []; const excOpsIndexes: number[] = [];
const resolvedChildOps: ResolvedOp[] = [...context.ops, ...resolvedSlotOps]; // const resolvedChildOps: ResolvedOp[] = [...context.ops, ...resolvedSlotOps];
//Children
//Arg for the main call //Arg for the main call
const callArgs: PreparedOperation[] = []; const callArgs: PreparedOperation[] = [];
//Info for separate child call //Info for separate parallel calls
const childCalls: FullCallInfo[] = []; const parallelCalls: FullCallInfo[] = [];
const outThreadOps: PreparedOperation[] = []; const outThreadOps: PreparedOperation[] = [];
@ -89,14 +91,20 @@ export const prepareInThreadTxs = ({
callArgs.push(constructBlock([constructResultBlockFilter(id)]), constructResultClaimTake(id)); callArgs.push(constructBlock([constructResultBlockFilter(id)]), constructResultClaimTake(id));
txFee += 200n; txFee += 200n;
childCalls.push({ const childOps = [
...context.ops,
...resolvedSlotOps,
...ops.map((_, j) => (i === j ? { ExecOp: { id } } : { SlotOp: { ok: true } })),
];
parallelCalls.push({
callInfo: { callInfo: {
ref: constructContractRef(context.issuer, []), ref: constructContractRef(context.issuer, []),
methodInfo: { methodInfo: {
methodName: context.methodName, methodName: context.methodName,
methodArgs: [ methodArgs: [
context.initialArgs, context.initialArgs,
[...resolvedChildOps, { ExecOp: { id } }], childOps,
context.user, context.user,
id, id,
context.thisId, context.thisId,
@ -151,7 +159,7 @@ export const prepareInThreadTxs = ({
processId: context.thisId, processId: context.thisId,
}); });
childCalls.push({ callInfo }); parallelCalls.push({ callInfo });
callArgs.push(...inThreadOps); callArgs.push(...inThreadOps);
txFee += fee; txFee += fee;
@ -168,7 +176,7 @@ export const prepareInThreadTxs = ({
true true
); );
childCalls.push({ callInfo }); parallelCalls.push({ callInfo });
callArgs.push(...ops); callArgs.push(...ops);
txFee += fee; txFee += fee;
@ -178,8 +186,6 @@ export const prepareInThreadTxs = ({
callArgs.push(op); callArgs.push(op);
txFee += 100n; txFee += 100n;
} }
resolvedChildOps.push({ SlotOp: { ok: true } });
}); });
if (preparedExecOps.length > 0) { if (preparedExecOps.length > 0) {
@ -192,7 +198,7 @@ export const prepareInThreadTxs = ({
execId, execId,
}); });
childCalls.push({ callInfo }); parallelCalls.push({ callInfo });
txFee += fee; txFee += fee;
console.log(txFee); console.log(txFee);
@ -276,8 +282,8 @@ export const prepareInThreadTxs = ({
) )
); );
if (childCalls.length || outThreadOps.length) { if (parallelCalls.length || outThreadOps.length) {
returnTxs.push(constructContinueTx(getRawContext(), outThreadOps, childCalls)); returnTxs.push(constructContinueTx(getRawContext(), outThreadOps, parallelCalls));
} }
} }
} }

View File

@ -29,7 +29,7 @@ export const executor = (method: (...args: any[]) => Promise<void>) => {
}, 0); }, 0);
try { try {
setNextExec(() => method(...context.initialArgs)); setNextExec(() => method(...context.initialArgs), []);
const isFullyExecuted = await execLoop(); const isFullyExecuted = await execLoop();
console.log('<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< executor-finish-end'); console.log('<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< executor-finish-end');
return constructTx(isFullyExecuted); return constructTx(isFullyExecuted);

View File

@ -3,19 +3,8 @@ import { constructStore } from '@coinweb/contract-kit/dist/esm/operations/store'
import { constructResultClaim } from '../../claims/result'; import { constructResultClaim } from '../../claims/result';
import { opMarker } from '../../globals/promise'; import { opMarker } from '../../globals/promise';
import { setNextExec, stopExecution } from '../../runtime'; import { setNextExec, stopExecution } from '../../runtime';
import { import { getAwaitedTasksCount, pushAwaitedTask } from '../../runtime/awaitedTasks';
freezeAwaitedTasks, import { getUsedOps, startSavingUsedOps, stopSavingUsedOps, shiftResolvedOp } from '../../runtime/resolvedOps';
getAwaitedTasksCount,
pushAwaitedTask,
unfreezeAwaitedTasks,
} from '../../runtime/awaitedTasks';
import {
freezeResolvedOps,
getUsedOps,
saveUsedOps,
shiftResolvedOp,
unfreezeResolvedOps,
} from '../../runtime/resolvedOps';
import { isResolvedChildOp, isResolvedExecOp, isResolvedSlotOp } from '../../utils'; import { isResolvedChildOp, isResolvedExecOp, isResolvedSlotOp } from '../../utils';
import { uuid } from '../../utils'; import { uuid } from '../../utils';
@ -55,32 +44,25 @@ export const cwait = <TAsyncCallback extends (...args: any[]) => Promise<unknown
} }
if (isResolvedExecOp(op)) { if (isResolvedExecOp(op)) {
freezeAwaitedTasks();
freezeResolvedOps();
setNextExec(async () => { setNextExec(async () => {
unfreezeAwaitedTasks(); startSavingUsedOps();
unfreezeResolvedOps();
saveUsedOps();
await asyncCallback(...args); await asyncCallback(...args);
stopSavingUsedOps();
if (!getAwaitedTasksCount()) { if (!getAwaitedTasksCount()) {
console.log('push result claim'); console.log('push result claim');
pushAwaitedTask(constructStore(constructResultClaim(op.ExecOp.id, getUsedOps()))); pushAwaitedTask(constructStore(constructResultClaim(op.ExecOp.id, getUsedOps())));
stopExecution();
} }
}); }, []);
stopExecution(); stopExecution(); //Check: maybe does no affect
return new Promise(() => null); return;
} }
if (isResolvedChildOp(op)) { if (isResolvedChildOp(op)) {
return asyncCallback(...args); return setNextExec(() => asyncCallback(...args), op.ChildOp.ops);
} }
throw new Error('Exec or Child operation not found'); throw new Error('Exec or Child operation not found');

View File

@ -1,13 +1,8 @@
import { PreparedOp, Task } from '../../types'; import { PreparedOp, Task } from '../../types';
const awaitedTasks: Task[] = []; const awaitedTasks: Task[] = [];
let isFreezed = false;
export const pushAwaitedTask = (op: PreparedOp) => { export const pushAwaitedTask = (op: PreparedOp) => {
if (isFreezed) {
return;
}
awaitedTasks.push({ op, batchId: -1 }); awaitedTasks.push({ op, batchId: -1 });
}; };
@ -20,11 +15,3 @@ export const markTaskBatch = (count: number, batchId: number) => {
}; };
export const getAwaitedTasksCount = () => awaitedTasks.length; export const getAwaitedTasksCount = () => awaitedTasks.length;
export const freezeAwaitedTasks = () => {
isFreezed = true;
};
export const unfreezeAwaitedTasks = () => {
isFreezed = false;
};

View File

@ -1,3 +1,7 @@
import { ResolvedOp } from '../../types';
import { pushResolvedOp } from './resolvedOps';
let abortExecution: ((isFullyExecuted: boolean) => void) | null = null; let abortExecution: ((isFullyExecuted: boolean) => void) | null = null;
export const stopExecution = (isFullyExecuted = false) => { export const stopExecution = (isFullyExecuted = false) => {
@ -5,10 +9,18 @@ export const stopExecution = (isFullyExecuted = false) => {
abortExecution?.(isFullyExecuted); abortExecution?.(isFullyExecuted);
}; };
type ExecTask = () => Promise<void>; type ExecTask = () => Promise<unknown>;
type Exec = { task: ExecTask; ops: ResolvedOp[] };
let execQueue: ExecTask[] = []; const execQueue: Exec[] = [];
export const setNextExec = (task: ExecTask) => (execQueue = [task]); export const setNextExec = (task: ExecTask, ops: ResolvedOp[]) => {
return new Promise((resolve, reject) => {
execQueue.push({
task: () => task().then(resolve, reject),
ops,
});
});
};
export const execLoop = async (): Promise<boolean> => { export const execLoop = async (): Promise<boolean> => {
const nextExec = execQueue.pop(); const nextExec = execQueue.pop();
@ -17,7 +29,8 @@ export const execLoop = async (): Promise<boolean> => {
const execution = new Promise<boolean>((resolve, reject) => { const execution = new Promise<boolean>((resolve, reject) => {
abortExecution = resolve; abortExecution = resolve;
nextExec().then( pushResolvedOp(nextExec.ops);
nextExec.task().then(
() => { () => {
resolve(true); resolve(true);
}, },

View File

@ -43,11 +43,15 @@ export const shiftResolvedOp = () => {
export const getUsedOps = () => usedOps; export const getUsedOps = () => usedOps;
export const saveUsedOps = () => { export const startSavingUsedOps = () => {
usedOps = []; usedOps = [];
isSavingUsed = true; isSavingUsed = true;
}; };
export const stopSavingUsedOps = () => {
isSavingUsed = false;
};
export const freezeResolvedOps = () => { export const freezeResolvedOps = () => {
isFreezed = true; isFreezed = true;
}; };

View File

@ -37,7 +37,9 @@ export type ResolvedExecOp = {
}; };
export type ResolvedChildOp = { export type ResolvedChildOp = {
ChildOp: 0; ChildOp: {
ops: ResolvedOp[];
};
}; };
export type ResolvedLockOp = { export type ResolvedLockOp = {
@ -100,7 +102,7 @@ export type ExecutorMethodArgs = [
caller?: User, caller?: User,
thisId?: string, thisId?: string,
parentId?: string, parentId?: string,
saveResult?: boolean, shouldSaveResult?: boolean,
takenFundsIds?: string[], takenFundsIds?: string[],
execOpsIndexes?: number[], execOpsIndexes?: number[],
]; ];