Deadlock detection for actor-based coroutines
| Autor: | Azadbakht, Keyvan, de Boer, Frank S., de Vink, Erik, Havelund, K., Peleska, J., Roscoe, B., de Vink, E. |
|---|---|
| Přispěvatelé: | Formal System Analysis, Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Predicate abstraction
Programming language Coroutine Computer science Deadlock detection 020207 software engineering 02 engineering and technology Cooperative scheduling Transition system Deadlock Software_PROGRAMMINGTECHNIQUES computer.software_genre Asynchronous method invocation Scheduling (computing) Decidability 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Actor computer Deadlock prevention algorithms |
| Zdroj: | Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings, 39-54 STARTPAGE=39;ENDPAGE=54;TITLE=Formal Methods-22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings Formal Methods ISBN: 9783319955810 FM |
| ISSN: | 0302-9743 |
| Popis: | The actor-based language studied in this paper features asynchronous method calls and supports coroutines which allow for the cooperative scheduling of the method invocations belonging to an actor. We model the local behavior of an actor as a well-structured transition system by means of predicate abstraction and derive the decidability of the occurrence of deadlocks caused by the coroutine mode of method execution. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|