Asynchronous readers and writers
Autor: | Boode, Antoon Hendrik, Broenink, Johannes F., Chalmers, K., Pedersen, J.B. |
---|---|
Rok vydání: | 2016 |
Předmět: | |
Zdroj: | 38th WoTUG WoTUG Conference on Concurrent and Parallel Programming, 185-196 STARTPAGE=185;ENDPAGE=196;TITLE=38th WoTUG WoTUG Conference on Concurrent and Parallel Programming |
Popis: | Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading and writing actions are synchronous and there is a oneto-one relationship between occurrences of pairs of these actions. It is cumbersome to ease the restriction of synchronous execution of the read and write actions. For this reason we introduce the half-asynchronous parallel operator that acts on actions containing the symbols ¿ and ¡ and study the impact on a Vertex Removing Synchronised Product. |
Databáze: | OpenAIRE |
Externí odkaz: |