У мене є список, з якого я хочу захоплювати елементи з різних потоків. Щоб уникнути блокування файлу mutex, який захищає список, коли він порожній, я перевіряю empty()перед блокуванням.
Це добре, якщо дзвінок на list::empty()неправильний 100% часу. Я хочу лише уникнути збоїв або зривів одночасних list::push()та list::pop()викликів.
Чи можу я припустити, що VC ++ та Gnu GCC лише іноді empty()помиляться і нічого гіршого?
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
Ні, ви не можете цього припустити. Ви можете використовувати такий контейнер, як VC's concurrent_queue
—
Panagiotis Kanavos
@Fureeish Це має бути відповіддю. Я би додав, що
—
Даніель Лангр
std::list::sizeмає гарантовану постійну часову складність, що в основному означає, що розмір (кількість вузлів) потрібно зберігати в окремій змінній; давайте назвемо це size_. std::list::emptyто, ймовірно, повертає щось на зразок size_ == 0, і одночасне читання і запис size_викликає перегони даних, отже, UB.
@DanielLangr Як вимірюється "постійний час"? Це один виклик функції або повна програма?
—
curiousguy
@curiousguy: DanielLangr відповів на ваше запитання "незалежно від кількості вузлів списку", тобто точне визначення O (1), яке означає, що кожен виклик виконується менше, ніж за певний постійний час, незалежно від кількості елементів. en.wikipedia.org/wiki/Big_O_notation#Orders_of_common_functions Інший варіант (до C ++ 11) буде лінійним = O (n), тобто цей розмір повинен буде рахувати елементи (пов'язаний список), що було б ще гірше одночасність (більш очевидна гонка даних, ніж неатомне читання / запис на лічильнику).
—
firda
@curiousguy: Беручи власний приклад із dV, складність у часі - однакові математичні межі. Усі ці речі або визначені рекурсивно, або у формі "Існує C такий, що f (N) <C для кожного N" - це визначення O (1) (для даної / кожної HW існує постійна C така що альго закінчується за менший за С-час на будь-якому вході). Амортизовані кошти в середньому , це означає, що деякі процеси можуть зайняти більше часу (наприклад, повторний хеш / повторний розподіл), але він усе ще є постійним в середньому (припускаючи всі можливі введення).
—
firda