ตามหาการแข่งกันด้วย racecheck

ภาวะข้อมูลแข่งขันเกิดขึ้นเมื่อเธรดสองรายการแตะหน่วยความจำที่ใช้ร่วมกันเดียวกัน และอย่างน้อยหนึ่งรายการเขียนข้อมูล โดยไม่มีการจัดลำดับระหว่างกัน 😬

ภาวะแข่งขันมักให้คำตอบถูกต้องระหว่างการทดสอบ แต่ให้คำตอบผิดในการใช้งานจริง เพราะผลลัพธ์ขึ้นอยู่กับจังหวะเวลาของเธรดที่คาดเดาไม่ได้

เครื่องมือ racecheck ของ compute-sanitizer จะวิเคราะห์การเข้าถึงหน่วยความจำที่ใช้ร่วมกัน และรายงานอันตรายที่การทำงานปกติอาจซ่อนไว้

การเขียนลงอาร์เรย์ที่ใช้ร่วมกันแล้วอ่านช่องของเธรดข้างเคียงโดยไม่มีแบร์ริเออร์ ทำให้เกิดภาวะแข่งขัน เนื่องจากเธรดข้างเคียงอาจยังเขียนไม่เสร็จ

แทรก __syncthreads ระหว่างการเขียนกับการอ่าน เพื่อให้ทุกเธรดในบล็อกเขียนเสร็จก่อนที่เธรดใด ๆ จะอ่าน

racecheck ยังตรวจจับอันตรายแบบเขียนหลังการเขียนได้ เมื่อเธรดสองรายการเก็บข้อมูลลงช่องที่ใช้ร่วมกันเดียวกันโดยไม่มีการจัดลำดับ

อันตรายที่พบบ่อยที่สุดคืออ่านหลังการเขียน: เธรดหนึ่งอ่านค่าที่อีกเธรดยังคงเขียนอยู่ จึงอ่านข้อมูลเก่า

racecheck จะแสดงชนิดของอันตราย พร้อมเธรดทั้งสองรายการและที่อยู่ที่ใช้ร่วมกัน เพื่อให้คุณทราบว่าแบร์ริเออร์ใดขาดหาย

racecheck มุ่งตรวจหน่วยความจำ __shared__ ภายในบล็อก ส่วนภาวะแข่งขันในหน่วยความจำส่วนกลางมักต้องใช้ตรรกะอย่างรอบคอบหรือการดำเนินการแบบอะตอมแทน

เช่นเดียวกับ memcheck การคอมไพล์ด้วย -lineinfo ช่วยให้ racecheck ชี้ไปยังบรรทัดต้นฉบับที่แน่นอนของอันตรายแต่ละรายการ

เรียกใช้ racecheck อีกครั้งหลังเพิ่มแบร์ริเออร์ รายงานอันตรายเป็นศูนย์หมายความว่าการเข้าถึงหน่วยความจำที่ใช้ร่วมกันของคุณได้รับการจัดลำดับอย่างถูกต้องแล้ว

คุณใช้ racecheck เพื่อค้นหาอันตรายในหน่วยความจำที่ใช้ร่วมกัน อ่านรายงาน และแก้ไขด้วยแบร์ริเออร์ __syncthreads ตอนนี้ข้อผิดพลาดด้านจังหวะเวลาถูกเปิดเผยแล้ว 🎯