Anchored Tezt For Software Weaving and Merging
Text-based software merge/refactoring systems are predominantly used. Anchored text, a datatype with first-class location anchors and greater commutativity of software merge operations has been proposed recently. In this paper we develop anchored text as a novel weaver for simultaneous, separate concerns. Irregular, crosscutting concerns such as porting issues are applicable simultaneously (multidimensional separation of multi-target porting concerns), in order to allow for choice of a desired subset for a given port. Form-checking rules can be specified with individual concerns, to verify their correct weaving. The simultaneous concerns model can be viewed as an offline, concurrent change weaving problem, according to which a direct implementation is provided. A novel wait-free implementation of an online model, wherein concurrent changes arrive in a dynamic sequence but with fixed scheduling tags is provided and a highly-concurrent version of the same described using speculative scheduling. All these implementations use minimal synchronisation primitives only, namely atomic registers.
software merging software weaving refactoring anchored tezt multi-dimensional separation of concerns (MDSOC) simultaneous concerns highly-concurrent porting concerns atomic registers
Pradeep Varma
IBM India Research Laboratory 4, Block C, Institutional Area, Vasant Kunj, New Delhi 110070, India
国际会议
上海
英文
93-100
2009-07-08（万方平台首次上网日期，不代表论文的发表时间）