WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте

Взаимодействующие последовательные процессы (англ. communicating sequential processes, CSP) — формальный язык для описания моделей взаимодействия в параллельных системах[1]. Относится к математическим теориям параллелизма, известных как исчисление процессов (или алгебра процессов), основанных на передаче сообщений по каналам. Оказал влияние на разработку языка Оккам[1][2], Limbo, Go[3].

Теория CSP была впервые описана в статье Чарльза Э. Хоара в 1978 году[4] . Эта первоначальная версия была неудачной, так как не представляла неограниченный индетерминизм[en]. Впоследствии под влиянием идей, заимствованных из модели Акторов Карла Хьюитта, теория была значительно изменена. (В современных CSP Хоара от 1985 года используется неограниченный индетерминизм). C тех пор значительно развита[5]. На практике CSP применялась в качестве инструмента формальной спецификации систем с параллелизмом (concurrency), таких как, например, транспьютера T9000[6] или безопасной системы электронной коммерции[7]. Теория CSP до сих пор является предметом активных исследований в плане расширения практической применимости, в частности, увеличения размеров анализируемых систем[8].

Примечания

  1. 1 2 Roscoe, A. W. The Theory and Practice of Concurrency. — Prentice Hall, 1997. — ISBN 0-13-674409-5.
  2. ↑ INMOS. occam 2.1 Reference Manual. — SGS-THOMSON Microelectronics Ltd., 1995-05-12., INMOS document 72 occ 45 03
  3. ↑ Language Design FAQ: Why build concurrency on the ideas of CSP?.
  4. ↑ Hoare, C. A. R. (1978). “Communicating sequential processes”. Communications of the ACM. 21 (8): 666—677. DOI:10.1145/359576.359585.
  5. ↑ Abdallah, Ali E. Communicating Sequential Processes: The First 25 Years / Ali E. Abdallah, Jones, Sanders. — Springer, 2005. — Vol. 3525.
  6. ↑ Barrett, G. (1995). “Model checking in practice: The T9000 Virtual Channel Processor”. IEEE Transactions on Software Engineering. 21 (2): 69—78. DOI:10.1109/32.345823.
  7. ↑ Hall, A; Chapman, R. (2002). “Correctness by construction: Developing a commercial secure system” (PDF). IEEE Software. 19 (1): 18—25. DOI:10.1109/52.976937.
  8. ↑ Creese, S. (2001). “Data Independent Induction: CSP Model Checking of Arbitrary Sized Networks”. D. Phil. Oxford University.

Литература

  • Хоар Ч. Взаимодействующие последовательные процессы. — М.: Мир, 1989. — 264 с. — ISBN 5030010432.
  • Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers. — Springer Science & Business Media, 2005. — ISBN 978-3-540-25813-1.
  • A.W. Roscoe. Understanding Concurrent Systems. — Springer Science & Business Media, 2010. — ISBN 978-1-84882-258-0.
Это заготовка статьи по информатике. Вы можете помочь проекту, дополнив её.

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии