Запитання з тегом «threads»

Ну це загальне питання. І якщо хтось хоче зробити його реалізацією специфічною, то я віддаю перевагу речей, що стосуються Unix. Але спершу потрібно знати в основному такі проблеми: Я читаю, що один процес може мати декілька потоків. Кілька ниток одного процесу поділяють між собою речі. Я хочу знати, що вони …

20 operating-systems  threads 

Я розумію, що більшість популярних реалізацій mutex (наприклад, std :: mutex в C ++) не гарантують справедливості - тобто вони не гарантують, що у випадках суперечки замок буде набутий потоками в тому порядку, який вони називається lock (). Насправді навіть можливо (хоча, сподіваємось, нечасто), що у випадках високої суперечності деякі …

11 concurrency  synchronization  threads 

Я читав це в різних місцях, як це , що Hyper-Threading призводить до погіршення продуктивності. Я не можу зрозуміти, чому або як гіпер-нарізка призводить до деградації. Чому це так, що навіть коли Hyper-Threading дозволяє ОС використовувати вільні ресурси, відбувається деградація. Хоча еталони справді вказують на винуватця, як хтось, але хтось …

10 computer-architecture  performance  threads 

З огляду на програму, що складається із змінних та інструкцій, що змінюють ці змінні, та примітиву синхронізації (монітор, мютекс, синхронізований Java або замок C #), чи можна довести, що така програма безпечна для потоків? Чи існує навіть формальна модель для опису таких речей, як безпека ниток або умови гонок?

10 proof-techniques  correctness-proof  concurrency  threads