Interagerande sekventiella processer

Interagerande sekventiella processer ( engelska  communicating sequential processes , CSP ) är ett formellt språk för att beskriva interaktionsmodeller i parallella system [1] . Hänvisar till de matematiska teorierna om samtidighet som kallas processkalkyl (eller processalgebra) baserad på överföring av meddelanden över kanaler. Påverkade utvecklingen av Ockham [1] [2] , Limbo , Go [3] språk .

CSP-teorin beskrevs först i en artikel av Anthony Hoare 1978 [4] . Den ursprungliga versionen misslyckades eftersom den inte representerade obegränsad indeterminism . Därefter, under inflytande av idéer lånade från Carl Hewitts skådespelaremodell , modifierades teorin avsevärt. Hoares versioner av CSP från 1985 använder redan obegränsad indeterminism; sedan dess har teorin utvecklats avsevärt [5] och är fortfarande föremål för aktiv forskning [6] .

I praktiken har CSP använts som ett formellt specifikationsverktyg för samtidighetssystem som T9000 -transputeraren [7] eller ett säkert e-handelssystem [8] .

Anteckningar

  1. ↑ 1 2 Bill Roscoe. Teorin och praktiken för samtidighet . - Prentice Hall , 1997. - ISBN 0-13-674409-5 .
  2. ↑ INMOS occam 2.1 referensmanual  (odefinierad) . - SGS-Thompson Microelectronics Ltd., 1995. , INMOS-dokument 72 occ 45 03
  3. ↑ Språkdesign FAQ: Varför bygga samtidighet på idéerna med CSP? . Tillträdesdatum: 7 november 2015. Arkiverad från originalet 2 januari 2013.
  4. ↑ BIL Hoare. Kommunikation av sekventiella processer  //  ACM : s kommunikation . - 1978. - Vol. 21 , nr. 8 . - s. 666-677 . - doi : 10.1145/359576.359585 .
  5. ↑ Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. Kommunicera sekventiella processer: de första 25 åren  . - Springer, 2005. - Vol. 3525. - ( LNCS ).
  6. ↑ Creese, S. Dataoberoende induktion: CSP-modellkontroll av godtyckliga nätverk   : journal . - Oxford University, 2001. - Vol. D. Phil. .
  7. ↑ Barrett, G. Modellkontroll i praktiken: T9000 Virtual Channel Processor  //  IEEE Transactions on Software Engineering: journal. - 1995. - Vol. 21 , nr. 2 . - S. 69-78 . - doi : 10.1109/32.345823 .
  8. ↑ Hall, A; Chapman, R. Korrekthet genom konstruktion: Utveckling av ett kommersiellt säkert system  (engelska)  // IEEE Software: journal. - 2002. - Vol. 19 , nr. 1 . - S. 18-25 . - doi : 10.1109/52.976937 .

Litteratur