Exemples de blocage simple

92

Je voudrais expliquer les blocages de threading aux débutants. J'ai vu de nombreux exemples de blocages dans le passé, certains utilisant du code et d'autres utilisant des illustrations (comme les célèbres 4 voitures ). Il existe également des problèmes classiques facilement bloqués comme The Dining Philosophers , mais ceux-ci peuvent être trop complexes pour qu'un vrai débutant les saisisse pleinement.

Je recherche l'exemple de code le plus simple pour illustrer ce que sont les blocages. L'exemple devrait:

  1. Se rapporte à un scénario de programmation «réel» qui a du sens
  2. Soyez très court, simple et direct

Que recommandez-vous?

Roee Adler
la source
pourquoi ne pas utiliser les célèbres 4 voitures, car cela me semble assez simple.
vehomzzz
2
Les 4 voitures ne sont pas un scénario de programmation, et ce n'est pas anodin pour un débutant d'abstraire un problème sous la forme des 4 voitures. Je les utilise, mais je veux montrer un scénario de programmation où un blocage se produit.
Roee Adler

Réponses:

139

Peut-être une simple situation bancaire.

class Account {
  double balance;

  void withdraw(double amount){
     balance -= amount;
  } 

  void deposit(double amount){
     balance += amount;
  } 

   void transfer(Account from, Account to, double amount){
        sync(from);
        sync(to);

        from.withdraw(amount);
        to.deposit(amount);

        release(to);
        release(from);
    }

}

De toute évidence, s'il y a deux threads qui tentent d'exécuter le transfert ( a, b ) et le transfert ( b, a ) en même temps, alors un blocage va se produire parce qu'ils essaient d'acquérir les ressources dans l'ordre inverse.

Ce code est également idéal pour rechercher des solutions à l'impasse. J'espère que cela t'aides!

AAA
la source
1
Ce serait parfait si vous ou quelqu'un d'autre pouvez apporter la solution à ce problème.
Jacky
2
@Jacky Solution pour ce problème est posté par Will Hartung ici: stackoverflow.com/questions/13326861/avoid-deadlock-example/...
Piotr Chojnacki
2
Je suis confus par votre syntaxe. Quelle est la méthode sync ()? Je comprendrais si sync (de); ... release (de); ont été remplacés par synchronized (from) {...}
Ellen Spertus
1
@espertus syncpeut être quelque chose comme: sync(Account & a) { a.mutex.lock(); }.
vladon le
1
javaworld.com/article/2075692/java-concurrency/… (Brian Goetz) explique la solution à ce problème.
lingareddyk
59

Laissez la nature expliquer l'impasse,

Deadlock: grenouille contre serpent

«J'aurais adoré les voir se séparer, mais j'étais épuisé», a déclaré le photographe. «La grenouille essayait tout le temps d' arracher le serpent, mais le serpent ne voulait tout simplement pas le lâcher» .

entrez la description de l'image ici

Nick Dandoulakis
la source
59
Mignon, mais n'explique pas comment les blocages se produisent dans un contexte de programmation.
jalf
ok jalf, au moins tu as justifié le vote défavorable. Quoi qu'il en soit, c'est similaire à l'exemple "4 voitures". Une jolie représentation de ce à quoi ressemble une impasse.
Nick Dandoulakis
@Nick Dandoulakis: Excellente présentation picturale. L'image explique le concept de l'impasse
Rasmi Ranjan Nayak
@NickDandoulakis - Pas un bon exemple de photo à mon humble avis. Un code simple serait utile ici.
Erran Morad
13
Comment est-ce censé être mignon? Les serpents et les grenouilles venimeux se mangent et c'est effrayant !!!
vikkyhacks
53

Voici un exemple de code du département d'informatique d'une université de Taiwan montrant un exemple Java simple avec verrouillage de ressources. C'est très pertinent pour moi. Code ci-dessous:

/**
 * Adapted from The Java Tutorial
 * Second Edition by Campione, M. and
 * Walrath, K.Addison-Wesley 1998
 */

/**
 * This is a demonstration of how NOT to write multi-threaded programs.
 * It is a program that purposely causes deadlock between two threads that
 * are both trying to acquire locks for the same two resources.
 * To avoid this sort of deadlock when locking multiple resources, all threads
 * should always acquire their locks in the same order.
 **/
public class Deadlock {
  public static void main(String[] args){
    //These are the two resource objects 
    //we'll try to get locks for
    final Object resource1 = "resource1";
    final Object resource2 = "resource2";
    //Here's the first thread.
    //It tries to lock resource1 then resource2
    Thread t1 = new Thread() {
      public void run() {
        //Lock resource 1
        synchronized(resource1){
          System.out.println("Thread 1: locked resource 1");
          //Pause for a bit, simulating some file I/O or 
          //something. Basically, we just want to give the 
          //other thread a chance to run. Threads and deadlock
          //are asynchronous things, but we're trying to force 
          //deadlock to happen here...
          try{ 
            Thread.sleep(50); 
          } catch (InterruptedException e) {}

          //Now wait 'till we can get a lock on resource 2
          synchronized(resource2){
            System.out.println("Thread 1: locked resource 2");
          }
        }
      }
    };

    //Here's the second thread.  
    //It tries to lock resource2 then resource1
    Thread t2 = new Thread(){
      public void run(){
        //This thread locks resource 2 right away
        synchronized(resource2){
          System.out.println("Thread 2: locked resource 2");
          //Then it pauses, for the same reason as the first 
          //thread does
          try{
            Thread.sleep(50); 
          } catch (InterruptedException e){}

          //Then it tries to lock resource1.  
          //But wait!  Thread 1 locked resource1, and 
          //won't release it till it gets a lock on resource2.  
          //This thread holds the lock on resource2, and won't
          //release it till it gets resource1.  
          //We're at an impasse. Neither thread can run, 
          //and the program freezes up.
          synchronized(resource1){
            System.out.println("Thread 2: locked resource 1");
          }
        }
      }
    };

    //Start the two threads. 
    //If all goes as planned, deadlock will occur, 
    //and the program will never exit.
    t1.start(); 
    t2.start();
  }
}
Kyle Rosendo
la source
1
Le problème est que ce n'est pas vraiment un exemple "réel". Il s'agit de "ressource 1" et de "ressource 2", et ce serait bien de relier cela à un problème de programmation réel (je veux dire, directement utilisable en pratique, en référence au domaine du problème, etc.)
Jay
7
Bon exemple à mon avis. Merci.
James Raitsev
Ce code semble avoir été publié dans quelques livres différents ... stackoverflow.com/a/11338853/112705
Dan J
15

