Differences

This shows you the differences between two versions of the page.

--- java:deadlock [2015/03/30 05:28]
gthanos
+++ java:deadlock [2015/03/30 06:06]
gthanos
@@ Line 45: / Line 45: @@
     final TreeNode child = new TreeNode("child");
     final TreeNode parent = new TreeNode("parent");
-    new Thread(new Runnable() {
+    Thread a = new Thread(new Runnable() {
       public void run() { child.setParent(parent); }
-    }).start();
+    });
-    new Thread(new Runnable() {
+    a.start();
+    Thread b = new Thread(new Runnable() {
       public void run() { parent.addChild(child); }
-    }).start();
+    });
+    b.start();
   }
 }
 </code>
+Στο παραπάνω παράδειγμα το Thread a λαμβάνει το lock που αντιστοιχεί στο child και στη συνέχεια επιχειρεί να λάβει το lock του parent. Αντίστροφα, το Thread b λαμβάνει το lock που αντιστοιχεί στο αντικείμενο parent και στη συνέχεια επιχειρεί να λάβει το lock του child. Όπως φαίνεται και στο παρακάτω σχήμα η σειρά κλειδώματος δημιουργεί το πρόβλημα.
+<code>
+Thread a: child.setParent(parent); //locks child
+          --> parent.addChildOnly()
+Thread b: parent.addChild(child); //locks parent
+          --> child.setParentOnly(parent);
+</code>
+===== Deadlocks μεταξύ περισσοτέρων νημάτων =====
+Εκτός από το παραπάνω απλό παράδειγμα, μπορείτε να έχετε deadlocks όπου εμπλέκονται πολλά διαφορετικά νήματα, όπως παρακάτω
+<code>
+Thread 1:  locks A, waits for B
+Thread 2:  locks B, waits for C
+Thread 3:  locks C, waits for D
+Thread 4:  locks D, waits for A
+</code>
+====== Τρόποι αποφυγής Deadlock ======
+===== Lock Ordering =====
+Ο τρόπος για να αποφεύγετε την ύπαρξη deadlocks στον κώδικα σας είναι να κλειδώνετε πάντα τους πόρους με την ίδια σειρά. Με αυτό τον τρόπο θα αποφύγετε τα προβλήματα που δημιοιυργεί η αντιστροφή στη σειρά κλειδώματος. Στο παρακάτω παράδειγμα, η διατήρηση της σειράς κλειδώματος εγγυάται ότι δεν θα συναντήσετε κάποιο deadlock.
+<code>
+Thread 1:
+  lock A
+  lock B
+Thread 2:
+   wait for A
+   lock C (when A locked)
+Thread 3:
+   wait for A
+   wait for B
+   wait for C
+</code>
+===== Lock Timeouts =====
+Ένας άλλος τρόπος για να αποφύγετε καταστάσεις Deadlock είναι τα νήματα να περιμένουν για ένα χρονικό διάστημα προκειμένου να αποκτήσουν όλα τα locks που θέλουν. Αν αποτύχουν μέσα στο συγκεκριμένο χρονικό διάστημα απελευθερώνουν όλα τα locks που έχουν λάβει, περιμένουν για ένα τυχαίο χρονικό διάστημα και στην συνέχεια να προσπαθούν να ξανακλειδώσουν τα locks με την ίδια σειρά. Δείτε το παρακάτω παράδειγμα:
+<code>
+Thread 1 locks A
+Thread 2 locks B
+Thread 1 attempts to lock B but is blocked
+Thread 2 attempts to lock A but is blocked
+Thread 1's lock attempt on B times out
+Thread 1 backs up and releases A as well
+Thread 1 waits randomly (e.g. 257 millis) before retrying.
+Thread 2's lock attempt on A times out
+Thread 2 backs up and releases B as well
+Thread 2 waits randomly (e.g. 43 millis) before retrying.
+</code>
+Το παραπάνω σενάριο έχει 2 μειονεκτήματα. Αφενός εισάγει καθυστερήσεις καθώς τα νήματα απελευθερώνουν τα locks και περιμένουν πριν επιχειρήσουν να ξανακλειδώσουν, αφετέρου αν υπάρχουν πρϋποθέσεις deadlock αυτές είναι πολύ πιθανό να ξαναεμφανιστούν σε επόμενες προσπάθειες κλειδώματος των ιδίων πόρων.

Αντικειμενοστραφής Προγραμματισμός, Εφαρμογές με χρήση της γλώσσας προγραμματισμού JAVA

User Tools

Site Tools

Differences

Page Tools