Java并发程序设计-注解

1. 类Annotation
3个Annotation描述类的可预期的线程安全保证：
@ThreadSafe：类是线程安全的；
@Immutable：类是不可变的（属性为final），不可变对象是线程安全的；
@NotThreadSafe：类不是线程安全的，如果类未加任何注解，则不能确定是否线程安全，认为是非线程安全的。

2. 域Annotation和方法Annotation
描述哪个状态变量被哪个锁保护着，以及哪个锁保护这些变量的信息：
@GuardedBy(lock)：线程只有在持有了一个特定的锁（lock）后，才能访问某个域或方法；
@GuardedBy("this")：包换在对象中的内部锁（方法或域是这个对象的一个成员）；
@GuardedBy("fieldName")：值与filedName引用的对象相关联的锁，或者是一个隐式锁（filedName没有引用一个Lock），或者是一个显示锁（filedName引用了一个Lock）；
@GuardedBy("ClassName.fieldName")：类似于@GuardedBy("fieldName")，不过所引用的锁对象是存储在另一个类（或本类）中的静态域；
@GuardedBy("methodName()")：锁对象是methodName()方法的返回值；
@GuardedBy("ClassName.class")：ClassName类的直接量对象。

例：

import javax.annotation.concurrent.*;;

@ThreadSafe
public class Sequence {
	
	@GuardedBy("this") private int value;
	
	public synchronized int getNext() {
		return value++;
	}

}

以上注解均为非标准的Annotation，自定义注解方式可以参考其他资料：
http://www.cnblogs.com/phoebus0501/archive/2011/02/21/1960077.html

定制的Annotation如下：

@Documented
@Target(ElementType.TYPE)
@Retention(RetentionPolicy.CLASS)
public @interface ThreadSafe {
}

@Documented
@Target(ElementType.TYPE)
@Retention(RetentionPolicy.CLASS)
public @interface NotThreadSafe {
}

@Documented
@Target(ElementType.TYPE)
@Retention(RetentionPolicy.CLASS)
public @interface Immutable {
}

@Target( { ElementType.FIELD, ElementType.METHOD })
@Retention(RetentionPolicy.CLASS)
public @interface GuardedBy {
    String value();
}

附件中附以上四个注解的jar包（javax.annotation.concurrent.*）