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

Зараз я відвідую паралельний курс програмування в моєму університеті, і ми нещодавно заговорили про концепцію монітора. Хоча я розумію необхідність взаємного виключення, я не розумію, для чого я б використовував монітор для цього. Наскільки я розумію, монітор гарантує, що точно один чи будь-який процес постійно знаходиться в критичному розділі. Ми …

11 concurrency  synchronization  mutual-exclusion 

Напій дозатор вимагає, щоб користувач , щоб вставити монету ( ), а потім натисніть одну з трьох кнопок: ˉ d чай просить чашку чаю е чаю , Ditto для кави, а ˉ г вимагає повернення (тобто машина дає назад монета: ˉ б ). Цей дозатор можна моделювати за допомогою наступного …

11 logic  concurrency  modelling  process-algebras  ccs 

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

11 concurrency  synchronization  threads 

Мій досвід походить з імперативних мов, насамперед C, C ++ та Python. Я підхопив Scala, Erlang і трохи Haskell через кілька років і з тих пір дуже зацікавився функціональним програмуванням і формалізмами, які стоять за ним. Я також зацікавлений в одночасному і розподіленому програмуванні і розглядаю формалізми, що стоять за …

10 distributed-systems  concurrency 

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

10 proof-techniques  correctness-proof  concurrency  threads 

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

9 programming-languages  concurrency  mutual-exclusion