Si method1 () et method2 () seront tous deux appelés par deux ou plusieurs threads, il y a de bonnes chances de blocage car si le thread 1 acquiert le verrou sur l'objet String lors de l'exécution de method1 () et le thread 2 acquiert le verrou sur l'objet Integer lors de l'exécution de method2 () les deux attendront l'un l'autre pour libérer le verrou sur Integer et String pour continuer, ce qui ne se produira jamais.

public void method1() {
    synchronized (String.class) {
        System.out.println("Acquired lock on String.class object");

        synchronized (Integer.class) {
            System.out.println("Acquired lock on Integer.class object");
        }
    }
}

public void method2() {
    synchronized (Integer.class) {
        System.out.println("Acquired lock on Integer.class object");

        synchronized (String.class) {
            System.out.println("Acquired lock on String.class object");
        }
    }
}
Ashish Chaurasia
la source
Rapide et simple. Agréable.
user1068352
13

Un des exemples simples de blocage que j'ai rencontrés.

public class SimpleDeadLock {
   public static Object l1 = new Object();
   public static Object l2 = new Object();
   private int index;
   public static void main(String[] a) {
      Thread t1 = new Thread1();
      Thread t2 = new Thread2();
      t1.start();
      t2.start();
   }
   private static class Thread1 extends Thread {
      public void run() {
         synchronized (l1) {
            System.out.println("Thread 1: Holding lock 1...");
            try { Thread.sleep(10); }
            catch (InterruptedException e) {}
            System.out.println("Thread 1: Waiting for lock 2...");
            synchronized (l2) {
               System.out.println("Thread 2: Holding lock 1 & 2...");
            }
         }
      }
   }
   private static class Thread2 extends Thread {
      public void run() {
         synchronized (l2) {
            System.out.println("Thread 2: Holding lock 2...");
            try { Thread.sleep(10); }
            catch (InterruptedException e) {}
            System.out.println("Thread 2: Waiting for lock 1...");
            synchronized (l1) {
               System.out.println("Thread 2: Holding lock 2 & 1...");
            }
         }
      }
   }
}
Hemanth
la source
J'aime cet exemple. Mais pourquoi la classe SimpleDeadLock sort de Thread? Ce n'est pas nécessaire.
Charmin
1
C'est à peu près la même chose que cette réponse: stackoverflow.com/a/1385868/1310566 . Et qu'est-ce que ça private int indexfait là-bas?
Simon Forsberg
6

Voici un exemple simple en C ++ 11.

#include <mutex>    // mutex
#include <iostream> // cout 
#include <cstdio>   // getchar
#include <thread>   // this_thread, yield
#include <future>   // async
#include <chrono>   // seconds

using namespace std;
mutex _m1;
mutex _m2;

// Deadlock will occur because func12 and func21 acquires the two locks in reverse order

void func12()
{
    unique_lock<mutex> l1(_m1);
    this_thread::yield(); // hint to reschedule
    this_thread::sleep_for( chrono::seconds(1) );
    unique_lock<mutex> l2(_m2 );
}

void func21()
{
    unique_lock<mutex> l2(_m2);
    this_thread::yield(); // hint to reschedule
    this_thread::sleep_for( chrono::seconds(1) );
    unique_lock<mutex> l1(_m1);
}

int main( int argc, char* argv[] )
{
    async(func12);
    func21();
    cout << "All done!"; // this won't be executed because of deadlock
    getchar();
}
Phillip Ngan
la source
5

Veuillez voir ma réponse à cette question . En bout de ligne, chaque fois que deux threads ont besoin d'acquérir deux ressources différentes, et le faire dans des ordres différents, vous pouvez obtenir des blocages.

djna
la source
2
Je ne vois pas vraiment l'utilité de dupliquer les informations d'une autre réponse ici. Je suppose que si vous pensez que cette réponse peut être améliorée, vous êtes libre de la modifier vous-même.
djna
Je pense que cette situation est appelée "inversion de verrouillage". Eh bien, je sais que cela s'appelle l'inversion de verrouillage, parce que je l'appelle ainsi, mais je pense que c'est aussi le terme d'art pour ça :-)
Steve Jessop
4

Un exemple auquel je peux penser est le scénario Table, lampe de poche et piles. Imaginez une lampe de poche et une paire de piles placées sur une table. Si vous vous dirigez vers cette table et attrapez les piles pendant qu'une autre personne a la lampe de poche, vous serez tous les deux obligés de vous regarder maladroitement en attendant qui remettra en premier son article sur la table. Ceci est un exemple de blocage. Vous et la personne attendez des ressources, mais aucun de vous n'abandonne sa ressource.

