目录
当多个线程同时访问共享资源时,可能会出现竞态条件(Race Condition),导致数据的不一致性。为了解决这个问题,Java提供了一些机制来保证线程的原子性。
1.synchronized关键字:
synchronized关键字可以用来修饰方法或者代码块,保证在同一时间只有一个线程可以执行被修饰的方法或者代码块。当一个线程进入synchronized方法或者代码块时,会尝试获取对象的锁,如果锁已经被其他线程持有,则该线程会被阻塞,直到锁被释放。
public class Counter {
private int count = 0;
public synchronized void increment() {
count++;
}
public synchronized int getCount() {
return count;
}
}
在上面的示例中,Counter类有一个count变量,increment()方法和getCount()方法都被synchronized修饰。这样,当多个线程同时调用increment()方法时,每次只有一个线程可以执行,保证了count的原子性。
当线程A执行increment()方法时,它会尝试获取Counter对象的锁。如果锁已经被其他线程持有,线程A会被阻塞,直到锁被释放。一旦线程A获取到锁,它会将count的值加1,并释放锁。其他线程在执行increment()方法时,会等待锁的释放。
2.Lock接口:
Lock接口提供了更加灵活的锁定机制,可以通过lock()方法获取锁定,通过unlock()方法释放锁定。与synchronized关键字不同,Lock接口提供了更多的功能,如可重入锁、公平锁、读写锁等。
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
public class Counter {
private int count = 0;
private Lock lock = new ReentrantLock();
public void increment() {
lock.lock();
try {
count++;
} finally {
lock.unlock();
}
}
public int getCount() {
lock.lock();
try {
return count;
} finally {
lock.unlock();
}
}
}
在上面的示例中,Counter类使用了ReentrantLock作为锁对象。在increment()方法和getCount()方法中,首先调用lock()方法获取锁定,然后执行相应的操作,最后调用unlock()方法释放锁定。
当线程A执行increment()方法时,它会尝试获取锁对象。如果锁已经被其他线程持有,线程A会被阻塞,直到锁被释放。一旦线程A获取到锁,它会将count的值加1,并释放锁。其他线程在执行increment()方法时,会等待锁的释放。
3.原子类:
Java提供了一些原子类,如AtomicInteger、AtomicLong等,它们提供了一些原子操作,可以在多线程环境下保证操作的原子性。这些原子类内部使用了CAS(Compare and Swap)操作来实现原子性。
import java.util.concurrent.atomic.AtomicInteger;
public class Counter {
private AtomicInteger count = new AtomicInteger(0);
public void increment() {
count.incrementAndGet();
}
public int getCount() {
return count.get();
}
}
在上面的示例中,Counter类使用了AtomicInteger作为计数器。increment()方法使用了incrementAndGet()方法来原子地增加计数器的值,getCount()方法使用了get()方法来获取计数器的值。
当线程A执行increment()方法时,它会调用incrementAndGet()方法来原子地增加计数器的值。incrementAndGet()方法使用了CAS操作来比较内存中的值和期望的值,如果相等则更新为新的值,否则不做任何操作。这样可以保证每个线程都能正确地增加计数器的值。
总的来说,无论是使用synchronized关键字、Lock接口还是原子类,都可以保证线程的原子性,避免竞态条件和数据不一致的问题。通过锁定机制或者CAS操作,确保操作的完整性和一致性。