Mẫu prompt gỡ lỗi điều kiện tranh chấp (race condition)

Trong bối cảnh đó, việc sử dụng prompt để gỡ lỗi race condition đang trở thành một phương pháp hiệu quả giúp lập trình viên tiếp cận vấn đề một cách có hệ thống. Thay vì thử nghiệm thủ công hoặc suy đoán nguyên nhân, các prompt được thiết kế tốt có thể hỗ trợ phân tích luồng thực thi, xác định điểm xung đột truy cập dữ liệu, và làm rõ thứ tự xảy ra của những sự kiện bất đồng bộ.

Bài viết này tập trung vào cách xây dựng prompt mẫu nhằm hỗ trợ phát hiện và xử lý race condition, từ việc mô tả tình huống, cung cấp log hoặc đoạn code liên quan, cho đến yêu cầu AI phân tích thứ tự thực thi và đề xuất giải pháp đồng bộ phù hợp. Qua đó, giúp giảm thiểu thời gian debug, nâng cao độ tin cậy của hệ thống và hạn chế các lỗi khó lường trong môi trường thực tế.

Mẫu prompt gỡ lỗi điều kiện tranh chấp (race condition)

Phù hợp nhất cho: GPT-5, Claude 4 Sonnet

Cách sử dụng prompt mẫu

• Code được dùng để phân tích:

// raceConditionDemo.js

let balance = 100;

async function withdraw(amount) {
    console.log(`Start withdraw ${amount}, balance = ${balance}`);

    // Giả lập delay (I/O, DB, API...)
    await new Promise(resolve => setTimeout(resolve, Math.random() * 100));

    if (balance >= amount) {
        balance -= amount;
        console.log(`Success withdraw ${amount}, new balance = ${balance}`);
    } else {
        console.log(`Failed withdraw ${amount}, balance = ${balance}`);
    }
}

// Chạy song song 2 request
async function run() {
    await Promise.all([
        withdraw(80),
        withdraw(30)
    ]);

    console.log("Final balance:", balance);
}

run();

• Vấn đề: Đây là race condition:
   

  • Cả 2 function đọc cùng balance = 100

  • Sau đó cùng ghi → sai logic

• Hành vi mong đợi: Mỗi lần chỉ 1 function truy cập balance, tránh xung đột

• Hành vi thực tế: Không kiểm soát truy cập, Data bị ghi đè sai

Kết quả prompt mẫu được thực hiện bằng GPT-5