De même, dans un programme, un blocage se produit lorsque deux ou plusieurs threads (vous et l'autre personne) attendez que deux verrous ou plus (lampe de poche et piles) soient libérés et que les circonstances du programme sont telles que les verrous ne sont jamais libérés ( vous avez tous les deux une pièce du puzzle).

Si vous connaissez java, voici comment vous pouvez représenter ce problème:

import java.util.concurrent.locks.*;

public class Deadlock1 {

    public static class Table {

        private static Lock Flashlight = new ReentrantLock();
        private static Lock Batteries = new ReentrantLock();        

        public static void giveFlashLightAndBatteries() {
            try {
                Flashlight.lock();
                Batteries.lock();
                System.out.println("Lights on");
            } finally {
                Batteries.unlock();
                Flashlight.unlock();
            }
        }

        public static void giveBatteriesAndFlashLight() {
            try {
                Batteries.lock();
                Flashlight.lock();
                System.out.println("Lights on");
            } finally {
                Flashlight.unlock();
                Batteries.unlock();
            }
        }
    }

    public static void main(String[] args) {
        // This thread represents person one
        new Thread(new Runnable() {
            public void run() { Table.giveFlashLightAndBatteries(); }
        }).start();

        // This thread represents person two
        new Thread(new Runnable() {
            public void run() { Table.giveBatteriesAndFlashLight(); }
        }).start();
    }
}

Si vous exécutez cet exemple, vous remarquerez que parfois les choses fonctionnent correctement et correctement. Mais parfois, votre programme n'imprimera rien. C'est parce qu'une personne a les piles tandis qu'une autre personne a la lampe de poche qui les empêche d'allumer la lampe de poche provoquant une impasse.

Cet exemple est similaire à l'exemple donné par les tutoriels java: http://docs.oracle.com/javase/tutorial/essential/concurrency/deadlock.html

Un autre exemple est l'exemple de boucle:

public class Deadlock2 {

    public static class Loop {
        private static boolean done = false;

        public static synchronized void startLoop() throws InterruptedException {
            while(!done) {
                Thread.sleep(1000);
                System.out.println("Not done");
            }
        }

        public static synchronized void stopLoop() {
            done = true;
        }

    }

    public static void main(String[] args) {
        // This thread starts the loop
        new Thread(new Runnable() {
            public void run() {
                try {
                    Loop.startLoop();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        }).start();

        // This thread stops the loop
        new Thread(new Runnable() {
            public void run() {
                Loop.stopLoop();
            }
        }).start();
    }
}

Cet exemple peut soit imprimer «Non terminé» à plusieurs reprises, soit ne jamais afficher du tout «Non terminé». Le premier se produit parce que le premier thread acquiert le verrou de classe et ne le libère jamais, empêchant l'accès à 'stopLoop' par le second thread. Et le dernier se produit parce que le deuxième thread a démarré avant le premier thread, ce qui fait que la variable 'done' est vraie avant que le premier thread ne s'exécute.

Y_Y
la source
4
public class DeadLock {
    public static void main(String[] args) throws InterruptedException {
        Thread mainThread = Thread.currentThread();
        Thread thread1 = new Thread(new Runnable() {
            @Override
            public void run() {
                try {
                    mainThread.join();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        });
        thread1.start();
        thread1.join();
    }
}
gstackoverflow
la source
3

Je considère cependant que le problème des philosophes de la salle à manger est l'un des exemples les plus simples pour montrer les blocages, car les 4 exigences de blocage peuvent être facilement illustrées par le dessin (en particulier l'attente circulaire).

Je considère que les exemples du monde réel sont beaucoup plus déroutants pour le débutant, bien que je ne puisse pas penser à un bon scénario du monde réel du haut de ma tête pour le moment (je suis relativement inexpérimenté avec la concurrence dans le monde réel).

Julson Lim
la source
3

Je me suis récemment rendu compte que les combats entre couples ne sont rien d'autre qu'une impasse ... où généralement l'un des processus doit planter pour le résoudre, bien sûr, c'est la moindre priorité (Boy;)).

Voici l'analogie ...

Process1: Fille (G) Process2: Garçon (B)
Ressource1: Désolé Ressource2: Accepter sa propre erreur

Conditions nécessaires:
1. Exclusion mutuelle: Un seul de G ou B peut s'excuser ou accepter sa propre erreur à la fois.
2. Attendez et attendez: à un moment, on tient Désolé et l'autre en acceptant sa propre erreur, on attend d'accepter sa propre erreur pour se libérer désolé, et l'autre attend que désolé pour libérer l'acceptation de sa propre erreur.
3. Aucune préemption: même Dieu ne peut forcer B ou G à libérer Désolé ou à accepter sa propre erreur. Et volontairement? Vous plaisantez j'espère??
4. Attente circulaire: Encore une fois, celui qui est désolé attend que l'autre accepte ses propres erreurs, et celui qui accepte ses propres erreurs veut que l'autre s'excuse en premier. C'est donc circulaire.

Des impasses se produisent donc lorsque toutes ces conditions sont en vigueur en même temps, et c'est toujours le cas dans un combat de couple;)

Source: http://www.quora.com/Saurabh-Pandey-3/Posts/Never-ending-couple-fights-a-deadlock

je_am_saurabh
la source
3

Un exemple de blocage plus simple avec deux ressources différentes et deux threads en attente l'un de l'autre pour libérer la ressource. Directement à partir de examples.oreilly.com/jenut/Deadlock.java

 public class Deadlock {
  public static void main(String[] args) {
    // These are the two resource objects we'll try to get locks for
    final Object resource1 = "resource1";
    final Object resource2 = "resource2";
    // Here's the first thread.  It tries to lock resource1 then resource2
    Thread t1 = new Thread() {
      public void run() {
        // Lock resource 1
        synchronized(resource1) {
          System.out.println("Thread 1: locked resource 1");

          // Pause for a bit, simulating some file I/O or something.  
          // Basically, we just want to give the other thread a chance to
          // run.  Threads and deadlock are asynchronous things, but we're
          // trying to force deadlock to happen here...
          try { Thread.sleep(50); } catch (InterruptedException e) {}

          // Now wait 'till we can get a lock on resource 2
          synchronized(resource2) {
            System.out.println("Thread 1: locked resource 2");
          }
        }
      }
    };

    // Here's the second thread.  It tries to lock resource2 then resource1
    Thread t2 = new Thread() {
      public void run() {
        // This thread locks resource 2 right away
        synchronized(resource2) {
          System.out.println("Thread 2: locked resource 2");

          // Then it pauses, for the same reason as the first thread does
          try { Thread.sleep(50); } catch (InterruptedException e) {}

          // Then it tries to lock resource1.  But wait!  Thread 1 locked
          // resource1, and won't release it 'till it gets a lock on
          // resource2.  This thread holds the lock on resource2, and won't
          // release it 'till it gets resource1.  We're at an impasse. Neither
          // thread can run, and the program freezes up.
          synchronized(resource1) {
            System.out.println("Thread 2: locked resource 1");
          }
        }
      }
    };

    // Start the two threads. If all goes as planned, deadlock will occur, 
    // and the program will never exit.
    t1.start(); 
    t2.start();
  }
}
Bhavin Shah
la source
If all goes as planned, deadlock will occur, and the program will never exit.Pouvons-nous faire de cet exemple une guaranteeimpasse?
Erran Morad
C'est le même code que celui publié par Kyle , pourquoi ajouter une réponse en double trois ans après une autre réponse? (et pourquoi dois-je le commenter, encore trois ans plus tard?)
Simon Forsberg
2

Une impasse peut se produire dans une situation où a Girl1veut flirter avec Guy2, qui est attrapé par un autre Girl2et Girl2veut flirter avec un Guy1qui est attrapé par Girl1. Depuis, les deux filles attendent de se vider, la condition est appelée impasse.

class OuchTheGirls
{
    public static void main(String[] args)
    {
        final String resource1 = "Guy1";
        final String resource2 = "Guy2";

        // Girl1 tries to lock resource1 then resource2
        Thread Girl1 = new Thread(() ->
                                  {
                                      synchronized (resource1)
                                      {
                                          System.out.println("Thread 1: locked Guy1");

                                          try { Thread.sleep(100);} catch (Exception e) {}

                                          synchronized (resource2)
                                          {
                                              System.out.println("Thread 1: locked Guy2");
                                          }
                                      }
                                  });

        // Girl2 tries to lock Guy2 then Guy1
        Thread Girl2 = new Thread(() ->
                                  {
                                      synchronized (resource2)
                                      {
                                          System.out.println("Thread 2: locked Guy2");

                                          try { Thread.sleep(100);} catch (Exception e) {}

                                          synchronized (resource1)
                                          {
                                              System.out.println("Thread 2: locked Guy1");
                                          }
                                      }
                                  });


        Girl1.start();
        Girl2.start();
    }
}
snr
la source
1

Le problème des producteurs-consommateurs ainsi que celui des philosophes de la restauration est probablement aussi simple que cela va l'être. Il a également un pseudocode qui l'illustre. Si ceux-ci sont trop complexes pour un débutant, ils feraient mieux de faire plus d'efforts pour les comprendre.

Michael Foukarakis
la source
1

Optez pour le scénario possible simpliste dans lequel une impasse peut se produire lors de la présentation du concept à vos élèves. Cela impliquerait un minimum de deux threads et un minimum de deux ressources (je pense). Le but étant de concevoir un scénario dans lequel le premier thread a un verrou sur la ressource un, et attend que le verrou sur la ressource deux soit libéré, tandis que le thread deux détient un verrou sur la ressource deux et attend le verrou sur la ressource 1 à libérer.

Peu importe quelles sont les ressources sous-jacentes; par souci de simplicité, vous pouvez simplement en faire une paire de fichiers sur lesquels les deux threads peuvent écrire.

EDIT: Ceci suppose aucune communication inter-processus autre que les verrous maintenus.

Jon
la source
1

J'ai trouvé qu'un peu difficile à comprendre en lisant le problème des philosophes de la restauration, l'impasse à mon humble avis est en fait liée à l'allocation des ressources. Voudrais partager un exemple plus simple où 2 infirmières doivent se battre pour 3 équipements afin d'accomplir une tâche. Bien qu'il soit écrit en java. Une méthode lock () simple est créée pour simuler la façon dont le blocage se produit, afin qu'elle puisse également s'appliquer dans un autre langage de programmation. http://www.justexample.com/wp/example-of-deadlock/

Juste un exemple
la source
1

Exemple simple de https://docs.oracle.com/javase/tutorial/essential/concurrency/deadlock.html

public class Deadlock {

public static void printMessage(String message) {

    System.out.println(String.format("%s %s ", Thread.currentThread().getName(), message));

}

private static class Friend {

    private String name;

    public Friend(String name) {
        this.name = name;
    }

    public void bow(Friend friend) {

        printMessage("Acquiring lock on " + this.name);

        synchronized(this) {
            printMessage("Acquired lock on " + this.name);
            printMessage(name + " bows " + friend.name);
            friend.bowBack(this);
        }

    }

    public void bowBack(Friend friend) {

        printMessage("Acquiring lock on " + this.name);

        synchronized (this) {
            printMessage("Acquired lock on " + this.name);
            printMessage(friend.name + " bows back");
        }

    }

}

public static void main(String[] args) throws InterruptedException {

    Friend one = new Friend("one");
    Friend two = new Friend("two");

    new Thread(new Runnable() {
        @Override
        public void run() {
            one.bow(two);
        }
    }).start();

    new Thread(new Runnable() {
        @Override
        public void run() {
            two.bow(one);
        }
    }).start();
}

}

Production:

Thread-0 Acquiring lock on one 
Thread-1 Acquiring lock on two 
Thread-0 Acquired lock on one 
Thread-1 Acquired lock on two 
Thread-1 two bows one 
Thread-0 one bows two 
Thread-1 Acquiring lock on one 
Thread-0 Acquiring lock on two 

Dump de fil:

2016-03-14 12:20:09
Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.74-b02 mixed mode):

"DestroyJavaVM" #13 prio=5 os_prio=0 tid=0x00007f472400a000 nid=0x3783 waiting on condition [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"Thread-1" #12 prio=5 os_prio=0 tid=0x00007f472420d800 nid=0x37a3 waiting for monitor entry [0x00007f46e89a5000]
   java.lang.Thread.State: BLOCKED (on object monitor)
    at com.anantha.algorithms.ThreadJoin$Friend.bowBack(ThreadJoin.java:102)
    - waiting to lock <0x000000076d0583a0> (a com.anantha.algorithms.ThreadJoin$Friend)
    at com.anantha.algorithms.ThreadJoin$Friend.bow(ThreadJoin.java:92)
    - locked <0x000000076d0583e0> (a com.anantha.algorithms.ThreadJoin$Friend)
    at com.anantha.algorithms.ThreadJoin$2.run(ThreadJoin.java:141)
    at java.lang.Thread.run(Thread.java:745)

"Thread-0" #11 prio=5 os_prio=0 tid=0x00007f472420b800 nid=0x37a2 waiting for monitor entry [0x00007f46e8aa6000]
   java.lang.Thread.State: BLOCKED (on object monitor)
    at com.anantha.algorithms.ThreadJoin$Friend.bowBack(ThreadJoin.java:102)
    - waiting to lock <0x000000076d0583e0> (a com.anantha.algorithms.ThreadJoin$Friend)
    at com.anantha.algorithms.ThreadJoin$Friend.bow(ThreadJoin.java:92)
    - locked <0x000000076d0583a0> (a com.anantha.algorithms.ThreadJoin$Friend)
    at com.anantha.algorithms.ThreadJoin$1.run(ThreadJoin.java:134)
    at java.lang.Thread.run(Thread.java:745)

"Monitor Ctrl-Break" #10 daemon prio=5 os_prio=0 tid=0x00007f4724211000 nid=0x37a1 runnable [0x00007f46e8def000]
   java.lang.Thread.State: RUNNABLE
    at java.net.SocketInputStream.socketRead0(Native Method)
    at java.net.SocketInputStream.socketRead(SocketInputStream.java:116)
    at java.net.SocketInputStream.read(SocketInputStream.java:170)
    at java.net.SocketInputStream.read(SocketInputStream.java:141)
    at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
    at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
    at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
    - locked <0x000000076d20afb8> (a java.io.InputStreamReader)
    at java.io.InputStreamReader.read(InputStreamReader.java:184)
    at java.io.BufferedReader.fill(BufferedReader.java:161)
    at java.io.BufferedReader.readLine(BufferedReader.java:324)
    - locked <0x000000076d20afb8> (a java.io.InputStreamReader)
    at java.io.BufferedReader.readLine(BufferedReader.java:389)
    at com.intellij.rt.execution.application.AppMain$1.run(AppMain.java:93)
    at java.lang.Thread.run(Thread.java:745)

"Service Thread" #9 daemon prio=9 os_prio=0 tid=0x00007f47240c9800 nid=0x3794 runnable [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"C1 CompilerThread3" #8 daemon prio=9 os_prio=0 tid=0x00007f47240c6800 nid=0x3793 waiting on condition [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"C2 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00007f47240c4000 nid=0x3792 waiting on condition [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00007f47240c2800 nid=0x3791 waiting on condition [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00007f47240bf800 nid=0x3790 waiting on condition [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00007f47240be000 nid=0x378f waiting on condition [0x0000000000000000]
   java.lang.Thread.State: RUNNABLE

"Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00007f472408c000 nid=0x378e in Object.wait() [0x00007f46e98c5000]
   java.lang.Thread.State: WAITING (on object monitor)
    at java.lang.Object.wait(Native Method)
    - waiting on <0x000000076cf88ee0> (a java.lang.ref.ReferenceQueue$Lock)
    at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143)
    - locked <0x000000076cf88ee0> (a java.lang.ref.ReferenceQueue$Lock)
    at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164)
    at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209)

"Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00007f4724087800 nid=0x378d in Object.wait() [0x00007f46e99c6000]
   java.lang.Thread.State: WAITING (on object monitor)
    at java.lang.Object.wait(Native Method)
    - waiting on <0x000000076cf86b50> (a java.lang.ref.Reference$Lock)
    at java.lang.Object.wait(Object.java:502)
    at java.lang.ref.Reference.tryHandlePending(Reference.java:191)
    - locked <0x000000076cf86b50> (a java.lang.ref.Reference$Lock)
    at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153)

"VM Thread" os_prio=0 tid=0x00007f4724080000 nid=0x378c runnable 

"GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00007f472401f000 nid=0x3784 runnable 

"GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00007f4724021000 nid=0x3785 runnable 

"GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00007f4724022800 nid=0x3786 runnable 

"GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00007f4724024800 nid=0x3787 runnable 

"GC task thread#4 (ParallelGC)" os_prio=0 tid=0x00007f4724026000 nid=0x3788 runnable 

"GC task thread#5 (ParallelGC)" os_prio=0 tid=0x00007f4724028000 nid=0x3789 runnable 

"GC task thread#6 (ParallelGC)" os_prio=0 tid=0x00007f4724029800 nid=0x378a runnable 

"GC task thread#7 (ParallelGC)" os_prio=0 tid=0x00007f472402b800 nid=0x378b runnable 

