Reusable aspect-oriented implementations of concurrency patterns and mechanisms