Mandelbug: คืออะไร สาเหตุของความไม่เสถียร และวิธีการค้นหา

Mandelbug คืออะไร?

Mandelbug คือบักซอฟต์แวร์ที่มีพฤติกรรมไม่เป็นเชิงเส้นและโกลาหล แตกต่างจาก Bohrbug ที่สร้างซ้ำได้อย่างเสถียรด้วยข้อมูลนำเข้าเดียวกัน Mandelbug อาจปรากฏในเซสชันหนึ่งและหายไปอย่างสิ้นเชิงในอีกเซสชันหนึ่งภายใต้สภาวะภายนอกเดียวกัน

คำนี้ถูกนำเสนอโดย จิม เกรย์ และอันเดรียส รอยเตอร์ ในปี 1993 ซึ่งเป็นส่วนหนึ่งของการจำแนกประเภทบักซอฟต์แวร์ Mandelbug ถูกตั้งชื่อตามเบอนัวต์ มานแดลโบร นักคณิตศาสตร์ผู้ค้นพบเซตแฟร็กทัล ซึ่งพฤติกรรมของระบบขึ้นอยู่กับสภาวะเริ่มต้นอย่างทวีคูณ

อันตรายหลักของ Mandelbug อยู่ที่ความไม่สามารถคาดเดาได้ ผู้ทดสอบอาจรันสถานการณ์เดียวกันห้าสิบครั้ง และบักจะปรากฏเฉพาะครั้งที่ห้าสิบเอ็ดเท่านั้น — หรืออาจไม่ปรากฏเลย สิ่งนี้สร้างความรู้สึกเท็จเกี่ยวกับความเสถียรของระบบ

คำจำกัดความโดยเกรย์และรอยเตอร์

ตามการจำแนกจากหนังสือ “Transaction Processing: Concepts and Techniques” Mandelbug คือข้อบกพร่องที่ไม่เป็นไปตามเงื่อนไขของความแน่นอน พฤติกรรมของมันขึ้นอยู่กับปัจจัยที่นักพัฒนาไม่สามารถควบคุมได้: ลำดับการจัดตารางเธรด การกระจายตัวของหน่วยความจำ การแคช

ที่มาของชื่อ Mandelbug

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

เกรย์และรอยเตอร์วาดการเปรียบเทียบโดยตรง: เช่นเดียวกับแฟร็กทัลมานแดลโบรที่ไวต่อสภาวะเริ่มต้น Mandelbug ก็ไวต่อสถานะของระบบในขณะที่ทำงาน การเปลี่ยนแปลงในลำดับการจัดสรรหน่วยความจำหรือควอนตัมของตัวจัดตารางเธรด — และบักก็หายไปหรือปรากฏขึ้น

ในภาษาเฉพาะทาง Mandelbug ยังถูกเรียกว่า “บักผี” หรือ “บักไม่เสถียร” มันเป็นศัตรูหลักของวิศวกร QA เพราะมันไม่เป็นไปตามวิธีการมาตรฐาน “สร้างซ้ำ — รายงาน — ตรวจสอบการแก้ไข”

ลักษณะของ Mandelbug

Mandelbug มีชุดคุณสมบัติเฉพาะที่ทำให้แตกต่างจากบักซอฟต์แวร์ประเภทอื่นทั้งหมด มาดูแต่ละคุณสมบัติกัน

ความไม่เป็นเชิงเส้น

พฤติกรรมของ Mandelbug ไม่เป็นเชิงเส้น มันอาจไม่แสดงออกเป็นพันครั้ง แล้วจู่ ๆ ก็ปรากฏขึ้นภายใต้สภาวะที่ดูเหมือนเหมือนกัน คุณสมบัตินี้ทำให้มันแทบตรวจไม่พบในระหว่างการทดสอบฟังก์ชัน

การพึ่งพาสถานะ

Mandelbug ขึ้นอยู่กับสถานะภายในของระบบ: ขนาดฮีป ลำดับการจัดสรรออบเจ็กต์ การใช้แคช CPU แม้แต่การเพิ่ม printf สำหรับดีบักก็สามารถเปลี่ยนจังหวะเวลาและ “รักษา” บัก เปลี่ยนมันให้เป็น Heisenbug

ปรากฏการณ์ผีเสื้อ

คำว่า “ปรากฏการณ์ผีเสื้อ” ใช้ได้กับ Mandelbug อย่างสมบูรณ์ การเปลี่ยนโค้ดหนึ่งบรรทัดในโมดูลที่ต่างกันโดยสิ้นเชิงสามารถกำจัด หรือตรงกันข้าม ทำให้เกิด Mandelbug ในส่วนที่ไม่เกี่ยวข้องของแอปพลิเคชันเนื่องจากการเปลี่ยนแปลงในรูปแบบการจัดสรรหน่วยความจำ

สาเหตุหลักของ Mandelbug

สาเหตุของ Mandelbug เกี่ยวข้องกับการทำงานพร้อมกันและพฤติกรรมที่ไม่แน่นอนของระบบคอมพิวเตอร์สมัยใหม่

การแข่งเธรด

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

ปัญหาแคช

