Người dùng phải cung cấp chức năng chấm dứt() có an toàn không?

Question

Như đã nêu trong http://en.cppreference.com/w/cpp/error/terminate có nhiều lý do để gọi chấm dứt. Tôi có thể tưởng tượng trường hợp mà chỉ gần như trong cùng một thời gian một số trong những lý do này xảy ra trong hai chủ đề.

Q1 Chức năng chấm dứt được đặt bởi std::set_terminate được gọi hai lần trở lên cùng một lúc, đồng thời tôi có nghĩa là cuộc gọi thứ hai bắt đầu trước khi kết thúc lần đầu tiên.

Thread1 Thread2 
    |   | 
    _   | 
    t   | 
    e   | 
    r   | 
    m   | 
    i   _ 
    n   t 
    a   e 
    t   r 
    e   m 
    -   ? 

Q2 Nếu Q1 == YES, sau đó điều gì sẽ xảy ra nếu đầu tiên chấm dứt kết thúc. Tôi đoán nếu nó đã kết thúc với std :: hủy bỏ, sau đó chương trình kết thúc, nhưng những gì sẽ xảy ra nếu người dùng cung cấp chấm dứt không hủy bỏ chương trình?

Q3 Chức năng chấm dứt được đặt bởi std::set_terminate có được gọi trong ngữ cảnh của chuỗi gây ra cuộc gọi kết thúc này không?

Answer 1

Q1

Vâng, std::terminate có thể được gọi đồng thời.

Q2

Các tiêu chuẩn nói đó là hành vi không xác định cho một terminate_handler để không "chấm dứt thực hiện chương trình mà không phải quay người gọi". Trong các triển khai tôi đã quen thuộc, nếu số lần trả lại terminate_handler, bình thường hoặc đặc biệt, abort() sẽ được gọi.

Q3

Chức năng thiết lập bởi std::terminate là một toàn cầu, không phải là một chủ đề của địa phương. Vì vậy, một chủ đề có thể tác động đến một chủ đề khác.

Trong C++ 98/03, các terminate_handler sử dụng khi terminate được gọi là do một ngoại lệ còn tự do là một trong đó đã có hiệu lực khi các ngoại lệ được ném ra, không phải là người có hiệu lực khi terminate là thực sự gọi (mặc dù họ thường giống nhau).

Trong C++ 11 điều này đã được thay đổi và bây giờ tiêu chuẩn nói rằng trình xử lý được sử dụng là một tại chỗ tại thời điểm terminate được gọi. Thay đổi này được thực hiện do nhầm lẫn và rất có thể sẽ được sửa chữa trong bản nháp trong tương lai. Đây là vấn đề LWG theo dõi vấn đề này:

http://cplusplus.github.com/LWG/lwg-active.html#2111

Cập nhật

Tại cuộc họp mùa xuân năm 2015 Lenexa, KS, các LWG quyết định chuẩn hành vi hiện tại và làm cho nó không xác định khi một mới terminate_handler có hiệu lực nếu set_terminate được gọi trong quá trình thư giãn. I E. triển khai được phép tuân theo các quy tắc C++ 98/03 hoặc các quy tắc C++ 11.

Để làm cho mã của bạn di động, nếu bạn cần đặt terminate_handler, hãy làm như vậy trong khi khởi động chương trình, trước khi có bất kỳ ngoại lệ nào và không thực hiện thói quen gọi set_terminate sau đó.