"VM Periodic Task Thread" os_prio=0 tid=0x00007f47240cc800 nid=0x3795 waiting on condition 

JNI global references: 16


Found one Java-level deadlock:
=============================
"Thread-1":
  waiting to lock monitor 0x00007f46dc003f08 (object 0x000000076d0583a0, a com.anantha.algorithms.ThreadJoin$Friend),
  which is held by "Thread-0"
"Thread-0":
  waiting to lock monitor 0x00007f46dc006008 (object 0x000000076d0583e0, a com.anantha.algorithms.ThreadJoin$Friend),
  which is held by "Thread-1"

Java stack information for the threads listed above:
===================================================
"Thread-1":
    at com.anantha.algorithms.ThreadJoin$Friend.bowBack(ThreadJoin.java:102)
    - waiting to lock <0x000000076d0583a0> (a com.anantha.algorithms.ThreadJoin$Friend)
    at com.anantha.algorithms.ThreadJoin$Friend.bow(ThreadJoin.java:92)
    - locked <0x000000076d0583e0> (a com.anantha.algorithms.ThreadJoin$Friend)
    at com.anantha.algorithms.ThreadJoin$2.run(ThreadJoin.java:141)
    at java.lang.Thread.run(Thread.java:745)
"Thread-0":
    at com.anantha.algorithms.ThreadJoin$Friend.bowBack(ThreadJoin.java:102)
    - waiting to lock <0x000000076d0583e0> (a com.anantha.algorithms.ThreadJoin$Friend)
    at com.anantha.algorithms.ThreadJoin$Friend.bow(ThreadJoin.java:92)
    - locked <0x000000076d0583a0> (a com.anantha.algorithms.ThreadJoin$Friend)
    at com.anantha.algorithms.ThreadJoin$1.run(ThreadJoin.java:134)
    at java.lang.Thread.run(Thread.java:745)

