需求和问题
以上篇《AOP是什么》中并发访问应用为例子:
多个访问类同时访问一个共享数据对象时,每个访问类在访问这个数据对象时,需要将数据对象上锁,访问完成后,再实行解锁,供其它并发线程访问,这是我们处理并发访问资源的方式。
为了实现这个需求,先实现传统的编程,这里我们假定有一个写锁,对数据对象实行写之前,首先对这个对象进行上写锁,写操作完毕后,必须释放写锁。
首先,我们需要一个锁,这个锁可以是数据对象中一个字段或其它,这里使用Doug Lea的ReentrantWriterPreferenceReadWriteLock作为我们的锁资源。
import EDU.oswego.cs.dl.util.concurrent.*;
public class Worker extends Thread {
Data data;
ReentrantWriterPreferenceReadWriteLock rwl =
new ReentrantWriterPreferenceReadWriteLock();
public boolean createData() {
try {
rwl.writeLock().acquire(); //上锁
//对data实行写逻辑操作
}catch() {
return false;
}finally{
rwl.writeLock().release(); //解锁
}
return true;
}
public boolean updateData() {
try {
rwl.writeLock().acquire();//上锁
//对data实行写逻辑操作
}catch() {
return false;
}finally{
rwl.writeLock().release(); //解锁
}
return true;
}
public void run() {
//执行createData()或updateData()
}
}
假设可能存在另外一个访问类,也将对数据对象实现写操作,代码如下:
import EDU.oswego.cs.dl.util.concurrent.*;
public class AnotherWorker extends Thread {
Data data;
ReentrantWriterPreferenceReadWriteLock rwl =
new ReentrantWriterPreferenceReadWriteLock();
public boolean updateData() {
try {
rwl.writeLock().acquire();//上锁
//对data实行写逻辑操作
}catch() {
return false;
}finally{
rwl.writeLock().release(); //解锁
}
return true;
}
public void run() {
//执行updateData()
}
}
以上是Java传统编程的实现,这种锁的实现方式是在每个具体类中实现,如下图:
这种实现方式的缺点很多:
冗余:有很多重复的编码,如rwl.writeLock().acquire()等;
减少重用:worker的updateData()方法重用性几乎为零。
"数据对象写操作必须使用锁控制这个设计目的"不容易显现,如果更换了一个新的程序员,他可能编写一段不使用锁机制就对这个数据对象写操作的代码。
如果上述代码有读功能,那么我们需要在代码中实现先上读锁,当需要写时,解读锁,再上写锁等等,如果稍微不小心,上锁解锁次序搞错,系统就隐含大的BUG,这种可能性会随着这个数据对象永远存在下去,系统设计大大的隐患啊!
那么我们使用AOP概念来重新实现上述需求,AOP并没有什么新花招,只是提供了观察问题的一个新视角度。
这里我们可以抛开新技术迷人雾障,真正核心还是新思维、新视点,人类很多问题如果换一个脑筋看待理解,也许结果真的是翻天覆地不一样啊,所以,作为人自身,首先要重视和你世界观和思维方式不一样的人进行交流和沟通。
现实生活中有很多"不公平",例如某个小学毕业生成了千万富翁,你就怀疑知识无用,也许你认为他的机会好,其实你可能不知道,他的观察问题的视角比你独特,或者他可能会经常换不同的角度来看待问题和解决问题,而你由于过分陷入一个视角的具体实现细节中,迷失了真正的方向,要不说是读书人脑子僵化呢?
言归正传,我们看看AOP是如何从一个新的视角解决上述问题的。
如果说上面代码在每个类中实现上锁或解锁,类似横向解决方式,那么AOP是从纵向方面来解决上述问题,纵向解决之道示意图如下:
AOP把这个纵向切面cross-cuts称为Aspect(方面),其实我认为AOP翻译成面向切面编程比较好,不知哪个糊涂者因为先行一步,翻译成“面向方面编程”如此抽象,故弄玄虚。
AspectJ实现
下面我们使用AOP的实现之一AspectJ来对上述需求改写。AspectJ是AOP最早成熟的Java实现,它稍微扩展了一下Java语言,增加了一些Keyword等,pointcut的语法如下:
public pointcut 方法名:call(XXXX)
AspectJ增加了pointcut, call是pointcut类型,有关AspectJ更多基本语法见这里。因为AspectJ使用了一些特别语法,所以Java编译器就不能用SUN公司提供javac了,必须使用其专门的编译器,也许SUN在以后JDK版本中会引入AOP。
使用AspectJ如何实现上图所谓切面式的编程呢?首先,我们将上图纵向切面称为Aspect,那么我们建立一个类似Class的Aspect,Java中建立一个Class代码如下:
public class MyClass{
//属性和方法 ...
}
同样,建立一个Aspect的代码如下:
public aspect MyAspect{
//属性和方法 ...
}
建立一个Aspect名为Lock,代码如下:
import EDU.oswego.cs.dl.util.concurrent.*;
public aspect Lock {
......
ReentrantWriterPreferenceReadWriteLock rwl =
new ReentrantWriterPreferenceReadWriteLock();
public pointcut writeOperations():
execution(public boolean Worker.createData()) ||
execution(public boolean Worker.updateData()) ||
execution(public boolean AnotherWorker.updateData()) ;
before() : writeOperations() {
rwl.writeLock().acquire();//上锁 advice body
}
after() : writeOperations() {
rwl.writeLock().release(); //解锁 advice body
}
......
}
上述代码关键点是pointcut,意味切入点或触发点,那么在那些条件下该点会触发呢?是后面红字标识的一些情况,在执行Worker的createData()方法,Worker的update方法等时触发。
before代表触发之前做什么事情?
答案是上锁。
after代表触发之后做什么事情?
答案是上锁。
通过引入上述aspect,那么Worker代码可以清洁如下:
public class Worker extends Thread {
Data data;
public boolean createData() {
try {
//对data实行写逻辑操作
}catch() {
return false;
}
return true;
}
public boolean updateData() {
try {
//对data实行写逻辑操作
}catch() {
return false;
}finally{
}
return true;
}
public void run() {
//执行createData()或updateData()
}
}
Worker中关于“锁”的代码都不见了,纯粹变成了数据操作的主要方法。
AOP术语
通过上例已经知道AspectJ如何从切面crosscutting来解决并发访问应用需求的,其中最重要的是引入了一套类似事件触发机制。
Pointcut类似触发器,是事件Event发生源,一旦pointcut被触发,将会产生相应的动作Action,这部分Action称为Advice。
Advice在AspectJ有三种:before、 after、Around之分,上述aspect Lock代码中使用了Advice的两种before和after。
所以AOP有两个基本的术语:Pointcut和Advice。你可以用事件机制的Event和Action来类比理解它们。上述并发访问应用中pointcut和advice如下图所示:
小结如下:
advice - 真正的执行代码,或者说关注的实现。 类似Action。
join point - 代码中激活advice被执行的触发点。
pointcut - 一系列的join point称为pointcut,pointcut有时代指join point
其中advice部分又有:
Interceptor - 解释器并没有在AspectJ出现,在使用JDK动态代理API实现的AOP框架中使用,解释有方法调用或对象构造或者字段访问等事件,是调用者和被调用者之间的纽带,综合了Decorator/代理模式甚至职责链等模式。
Introduction - 修改一个类,以增加字段、方法或构造或者执行新的接口,包括Mixin实现。
例如上述并发访问应用中,如果想为每个Data对象生成相应的aspect Lock,那么可以在aspect Lock中人为数据对象增加一个字段lock,如下:
aspect Lock {
Data sharedDataInstance;
Lock( Data d ) {
sharedDataInstance = d;
}
introduce Lock Data.lock; //修改Data类,增加一字段lock
advise Data() { //Data构造时触发
static after {
//当Data对象生成时,将Data中lock字段赋值为aspect Lock
//为每个Data对象生成相应的aspect Lock
thisObject.lock = new Lock( thisObject );
}
}
....
}
上述代码等于在Data类中加入一行:
public class Data{
......
Lock lock = new Lock();
......
}
还有其它两个涉及AOP代码运行方式:
weaving - 将aspect代码插入到相应代码中的过程,一般是编译完成或在运行时动态完成。取决于具体AOP产品,例如AspectJ是使用特殊编译器在编译完成weaving,而nanning、JBoss AOP是使用动态代理API,因此在运行时动态完成weaving的。
instrumentor - 用来实现weaving功能的工具。