Abstract:
We propose an advice mechanism called Chop&Graft for non-local flow control. It offers a novel chop pointcut that lets a piece of advice terminate the current execution, and graft and retry operators that resume and restart the terminated executions. By using pointcuts for specifying the region of termination, the mechanism is more robust and more concise than the traditional exception handling mechanisms that rely on names or exception classes. The paper presents the design of the mechanism along with the sketches of two implementations using delimited continuations or threads and exceptions.
Reference:
An Advice Mechanism for Non-local Flow Control (Hidehiko Masuhara, Kenta Fujita and Tomoyuki Aotani), In Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2016) (Henrique Rebêlo, ed.), 2016. (ACM Digital library)
Bibtex Entry:
@inproceedings{masuhara2016foal,
editor = {Henrique Reb{\^e}lo},
note = {ACM Digital library},
day = 15,
month = mar,
location = {M{\'a}laga, Spain},
year = 2016,
booktitle = {Proceedings of Foundations of Aspect-Oriented Langauges (FOAL2016)},
author = {Hidehiko Masuhara and Kenta Fujita and Tomoyuki Aotani},
title = {An Advice Mechanism for Non-local Flow Control},
pdf = {foal2016.pdf},
slides = {foal2016-slides.pdf},
pages = {73--78},
keywords = {AspectJ},
doi = {10.1145/2892664.2892674},
abstract = {We propose an advice mechanism called Chop&Graft for non-local flow control. It offers a novel chop pointcut that lets a piece of advice terminate the current execution, and graft and retry operators that resume and restart the terminated executions. By using pointcuts for specifying the region of termination, the mechanism is more robust and more concise than the traditional exception handling mechanisms that rely on names or exception classes. The paper presents the design of the mechanism along with the sketches of two implementations using delimited continuations or threads and exceptions.}
}