Found 1 deadlock.

Heap
 PSYoungGen      total 74752K, used 9032K [0x000000076cf80000, 0x0000000772280000, 0x00000007c0000000)
  eden space 64512K, 14% used [0x000000076cf80000,0x000000076d8520e8,0x0000000770e80000)
  from space 10240K, 0% used [0x0000000771880000,0x0000000771880000,0x0000000772280000)
  to   space 10240K, 0% used [0x0000000770e80000,0x0000000770e80000,0x0000000771880000)
 ParOldGen       total 171008K, used 0K [0x00000006c6e00000, 0x00000006d1500000, 0x000000076cf80000)
  object space 171008K, 0% used [0x00000006c6e00000,0x00000006c6e00000,0x00000006d1500000)
 Metaspace       used 3183K, capacity 4500K, committed 4864K, reserved 1056768K
  class space    used 352K, capacity 388K, committed 512K, reserved 1048576K
Anantha Krishnan
la source
1

Voici une simple impasse en Java. Nous avons besoin de deux ressources pour démontrer l'impasse. Dans l'exemple ci-dessous, une ressource est un verrou de classe (via la méthode de synchronisation) et l'autre est un entier 'i'

public class DeadLock {

    static int i;
    static int k;

    public static synchronized void m1(){
        System.out.println(Thread.currentThread().getName()+" executing m1. Value of i="+i);

        if(k>0){i++;}

        while(i==0){
            System.out.println(Thread.currentThread().getName()+" waiting in m1 for i to be > 0. Value of i="+i);
            try { Thread.sleep(10000);} catch (InterruptedException e) { e.printStackTrace(); }
        }
    }

    public static void main(String[] args) {

        Thread t1 = new Thread("t1") {
            public void run() {
                m1();
            }
        };

        Thread t2 = new Thread("t2") {
            public void run() {
                try { Thread.sleep(100);} catch (InterruptedException e) { e.printStackTrace(); }
                k++;
                m1();
            }
        };

        t1.start();
        t2.start();
    }
}
ernesto
la source
1
public class DeadLock {

    public static void main(String[] args) {
        Object resource1 = new Object();
        Object resource2 = new Object();
        SharedObject s = new SharedObject(resource1, resource2);
        TestThread11 t1 = new TestThread11(s);
        TestThread22 t2 = new TestThread22(s);
        t1.start();
        t2.start();
    }

}

class SharedObject {
    Object o1, o2;
    SharedObject(Object o1, Object o2) {
        this.o1 = o1;
        this.o2 = o2;
    }
    void m1() {
        synchronized(o1) {
            System.out.println("locked on o1 from m1()");
            synchronized(o2) { 
                System.out.println("locked on o2 from m1()");
            }
        }
    }
    void m2() {
        synchronized(o2) {
            System.out.println("locked on o2 from m2()");
            synchronized(o1) { 
                System.out.println("locked on o1 from m2()");
            }
        }
    }
}

class TestThread11 extends Thread {
    SharedObject s;
    TestThread11(SharedObject s) {
        this.s = s;
    }
    public void run() {
        s.m1();
    }
}

class TestThread22 extends Thread {
    SharedObject s;
    TestThread22(SharedObject s) {
        this.s = s;
    }
    public void run() {
        s.m2();
    }
}
user3515327
la source
1
Pourriez-vous ajouter un texte pour expliquer votre réponse s'il vous plaît.
Kmeixner
1

Voici une simple impasse en C #.

void UpdateLabel(string text) {
   lock(this) {
      if(MyLabel.InvokeNeeded) {
        IAsyncResult res =  MyLable.BeginInvoke(delegate() {
             MyLable.Text = text;
            });
         MyLabel.EndInvoke(res);
        } else {
             MyLable.Text = text;
        }
    }
}

Si, un jour, vous appelez cela à partir du thread GUI et qu'un autre thread l'appelle également, vous risquez de vous bloquer. L'autre thread accède à EndInvoke, attend que le thread GUI exécute le délégué tout en maintenant le verrou. Le thread GUI se bloque sur le même verrou en attendant que l'autre thread le libère - ce qui ne sera pas le cas car le thread GUI ne sera jamais disponible pour exécuter le délégué que l'autre thread attend. (bien sûr, le verrou ici n'est pas strictement nécessaire - ni peut-être EndInvoke, mais dans un scénario légèrement plus complexe, un verrou peut être acquis par l'appelant pour d'autres raisons, entraînant le même blocage.)

