Using aspectC to improve the modularity of path-specific customization in operating system code

Authors:
Yvonne Coady;Gregor Kiczales;Mike Feeley;Greg Smolyn
Affiliations:
University of British Columbia;University of British Columbia;University of British Columbia;University of British Columbia
Venue:
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Year:
2001

Citing 16
Cited 58

Programming perl

Programming perl
Tcl and the Tk toolkit

Tcl and the Tk toolkit
Optimistic incremental specialization: streamlining a commercial operating system

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
File system usage in Windows NT 4.0

Proceedings of the seventeenth ACM symposium on Operating systems principles
Implicit parameters: dynamic scoping with static types

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hyper/J: multi-dimensional separation of concerns for Java

Proceedings of the 22nd international conference on Software engineering
Implicit context: easing software evolution and reuse

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
End-to-end arguments in system design

ACM Transactions on Computer Systems (TOCS)
Implementing product-line features by composing aspects

Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
On the criteria to be used in decomposing systems into modules

Communications of the ACM
The structure of the “THE”-multiprogramming system

Communications of the ACM
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns

Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
An Introduction to Software Architecture

An Introduction to Software Architecture
Checking system rules using system-specific, programmer-written compiler extensions

OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4

Structuring operating system aspects: using AOP to improve OS structure modularity

Communications of the ACM
A framework for flexible evolution in distributed heterogeneous systems

Proceedings of the International Workshop on Principles of Software Evolution
Evolving legacy system features into fine-grained components

Proceedings of the 24th International Conference on Software Engineering
Back to the future: a retroactive study of aspect evolution in operating system code

Proceedings of the 2nd international conference on Aspect-oriented software development
An expressive aspect language for system applications with Arachne

Proceedings of the 4th international conference on Aspect-oriented software development
Supporting autonomic computing functionality via dynamic operating system kernel aspects

Proceedings of the 4th international conference on Aspect-oriented software development
Aspectual Caml: an aspect-oriented functional language

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
On the Use of Clone Detection for Identifying Crosscutting Concern Code

IEEE Transactions on Software Engineering
Are patches cutting it?: structuring distribution within a JVM using aspects

CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Optimization aspects in network simulation

Proceedings of the 5th international conference on Aspect-oriented software development
Brittle systems will break - not bend: can aspect-oriented programming help?

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Using AOP to develop architectural-neutral operating system components

Proceedings of the 11th workshop on ACM SIGOPS European workshop
Using aspect-oriented PHP to implement crosscutting concerns in a collaborative web system

SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
A dynamic aspect-oriented system for OS kernels

Proceedings of the 5th international conference on Generative programming and component engineering
A quantitative analysis of aspects in the eCos kernel

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Open bisimulation for aspects

Proceedings of the 6th international conference on Aspect-oriented software development
Simple crosscutting concerns are not so simple: analysing variability in large-scale idioms-based implementations

Proceedings of the 6th international conference on Aspect-oriented software development
Typed parametric polymorphism for aspects

Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Aspects and components in real-time system development: Towards reconfigurable and reusable software

Journal of Embedded Computing - Real-Time and Embedded Computing Systems
C-CLR: a tool for navigating highly configurable system software

Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
Profiling with AspectJ

Software—Practice & Experience
patch (1) considered harmful

HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems

Proceedings of the 2nd workshop on Domain specific aspect languages
AO4BPEL: An Aspect-oriented Extension to BPEL

World Wide Web
Improving file system reliability with I/O shepherding

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
The design and implementation of AspectC++

Knowledge-Based Systems
The scalability of AspectJ

CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Aspects preserving properties

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Improving modularity by refactoring code clones: a feasibility study on Linux

ACM SIGSOFT Software Engineering Notes
AspectC2C: a symmetric aspect extension to the C language

ACM SIGPLAN Notices
Resource management aspects for sensor network software

Proceedings of the 4th workshop on Programming languages and operating systems
On the feasibility of an AOSD approach to Linux kernel extensions

Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
A High-level Aspect-oriented-based Framework for Software Security Hardening

Information Security Journal: A Global Perspective
New AspectJ Pointcuts for Integer Overflow and Underflow Detection

Information Security Journal: A Global Perspective
On reconciling patches and aspects

Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software
Using aspect orientation in legacy environments for reverse engineering using dynamic analysis-An industrial experience report

Journal of Systems and Software
Capturing Returned Computable Values in AspectJ for Security Hardening

Information Security Journal: A Global Perspective
Advances in AOP with AspectC++

Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Open Bisimulation for Aspects

Transactions on Aspect-Oriented Software Development V
Tailor-made data management for embedded systems: A case study on Berkeley DB

Data & Knowledge Engineering
A compilation and optimization model for aspect-oriented programs

CC'03 Proceedings of the 12th international conference on Compiler construction
An aspect-oriented framework for operating system evolution

Proceedings of the 2010 ACM Symposium on Applied Computing
Safe and sound evolution with SONAR: sustainable optimization and navigation with aspects for system-wide reconciliation

Transactions on aspect-oriented software development IV
Identifying crosscutting concerns using historical code changes

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Dynamic and transparent analysis of commodity production systems

Proceedings of the IEEE/ACM international conference on Automated software engineering
Aspect-oriented instrumentation with GCC

RV'10 Proceedings of the First international conference on Runtime verification
Towards reliable storage systems

Towards reliable storage systems
DSL weaving for distributed information flow systems

APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
The design of application-tailorable operating system product lines

CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Aspects preserving properties

Science of Computer Programming
Aspect-Oriented software development and software process

SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Separation of concerns with procedures, annotations, advice and pointcuts

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Modular verification of reconfigurable components

Component-Based Software Development for Embedded Systems
An expressive aspect language for system applications with arachne

Transactions on Aspect-Oriented Software Development I
TOSKANA: a toolkit for operating system kernel aspects

Transactions on Aspect-Oriented Software Development II
Lean and efficient system software product lines: where aspects beat objects

Transactions on Aspect-Oriented Software Development II
InterAspect: aspect-oriented instrumentation with GCC

Formal Methods in System Design
Enabling modularity and re-use in dynamic program analysis tools for the java virtual machine

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.02

Visualization

Abstract

Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Path-specific customizations are difficult to modularize in a layered architecture because they involve dynamic context passing and layer violations. Effectively they are vertically integrated slices through the layers. An initial experiment using an aspect-oriented programming language to refactor prefetching in the FreeBSD operating system kernal shows significant benefits, including easy (un)pluggability of prefetching modes, independent development of prefetching modes, and overall improved comprehensibility.