Взаимодействующие последовательные процессы

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Взаимодействующие последовательные процессы (англ. 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 (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» (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.