แคชของโปรเซสเซอร์และแคชของเบราว์เซอร์อาจเก็บข้อมูลที่ล้าสมัย หากแอปพลิเคชันพึ่งพาค่าที่แคชไว้ซึ่งไม่เกี่ยวข้องอีกต่อไป Mandelbug จะเกิดขึ้น — ข้อผิดพลาดที่แสดงเฉพาะกับแคช “เย็น” หรือ “ร้อน”

พฤติกรรมที่ไม่กำหนดของคอมไพเลอร์

โครงสร้างภาษาบางอย่าง (เช่น ตัวแปรที่ไม่ได้เริ่มต้นใน C/C++) นำไปสู่พฤติกรรมที่ไม่กำหนด คอมไพเลอร์อาจสร้างโค้ดที่แตกต่างกันขึ้นอยู่กับระดับการเพิ่มประสิทธิภาพ แฟลกการสร้าง และเวอร์ชันของคอมไพเลอร์

วิธีค้นหา Mandelbug ในโปรเจกต์

การค้นหา Mandelbug ต้องใช้แนวทางที่เป็นระบบและเครื่องมือพิเศษ วิธีการดีบักแบบเดิมใช้ไม่ได้ที่นี่เพราะบักไม่สามารถสร้างซ้ำได้ตามต้องการ

การบันทึกข้อมูลในทุกระดับ

การบันทึกข้อมูลอย่างละเอียดเป็นวิธีเดียวที่จะจับ Mandelbug แต่ละเธรดควรบันทึกสถานะ ประทับเวลา และลำดับการทำงานของมัน หลังจากขัดข้อง บันทึกจะถูกวิเคราะห์เพื่อระบุรูปแบบ

การทดสอบความเครียด

การทดสอบโหลดด้วยการดำเนินการซ้ำ ๆ เพิ่มโอกาสในการแสดงออกของ Mandelbug ยิ่งมีการทำซ้ำมากเท่าไร โอกาสที่การรวมกันของสภาวะที่หายากจะนำไปสู่ความล้มเหลวก็ยิ่งสูงขึ้น

เครื่องมือพิเศษ

ThreadSanitizer, Helgrind และเครื่องวิเคราะห์การแข่งเธรดอื่น ๆ สามารถตรวจจับ Mandelbug ที่อาจเกิดขึ้นได้โดยไม่ต้องสร้างซ้ำจริง พวกมันวิเคราะห์โค้ดแบบสแตติกและค้นหาสถานที่ที่สภาวะการแข่งอาจเกิดขึ้น

// Mandelbug ที่อาจเกิดขึ้น: สภาวะการแข่งบนตัวนับที่ใช้ร่วมกัน
int counter = 0;

void increment() {
    // สองเธรดอาจอ่านตัวนับพร้อมกัน
    counter++;  // สภาวะการแข่งที่นี่
}

ในตัวอย่างนี้ Mandelbug อาจแสดงเฉพาะภายใต้การรวมกันของสถานการณ์เฉพาะ — เมื่อทั้งสองเธรดเรียก increment() พร้อมกัน ใน 99% ของกรณี โค้ดทำงานอย่างถูกต้อง สร้างความรู้สึกปลอดภัยที่ผิดพลาด

Mandelbug กับ Heisenbug: ความแตกต่าง

นักพัฒนามือใหม่มักสับสนระหว่าง Mandelbug และ Heisenbug แม้ว่าทั้งสองประเภทจะจัดเป็นบักที่ไม่เสถียร แต่มีความแตกต่างพื้นฐานระหว่างพวกมัน

Mandelbug โกลาหลโดยธรรมชาติ ในขณะที่ Heisenbug แน่นอนแต่เปลี่ยนพฤติกรรมภายใต้การสังเกต ความแตกต่างสำคัญสำหรับการเลือกกลยุทธ์การดีบัก

ตัวอย่าง Mandelbug ในโค้ด

มาดู Mandelbug ทั่วไปในแอปพลิเคชัน Android ที่เกี่ยวข้องกับการแข่งเธรดเมื่อทำงานกับ SharedPreferences

public class UserPreferences {
    private final SharedPreferences prefs;

    public synchronized void updateScore(int delta) {
        int current = prefs.getInt("score", 0);
        current += delta;
        prefs.edit().putInt("score", current).apply();
    }
}

เมื่อมองครั้งแรก โค้ดถูกต้อง: เมธอดถูกซิงโครไนซ์ อย่างไรก็ตาม SharedPreferences เป็นซิงเกิลตันภายในกระบวนการ และการซิงโครไนซ์ไม่ได้ป้องกันการเรียกขนานจากเธรดต่าง ๆ ที่ได้รับค่า current เดียวกันก่อนที่เธรดใดจะเขียนค่าใหม่ได้ ผลลัพท์คือการเพิ่มค่าหนึ่งครั้งสูญหาย

Mandelbug นี้อาจไม่แสดงเป็นเวลาหลายสัปดาห์จนกว่าสองเธรดจะเรียก updateScore พร้อมกันโดยบังเอิญด้วยช่วงเวลาที่น้อยที่สุด หลังจากตรวจพบ การแก้ไขนั้นง่ายดาย — ใช้การดำเนินการอะตอมมิกหรือฐานข้อมูลที่มีธุรกรรม