Synchronization is a good candidate for an aspect in aspect- oriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying hard- ware to obtain the best execution performance. If synchronization is an aspect, programmers can change the synchronization code independently of the rest of the program when the program runs on different hardware. However, existing AOP languages such as AspectJ have problems. They cannot select an arbitrary code re- gion as a join point. Moreover, they cannot enforce weaving of a synchronization aspect. Since it is an alternative feature in feature modeling, at least one of available synchronization aspects must be woven. Otherwise, the program would be thread-unsafe. Since an aspect in AspectJ is inherently optional, programmers must be responsible for weaving it. To solve these problems, this paper proposes two new constructs for AspectJ, regioncut and assertions for advice. Regioncut selects arbitrary code region as a join point and assertion for advice enforces weaving a mandatory advice. We implemented these constructs by extending the AspectBench com- piler. We evaluated the design of our constructs by applying them to two open-source software products, Javassist and Hadoop. Categories and Subject Descriptors D.3.3 (Programming Lan- guages): Language Constructs and Features

Conference: Generative Programming and Component Engineering, pp. 45-54, 2009

]]>