. . . . "A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs"^^ . . . . . . . . . . "The actor model is an attractive foundation for developing\r\nconcurrent applications because actors are isolated concurrent entities\r\nthat communicate through asynchronous messages and do not share\r\nstate. Thereby, they avoid concurrency bugs such as data races, but are\r\nnot immune to concurrency bugs in general.\r\nThis study taxonomizes concurrency bugs in actor-based programs reported\r\nin literature. Furthermore, it analyzes the bugs to identify the\r\npatterns causing them as well as their observable behavior. Based on\r\nthis taxonomy, we further analyze the literature and find that current\r\napproaches to static analysis and testing focus on communication deadlocks\r\nand message protocol violations. However, they do not provide\r\nsolutions to identify livelocks and behavioral deadlocks.\r\nThe insights obtained in this study can be used to improve debugging\r\nsupport for actor-based programs with new debugging techniques to identify\r\nthe root cause of complex concurrency bugs."^^ . . . . . . "2018-08-20" . . . . . "10789" . . . . . . .