Adrian Francalanza (CS, ICT, University of Malta) |
Marco Giunti (RELEASE, DI, Universidade da Beira Interior & NOVA LINCS, DI-FCT, Universidade NOVA de Lisboa) |
António Ravara (NOVA LINCS, DI-FCT, Universidade NOVA de Lisboa) |
We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant — although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.188.4 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |