Mandelbug: nó là gì, nguyên nhân mất ổn định và phương pháp tìm kiếm

Mandelbug là gì?

Mandelbug là một lỗi phần mềm có hành vi phi tuyến tính, hỗn loạn. Không giống như Bohrbug, tái tạo ổn định với cùng dữ liệu đầu vào, Mandelbug có thể xuất hiện trong một phiên và hoàn toàn vắng mặt trong phiên khác với cùng điều kiện bên ngoài.

Thuật ngữ này được Jim Gray và Andreas Reuter giới thiệu vào năm 1993 như một phần của phân loại lỗi phần mềm. Mandelbug được đặt tên theo Benoit Mandelbrot, nhà toán học đã khám phá ra các tập fractal, nơi hành vi của hệ thống phụ thuộc theo cấp số nhân vào điều kiện ban đầu.

Nguy hiểm chính của Mandelbug nằm ở tính không thể dự đoán. Một người kiểm thử có thể chạy cùng một kịch bản năm mươi lần và lỗi sẽ chỉ xuất hiện ở lần thứ năm mươi mốt — hoặc không xuất hiện chút nào. Điều này tạo ra cảm giác sai lầm về sự ổn định của hệ thống.

Định nghĩa theo Gray và Reuter

Theo phân loại từ cuốn sách “Transaction Processing: Concepts and Techniques”, Mandelbug là một khiếm khuyết không thỏa mãn điều kiện tất định. Hành vi của nó phụ thuộc vào các yếu tố mà nhà phát triển không thể kiểm soát: thứ tự lập lịch luồng, phân mảnh bộ nhớ, bộ nhớ đệm.

Nguồn gốc tên gọi Mandelbug

Tên Mandelbug xuất phát từ Benoit Mandelbrot, nhà toán học đã đưa ra khái niệm fractal và nghiên cứu các hệ thống hỗn loạn. Tập Mandelbrot thể hiện một tính chất nổi bật: những thay đổi vô cùng nhỏ trong điều kiện ban đầu dẫn đến kết quả hoàn toàn khác biệt.

Gray và Reuter đã vẽ ra một sự tương tự trực tiếp: như fractal Mandelbrot nhạy cảm với điều kiện ban đầu, Mandelbug nhạy cảm với trạng thái hệ thống tại thời điểm thực thi. Một thay đổi trong thứ tự cấp phát bộ nhớ hoặc lượng tử lập lịch luồng — và lỗi biến mất hoặc xuất hiện.

Trong thuật ngữ chuyên nghiệp, Mandelbug còn được gọi là “lỗi ma” hoặc “lỗi không ổn định”. Nó là kẻ thù chính của các kỹ sư QA vì nó không tuân theo phương pháp luận tiêu chuẩn “tái tạo — báo cáo — xác minh sửa lỗi”.

Đặc điểm của Mandelbug

Mandelbug có một tập hợp các thuộc tính độc đáo giúp phân biệt nó với tất cả các loại lỗi phần mềm khác. Hãy xem xét từng thuộc tính.

Tính phi tuyến

Hành vi của Mandelbug là phi tuyến tính. Nó có thể không biểu hiện hàng nghìn lần, và sau đó đột nhiên xuất hiện trong các điều kiện có vẻ giống hệt nhau. Thuộc tính này làm cho nó gần như không thể phát hiện được trong quá trình kiểm thử chức năng.

Sự phụ thuộc vào trạng thái

Mandelbug phụ thuộc vào trạng thái nội bộ của hệ thống: kích thước heap, thứ tự cấp phát đối tượng, mức độ đầy của bộ nhớ đệm CPU. Thậm chí thêm printf gỡ lỗi cũng có thể thay đổi thời gian và “chữa khỏi” lỗi, biến nó thành Heisenbug.

Hiệu ứng cánh bướm

Thuật ngữ “hiệu ứng cánh bướm” áp dụng hoàn toàn cho Mandelbug. Thay đổi một dòng mã trong một mô-đun hoàn toàn khác có thể loại bỏ hoặc ngược lại, gây ra Mandelbug trong một phần không liên quan của ứng dụng do thay đổi trong mẫu cấp phát bộ nhớ.

Nguyên nhân chính của Mandelbug

Nguyên nhân của Mandelbug liên quan đến thực thi đồng thời và hành vi không tất định của các hệ thống máy tính hiện đại.