nos
la source
0
package test.concurrent;
public class DeadLockTest {
   private static long sleepMillis;
   private final Object lock1 = new Object();
   private final Object lock2 = new Object();

   public static void main(String[] args) {
       sleepMillis = Long.parseLong(args[0]);
       DeadLockTest test = new DeadLockTest();
       test.doTest();
   }

   private void doTest() {
       Thread t1 = new Thread(new Runnable() {
           public void run() {
               lock12();
           }
       });
       Thread t2 = new Thread(new Runnable() {
           public void run() {
               lock21();
           }
       });
       t1.start();
       t2.start();
   }

   private void lock12() {
       synchronized (lock1) {
           sleep();
           synchronized (lock2) {
               sleep();
           }
       }
   }

   private void lock21() {
       synchronized (lock2) {
           sleep();
           synchronized (lock1) {
               sleep();
           }
       }
   }

   private void sleep() {
       try {
           Thread.sleep(sleepMillis);
       } catch (InterruptedException e) {
           e.printStackTrace();
       }
   }
}
To run the deadlock test with sleep time 1 millisecond:
java -cp . test.concurrent.DeadLockTest 1
sun007
la source
0
public class DeadlockProg {

    /**
     * @Gowtham Chitimi Reddy IIT(BHU);
     */
    public static void main(String[] args) {
        // TODO Auto-generated method stub
        final Object ob1 = new Object();
        final Object ob2 = new Object();
        Thread t1 = new Thread(){
            public void run(){
                synchronized(ob1){
                    try{
                        Thread.sleep(100);
                    }
                    catch(InterruptedException e){
                        System.out.println("Error catched");
                    }
                    synchronized(ob2){

                    }
                }

            }
        };
        Thread t2 = new Thread(){
            public void run(){
                synchronized(ob2){
                    try{
                        Thread.sleep(100);
                    }
                    catch(InterruptedException e){
                        System.out.println("Error catched");
                    }
                    synchronized(ob1){                      
                    }
                }               
            }
        };
        t1.start();
        t2.start();
    }

}
Chitimi Reddy Gowtham
la source
0
package ForkBlur;

public class DeadLockTest {
  public static void main(String args[]) {

    final DeadLockTest t1 = new DeadLockTest();
    final DeadLockTest t2 = new DeadLockTest();

    Runnable r1 = new Runnable() {

        @Override
        public void run() {
            try {

                synchronized (t1) {
                    System.out
                            .println("r1 has locked t1, now going to sleep");
                    Thread.sleep(100);
                    System.out
                            .println("r1 has awake , now going to aquire lock for t2");
                    synchronized (t2) {
                        Thread.sleep(100);
                    }
                }
            } catch (Exception e) {
                e.printStackTrace();
            }

        }
    };

    Runnable r2 = new Runnable() {

        @Override
        public void run() {
            try {

                synchronized (t2) {
                    System.out
                            .println("r2 has aquire the lock of t2 now going to sleep");
                    Thread.sleep(100);
                    System.out
                            .println("r2 is awake , now going to aquire the lock from t1");
                    synchronized (t1) {
                        Thread.sleep(100);
                    }
                }
            } catch (Exception e) {
                e.printStackTrace();
            }

        }
    };

    new Thread(r1).start();
    new Thread(r2).start();
  }
}
user3669507
la source
0

J'ai créé un exemple de DeadLock de travail ultra simple: -

package com.thread.deadlock;

public class ThreadDeadLockClient {

    public static void main(String[] args) {
        ThreadDeadLockObject1 threadDeadLockA = new ThreadDeadLockObject1("threadDeadLockA");
        ThreadDeadLockObject2 threadDeadLockB = new ThreadDeadLockObject2("threadDeadLockB");

        new Thread(new Runnable() {

            @Override
            public void run() {
                threadDeadLockA.methodA(threadDeadLockB);

            }
        }).start();

        new Thread(new Runnable() {

            @Override
            public void run() {
                threadDeadLockB.methodB(threadDeadLockA);

            }
        }).start();
    }
}

package com.thread.deadlock;

public class ThreadDeadLockObject1 {

    private String name;

    ThreadDeadLockObject1(String name){
        this.name = name;
    }

    public  synchronized void methodA(ThreadDeadLockObject2 threadDeadLockObject2) {
        System.out.println("In MethodA "+" Current Object--> "+this.getName()+" Object passed as parameter--> "+threadDeadLockObject2.getName());
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
        threadDeadLockObject2.methodB(this);
    }

    public String getName() {
        return name;
    }

    public void setName(String name) {
        this.name = name;
    }   
}

package com.thread.deadlock;

public class ThreadDeadLockObject2 {

    private String name;

    ThreadDeadLockObject2(String name){
        this.name = name;
    }

    public  synchronized void methodB(ThreadDeadLockObject1 threadDeadLockObject1) {
        System.out.println("In MethodB "+" Current Object--> "+this.getName()+" Object passed as parameter--> "+threadDeadLockObject1.getName());
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
        threadDeadLockObject1.methodA(this);
    }

    public String getName() {
        return name;
    }

    public void setName(String name) {
        this.name = name;
    }
}

Dans l'exemple ci-dessus, 2 threads exécutent les méthodes synchronisées de deux objets différents. La méthode synchronisée A est appelée par l'objet threadDeadLockA et la méthode synchronisée B est appelée par l'objet threadDeadLockB. Dans methodA, une référence de threadDeadLockB est passée et dans methodB une référence de threadDeadLockA est passée. Maintenant, chaque thread essaie de se verrouiller sur un autre objet. Dans methodA, le thread qui maintient un verrou sur threadDeadLockA essaie d'obtenir un verrou sur l'objet threadDeadLockB et de même dans methodB, le thread qui maintient un verrou sur threadDeadLockB essaie d'obtenir un verrou sur threadDeadLockA. Ainsi, les deux threads attendront indéfiniment, créant une impasse.

