java:deadlock
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
java:deadlock [2015/03/30 05:27] – gthanos | java:deadlock [2018/03/09 11:33] (current) – [Lock Timeouts] gthanos | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Αδιέξοδο στην χρήση των πόρων και πως να το αποφύγετε ====== | ====== Αδιέξοδο στην χρήση των πόρων και πως να το αποφύγετε ====== | ||
- | A deadlock is when two or more threads are blocked waiting to obtain locks that some of the other threads in the deadlock are holding. Deadlock can occur when multiple threads need the same locks, at the same time, but obtain them in different order. | + | Ένα αδιέξοδο στην χρήση των πόρων συμβαίνει όταν δύο νήματα |
- | + | ||
- | For instance, if thread 1 locks A, and tries to lock B, and thread 2 has already locked B, and tries to lock A, a deadlock arises. Thread 1 can never get B, and thread 2 can never get A. In addition, neither of them will ever know. They will remain blocked on each their object, A and B, forever. This situation is a deadlock. | + | |
- | + | ||
- | The situation is illustrated below: | + | |
- | + | ||
- | Ένα αδιέξοδο στην χρήση των πόρων συμβαίνει όταν δύο νήματα A, B μπλοκάρονται επιχειρώντας τα κλειδώσουν ταυτόχρονα τα ίδια locks με αντίστροφη σειρά. Ας υποθέσουμε ότι το νήμα Α κλειδώνει το lockA και περιμένει να κλειδώσει και το lockB. Αντίστροφά το νήμα Β κλειδώνει το lockB και περιμένει να κλειδώσει και το lockA. Σε αυτή την περίπτωση, | + | |
<code java TreeNode.java> | <code java TreeNode.java> | ||
Line 51: | Line 45: | ||
final TreeNode child = new TreeNode(" | final TreeNode child = new TreeNode(" | ||
final TreeNode parent = new TreeNode(" | final TreeNode parent = new TreeNode(" | ||
- | new Thread(new Runnable() { | + | |
public void run() { child.setParent(parent); | public void run() { child.setParent(parent); | ||
- | }).start(); | + | }); |
- | new Thread(new Runnable() { | + | a.start(); |
+ | | ||
public void run() { parent.addChild(child); | public void run() { parent.addChild(child); | ||
- | }).start(); | + | }); |
- | + | b.start(); | |
} | } | ||
} | } | ||
</ | </ | ||
+ | |||
+ | Στο παραπάνω παράδειγμα το Thread **a** λαμβάνει το lock που αντιστοιχεί στο child και στη συνέχεια επιχειρεί να λάβει το lock του parent. Αντίστροφα, | ||
+ | < | ||
+ | Thread a: child.setParent(parent); | ||
+ | --> parent.addChildOnly() | ||
+ | Thread b: parent.addChild(child); | ||
+ | --> child.setParentOnly(parent); | ||
+ | </ | ||
+ | |||
+ | ===== Deadlocks μεταξύ περισσοτέρων νημάτων ===== | ||
+ | |||
+ | Εκτός από το παραπάνω απλό παράδειγμα, | ||
+ | < | ||
+ | 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 | ||
+ | </ | ||
+ | |||
+ | ====== Τρόποι αποφυγής Deadlock ====== | ||
+ | |||
+ | ===== Lock Ordering ===== | ||
+ | |||
+ | Ο τρόπος για να αποφεύγετε την ύπαρξη deadlocks στον κώδικα σας είναι να κλειδώνετε πάντα τους πόρους με την ίδια σειρά. Με αυτό τον τρόπο θα αποφύγετε τα προβλήματα που δημιοιυργεί η αντιστροφή στη σειρά κλειδώματος. Στο παρακάτω παράδειγμα, | ||
+ | < | ||
+ | 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 | ||
+ | </ | ||
+ | |||
+ | ===== Lock Timeouts ===== | ||
+ | |||
+ | Ένας άλλος τρόπος για να αποφύγετε καταστάσεις Deadlock είναι τα νήματα να περιμένουν για ένα χρονικό διάστημα προκειμένου να αποκτήσουν όλα τα locks που θέλουν. Αν αποτύχουν μέσα στο συγκεκριμένο χρονικό διάστημα απελευθερώνουν όλα τα locks που έχουν λάβει, περιμένουν για **ένα τυχαίο χρονικό διάστημα** και στην συνέχεια να προσπαθούν να ξανακλειδώσουν τα locks με την ίδια σειρά. Δείτε το παρακάτω παράδειγμα: | ||
+ | < | ||
+ | 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. | ||
+ | </ | ||
+ | |||
+ | Το παραπάνω σενάριο έχει 2 μειονεκτήματα. Αφενός εισάγει καθυστερήσεις καθώς τα νήματα απελευθερώνουν τα locks και περιμένουν πριν επιχειρήσουν να ξανακλειδώσουν, | ||
+ | |||
+ | |Προηγούμενο: | ||
java/deadlock.1427693265.txt.gz · Last modified: 2015/03/30 04:27 (external edit)