Tôi có một danh sách mà tôi muốn các chủ đề khác nhau để lấy các yếu tố từ đó. Để tránh bị khóa mutex bảo vệ danh sách khi nó trống, tôi kiểm tra empty()trước khi khóa.
Không sao nếu cuộc gọi list::empty()không đúng 100%. Tôi chỉ muốn tránh sự cố hoặc làm gián đoạn đồng thời list::push()và list::pop()các cuộc gọi.
Tôi có an toàn không khi cho rằng VC ++ và Gnu GCC đôi khi sẽ chỉ bị empty()sai và không có gì tệ hơn?
if(list.empty() == false){ // unprotected by mutex, okay if incorrect sometimes
mutex.lock();
if(list.empty() == false){ // check again while locked to be certain
element = list.back();
list.pop_back();
}
mutex.unlock();
}
1
Không, bạn không thể giả định điều này. Bạn có thể sử dụng một thùng chứa đồng thời như đồng thời
—
Panagiotis Kanavos
@Fureeish Đây nên là một câu trả lời. Tôi sẽ thêm rằng
—
Daniel Langr
std::list::sizeđã đảm bảo độ phức tạp thời gian không đổi, về cơ bản có nghĩa là kích thước (số lượng nút) cần được lưu trữ trong một biến riêng biệt; chúng ta hãy gọi nó size_. std::list::emptysau đó có khả năng trả về một cái gì đó như size_ == 0, và việc đọc và ghi đồng thời size_sẽ gây ra cuộc đua dữ liệu, do đó, UB.
@DanielLangr "Thời gian không đổi" được đo như thế nào? Là trên một cuộc gọi chức năng duy nhất hoặc chương trình hoàn chỉnh?
—
tò mò
@cquilguy: DanielLangr đã trả lời câu hỏi của bạn bằng cách "độc lập với số lượng nút danh sách", đó là định nghĩa chính xác của O (1) có nghĩa là mọi cuộc gọi được thực hiện trong thời gian ngắn hơn một số thời gian không đổi, bất kể số lượng phần tử. vi.wikipedia.org/wiki/Big_O_notation#Orders_of_common_fifts Tùy chọn khác (cho đến khi C ++ 11) có nghĩa là tuyến tính = O (n), kích thước đó sẽ phải tính các yếu tố (danh sách được liên kết), thậm chí còn tệ hơn đối với sự tương tranh (cuộc đua dữ liệu rõ ràng hơn so với đọc / ghi không nguyên tử trên bộ đếm).
—
firda
@cquilguy: Lấy ví dụ của riêng bạn với dV, độ phức tạp thời gian là cùng một phép toán - giới hạn. Tất cả những điều này được định nghĩa đệ quy hoặc ở dạng "Tồn tại C sao cho f (N) <C với mọi N" - đó là định nghĩa của O (1) (đối với / mọi CTNH đều tồn tại hằng số C như vậy rằng thuật toán kết thúc ít hơn thời gian C trên bất kỳ đầu vào nào). Trung bình khấu hao có nghĩa là trung bình , có nghĩa là một số đầu vào có thể mất nhiều thời gian hơn để xử lý (ví dụ: tái băm / phân bổ lại cần thiết), nhưng trung bình vẫn không đổi (giả sử tất cả các đầu vào có thể).
—
firda