天天看点

JAVA多线程和并发基础面试问答

多线程和并发问题是java技术面试中面试官比较喜欢问的问题之一。在这里,从面试的角度列出了大部分重要的问题,但是你仍然应该牢固的掌握java多线程基础知识来对应日后碰到的问题。(校对注:非常赞同这个观点)

一个进程是一个独立(self contained)的运行环境,它可以被看作一个程序或者一个应用。而线程是在进程中执行的一个任务。java运行环境是一个包含了不同的类和程序的单一进程。线程可以被称为轻量级进程。线程需要较少的资源来创建和驻留在进程中,并且可以共享进程中的资源。

在多线程程序中,多个线程被并发的执行以提高程序的效率,cpu不会因为某个线程需要等待资源而进入空闲状态。多个线程共享堆内存(heap memory),因此创建多个线程去执行一些任务会比创建多个进程更好。举个例子,servlets比cgi更好,是因为servlets支持多线程而cgi不支持。

当我们在java程序中创建一个线程,它就被称为用户线程。一个守护线程是在后台执行并且不会阻止jvm终止的线程。当没有用户线程在运行的时候,jvm关闭程序并且退出。一个守护线程创建的子线程依然是守护线程。

当然可以,但是如果我们调用了thread的run()方法,它的行为就会和普通的方法一样,为了在新的线程中执行我们的代码,必须使用thread.start()方法。

我们可以使用thread类的sleep()方法让线程暂停一段时间。需要注意的是,这并不会让线程终止,一旦从休眠中唤醒线程,线程的状态将会被改变为runnable,并且根据线程调度,它将得到执行。

每一个线程都是有优先级的,一般来说,高优先级的线程在运行时会具有优先权,但这依赖于线程调度的实现,这个实现是和操作系统相关的(os dependent)。我们可以定义线程的优先级,但是这并不能保证高优先级的线程会在低优先级的线程前执行。线程优先级是一个int变量(从1-10),1代表最低优先级,10代表最高优先级。

线程调度器是一个操作系统服务,它负责为runnable状态的线程分配cpu时间。一旦我们创建一个线程并启动它,它的执行便依赖于线程调度器的实现。时间分片是指将可用的cpu时间分配给可用的runnable线程的过程。分配cpu时间可以基于线程优先级或者线程等待的时间。线程调度并不受到java虚拟机控制,所以由应用程序来控制它是更好的选择(也就是说不要让你的程序依赖于线程的优先级)。

上下文切换是存储和恢复cpu状态的过程,它使得线程执行能够从中断点恢复执行。上下文切换是多任务操作系统和多线程环境的基本特征。

java的每个对象中都有一个锁(monitor,也可以成为监视器) 并且wait(),notify()等方法用于等待对象的锁或者通知其他线程对象的监视器可用。在java的线程中并没有可供任何对象使用的锁和同步器。这就是为什么这些方法是object类的一部分,这样java的每一个类都有用于线程间通信的基本方法

当一个线程需要调用对象的wait()方法的时候,这个线程必须拥有该对象的锁,接着它就会释放这个对象锁并进入等待状态直到其他线程调用这个对象上的notify()方法。同样的,当一个线程需要调用对象的notify()方法时,它会释放这个对象的锁,以便其他在等待的线程就可以得到这个对象锁。由于所有的这些方法都需要线程持有对象的锁,这样就只能通过同步来实现,所以他们只能在同步方法或者同步块中被调用。

thread类的sleep()和yield()方法将在当前正在执行的线程上运行。所以在其他处于等待状态的线程上调用这些方法是没有意义的。这就是为什么这些方法是静态的。它们可以在当前正在执行的线程中工作,并避免程序员错误的认为可以在其他非运行线程调用这些方法。

当我们使用volatile关键字去修饰变量的时候,所以线程都会直接读取该变量并且不缓存它。这就确保了线程读取到的变量是同内存中是一致的。

同步块是更好的选择,因为它不会锁住整个对象(当然你也可以让它锁住整个对象)。同步方法会锁住整个对象,哪怕这个类中有多个不相关联的同步块,这通常会导致他们停止执行并需要等待获得这个对象上的锁。

