Java
 Computer >> コンピューター >  >> プログラミング >> Java

Javaでデッドロックを回避するには?発生原因と対策を実例付きで解説

Javaにおけるデッドロック(deadlock)とは、2つ以上のスレッドが互いにロックを待ち合い、永久にブロックされた状態が続くプログラミング上の問題です。デッドロックは少なくとも2つのスレッド2つ以上のリソースが存在する場合に発生します。

デッドロックが起きると、スレッドは互いに相手が保持しているロックの解放を待ち続けるため、プログラム全体が停止してしまいます。本記事では、デッドロックの回避方法と、実際のコード例を通じてその仕組みを解説します。

デッドロックを回避するための3つの対策

1. ネストされたロック(入れ子のロック)を避ける

デッドロックの主な原因は、複数のスレッドに対してロックを与えることです。すでにあるスレッドにロックを渡している場合は、別のスレッドにさらにロックを与えないようにしましょう。特に、1つのスレッドが複数のロックを同時に取得する設計は避けるのが安全です。

2. 不要なロックを避ける

ロックをかけるのは、本当に同期が必要なメンバーだけに限定しましょう。必要のない箇所までロックをかけると、それだけデッドロックが発生するリスクが高まります。同期範囲は最小限に抑えることが重要です。

3. Thread.join() を活用する

あるスレッドが別のスレッドの完了を待っている状況でデッドロックが発生することがあります。このような場合、Thread.join() にタイムアウト時間(最大待機時間)を指定して使うことで、無期限の待機を防ぐことができます。

コード例:デッドロックの動作を確認する

以下は、複数のオブジェクトのロックを順番に取得するスレッドを使って、ロックの獲得・解放の流れを確認するサンプルコードです。

public class DeadlockTest {
    public static void main(String[] args) throws InterruptedException {
        Object obj1 = new Object();
        Object obj2 = new Object();
        Object obj3 = new Object();
        Thread t1 = new Thread(new SyncThread(obj1, obj2), "t1");
        Thread t2 = new Thread(new SyncThread(obj2, obj3), "t2");
        t1.start();
        Thread.sleep(2000);
        t2.start();
        Thread.sleep(2000);
    }
}
class SyncThread implements Runnable {
    private Object obj1;
    private Object obj2;
    public SyncThread(Object o1, Object o2){
        this.obj1 = o1;
        this.obj2 = o2;
    }
    @Override
    public void run() {
        String name = Thread.currentThread().getName();
        System.out.println(name + " acquiring lock on " + obj1);
        synchronized (obj1) {
            System.out.println(name + " acquired lock on " + obj1);
            work();
        }
        System.out.println(name + " released lock on " + obj1);
        System.out.println(name + " acquiring lock on " + obj2);
        synchronized (obj2) {
            System.out.println(name + " acquired lock on " + obj2);
            work();
        }
        System.out.println(name + " released lock on " + obj2);
        System.out.println(name + " finished execution.");
    }
    private void work() {
        try {
            Thread.sleep(5000);
        } catch (InterruptedException ie) {
            ie.printStackTrace();
        }
    }
}

この例では、スレッド t1 が obj1 → obj2 の順でロックを取得し、スレッド t2 が obj2 → obj3 の順でロックを取得します。synchronized ブロックによって各オブジェクトのロックが制御され、work() メソッド内の Thread.sleep(5000) により処理に5秒の遅延が生じます。

実行結果

t1 acquiring lock on java.lang.Object@917d8d4
t1 acquired lock on java.lang.Object@917d8d4
t2 acquiring lock on java.lang.Object@5c4b42fb
t2 acquired lock on java.lang.Object@5c4b42fb
t1 released lock on java.lang.Object@917d8d4
t1 acquiring lock on java.lang.Object@5c4b42fb
t1 acquired lock on java.lang.Object@5c4b42fb
t2 released lock on java.lang.Object@5c4b42fb
t2 acquiring lock on java.lang.Object@528cb702
t2 acquired lock on java.lang.Object@528cb702
t1 released lock on java.lang.Object@5c4b42fb
t2 released lock on java.lang.Object@528cb702
t1 finished execution.
t2 finished execution.

実行結果を見ると、各スレッドがロックを取得し、処理後に解放している様子がわかります。この例ではロックの取得順序が適切に管理されているため、両方のスレッドが最後まで実行を完了しています。

まとめ

デッドロックを防ぐためのポイントは以下の3つです。

  • ネストされたロックを避ける:1つのスレッドが複数のロックを同時に持たない設計にする
  • 不要なロックを避ける:同期が必要な箇所だけにロックを限定する
  • Thread.join() を使う:タイムアウトを指定して、無期限の待機を防止する

マルチスレッドプログラミングでは、ロックの取得順序を統一することも非常に有効な対策です。これらのポイントを意識することで、デッドロックのリスクを大幅に減らし、安定した並行処理を実現できます。

  1. Javaで編集可能なJLabelを実装する方法

    JLabelとはJLabelクラスはJComponentクラスを継承しており、JLabelのオブジェクトを使用することで、GUI上にテキストによる説明や情報を表示できます。JLabelの主な特徴は以下のとおりです。1行の読み取り専用テキスト、画像、またはその両方を表示できる重要なメソッドとして、setText()、setIcon()、setBackground()、setOpaque()、setHorizontalAlignment()、setVerticalAlignment()などが用意されているPropertyChangeListenerインターフェースを明示的に登録して、プロパティの変

  2. JavaのJToggleButton実装ガイド:ON/OFF切替ボタンの作り方を解説

    JToggleButtonとは JToggleButtonはAbstractButtonを拡張したクラスで、クリックするたびにONとOFFが切り替わるトグルボタンを実現するために使用されます。通常のボタンと異なり、押した状態を保持できるのが特徴です。 JToggleButtonの主な特徴 最初に押されたときは押し込まれた状態のままとなり、もう一度押してはじめて元の状態(押されていない状態)に戻ります。 ボタンが押されるたびにActionEventが発生します。 さらに、JToggleButtonはItemEventも発生させることができます。このイベントは、選択状態という概念を持つコンポー