Differences

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

--- java:thread_memory_model [2017/03/18 10:51]
gthanos [Το μοντέλο μνήμης για τους αναφορικούς τύπους δεδομένων]
+++ java:thread_memory_model [2018/03/08 09:31]
gthanos [Στατικές μεταβλητές της κλάσης]
@@ Line 17: / Line 17: @@
 Το μοντέλο μνήμης στην Java δίνεται από το παρακάτω σχήμα. Κάθε νήμα διαθέτει την δική του στοίβα (stack), όπου αποθηκεύονται οι τιμές των τοπικών μεταβλητών. Κάθε νήμα έχει πρόσβαση αποκλειστικά στην δική του στοίβα, χωρίς δυνατότητα πρόσβασης στις στοίβες άλλων νημάτων. Παράλληλα υπάρχει και ο κοινός χώρος αποθήκευσης δεδομένων (το λεγόμενο Heap), όπου αποθηκεύονται όλα τα αντικείμενα που δημιουργούνται κατά την εκτέλεση του προγράμματος.
-{{:java:java-memory-model-1.png?400 | }} Το διπλανό σχήμα αποτυπώνει το βασικό μοντέλο μνήμης. Διακρίνονται το stack όπου αποθηκεύονται οι τοπικές μεταβλητές των μεθόδων που εκτελούνται από κάθε νήμα και το Heap που αποθηκεύονται τα αντικείμενα που δημιουργούνται από όλα τα νήματα.
+{{  :java:thread_stack_heap.png?400 | Το σχήμα αποτυπώνει το βασικό μοντέλο μνήμης. Διακρίνονται το stack όπου αποθηκεύονται οι τοπικές μεταβλητές των μεθόδων που εκτελούνται από κάθε νήμα και το Heap που αποθηκεύονται τα αντικείμενα που δημιουργούνται από όλα τα νήματα. }}
-Εάν μία τοπική μεταβλητή είναι αναφορικού τύπου η μεταβλητή αποθηκεύεται στο stack, όμως το αντικείμενο στο οποίο δείχνει αποθηκεύεται στο heap.
+===== Το μοντέλο μνήμης των μεταβλητών =====
-Επίσης, μεταβλητές που αποτελούν πεδία της κλάσης που υλοποιεί το νήμα (implements Runnable ή extends Thread) είναι προσβάσιμες μόνο από το συγκεκριμένο νήμα. Στην περίπτωση που ένα τέτοιο πεδίο είναι αναφορικού τύπου είναι δυνατόν διαφορετικές μεταβλητές να δείχνουν στο ίδιο αντικείμενο, δηλαδή πολλαπλά νήματα να διαχειρίζονται την ίδια μεταβλητή.
+==== Μεταβλητές ως παράμετροι μεθόδων ====
+=== Βασικοί τύποι δεδομένων ως παράμετροι μεθόδων ===
-===== Τοπικές Μεταβλητές =====
+Κάθε τοπική μεταβλητή αποθηκεύεται στη στοίβα (//stack//). Για τις τοπικές μεταβλητές βασικού τύπου (//int, byte, long, double//) που γνωρίζουμε εκ των προτέρων το μέγεθος τους αυτές αποθηκεύονται στη στοίβα. Στο παρακάτω παράδειγμα, έχουμε τις μεταβλητές //a, b, c//. Και οι τρεις μεταβλητές είναι τοπικές δημιουργούνται στην στοίβα του νήματος και καταστρέφονται μετά από την εκτέλεση της μεθόδου //add//.  Κανένα άλλο νήμα δεν μπορεί να έχει πρόσβαση σε τοπικές μεταβλητές βασικού τύπου.
-=== Το μοντέλο μνήμης για τους βασικούς τύπους δεδομένων ===
-Κάθε τοπική μεταβλητή αποθηκεύεται στο stack. Για τις τοπικές μεταβλητές βασικού τύπου (//int, byte, long, double//) που γνωρίζουμε εκ των προτέρων το μήκος τους αυτές αποθηκεύονται στη στοίβα. Στο παρακάτω παράδειγμα, έχουμε τις μεταβλητές //a, b, c//. Και οι τρεις μεταβλητές είναι τοπικές δημιουργούνται στην στοίβα του νήματος και καταστρέφονται μετά από την εκτέλεση της μεθόδου //add//.  Κανένα άλλο νήμα δεν μπορεί να έχει πρόσβαση σε τοπικές μεταβλητές βασικού τύπου.
 <code java>
   int add(int a, int b) {
@@ Line 36: / Line 33: @@
 </code>
+=== Αναφορικοί τύποι δεδομένων ως παράμετροι μεθόδων ===
-=== Το μοντέλο μνήμης για τους αναφορικούς τύπους δεδομένων ===
+Όταν δημιουργείται ένα αντικείμενο το οποίο ανατίθεται σε μία τοπική μεταβλητή ενός νήματος, τότε η τοπική μεταβλητή παρέχει μία αναφορά προς το αντικείμενο αυτό. Η τοπική μεταβλητή είναι αποθηκευμένη στο //stack//, αλλά το αντικείμενο στο οποίο δείχνει η μεταβλητή είναι αποθηκευμένο στο //heap//. Στο παρακάτω παράδειγμα, οι μεταβλητές //a, b, sum, referenceSum// είναι τοπικές. Οι //a, b, referenceSum// όμως δείχνουν σε αντικείμενα τύπου //Integer// τα οποία είναι αποθηκευμένα στο Heap. Η ζωή των αντικειμένων αυτών εξαρτάται από το κατά πόσο εξακολουθούν να υπάρχουν αναφορές προς αυτά από τοπικές μεταβλητές ή πεδία αντικειμένων ή στατικές μεταβλητές.
-Όταν δημιουργείται ένα αντικείμενο το οποίο ανατίθεται σε μία τοπική μεταβλητή ενός νήματος, τότε η τοπική μεταβλητή παρέχει μία αναφορά προς το αντικείμενο αυτό. Η τοπική μεταβλητή είναι αποθηκευμένη στο //stack//, αλλά το αντικείμενο είναι αποθηκευμένο στο //heap//. Στο παρακάτω παράδειγμα, οι μεταβλητές //a, b, sum, referenceSum// είναι τοπικές. Οι //a, b, referenceSum// όμως δείχνουν σε αντικείμενα τύπου //Integer// τα οποία είναι αποθηκευμένα στο Heap. η ζωή των αντικειμένων αυτών συνδέεται με το κατά πόσο εξακολουθούν να υπάρχουν αναφορές προς αυτά από τοπικές μεταβλητές ή πεδία αντικειμένων ή στατικές μεταβλητές.
+<WRAP tip 80% center round>
+Αντικείμενα που είναι αποθηκευμένα στο //heap// είναι δυνατόν να διαμοιράζονται με άλλα νήματα ανεξάρτητα από την τοπικότητα ή μη των μεταβλητών που δείχνουν σε αυτά.
+</WRAP>
 <code java>
@@ Line 49: / Line 49: @@
 </code>
-Συμπερασματικά:
-  - Μία τοπική μεταβλητή βασικού τύπου (int, long, byte, double etc) αποθηκεύεται στο stack
-  - Μία τοπική μεταβλητή ενός αναφορικού τόπου αποθηκεύει την αναφορά στο stack, αλλά το αντικείμενο στο heap.
-  - Κάθε μέθοδος ενός αντικειμένου (που είναι αποθηκευμένο στο stack), εφόσον έχει τοπικές μεταβλητές αυτές αποθηκεύονται στο stack (ισχύουν τα παραπάνω για βασικούς και αναφορικούς τύπους).
-  - Οι στατικές μεταβλητές ανήκουν στις κλάσεις τις οποίες ορίζονται κατά συνέπεια είναι αποθηκευμένες πάντοτε στο heap.
-===== Ένα πιο σύνθετο παράδειγμα =====
+==== Μεταβλητές ως πεδία της κλάσης που υλοποιεί ένα νήμα ====
-{{  :java:java-memory-model3.png?400  }}
+Κάθε κλάση που υλοποιεί ένα νήμα (//implements Runnable// ή //extends Thread//) μπορεί να έχει πεδία βασικού ή αναφορικού τύπου. Οι μεταβλητές που είναι πεδία βασικού τύπου αν και αποθηκεύονται στο //heap// (μαζί με το αντικείμενο) είναι προσβάσιμες μόνο από το συγκεκριμένο νήμα. //Εξαίρεση αποτελεί εάν το συγκεκριμένο νήμα παρέχεται ως παράμετρος σε άλλα νήματα.//
-Στο παραπάνω σχηματικό διάγραμμα δίνονται δύο νήματα με διαφορετικά //stack// τα οποία περιέχουν τοπικές μεταβλητές. Κάποιες από τις μεταβλητές αυτές δείχνουν σε αντικείμενα που με τη σειρά τους δείχνουν σε άλλα αντικείμενα. Το παραπάνω σχηματικό διάγραμμα απεικονίζει τον παρακάτω κώδικα.
+Αντίθετα, μεταβλητές που είναι αναφορικού τύπου παρά το γεγονός ότι είναι διαφορετικές για κάθε νήμα είναι δυνατόν να δείχνουν σε αντικείμενα που είναι κοινά με άλλα νήματα. Δείτε το παρακάτω παράδειγμα κώδικα, όπου τα δύο νήματα της κλάσης //BasicThread// διαμοιράζονται ένα αντικείμενο της κλάσης //SharedObj//.
+<code java BasicThread.java>
+public class BasicThread extends Thread {
+  SharedObj shared;
+  public BasicThread(SharedObj obj) { shared = obj; }
+  public void run() {
+    int localInt = 45;
+    Integer localInteger = new Integer(58);
+    shared.member++;
+  }
+  public static void main(String []args) {
+    SharedObj obj = new SharedObj();
+    new BasicThread(obj).start();
+    new BasicThread(obj).start();
+  }
+}
+class SharedObj {
+  public Integer object = new Integer(22);
+  public long member = 12345;
+}
+</code>
+Παρακάτω δίνεται η σχηματική αναπαράσταση εκτέλεσης των δύο νημάτων της κλάσης //BasicThread//.
+{{ :java:basic_thread_stack.png?500 |}}
+===== Στατικές μεταβλητές της κλάσης =====
+Στο παρακάτω κώδικα δύο νήματα της κλάσης //MyThread// διαμοιράζονται μέσω μίας τοπικής μεταβλητής το ίδιο στατικό πεδίο της κλάσης //SharedObj//. Καθώς το πεδίο είναι αναφορικού τύπου αποθηκεύεται στο //heap// και είναι προσβάσιμο και από τα δύο πεδία.
 <code java MyThread.java>
@@ Line 66: / Line 96: @@
   public void run() {
     int localInt = 45;
-    MySharedObject localObj = MySharedObject.sharedInstance;
+    SharedObj localObj = SharedObj.sharedInstance;
+    localObj.member++;
   }
@@ Line 75: / Line 106: @@
 }
-class MySharedObject {
+class SharedObj {
-  public static MySharedObject sharedInstance = new MySharedObject();
+  public static SharedObj sharedInstance = new SharedObj();
+  public Integer object = new Integer(22);
-  public Integer object2 = new Integer(22);
+  public long member = 12345;
-  public Integer object4 = new Integer(44);
-  public long member1 = 12345;
-  public long member2 = 67890;
 }
 </code>
+{{  :java:java-memory-model3.png?500  }}
+Στο παραπάνω διάγραμμα δίνεται σχηματικά η εκτέλεση του παραπάνω κώδικα.
+<WRAP tip 80% center round>
+=== Συμπερασματικά ===
+  - Μία τοπική μεταβλητή βασικού τύπου (int, long, byte, double etc) αποθηκεύεται στο stack.
+  - Μία τοπική μεταβλητή ενός αναφορικού τόπου αποθηκεύει την αναφορά στο stack, αλλά το αντικείμενο στο heap.
+  - Οποιοδήποτε πεδίο της κλάσης ενός νήματος αποθηκεύεται στο heap μαζί με το αντικείμενο. Όλα τα πεδία  βασικού τύπου είναι προσβάσιμα μόνο από το νήμα. Όλα τα πεδία αναφορικού τύπου μπορούν να είναι προσβάσιμα από περισσότερα του ενός νήματα.
+  - Οι στατικές μεταβλητές ανήκουν στις κλάσεις τις οποίες ορίζονται κατά συνέπεια είναι αποθηκευμένες πάντοτε στο heap.
+</WRAP>
+|Προηγούμενο: [[:java:synchronization | Προβλήματα συγχρονισμού κατά την χρήση διαμοιραζόμενων πόρων  ]] | [[:toc | Περιεχόμενα ]] | Επόμενο: [[:java:synchronized_methods_blocks| Συγχρονισμένες μέθοδοι και blocks ]]|

Αντικειμενοστραφής Προγραμματισμός

User Tools

Site Tools

Differences

Page Tools