使用thread类的setdaemon(true)方法可以将线程设置为守护线程,需要注意的是,需要在调用start()方法前调用这个方法,否则会抛出illegalthreadstateexception异常。

threadlocal用于创建线程的本地变量,我们知道一个对象的所有线程会共享它的全局变量,所以这些变量不是线程安全的,我们可以使用同步技术。但是当我们不想使用同步的时候,我们可以选择threadlocal变量。

threadgroup是一个类,它的目的是提供关于线程组的信息。

threadgroup api比较薄弱,它并没有比thread提供了更多的功能。它有两个主要的功能:一是获取线程组中处于活跃状态线程的列表;二是设置为线程设置未捕获异常处理器(ncaught exception handler)。但在java 1.5中thread类也添加了setuncaughtexceptionhandler(uncaughtexceptionhandler eh) 方法,所以threadgroup是已经过时的,不建议继续使用。

死锁是指两个以上的线程永远阻塞的情况,这种情况产生至少需要两个以上的线程和两个以上的资源。

分析死锁,我们需要查看java应用程序的线程转储。我们需要找出那些状态为blocked的线程和他们等待的资源。每个资源都有一个唯一的id,用这个id我们可以找出哪些线程已经拥有了它的对象锁。

java.util.timer是一个工具类,可以用于安排一个线程在未来的某个特定时间执行。timer类可以用安排一次性任务或者周期任务。

java.util.timertask是一个实现了runnable接口的抽象类,我们需要去继承这个类来创建我们自己的定时任务并使用timer去安排它的执行。

一个线程池管理了一组工作线程,同时它还包括了一个用于放置等待执行的任务的队列。

原子操作是指一个不受其他操作影响的操作任务单元。原子操作是在多线程环境下避免数据不一致必须的手段。

int++并不是一个原子操作,所以当一个线程读取它的值并加1时,另外一个线程有可能会读到之前的值,这就会引发错误。

lock接口比同步方法和同步块提供了更具扩展性的锁操作。他们允许更灵活的结构,可以具有完全不同的性质,并且可以支持多个相关类的条件对象。

它的优势有:

可以使锁更公平

可以使线程在等待锁的时候响应中断

可以让线程尝试获取锁,并在无法获取锁的时候立即返回或者等待一段时间

可以在不同的范围,以不同的顺序获取和释放锁

executor框架同java.util.concurrent.executor 接口在java 5中被引入。executor框架是一个根据一组执行策略调用,调度,执行和控制的异步任务的框架。

java.util.concurrent.blockingqueue的特性是:当队列是空的时,从队列中获取或删除元素的操作将会被阻塞,或者当队列是满时,往队列里添加元素的操作会被阻塞。

阻塞队列不接受空值,当你尝试向队列中添加空值的时候,它会抛出nullpointerexception。

阻塞队列的实现都是线程安全的,所有的查询方法都是原子的并且使用了内部锁或者其他形式的并发控制。

blockingqueue 接口是java collections框架的一部分,它主要用于实现生产者-消费者问题。

java 5在concurrency包中引入了java.util.concurrent.callable 接口,它和runnable接口很相似,但它可以返回一个对象或者抛出一个异常。

callable接口使用泛型去定义它的返回类型。executors类提供了一些有用的方法去在线程池中执行callable内的任务。由于callable任务是并行的,我们必须等待它返回的结果。java.util.concurrent.future对象为我们解决了这个问题。在线程池提交callable任务后返回了一个future对象,使用它我们可以知道callable任务的状态和得到callable返回的执行结果。future提供了get()方法让我们可以等待callable结束并获取它的执行结果。

java集合类都是快速失败的,这就意味着当集合被改变且一个线程在使用迭代器遍历集合的时候,迭代器的next()方法将抛出concurrentmodificationexception异常。

并发容器支持并发的遍历和并发的更新。

executors为executor,executorservice,scheduledexecutorservice,threadfactory和callable类提供了一些工具方法。

executors可以用于方便的创建线程池。