Interagerende sekventielle processer

Interagerende sekventielle processer ( engelsk  communicating sequential processes , CSP ) er et formelt sprog til at beskrive interaktionsmodeller i parallelle systemer [1] . Henviser til de matematiske teorier om samtidighed kendt som procesregning (eller procesalgebra) baseret på transmission af meddelelser over kanaler. Påvirkede udviklingen af ​​Ockham [1] [2] , Limbo , Go [3] sprog .

CSP-teorien blev først beskrevet i et papir af Anthony Hoare i 1978 [4] . Den originale version var mislykket, fordi den ikke repræsenterede ubegrænset indeterminisme . Efterfølgende, under indflydelse af ideer lånt fra Carl Hewitts skuespillermodel , blev teorien væsentligt modificeret. Hoares 1985-versioner af CSP bruger allerede ubegrænset indeterminisme; siden da er teorien blevet betydeligt udviklet [5] og er fortsat genstand for aktiv forskning [6] .

I praksis er CSP blevet brugt som et formelt specifikationsværktøj til samtidighedssystemer som T9000- transputeren [7] eller et sikkert e-handelssystem [8] .

Noter

  1. ↑ 1 2 Bill Roscoe. Teori og praksis om samtidighed . - Prentice Hall , 1997. - ISBN 0-13-674409-5 .
  2. ↑ INMOS occam 2.1 referencemanual  (udefineret) . - SGS-Thompson Microelectronics Ltd., 1995. , INMOS-dokument 72 occ 45 03
  3. ↑ Sprogdesign FAQ: Hvorfor bygge samtidighed på ideerne om CSP? . Dato for adgang: 7. november 2015. Arkiveret fra originalen 2. januar 2013.
  4. ↑ BIL Hoare. Kommunikation af sekventielle processer  // Kommunikation af  ACM . - 1978. - Bd. 21 , nr. 8 . - s. 666-677 . - doi : 10.1145/359576.359585 .
  5. ↑ Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W. Kommunikation af sekventielle processer: de første 25 år  . - Springer, 2005. - Vol. 3525. - ( LNCS ).
  6. ↑ Creese, S. Datauafhængig induktion: CSP-modelkontrol af netværk af vilkårlig størrelse   : tidsskrift . - Oxford University, 2001. - Vol. D. Phil. .
  7. ↑ Barrett, G. Modelkontrol i praksis: T9000 Virtual Channel Processor  //  IEEE Transactions on Software Engineering: journal. - 1995. - Bd. 21 , nr. 2 . - S. 69-78 . - doi : 10.1109/32.345823 .
  8. ↑ Hall, A; Chapman, R. Korrekthed ved konstruktion: Udvikling af et kommercielt sikkert system  (engelsk)  // IEEE Software: journal. - 2002. - Bd. 19 , nr. 1 . - S. 18-25 . - doi : 10.1109/52.976937 .

Litteratur