Design & Architecture

Re: Design patterns introduction

Παναγιώτης Καναβός — Sat, 15 Jan 2005 02:33:33 GMT

Σχεδόν παίζει αλλά δεν χρειάζεται! Η ευκολότερη υλοποίηση είναι να ορίζεις και να δημιουργείς το instance σαν static μεταβλητή. Το πρόβλημα στη C++ είναι ότι η σειρά με την οποία δημιουργούνται τα global αντικείμενα δεν εξασφαλισμένη. Αυτό σημαίνει ότι αν ένα Singleton χρησιμοποιεί ένα άλλο Singleton, μπορεί να υπάρξουν λάθη.
Τόσο στη C# όσο και στη VB.NET μια static(shared) μεταβλητή γίνεται initialize οπωσδήποτε πριν την χρησιμοποιήσει ο οποιοσδήποτε. Στο specification της VB αναφέρει For Shared variables, variable initializers correspond to assignment statements that are executed after the program begins, but before the Shared variable is first referenced. (§9.6.3 Variable Initializers)

Έτσι άνετα μπορείς να γράψεις το singleton ως:

 
public sealed class Singleton
{
   static readonly Singleton instance=new Singleton();
   // Explicit static constructor to tell C# compiler   
   // not to mark type as beforefieldinit
   static Singleton() { } 
 
   Singleton() { } 
 
   public static Singleton Instance 
   {
      get { return instance; } 
   } 
}

Το instance θα δημιουργηθεί την πρώτη φορά που θα κληθεί κάποιο static member του Singleton. Επειδή εδώ μόνο το Instance() μπορεί να κληθεί, το lazy instantiation παίζει τέλεια. Αν πρόσθετες και άλλα static members, το πράγμα θα ήταν πιο αβέβαιο.

Δες και ένα πολύ καλό άρθρο Implementing the Singleton Pattern in C#, το οποίο αναλύει διεξοδικότατα το Singleton.

Να εξηγήσω τί σημαίνει το σχεδόν παίζει για το double-checked locking. Το double-checked locking παίζει αν υπάρχει μόνο ένας επεξεργαστής. Διαφορετικά τίποτα δεν εμποδίζει δύο threads, σε δύο διαφορετικούς επεξεργαστές να πιάσουν το ίδιο lock. Τουλάχιστον, το .NET δεν βάζει αυτό τον περιορισμό. Τον βάζουν όμως οι επεξεργαστές Intel. Αν η Intel αλλάξει ποτέ το memory model των επεξεργαστών το double-checked locking θα αποτύχει.

Αυτό δεν είναι τόσο απίθανο όσο ακούγεται. Μπορεί π.χ. να βγάλει η Intel ή η AMD ένα νέο dual-core τσιπάκι, με δύο mode λειτουργίας, συμβατό και Turbo με χαλαρότερο memory model για καλύτερες επιδόσεις.

Re: Design patterns introduction

cap — Fri, 14 Jan 2005 19:40:41 GMT

Ξερω οτι μιλάμε γενικα για patterns, αλλά "πιάστηκα" από την προηγούμενη αναφορά...

Μια και λέμε για doubly-checked, αυτό παίζει; (Αν δεν ταιριάζει εδώ η απάντηση, παρακαλώ ενημερώστε με)
(τα comments είναι από VBXC)

 

Public Class Singleton'/// <summary>
'/// The member variable that will hold the single instance of this object.
'/// </summary>
Private Shared m_Singleton As Singleton

'/// <summary>
'/// A dummy synchronization object to be used by SyncLock.
'/// This is ReadOnly and Shared, so it gets initialized ONLY ONCE.
'/// </summary>
Private Shared ReadOnly m_objDummySyncLockObject As Object = New Object

'/// <summary>
'/// Declare the default constructor as private, so that only the
'/// public shared construction function can be used.
'/// </summary>
Private Sub New()
   'Put the initialization code here.
End Sub

'/// <summary>
'/// Get this singleton object instance.
'/// </summary>
'/// <returns>
'/// The single instance of this class.
'/// </returns>
Public Shared Function Instance () As Singleton

'Check if the object has been initialized using a double-checked locking pattern.
If (IsNothing(m_Singleton) = True) Then

'Lock on a synchronization dummy object.
'Since this object is shared, no other threads are allowed to access this
'portion of the code before the lock is released.
SyncLock (m_objDummySyncLockObject)

'Double-Check that the object still has not been 
'initialized by any other thread
If (IsNothing(m_Singleton) = True) Then

'Create the single new object
m_Singleton = New Singleton()

End If

End SyncLock

End If

'Return the single instance of this object
Return m_Singleton

End Function

End Class

Re: Design patterns introduction

Παναγιώτης Καναβός — Wed, 10 Nov 2004 20:48:17 GMT

Καλή αλλά λιτή η λίστα. Αναφέρει τις τυπικές υλοποιήσεις των patterns αλλά δεν συζητάει τα γνωστά προβλήματα και πως αντιμετωπίζονται. Βέβαια, το ίδιο πρόβλημα έχω συναντήσει και σε βιβλία με patterns για C#.

Παράδειγμα, το Singleton. Είναι γνωστό ότι η τυπική υλοποίηση δεν είναι thread safe. Ένας συνηθισμένος τρόπος να αντιμετωπιστεί αυτό είναι με χρήση locking και μάλιστα με double checked locking. Το μειονέκτημα είναι τα locks που πρέπει να πιάσει ο κώδικας. Η περιγραφή του Singleton δεν αναφέρει τίποτα για το πρόβλημα, αλλά το real-world example χρησιμοποιεί double checked locking.

Έδώ που τα λέμε, η λίστα βρίσκεται στο site εκπαιδευτικής εταιρείας, οπότε λογικό είναι να μην λένε όλη την ιστορία, αλλιώς τί θα πουλησουν?

Design patterns introduction

papageor — Wed, 10 Nov 2004 19:12:56 GMT

Ένα πολύ καλό site στο οποίο αναπτύσσονται διεξοδικά διάφορα design patterns σε C# είναι το:

http://www.dofactory.com/patterns/Patterns.aspx