Aspect-oriented support for synchronization in parallel computing

Xi, Chenchen; Harbulot, Bruno; Gurd, John R.

doi:10.1145/1509847.1509848

Cited by 7 publications

(5 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The use of annotations has been applied to the design of parallel applications [13], [14] and to support the application of concurrency patterns [15], but was never explored for pattern-oriented development of secure applications.…”

Section: Related Workmentioning

confidence: 99%

Automated Reusable Tests for Mitigating Secure Pattern Interpretation Errors

Cunha

Pombo

2023

IEEE Access

View full text Add to dashboard Cite

The importance of software security has increased along with the number and severity of incidents in recent years. Security is a multidisciplinary aspect of the software development lifecycle, operation, and user utilization. Being a complex and specialized area of software engineering, it is often sidestepped in software development methodologies and processes. We address software security at the design level by adopting design patterns that encapsulate reusable solutions for recurring security problems. Design patterns can help development teams implement the best-proven solutions for a specialized problem domain. However, from the analysis of three secure pattern implementations by 70 junior programmers, we detected several structural errors resulting from their interpretation. We propose reusable unit testing test cases based on annotations to avoid secure pattern interpretation errors and provide an example for one popular secure pattern. Providing these test cases to the same group of programmers, they implemented the pattern without errors. The reason is annotations build a framework that disciplines programmers to incorporate secure patterns in their applications and ensure automatic testing.

show abstract

Section: Related Workmentioning

confidence: 99%

Automated Reusable Tests for Mitigating Secure Pattern Interpretation Errors

Cunha

Pombo

2023

IEEE Access

View full text Add to dashboard Cite

show abstract

“…As Xi et al show [40,41], joinpoints for synchronized blocks can allow programmers to implement different synchronization schemes in a truly modular fashion. Unfortunately, the authors do not address (nor even mention) the controlflow and data-flow constraints that we discuss in this paper.…”

Section: Pointcuts Matching Statement Sequencesmentioning

confidence: 99%

“…Explicit Joinpoints [24] explicit stmt locals & fields (heap-allocated) ? Region Pointcuts [4,5] implicit stmt locals & fields (heap-allocated) lexical scope LoopsAJ [24] implicit stmt restricted (data-flow analysis) restricted (control-flow analysis) Sync.-block Joinpoints [40,41] implicit stmt ? ?…”

Section: Context-oriented Programmingmentioning

confidence: 99%

Closure joinpoints

Bodden

2011

Proceedings of the Tenth International Conference on Aspect-Oriented Software Development

View full text Add to dashboard Cite

Block joinpoints allow programmers to explicitly mark regions of base code as "to be advised", thus avoiding the need to extract the block into a method just for the sake of creating a joinpoint. Block joinpoints appear simple to define and implement. After all, regular block statements in Javalike languages are constructs well-known to the programmer and have simple control-flow and data-flow semantics.Our major insight is, however, that by exposing a block of code as a joinpoint, the code is no longer only called in its declaring static context but also from within aspect code. The block effectively becomes a closure, i.e., an anonymous function that may capture values from the enclosing lexical scope. We discuss research on closures that reveals several important design questions that any semantic definition of closures or block joinpoints must answer. In this paper we show that all existing proposals for block joinpoints answer these questions insufficiently, and hence exhibit a semantics either undefined or likely surprising to Java programmers.As a solution, we propose a syntax, semantics, and implementation of Closure Joinpoints, block joinpoints based on closures. As we show, our design decisions yield a semantics that follows the principle of least surprise.

show abstract

“…Cunha et al [4] presented a collection of well-known, high-level concurrency patterns and mechanisms, such as synchronization and barrier. In [5,22,23], a loop joint model, a region aspect, and a synchronized block join point were proposed for parallelization in AspectJ. Rashid et al [8] proposed a persistence model of Java objects using an AOP approach.…”

Section: Related Workmentioning

confidence: 99%

Aspect-oriented development of cluster computing software

2011

View full text Add to dashboard Cite

In complex software systems, modularity and readability tend to be degraded owing to inseparable interactions between concerns that are distinct features in a program. Such interactions result in tangled code that is hard to develop and maintain. Aspect-Oriented Programming (AOP) is a powerful method for modularizing source code and for decoupling cross-cutting concerns. A decade of growing research on AOP has brought the paradigm into many exciting areas. However, pioneering work on AOP has not flourished enough to enrich the design of distributed systems using the refined AOP paradigm. This article investigates three case studies that cover time-honored issues such as fault-tolerant computing, network heterogeneity, and object replication in the cluster computing community using the AOP paradigm. The aspects that we define here are simple, intuitive, and reusable. Our intensive experiences show that (i) AOP can improve the modularity of cluster computing software by separating the source code into base and instrumented parts, and (ii) AOP helps developers to deploy additional features to legacy cluster computing soft-A preliminary version [1] of this paper was presented at IEEE Cluster 2007,

show abstract

Aspect-oriented support for synchronization in parallel computing

Cited by 7 publications

References 16 publications

Automated Reusable Tests for Mitigating Secure Pattern Interpretation Errors

Automated Reusable Tests for Mitigating Secure Pattern Interpretation Errors

Closure joinpoints

Aspect-oriented development of cluster computing software

Contact Info

Product

Resources

About