[@炯轩][¥20]线程池的execute方法是线程安全的吗?

线程池（ThreadPoolExecutor）的execute方法如下，该方法在执行了读取语句：

int c = ctl.get()

后，执行了比较：

if (workerCountOf(c) < corePoolSize)

这两句之间没有添加任何保护线程安全的方法，所以execute是如何实现线程安全的呢？

public void execute(Runnable command) {

if (command == null)

throw new NullPointerException();

int c = ctl.get();

if (workerCountOf(c) < corePoolSize) {

if (addWorker(command, true))
return;

c = ctl.get();

}

if (isRunning(c) && workQueue.offer(command)) {

int recheck = ctl.get();

if (! isRunning(recheck) && remove(command))

reject(command);

else if (workerCountOf(recheck) == 0)

addWorker(null, false);

}

else if (!addWorker(command, false))

reject(command);

}