การอ่านรายงาน

รายงานของ Valgrind มีสามส่วน:

• คำนำหน้าหมายเลขกระบวนการในทุกบรรทัด
• บล็อกข้อผิดพลาดหนึ่งบล็อกหรือมากกว่าตามลำดับที่เกิดขึ้น
• สรุป HEAP และ LEAKตอนโปรแกรมสิ้นสุด

การเรียนรู้วิธีอ่านแต่ละส่วนจะเปลี่ยนข้อความจำนวนมากให้กลายเป็นรายการสิ่งที่ต้องทำที่ชัดเจน

ทุกบรรทัดของ Valgrind เริ่มต้นด้วย ==PID== ตัวอย่างเช่น ==12345==

นี่คือ ID ของกระบวนการ ไม่ใช่ส่วนหนึ่งของเอาต์พุตจากโปรแกรมของคุณ ช่วยให้คุณแยกข้อความของ Valgrind ออกจาก printf ของโปรแกรมได้เมื่อทั้งสองใช้เทอร์มินัลร่วมกัน

นี่คือตัวอย่างบล็อกการเขียนที่ไม่ถูกต้องจากการทำงานจริง:

==12345== Invalid write of size 4
==12345== at 0x4005A1: main (prog.c:6)
==12345== Address 0x520304c is 0 bytes after a block of size 20 alloc'd
==12345== at 0x4838B40: malloc
==12345== by 0x40058E: main (prog.c:5)

บรรทัดแรกระบุชนิดและขนาดของข้อผิดพลาด: 'Invalid write of size 4'

ขนาด 4 หมายถึงการเข้าถึงข้อมูลขนาด 4 ไบต์ ซึ่งโดยทั่วไปคือ int เพียงบรรทัดเดียวนี้ก็บอกประเภทของข้อผิดพลาดที่ควรคาดไว้ได้ ก่อนที่คุณจะอ่านต่อ

บรรทัด at คือเฟรมด้านในสุด ซึ่งเป็นจุดที่ข้อผิดพลาดเกิดขึ้น ส่วนแต่ละบรรทัด by คือผู้เรียกที่อยู่สูงขึ้นไปอีกหนึ่งระดับ

ให้อ่านจากบนลงล่าง โดยเริ่มจากจุดที่อยู่ลึกที่สุดไปยังจุดที่อยู่ตื้นที่สุด เฟรมแรกที่มีชื่อไฟล์ของคุณมักเป็นจุดที่เกิดข้อผิดพลาด

บรรทัด Address ... ระบุตำแหน่งการเข้าถึงเมื่อเทียบกับบล็อกที่ทราบตำแหน่ง:

• 0 bytes after a block of size 20 alloc'd — เขียนเกินขอบเขตถัดจากจุดสิ้นสุดพอดี
• 4 bytes inside a block of size 4 free'd — ใช้งานหลังคืนหน่วยความจำ
• on thread 1's stack — การเข้าถึงสแตก

รายงานยังแสดงตำแหน่งที่บล็อกนั้นถูกจัดสรรหรือคืนหน่วยความจำด้วย

เมื่อโปรแกรมสิ้นสุด คุณจะได้รับข้อมูลการจัดสรรหน่วยความจำ:

==12345== HEAP SUMMARY:
==12345== in use at exit: 20 bytes in 1 blocks
==12345== total heap usage: 3 allocs, 2 frees, 1,044 bytes allocated

หาก 'in use at exit' มีค่ามากกว่าศูนย์ หมายความว่ายังมีบางสิ่งที่ไม่ได้คืนหน่วยความจำ

ใต้สรุปฮีป รายการหน่วยความจำรั่วจะถูกจัดกลุ่ม:

definitely lost: 20 bytes in 1 blocks
indirectly lost: 0 bytes in 0 blocks
possibly lost: 0 bytes in 0 blocks
still reachable: 0 bytes in 0 blocks

เพิ่ม --leak-check=full เพื่อแนบแทรซให้กับแต่ละบล็อกที่สูญหาย

บรรทัดสุดท้ายจะนับทุกอย่าง:

ERROR SUMMARY: 2 errors from 2 contexts

'บริบท' คือ ตำแหน่งข้อผิดพลาดที่ไม่ซ้ำกัน หากบรรทัดที่มีข้อผิดพลาดทำงานในลูปหนึ่งล้านครั้ง ก็ยังถือเป็นบริบทเดียว เป้าหมายของคุณคือ 0 errors from 0 contexts

จัดการรายงานอย่างเป็นระบบ:

• แก้ไขข้อผิดพลาดจากการเข้าถึงที่ไม่ถูกต้องก่อน เพราะทำให้ข้อมูลเสียหาย
• จากนั้นแก้ไขข้อผิดพลาดจากค่าที่ยังไม่ได้กำหนดค่า
• ต่อด้วยหน่วยความจำรั่วที่สูญหายแน่นอนและสูญหายทางอ้อม
• เรียกใช้โปรแกรมอีกครั้งหลังแก้ไขแต่ละจุด สาเหตุรากเดียวมักทำให้รายงานหลายรายการหายไป

ข้อผิดพลาดบางอย่างมาจากไลบรารีที่คุณแก้ไขไม่ได้ เช่น รันไทม์ของ C หรือไดรเวอร์กราฟิก ให้สร้างไฟล์ระงับเพื่อซ่อนข้อความเหล่านั้น โดยไม่ปิดบังข้อผิดพลาดของคุณเอง

--gen-suppressions=all จะแสดงรายการการระงับที่พร้อมใช้งาน ซึ่งคุณสามารถบันทึกไว้และส่งกลับด้วย --suppressions=file

ตีความบรรทัดหนึ่งของรายงาน

ขณะนี้คุณสามารถอ่านรายงานของ Valgrind ได้ตั้งแต่ต้นจนจบ:

• ==PID== เป็นคำนำหน้าบรรทัดของ Valgrind เพื่อแยกออกจากเอาต์พุตของโปรแกรม
• แต่ละบล็อกข้อผิดพลาดจะระบุชนิด ขนาด แทรซย้อนกลับของสแตก และหมายเหตุเกี่ยวกับแอดเดรส
• สรุป HEAP/LEAK จะแสดงบัญชีการจัดสรรและหน่วยความจำที่สูญหาย
• สรุป ERROR จะนับบริบทที่ไม่ซ้ำกัน โดยมีเป้าหมายเป็นศูนย์

คัดแยกข้อผิดพลาดจากการเข้าถึงก่อน แล้วจึงจัดการหน่วยความจำรั่ว โดยเรียกใช้โปรแกรมใหม่ระหว่างทาง