Segfaults trong malloc() và malloc_consolidate()

Question

Đôi khi ứng dụng của tôi đôi khi và chủ yếu trong malloc() và malloc_consolidate() khi tôi nhìn vào backtrace trong gdb.

Tôi đã xác minh rằng máy có đủ bộ nhớ, thậm chí nó không bắt đầu hoán đổi. Tôi đã kiểm tra các gợi ý cho phân đoạn dữ liệu và kích thước bộ nhớ tối đa và cả hai được đặt thành 'không giới hạn'. Tôi cũng chạy ứng dụng dưới valgrind và không tìm thấy bất kỳ lỗi bộ nhớ nào.

Bây giờ, tôi không còn ý tưởng về những thứ khác có thể gây ra các segfaults này. Bất kỳ ý tưởng?

Cập nhật: Kể từ khi tôi không tìm thấy bất cứ điều gì với valgrind (hoặc ptrcheck), nó có thể là một ứng dụng khác đang làm dơ bẩn cấu trúc bộ nhớ libc hoặc là có một cấu trúc riêng biệt cho mỗi quá trình?

Answer 1

Rất có thể, bạn đang băm đống - nghĩa là bạn đang viết vượt quá giới hạn của một phần bộ nhớ mà bạn đã phân bổ và điều này sẽ ghi đè cấu trúc dữ liệu mà malloc() sử dụng để quản lý heap. Điều này làm cho malloc() truy cập địa chỉ không hợp lệ và ứng dụng của bạn gặp sự cố.

Hết bộ nhớ sẽ không làm cho malloc() bị lỗi - chỉ đơn giản là trả lại NULL. Điều đó có thể khiến mã của bạn bị lỗi nếu bạn không kiểm tra NULL, nhưng trang web sự cố sẽ không nằm trong số malloc().

Hơi lạ khi Valgrind không báo cáo bất kỳ lỗi nào - nhưng có một số lỗi mà công cụ "Memcheck" mặc định có thể bỏ qua. Hãy thử chạy Valgrid với số "Ptrcheck" tool để thay thế.

Answer 2

Từ http://www.gnu.org/s/libc/manual/html_node/Heap-Consistency-Checking.html#Heap-Consistency-Checking:

Một khả năng khác để kiểm tra và bảo vệ chống lại các lỗi trong việc sử dụng malloc, realloc và miễn phí là để thiết lập các biến môi trường MALLOC_CHECK_. Khi MALLOC_CHECK_ được thiết lập, việc triển khai thực hiện đặc biệt (kém hiệu quả) được thiết kế để có thể chịu được các lỗi đơn giản, chẳng hạn như các cuộc gọi đôi miễn phí với cùng một đối số hoặc tràn ngập một byte đơn (off-by-one) lỗi). Tuy nhiên, không phải tất cả các lỗi như vậy đều có thể bảo vệ được và rò rỉ bộ nhớ. Nếu MALLOC_CHECK_ được đặt thành 0, mọi tham chiếu heap được phát hiện âm thầm bị bỏ qua; nếu được đặt thành 1, chẩn đoán được in trên tiêu bản; nếu được đặt thành 2, hủy bỏ được gọi ngay lập tức. Điều này có thể hữu ích bởi vì nếu không, vụ tai nạn có thể xảy ra sau đó và nguyên nhân thực sự của sự cố là thì rất khó để theo dõi.