让我们看看如何让升级后的汽车打破速度限制。
package car; public final class Car { private final int MAX_SPEED = 100; private int speed = 0; public synchronized void accelerate(int acceleration) { speed += acceleration; if (speed > MAX_SPEED) crash(); } public synchronized void crash() { speed = 0; } public synchronized void vroom() { if (speed > MAX_SPEED * 10) { // The goal is to reach this line System.out.println("Vroom!"); } } }
|
给所有赛车手的教训是:我们希望赛车加速很多(speed += acceleration必须执行),但不要在撞到树并完全停止的地方执行(speed = 0不得执行)。
这两种陈述之间会发生什么?if(speed>max_speed)对我们没有任何帮助,因为speed确实需要高于max_speed。所以剩下的就是对crash()方法的调用。那一个必须失败:我们想要crash()崩溃!
我们可以通过确保堆栈上没有足够的空间来调用任何方法来实现。如果调用accelerate时堆栈几乎已满,则调用crash()时会出现stackOverflowerRor。我们怎么才能让这堆东西都快满了呢?一种方法是强制它:一种无限递归的方法,不断尝试。
package driver; import car.Car; public class Driver { private static Car car = new Car(); public static void main(String args[]) { try { recurse(); } catch (StackOverflowError e) { } car.vroom(); } public static void recurse() { car.accelerate(1001); recurse(); } }
|
起效了!…至少在某些系统上。这里的一个问题是,如果你试图加速这么多并继续崩溃(在我的系统崩溃1500次之后),jvm会做一些汽车制造商从未做过的事情:它优化汽车,以确保它能够很快崩溃。它把对crash()的调用排成一行,将其本质上减少为if(speed>max_speed)speed=0;。这样就消除了stackoverflower错误的可能性。
我们可以通过稍微温和些来解决这个问题:少些崩溃,因此JVM不会决定优化它。首先增加堆栈直到它接近需要的位置,然后才将汽车添加到程式中。但知道你接近极限的唯一方法就是击中它。因此,我们在没有汽车的情况下递归,直到我们遇到堆栈溢出,然后向后退几步,再应用上面的强制解决方案:
package driver; import car.Car; public class Driver { static Car car = new Car(); static int a = 0; public static void main(String args[]) { recurse(); car.vroom(); } static void recurse() { try { recurse(); // recurse without the car } catch (StackOverflowError e) { // when we've hit the limit of the stack, just go back out } if (a++ == 10) { // after taking 10 steps back recurse2(); // recurse with the car } } static void recurse2() { car.accelerate(1001); recurse2(); } }
|
另一种解决方案是使用Thread.stop。但是很难把时间计算得恰到好处; 它在整个系统中不可靠。