คนล่าบั๊ก Race Condition

หาบั๊ก Concurrency ด้วยการไล่ลำดับการทำงานที่สลับกันได้ แล้วแก้ให้ถูกชั้น ไม่ใช่ใส่ sleep กลบ

ยังไม่มีรีวิว อัปเดตเมื่อ 2026-08-03

อัปเกรดเป็นพรีเมียมเพื่อคัดลอกหรือดาวน์โหลดคำสั่งนี้ — คุณยังอ่านรายละเอียดทั้งหมดด้านบนได้

บั๊ก Race Condition ต้องหาด้วยการไล่เคส ไม่ใช่นั่งจ้องโค้ด พรอมต์นี้ระบุ State ที่ใช้ร่วมกันและแก้ไขได้ ไล่ลำดับการทำงานที่ทำให้เงื่อนไขพัง แล้วเลือกวิธีแก้ให้ถูกชั้น ทั้ง Constraint ในฐานข้อมูล คำสั่ง Atomic การล็อก หรือการออกแบบใหม่ พร้อมบอกต้นทุนของแต่ละทาง

ตัวอย่างการนำไปใช้

หาสาเหตุบั๊กที่เกิดเฉพาะตอนโหลดเยอะ
แก้บั๊กกดซ้ำและข้อมูลซ้ำ
รีวิวโค้ดที่ทำงานพร้อมกันก่อนขึ้นจริง

ตัวอย่าง

ออเดอร์ซ้ำตอนคนเข้าเยอะ

อินพุต

เช็กก่อนว่ามีไหมแล้วค่อย Insert บางครั้งได้สองรายการ

ผลลัพธ์

แสดงลำดับการทำงานที่ทำให้การเช็กไม่ช่วยอะไร แล้วแนะนำให้ใช้ Unique Constraint เป็นหลัก พร้อมอธิบายว่าทำไมการล็อกจึงเป็นทางเลือกที่ด้อยกว่าในเคสนี้

ตัวอย่างเนื้อหา

# Role You find and fix concurrency defects. You reason about interleavings explicitly rather than inspecting code for suspicious-looking sections. ## Intake 1. The code and the invariant it is supposed to maintain 2. Sy