Tranh chấp luồng

Điều kiện tranh chấp kinh điển — khi hai luồng đồng thời truy cập vào tài nguyên dùng chung mà không có đồng bộ hóa. Kết quả phụ thuộc vào luồng nào được thực thi trước và thứ tự thực thi không được hệ điều hành đảm bảo.

Vấn đề bộ nhớ đệm

Bộ nhớ đệm của bộ xử lý và bộ nhớ đệm trình duyệt có thể lưu trữ dữ liệu lỗi thời. Nếu ứng dụng dựa vào giá trị được lưu trong bộ nhớ đệm không còn phù hợp, Mandelbug sẽ xảy ra — một lỗi chỉ biểu hiện với bộ nhớ đệm “lạnh” hoặc “nóng”.

Hành vi không xác định của trình biên dịch

Một số cấu trúc ngôn ngữ (ví dụ: biến chưa khởi tạo trong C/C++) dẫn đến hành vi không xác định. Trình biên dịch có thể tạo ra mã khác nhau tùy thuộc vào mức tối ưu hóa, cờ xây dựng và phiên bản trình biên dịch.

Cách tìm Mandelbug trong dự án

Tìm Mandelbug đòi hỏi một cách tiếp cận có hệ thống và các công cụ chuyên dụng. Các phương pháp gỡ lỗi thông thường không hoạt động ở đây vì lỗi không thể tái tạo theo yêu cầu.

Ghi nhật ký ở tất cả các cấp

Ghi nhật ký chi tiết là cách duy nhất để ghi lại Mandelbug. Mỗi luồng nên ghi lại trạng thái, dấu thời gian và thứ tự hoạt động của nó. Sau sự cố, nhật ký được phân tích để xác định các mẫu.

Kiểm tra stress

Kiểm tra tải với các hoạt động lặp đi lặp lại làm tăng khả năng biểu hiện của Mandelbug. Càng nhiều lần lặp, cơ hội mà một sự kết hợp hiếm hoi của các điều kiện dẫn đến thất bại càng cao.

Công cụ chuyên dụng

ThreadSanitizer, Helgrind và các trình phân tích tranh chấp luồng khác có thể phát hiện Mandelbug tiềm năng mà không cần thực sự tái tạo chúng. Chúng phân tích mã một cách tĩnh và tìm ra những nơi có thể xảy ra điều kiện tranh chấp.

// Potential Mandelbug: race condition on shared counter
int counter = 0;

void increment() {
    // Two threads may read counter at the same time
    counter++;  // race condition here
}

Trong ví dụ này, Mandelbug chỉ có thể biểu hiện trong một sự kết hợp cụ thể của các tình huống — khi cả hai luồng gọi increment() đồng thời. Trong 99% trường hợp, mã hoạt động chính xác, tạo ra cảm giác an toàn sai lầm.

Mandelbug vs Heisenbug: sự khác biệt

Các nhà phát triển mới bắt đầu thường nhầm lẫn Mandelbug và Heisenbug. Mặc dù cả hai loại đều thuộc về lỗi không ổn định, nhưng có một sự khác biệt cơ bản giữa chúng.

Mandelbug hỗn loạn về bản chất, trong khi Heisenbug là tất định nhưng thay đổi hành vi dưới sự quan sát. Sự khác biệt rất quan trọng để chọn chiến lược gỡ lỗi.

Ví dụ Mandelbug trong mã

Hãy xem xét một Mandelbug điển hình trong ứng dụng Android liên quan đến tranh chấp luồng khi làm việc với 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();
    }
}

Thoạt nhìn, mã đúng: phương thức được đồng bộ hóa. Tuy nhiên, SharedPreferences là một singleton trong quy trình và đồng bộ hóa không bảo vệ khỏi các cuộc gọi song song từ các luồng khác nhau đã nhận được cùng giá trị current trước khi một trong số chúng có thể ghi giá trị mới. Kết quả là một lần tăng bị mất.

Mandelbug này có thể không biểu hiện trong nhiều tuần cho đến khi hai luồng vô tình gọi updateScore đồng thời với khoảng cách thời gian tối thiểu. Sau khi phát hiện, việc sửa chữa rất đơn giản — sử dụng một hoạt động nguyên tử hoặc cơ sở dữ liệu với giao dịch.