Рівночасність (інформатика): відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Немає опису редагування
м множина філософів
Рядок 1:
[[Image:Dining philosophers.png|thumb|200px|Задача "обідаючих філософіффілософів" є прикладом класичної задачі багатозадачності та доступу до спільних ресурсів.]]
 
В [[кібернетика|кібернетиці]], '''конкуррентністю''', або '''багатопоточністю''' (багатозадачністю) називається властивість систем, коли декілька процесів обчислення відбуваються водночас, і, можливо, взаємодіють один з одним.<ref name="roscoe">{{cite book|first=A. W.|last=Roscoe|authorlink=Bill Roscoe|title=The Theory and Practice of Concurrency|publisher=[[Prentice Hall]]|id = ISBN 0-13-674409-5|year=1997}}</ref> Вивчення багатозадачних систем включає широке коло різноманітних систем, починаючи з щільно зв'язаних, в основному синхронних [[Паралельні обчислення|паралельних]] систем, до слабо зв'язаних, сильно асинхронних [[Розподілені системи|розподілених систем]].<ref name="cleaveland1996">{{cite journal|last=Cleaveland|first=Rance|coauthors=Scott Smolka|title=Strategic Directions in Concurrency Research|journal=ACM Computing Surveys|volume=28|issue=4|date=December, 1996|url=http://doi.acm.org/10.1145/242223.242252}}</ref> Конкуррентні системи можуть виконуватись водночас, як у випадку роботи на різних процесорах, або кроки їхнього виконання можуть чергуватись для створення ефекту одночасності, як це робиться в багатозадачних системах. Оскільки процеси в конкурентних системах можуть взаємодіяти один з одним під час роботи, кількість можливих шляхів виконання програми в системі є дуже великою, а отримана поведінка може бути дуже складною. Складнощі, пов'язані з дослідженням конкуррентності були спрощені як шляхом створення мов та концепцій роботи конкуррентних систем достатньо простою для розуміння, та шляхом розробки теорій для міркувань про взаємодіючі конкуррентні процеси.<ref name="roscoe"/>