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

При розгляді одночасного програмування зазвичай використовуються два терміни, тобто одночасне і паралельне. А деякі мови програмування спеціально вимагають підтримки паралельного програмування, наприклад, Java . Чи означає це, що паралельне та паралельне програмування насправді відрізняються?

44 terminology  parallel-computing  concurrency 

Я намагаюся зрозуміти алгоритми Петерсона і Деккера, які дуже схожі і демонструють багато симетрій. Я спробував сформулювати алгоритми на неофіційній мові так: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn I'll wait." } Else: Enter CS! // …

41 concurrency  synchronization  mutual-exclusion 

Прочитавши кілька джерел, я все ще плутаюсь щодо потоків на рівні користувача та ядра. Зокрема: Нитки можуть існувати як на рівні користувача, так і на рівні ядра Яка різниця між рівнем користувача та рівнем ядра?

33 operating-systems  terminology  concurrency  os-kernel 

Я часто чую фрази на кшталт "справжня семантика одночасності" та "справжня еквівалентність сумісності" без будь-яких посилань. Що означають ці терміни і чому вони важливі? Назвіть декілька прикладів справжньої еквівалентності одночасності та яка потреба в них? Наприклад, у яких випадках вони є більш застосовними, ніж більш стандартні еквіваленти (бісумуляція, еквівалентність слідів …

28 terminology  reference-request  concurrency 

Наскільки мені відомо, є три основні алгебри процесів, які надихнули на широкий спектр досліджень формальних моделей паралельності. Це: CCS і розрахунок обох Робіна Мілнераππ\pi CSP від ​​Тоні Хоара та ACP Яна Бергстра та Яна Віллема Клопа Всі троє, здається, мають до цього часу досить активних наступних досліджень і на них …

21 logic  concurrency  process-algebras 

Останнім часом я читав трохи літератури і знайшов досить цікаві структури даних. Я досліджував різні методи приведення часу оновлення до найгіршого часу оновлення [1-7].O ( 1 )O(1)\mathcal{O}(1) Нещодавно я почав шукати безблокові структури даних для підтримки ефективного одночасного доступу. Чи були використані будь-які з цих найгірших випадків методи оновлення часу …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

У мене є журнал баз даних, де деякі транзакції виграють (вони здійснюються перед збоєм), а деякі програють (ще не здійснені). Ми дізналися на уроці, що дії невдахи повинні бути відмінені назад. Чи є якась причина для цього назад? Чи може хтось навести простий приклад журналу, коли вперед скасування дасть неправильні …

19 concurrency  databases 

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

19 concurrency  synchronization  mutual-exclusion 

За даними Вікіпедії , Операція тестування та встановлення може вирішити проблему консенсусу без очікування для не більше двох паралельних процесів. Чому він не може вирішити проблему більше двох процесів?

17 concurrency  consensus 

Коли ми дивимось на модель актора та комунікаційні послідовні процеси, ми бачимо, що вони обидва намагаються зробити паралельність на основі передачі повідомлень , але вони є різними . (Ми бачимо реалізації НСП моделі в ходу-лані «s goroutines (і Clojure в core.async ) і актор модель в компанії Scala Akka інструментарії) …

16 concurrency  message-passing 

Я читав про мови програмування на основі стека, такі як FORTH та Cat , і, здається, зважаючи на їх характер, вони можуть виконувати лише одну дію одночасно незалежно від їх парадигми (FORTH є обов'язковим, тоді як Cat функціональний). Імперативна мова змінює стек, а суто функціональна мова, наприклад Joy , повертає …

14 concurrency  stacks  evaluation-strategies 

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

13 concurrency  databases 

Чи можуть бути внесені зміни в процесори, щоб зробити їх ефективнішими для одночасних циклів виконання, таких як Rust? Наприклад, чи є зміни у впровадженні передбачення гілок чи розмірах кешу, які допоможуть одночасно виконуватись? У мене складається враження, що поточні конструкції процесора можуть бути оптимізовані більше для процедурних процесів, таких як …

13 computer-architecture  concurrency  functional-programming 

Я проектую базу даних об'єктів пам'яті для дуже конкретного випадку використання. Це один автор, але повинен підтримувати ефективні паралельні читання. Читання повинні бути ізольовані. Мова запитів відсутня, база даних підтримує лише: отримати object / -s за атрибутом / набором атрибутів (може бути підтримка виразів, наприклад x.count < 5) отримати атрибут …

12 data-structures  concurrency  databases 

Іншими словами, якими перевагами має гібридна нитка над 1: 1 (лише для ядра) та N: 1 (лише для користувача) нарізка? Це подальше подальше значення. Чим відрізняються між потоками на рівні користувача та потоками на рівні ядра?

12 operating-systems  concurrency  os-kernel