多个线程同时访问共享变量时,会导致并发问题。那么,如果将变量放在方法内部,是不是还会存在并发问题呢?如果不存在并发问题,那么为什么不会存在并发问题呢?
著名的斐波那契数列
记得上学的时候,我们都会遇到这样一种题目,打印斐波那契数列。斐波那契数列是这样的一个数列:1、1、2、3、5、8、13、21、34…,也就是说第1项和第2项是1,从第3项开始,每一项都等于前2项之和。我们可以使用下面的代码来生成斐波那契数列。
- //生成斐波那契数列
- public int[] fibonacci(int n){
- //存放结果的数组
- int[] result = new int[n];
- //数组的第1项和第2项为1
- result[0] = result[1] = 1;
- //计算第3项到第n项
- for(int i = 2; i < n; i++){
- result[i] = result[i-2] + result[i-1];
- }
- return result;
- }
假设此时有很多个线程同时调用fibonacci()方法来生成斐波那契数列,对于方法中的局部变量result,会不会存在线程安全的问题呢?答案是:不会!!
接下来,我们就深入分析下为什么局部变量不会存在线程安全的问题!
方法是如何被执行的?
我们以下面的三行代码为例。
- int x = 5;
- int[] y = fibonacci(x);
- int[] z = y;
当我们调用fibonacci(x)时,CPU要先找到fibonacci()方法的地址,然后跳转到这个地址去执行代码,执行完毕后,需要返回并找到调用方法的下一条语句的地址,也就是int[] z = y的地址,再跳到这个地址去执行。我们可以将这个过程简化成下图所示。