Có phải xây dựng đối tượng phạm vi tĩnh đối tượng an toàn không?

Question

Giả sử tôi có một chức năng mà cố gắng để bảo vệ một bộ đếm toàn cầu sử dụng mã này:

static MyCriticalSectionWrapper lock; 
lock.Enter(); 
counter = ++m_counter; 
lock.Leave(); 

LÀ có một cơ hội mà hai luồng sẽ gọi constructor 's lock? Cách an toàn để đạt được mục tiêu này là gì?

Answer 1

Việc tạo đối tượng khóa không phải là chủ đề an toàn. Tùy thuộc vào trình biên dịch, bạn có thể có nhiều đối tượng khóa độc lập được tạo nếu nhiều luồng nhập hàm tại (gần) cùng một lúc.

Các giải pháp cho vấn đề này là sử dụng:

• OS đảm bảo một thời gian intialization (đối với đối tượng khóa)
• Double-checked locking (Giả sử nó là an toàn đối với trường hợp cụ thể của bạn)
• Một chủ đề an toàn singleton cho đối tượng khóa
• Ví dụ cụ thể của bạn, bạn có thể sử dụng một sợi khóa an toàn (ví dụ, chức năng InterlockedIncrement() cho Windows) cho gia tăng và tránh khóa hoàn toàn

Answer 2

Điều đó tùy thuộc vào việc triển khai khóa của bạn.

Answer 3

Gọi trình xây dựng có thể được thực hiện và/hoặc môi trường thực thi phụ thuộc, nhưng đây không phải là một scoped_lock do đó không phải là một vấn đề.

Hoạt động chính được bảo vệ đúng cách chống lại truy cập đa luồng mà tôi nghĩ.

(Bạn biết đấy, toàn cầu cho toàn cầu, chức năng tĩnh cho chức năng tĩnh Đó biến khóa phải được xác định trong phạm vi cùng với các đối tượng được bảo vệ..)

Answer 4

gốc mẫu mã:

static MyCriticalSectionWrapper lock; 
lock.Enter(); 
counter = ++m_counter; 
lock.Leave(); 

tôi nhận ra rằng mã truy cập có lẽ chỉ là một trình giữ chỗ, tuy nhiên nếu nó thực sự là những gì bạn đang cố gắng làm, bạn có thể sử dụng chức năng Windows "InterlockedIncrement()" để thực hiện điều này. Ví dụ:

// atomic increment for thread safety 
InterlockedIncrement(&m_counter); 
counter = m_counter;