mirror of
https://github.com/colbymchenry/codegraph.git
synced 2026-10-19 06:22:38 +08:00
c13bd0890f
When Windows-native and WSL CodeGraph both open the same .codegraph/codegraph.db under /mnt/<drive>/, SQLite's locking and -shm shared memory don't hold across the 9p/DrvFs bridge and WSL fails with a bare "disk I/O error". - A SQLite I/O error on the default index of a WSL /mnt/<drive> project is rewritten (in the SQLite adapter, so every open and query is covered) into the CODEGRAPH_DIR=.codegraph-wsl instruction. MCP answers it success-shaped, and a failed default-project open is reported instead of "no project loaded". - On WSL + /mnt/<drive> with CODEGRAPH_DIR unset, the data dir is resolved per root: an existing .codegraph-wsl/ wins, then an existing .codegraph/ index (kept, no silent re-index), else a fresh index goes in .codegraph-wsl/. `codegraph init` says where it went. Every other host is unchanged. Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
363 lines
15 KiB
TypeScript
363 lines
15 KiB
TypeScript
/**
|
|
* Windows + WSL sharing one index on a Windows drive (issue #995).
|
|
*
|
|
* When Windows-native CodeGraph and WSL CodeGraph both open the same
|
|
* `.codegraph/codegraph.db` under `/mnt/<drive>/`, SQLite's locking and `-shm`
|
|
* shared memory don't hold across the 9p/DrvFs bridge and WSL fails with a bare
|
|
* "disk I/O error". These tests pin both halves of the fix:
|
|
*
|
|
* - a fresh WSL index there gets its own `.codegraph-wsl`, while an index
|
|
* already in `.codegraph` stays where it is (no silent re-index), and
|
|
* - such an error is rewritten into the `CODEGRAPH_DIR=.codegraph-wsl`
|
|
* instruction — only on WSL, only under `/mnt/<drive>`, only for the
|
|
* default-named index — which MCP answers SUCCESS-shaped (never `isError`,
|
|
* see AGENTS.md "Errors teach abandonment").
|
|
*
|
|
* WSL detection is injected, the way the watch-policy tests inject it, so the
|
|
* decision runs on any host. The end-to-end cases raise a REAL node:sqlite I/O
|
|
* error by planting a FIFO where SQLite expects the `-shm` file: its lock
|
|
* calls fail exactly like a cross-OS lock does.
|
|
*/
|
|
|
|
import { afterEach, beforeEach, describe, expect, it } from 'vitest';
|
|
import { execFileSync } from 'child_process';
|
|
import * as fs from 'fs';
|
|
import * as os from 'os';
|
|
import * as path from 'path';
|
|
import CodeGraph from '../src/index';
|
|
import { DatabaseConnection } from '../src/db';
|
|
import { WslSharedIndexError, isSqliteIoError, toWslSharedIndexError } from '../src/db/wsl-shared-index';
|
|
import { codeGraphDirNameFor, findNearestCodeGraphRoot, getCodeGraphDir, isInitialized } from '../src/directory';
|
|
import { __setWslWindowsDriveForTests, isWslWindowsDrive } from '../src/sync/watch-policy';
|
|
import { ToolHandler } from '../src/mcp/tools';
|
|
|
|
// Engine default-project opens use its lazy CommonJS loader, so the engine
|
|
// cases drive the built modules (and set the built module's override).
|
|
const { MCPEngine: BuiltMCPEngine } = require('../dist/mcp/engine') as typeof import('../src/mcp/engine');
|
|
const builtWatchPolicy = require('../dist/sync/watch-policy') as typeof import('../src/sync/watch-policy');
|
|
|
|
/** Every path counts as a Windows drive seen from WSL. */
|
|
const onWslDrive = (): boolean => true;
|
|
|
|
const SHARED_DB = '/mnt/c/src/app/.codegraph/codegraph.db';
|
|
|
|
/** A node:sqlite-shaped I/O error (SQLITE_IOERR_LOCK). */
|
|
function ioError(): Error {
|
|
return Object.assign(new Error('disk I/O error'), {
|
|
code: 'ERR_SQLITE_ERROR',
|
|
errcode: 3850,
|
|
errstr: 'disk I/O error',
|
|
});
|
|
}
|
|
|
|
function sharedIndexError(): WslSharedIndexError {
|
|
return toWslSharedIndexError(ioError(), SHARED_DB, { isWsl: true })!;
|
|
}
|
|
|
|
describe('isSqliteIoError', () => {
|
|
it('matches the whole SQLITE_IOERR family by its extended code', () => {
|
|
for (const errcode of [10, 522, 3850, 4618, 5130]) {
|
|
expect(isSqliteIoError(Object.assign(new Error('x'), { errcode }))).toBe(true);
|
|
}
|
|
});
|
|
|
|
it('does not match other SQLite failures', () => {
|
|
// BUSY, CORRUPT, CANTOPEN, UNIQUE constraint
|
|
for (const errcode of [5, 11, 14, 2067]) {
|
|
expect(isSqliteIoError(Object.assign(new Error('disk I/O error'), { errcode }))).toBe(false);
|
|
}
|
|
});
|
|
|
|
it('falls back to the message when no code survived', () => {
|
|
expect(isSqliteIoError(new Error('disk I/O error'))).toBe(true);
|
|
expect(isSqliteIoError(new Error('database is locked'))).toBe(false);
|
|
expect(isSqliteIoError('disk I/O error')).toBe(false);
|
|
expect(isSqliteIoError(null)).toBe(false);
|
|
});
|
|
});
|
|
|
|
describe('toWslSharedIndexError', () => {
|
|
it('rewrites an I/O error on the default index of a WSL /mnt/<drive> project', () => {
|
|
const original = ioError();
|
|
const err = toWslSharedIndexError(original, SHARED_DB, { isWsl: true });
|
|
expect(err).toBeInstanceOf(WslSharedIndexError);
|
|
expect(err!.name).toBe('WslSharedIndexError');
|
|
expect(err!.message).toContain('disk I/O error on the CodeGraph index at /mnt/c/src/app/.codegraph\n');
|
|
expect(err!.message).toContain("Windows and WSL can't share one index on a Windows drive");
|
|
expect(err!.message).toContain('CODEGRAPH_DIR=.codegraph-wsl');
|
|
expect(err!.message).toContain('codegraph init');
|
|
// The original stays reachable, and its SQLite codes still read the same.
|
|
expect(err!.cause).toBe(original);
|
|
expect(err!.errcode).toBe(3850);
|
|
expect(err!.code).toBe('ERR_SQLITE_ERROR');
|
|
});
|
|
|
|
it('is idempotent', () => {
|
|
const err = sharedIndexError();
|
|
expect(toWslSharedIndexError(err, SHARED_DB, { isWsl: true })).toBe(err);
|
|
});
|
|
|
|
it('leaves the error alone off WSL', () => {
|
|
expect(toWslSharedIndexError(ioError(), SHARED_DB, { isWsl: false })).toBeNull();
|
|
});
|
|
|
|
it('leaves the error alone on a native WSL path', () => {
|
|
expect(toWslSharedIndexError(ioError(), '/home/me/app/.codegraph/codegraph.db', { isWsl: true })).toBeNull();
|
|
});
|
|
|
|
it('does not treat /mnt/wsl (a Linux mount) as a Windows drive', () => {
|
|
expect(toWslSharedIndexError(ioError(), '/mnt/wsl/app/.codegraph/codegraph.db', { isWsl: true })).toBeNull();
|
|
});
|
|
|
|
it('leaves the error alone when WSL already has its own index directory', () => {
|
|
// The advice would be wrong: CODEGRAPH_DIR is already split.
|
|
expect(toWslSharedIndexError(ioError(), '/mnt/c/src/app/.codegraph-wsl/codegraph.db', { isWsl: true })).toBeNull();
|
|
});
|
|
|
|
it('leaves other SQLite errors alone', () => {
|
|
const busy = Object.assign(new Error('database is locked'), { errcode: 5 });
|
|
expect(toWslSharedIndexError(busy, SHARED_DB, { isWsl: true })).toBeNull();
|
|
});
|
|
|
|
// Real detection: WSL is a Linux kernel, so on any other host the rewrite
|
|
// can never fire, whatever the path looks like.
|
|
it.runIf(process.platform !== 'linux')('never fires off Linux with real detection', () => {
|
|
expect(toWslSharedIndexError(ioError(), SHARED_DB)).toBeNull();
|
|
});
|
|
|
|
});
|
|
|
|
async function makeProject(dir: string): Promise<void> {
|
|
fs.mkdirSync(path.join(dir, 'src'), { recursive: true });
|
|
fs.writeFileSync(path.join(dir, 'src', 'sample.ts'), 'export function parseToken() { return 1; }\n');
|
|
(await CodeGraph.init(dir, { index: true })).close();
|
|
}
|
|
|
|
describe('the data directory on a Windows drive under WSL', () => {
|
|
let root: string;
|
|
const prevDir = process.env.CODEGRAPH_DIR;
|
|
|
|
beforeEach(() => {
|
|
root = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-wsl-dir-'));
|
|
fs.mkdirSync(path.join(root, 'src'));
|
|
fs.writeFileSync(path.join(root, 'src', 'sample.ts'), 'export function parseToken() { return 1; }\n');
|
|
delete process.env.CODEGRAPH_DIR;
|
|
});
|
|
|
|
afterEach(() => {
|
|
__setWslWindowsDriveForTests(null);
|
|
if (prevDir === undefined) delete process.env.CODEGRAPH_DIR;
|
|
else process.env.CODEGRAPH_DIR = prevDir;
|
|
fs.rmSync(root, { recursive: true, force: true });
|
|
});
|
|
|
|
it('gives a fresh project its own .codegraph-wsl', async () => {
|
|
__setWslWindowsDriveForTests(onWslDrive);
|
|
expect(codeGraphDirNameFor(root)).toBe('.codegraph-wsl');
|
|
const cg = await CodeGraph.init(root, { index: true });
|
|
cg.close();
|
|
expect(fs.existsSync(path.join(root, '.codegraph-wsl', 'codegraph.db'))).toBe(true);
|
|
expect(fs.existsSync(path.join(root, '.codegraph'))).toBe(false);
|
|
// It keeps itself out of git like .codegraph does.
|
|
expect(fs.readFileSync(path.join(root, '.codegraph-wsl', '.gitignore'), 'utf8')).toMatch(/^\*$/m);
|
|
expect(findNearestCodeGraphRoot(path.join(root, 'src'))).toBe(root);
|
|
});
|
|
|
|
it('keeps an index already built in .codegraph, without a re-index', async () => {
|
|
const built = await CodeGraph.init(root, { index: true });
|
|
const nodes = built.getStats().nodeCount;
|
|
built.close();
|
|
__setWslWindowsDriveForTests(onWslDrive);
|
|
expect(getCodeGraphDir(root)).toBe(path.join(root, '.codegraph'));
|
|
expect(isInitialized(root)).toBe(true);
|
|
const reopened = CodeGraph.openSync(root);
|
|
expect(reopened.getStats().nodeCount).toBe(nodes);
|
|
reopened.close();
|
|
expect(fs.existsSync(path.join(root, '.codegraph-wsl'))).toBe(false);
|
|
});
|
|
|
|
it('stays on .codegraph-wsl after Windows builds a .codegraph beside it', async () => {
|
|
__setWslWindowsDriveForTests(onWslDrive);
|
|
(await CodeGraph.init(root, { index: true })).close();
|
|
// Windows-native CodeGraph indexes the same tree afterwards.
|
|
__setWslWindowsDriveForTests(() => false);
|
|
(await CodeGraph.init(root, { index: true })).close();
|
|
expect(fs.existsSync(path.join(root, '.codegraph', 'codegraph.db'))).toBe(true);
|
|
__setWslWindowsDriveForTests(onWslDrive);
|
|
expect(codeGraphDirNameFor(root)).toBe('.codegraph-wsl');
|
|
});
|
|
|
|
it('does not count a .codegraph with no database as an index', () => {
|
|
__setWslWindowsDriveForTests(onWslDrive);
|
|
fs.mkdirSync(path.join(root, '.codegraph'));
|
|
expect(codeGraphDirNameFor(root)).toBe('.codegraph-wsl');
|
|
});
|
|
|
|
it('lets CODEGRAPH_DIR decide', () => {
|
|
__setWslWindowsDriveForTests(onWslDrive);
|
|
process.env.CODEGRAPH_DIR = '.codegraph-custom';
|
|
expect(codeGraphDirNameFor(root)).toBe('.codegraph-custom');
|
|
process.env.CODEGRAPH_DIR = '.codegraph';
|
|
expect(codeGraphDirNameFor(root)).toBe('.codegraph');
|
|
});
|
|
|
|
it('keeps .codegraph off a Windows drive', () => {
|
|
__setWslWindowsDriveForTests(() => false);
|
|
expect(codeGraphDirNameFor(root)).toBe('.codegraph');
|
|
});
|
|
|
|
// Real detection: only a Linux kernel can be WSL.
|
|
it.runIf(process.platform !== 'linux')('keeps .codegraph off Linux with real detection', () => {
|
|
expect(isWslWindowsDrive('/mnt/c/src/app')).toBe(false);
|
|
expect(codeGraphDirNameFor(root)).toBe('.codegraph');
|
|
});
|
|
});
|
|
|
|
/** Replace the index's `-shm` with a FIFO: SQLite's first read then fails with a real SQLITE_IOERR. */
|
|
function breakSharedMemory(dbPath: string): void {
|
|
fs.rmSync(`${dbPath}-shm`, { force: true });
|
|
execFileSync('mkfifo', [`${dbPath}-shm`]);
|
|
}
|
|
|
|
// mkfifo is POSIX-only.
|
|
describe.runIf(process.platform !== 'win32')('a real SQLite I/O error on open', () => {
|
|
let root: string;
|
|
let dbPath: string;
|
|
|
|
beforeEach(async () => {
|
|
root = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-wsl-shared-'));
|
|
await makeProject(root);
|
|
dbPath = path.join(root, '.codegraph', 'codegraph.db');
|
|
breakSharedMemory(dbPath);
|
|
});
|
|
|
|
afterEach(() => {
|
|
__setWslWindowsDriveForTests(null);
|
|
fs.rmSync(root, { recursive: true, force: true });
|
|
});
|
|
|
|
it('surfaces as the actionable message on WSL + /mnt/<drive>', () => {
|
|
__setWslWindowsDriveForTests(onWslDrive);
|
|
let thrown: unknown;
|
|
try {
|
|
DatabaseConnection.open(dbPath).close();
|
|
} catch (err) {
|
|
thrown = err;
|
|
}
|
|
expect(thrown).toBeInstanceOf(WslSharedIndexError);
|
|
// Pins node:sqlite's error shape: the extended code sits on `errcode`.
|
|
const cause = (thrown as WslSharedIndexError).cause as { errcode?: number; message?: string };
|
|
expect(cause.errcode! & 0xff).toBe(10);
|
|
expect(cause.message).toBe('disk I/O error');
|
|
expect((thrown as Error).message).toContain('CODEGRAPH_DIR=.codegraph-wsl');
|
|
});
|
|
|
|
it('stays the raw SQLite error everywhere else', () => {
|
|
__setWslWindowsDriveForTests(() => false);
|
|
let thrown: unknown;
|
|
try {
|
|
DatabaseConnection.open(dbPath).close();
|
|
} catch (err) {
|
|
thrown = err;
|
|
}
|
|
expect(thrown).toBeInstanceOf(Error);
|
|
expect(thrown).not.toBeInstanceOf(WslSharedIndexError);
|
|
expect((thrown as Error).message).toBe('disk I/O error');
|
|
});
|
|
|
|
describe('through the MCP engine', () => {
|
|
let engine: import('../src/mcp/engine').MCPEngine | undefined;
|
|
|
|
beforeEach(() => {
|
|
builtWatchPolicy.__setWslWindowsDriveForTests(onWslDrive);
|
|
});
|
|
|
|
afterEach(async () => {
|
|
builtWatchPolicy.__setWslWindowsDriveForTests(null);
|
|
await engine?.stop();
|
|
engine = undefined;
|
|
});
|
|
|
|
const expectGuidance = (result: { isError?: boolean; content: Array<{ text: string }> }) => {
|
|
expect(result.isError).not.toBe(true);
|
|
expect(result.content[0]!.text).toContain('CODEGRAPH_DIR=.codegraph-wsl');
|
|
expect(result.content[0]!.text).toContain('If you are an AI agent');
|
|
expect(result.content[0]!.text).not.toContain('No CodeGraph project is loaded');
|
|
};
|
|
|
|
it('answers a default-project call with the fix, not "no project loaded"', async () => {
|
|
engine = new BuiltMCPEngine({ watch: false });
|
|
await engine.ensureInitialized(root);
|
|
expectGuidance(await engine.getToolHandler().execute('codegraph_explore', { query: 'parseToken' }));
|
|
});
|
|
|
|
it('keeps the fix on the per-call retry path', async () => {
|
|
engine = new BuiltMCPEngine({ watch: false });
|
|
engine.retryInitializeSync(root);
|
|
expectGuidance(await engine.getToolHandler().execute('codegraph_search', { query: 'parseToken' }));
|
|
});
|
|
|
|
it('answers an explicit projectPath with the fix', async () => {
|
|
engine = new BuiltMCPEngine({ watch: false });
|
|
expectGuidance(await engine.getToolHandler().execute('codegraph_search', { query: 'parseToken', projectPath: root }));
|
|
});
|
|
|
|
it('serves normally once the index opens again', async () => {
|
|
engine = new BuiltMCPEngine({ watch: false });
|
|
engine.retryInitializeSync(root);
|
|
fs.rmSync(`${dbPath}-shm`, { force: true });
|
|
engine.retryInitializeSync(root);
|
|
const result = await engine.getToolHandler().execute('codegraph_search', { query: 'parseToken' });
|
|
expect(result.isError).not.toBe(true);
|
|
expect(result.content[0]!.text).toContain('parseToken');
|
|
});
|
|
});
|
|
});
|
|
|
|
describe('ToolHandler answers the shared-index error success-shaped', () => {
|
|
let root: string;
|
|
let cg: CodeGraph;
|
|
|
|
beforeEach(async () => {
|
|
root = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-wsl-tools-'));
|
|
await makeProject(root);
|
|
cg = CodeGraph.openSync(root);
|
|
});
|
|
|
|
afterEach(() => {
|
|
cg.close();
|
|
fs.rmSync(root, { recursive: true, force: true });
|
|
});
|
|
|
|
it('when a query fails mid-session', async () => {
|
|
cg.searchNodes = () => { throw sharedIndexError(); };
|
|
const result = await new ToolHandler(cg).execute('codegraph_search', { query: 'parseToken' });
|
|
expect(result.isError).not.toBe(true);
|
|
expect(result.content[0]!.text).toContain('CODEGRAPH_DIR=.codegraph-wsl');
|
|
});
|
|
|
|
it('on the worker dispatch path', async () => {
|
|
cg.searchNodes = () => { throw sharedIndexError(); };
|
|
const result = await new ToolHandler(cg).executeReadTool('codegraph_search', { query: 'parseToken' });
|
|
expect(result.isError).not.toBe(true);
|
|
expect(result.content[0]!.text).toContain('CODEGRAPH_DIR=.codegraph-wsl');
|
|
});
|
|
|
|
it('keeps a genuine malfunction an error', async () => {
|
|
cg.searchNodes = () => { throw new Error('disk I/O error'); };
|
|
const result = await new ToolHandler(cg).execute('codegraph_search', { query: 'parseToken' });
|
|
expect(result.isError).toBe(true);
|
|
});
|
|
|
|
it('forgets a recorded open failure once a default project loads', async () => {
|
|
const handler = new ToolHandler(null);
|
|
handler.setDefaultOpenFailure(sharedIndexError());
|
|
expect((await handler.execute('codegraph_search', { query: 'parseToken' })).content[0]!.text)
|
|
.toContain('CODEGRAPH_DIR=.codegraph-wsl');
|
|
handler.setDefaultCodeGraph(cg);
|
|
const result = await handler.execute('codegraph_search', { query: 'parseToken' });
|
|
expect(result.content[0]!.text).not.toContain('CODEGRAPH_DIR');
|
|
expect(result.content[0]!.text).toContain('parseToken');
|
|
});
|
|
});
|