Goyal Vicky
la source
0

Laissez-moi vous expliquer plus clairement en utilisant un exemple ayant plus de 2 threads.

Supposons que vous ayez n threads contenant chacun les verrous L1, L2, ..., Ln respectivement. Disons maintenant qu'à partir du thread 1, chaque thread essaie d'acquérir le verrou de son thread voisin. Ainsi, le thread 1 est bloqué pour essayer d'acquérir L2 (comme L2 appartient au thread 2), le thread 2 est bloqué pour L3 et ainsi de suite. Le thread n est bloqué pour L1. Il s'agit maintenant d'un blocage car aucun thread ne peut s'exécuter.

class ImportantWork{
   synchronized void callAnother(){     
   }
   synchronized void call(ImportantWork work) throws InterruptedException{
     Thread.sleep(100);
     work.callAnother();
   }
}
class Task implements Runnable{
  ImportantWork myWork, otherWork;
  public void run(){
    try {
      myWork.call(otherWork);
    } catch (InterruptedException e) {      
    }
  }
}
class DeadlockTest{
  public static void main(String args[]){
    ImportantWork work1=new ImportantWork();
    ImportantWork work2=new ImportantWork();
    ImportantWork work3=new ImportantWork();
    Task task1=new Task(); 
    task1.myWork=work1;
    task1.otherWork=work2;

    Task task2=new Task(); 
    task2.myWork=work2;
    task2.otherWork=work3;

    Task task3=new Task(); 
    task3.myWork=work3;
    task3.otherWork=work1;

    new Thread(task1).start();
    new Thread(task2).start();
    new Thread(task3).start();
  }
}

Dans l'exemple ci-dessus, vous pouvez voir qu'il existe trois threads contenant Runnables task1, task2 et task3. Avant l'instruction, sleep(100)les threads acquièrent les verrous des trois objets de travail lorsqu'ils entrent dans la call()méthode (en raison de la présence de synchronized). Mais dès qu'ils essaient callAnother()sur l'objet de leur thread voisin, ils sont bloqués, ce qui entraîne un blocage, car les verrous de ces objets ont déjà été pris.

zafar142003
la source
0
CountDownLatch countDownLatch = new CountDownLatch(1);
ExecutorService executorService = ExecutorService executorService = Executors.newSingleThreadExecutor();
executorService.execute(() -> {
    Future<?> future = executorService.submit(() -> {
        System.out.println("generated task");
    });
    countDownLatch.countDown();
    try {
        future.get();
    } catch (InterruptedException e) {
        e.printStackTrace();
    } catch (ExecutionException e) {
         e.printStackTrace();
    }
});


countDownLatch.await();
executorService.shutdown();
gstackoverflow
la source
0

Un moyen sournois de se bloquer avec un seul thread est d'essayer de verrouiller le même mutex (non récursif) deux fois. Ce n'est peut-être pas le simple exemple que vous recherchiez, mais bien sûr, j'ai déjà rencontré de tels cas.

#include <mutex>
#include <iostream>

int main()
{
  std::mutex m;
  m.lock();
  m.lock();
  std::cout << "Expect never to get here because of a deadlock!";
}
rknuus
la source
0

Voici mon exemple détaillé de blocage , après avoir passé beaucoup de temps. J'espère que ça aide :)

package deadlock;

public class DeadlockApp {

    String s1 = "hello";
    String s2 = "world";

    Thread th1 = new Thread() {
        public void run() {
            System.out.println("Thread th1 has started");
            synchronized (s1) { //A lock is created internally (holds access of s1), lock will be released or unlocked for s1, only when it exits the block Line #23
                System.out.println("Executing first synchronized block of th1!");
                try {
                    Thread.sleep(1000);
                } catch(InterruptedException ex) {
                    System.out.println("Exception is caught in th1");
                }
                System.out.println("Waiting for the lock to be released from parrallel thread th1");
                synchronized (s2) { //As another has runned parallely Line #32, lock has been created for s2
                    System.out.println(s1 + s2);
                }

            }
            System.out.println("Thread th1 has executed");
        }
    };


    Thread th2 = new Thread() {
        public void run() {
            System.out.println("Thread th2 has started");
            synchronized (s2) { //A lock is created internally (holds access of s2), lock will be released or unlocked for s2, only when it exits the block Line #44
                System.out.println("Executing first synchronized block of th2!");
                try {
                    Thread.sleep(1000);
                } catch(InterruptedException ex) {
                    System.out.println("Exception is caught in th2");
                }
                System.out.println("Waiting for the lock to be released from parrallel thread th2");
                synchronized (s1) { //As another has runned parallely Line #11, lock has been created for s1
                    System.out.println(s1 + s2);
                }

            }
            System.out.println("Thread th2 has executed");
        }
    };

    public static void main(String[] args) {
        DeadlockApp deadLock = new DeadlockApp();
        deadLock.th1.start();
        deadLock.th2.start();
        //Line #51 and #52 runs parallely on executing the program, a lock is created inside synchronized method
        //A lock is nothing but, something like a blocker or wall, which holds access of the variable from being used by others.
        //Locked object is accessible, only when it is unlocked (i.e exiting  the synchronized block)
        //Lock cannot be created for primitive types (ex: int, float, double)
        //Dont forget to add thread.sleep(time) because if not added, then object access will not be at same time for both threads to create Deadlock (not actual runtime with lots of threads) 
        //This is a simple program, so we added sleep90 to create Deadlock, it will execute successfully, if it is removed. 
    }

    //Happy coding -- Parthasarathy S
}
Parthasarathy S
la source