Concurrencia en.net David Jesús Horat Flotats

Transcripción

1 Concurrencia en.net David Jesús Horat Flotats

2 ÍNDICE 1. Introducción n a.net 2. Sincronización n en.net 2.1 Contextos sincronizados 2.2 Método M Synchronized 2.3 Regiones de código c sincronizado 2.4 Sincronización n manual

3 1. Introducción n a.net Es un conjunto de tecnologías Su núcleo n es el CLR Common Language Runtime Entorno Común n de Ejecución Traduce de MSIL a Lenguaje MáquinaM Microsoft Intermediate Language Lenguaje Intermedio de Microsoft Similar a los ByteCodes de Java Compilador JIT (Just( In Time)

4 1. Introducción n a.net.net Framework Jerarquía a de objetos Independientes del lenguaje escogido Los lenguajes usan el.net Framework y compilan a MSIL, por lo cual son independientes de la plataforma.net Framework en Windows Mono en Linux

5 1. Introducción n a.net Visual Basic.NET Sintaxis de VB adaptada y mejorada para usar.net Framework Es el que usaremos para los ejemplos C++ C# Nuevo lenguaje de programación C++ mejorado? Definición n abierta y compilador gratuito

6 2. Sincronización n en.net Contextos sincronizados Se puede utilizar el atributo SynchronizationAttribute para habilitar la sincronización n automática tica y simple de objetos ContextBoundObject Método Synchronized Algunas clases proporcionan una propiedad Synchronized que devuelve un contenedor seguro para subprocesos a una instancia de la clase Monitor

7 2. Sincronización n en.net Regiones de código c sincronizado Podemos usar la clase monitores para sincronizar partes concretas de códigoc Sincronización n manual Podemos utilizar varios objetos de sincronización para crear mecanismos de sincronización n propios

8 2.1 Contextos sincronizados Un contexto es un conjunto de propiedades o reglas sintácticas que definen el entorno donde reside una colección n de objetos Las reglas se aplican cuando los objetos entran o salen de un contexto Los contextos se crean durante la activación n de los objetos

9 2.1 Contextos sincronizados Para que un clase esté en un contexto, debe heredar ContextBoundObject Cuando se aplica el atributo SynchronizationAttribute a un objeto, sólo s se puede estar ejecutando un subproceso en todos los contextos que compartan una instancia de esta propiedad

10 2.1 Contextos sincronizados Visual Basic <Synchronization()> Public Class Ejemplo Inherits ContextBoundObject Public Function Cuadrado (i as integer) as integer Return i * i End Function End Class C# [Synchronization()] public class SampleSyncronized : ContextBoundObject { public int Cuadrado (int i) { return i * i; } }

11 2.1 Contextos sincronizados Sincronización n completa de la clase mediante la serialización de la entrada a dicho objeto Falta de eficiencia, ya que posiblemente estemos sincronizando partes que no hacían an falta No se recomienda está práctica para usuarios expertos

12 2.2 Método M Synchronized Algunas clases del espacio de nombres System.Collections proporcionan un método m Synchronized que devuelve un contenedor seguro para subprocesos a una instancia de la clase Monitor Hashtable Queue

13 2.2 Método M Synchronized Visual Basic Imports System Imports System.Collections Public Class SamplesHashtable Public Shared Sub Main() Dim myht As New Hashtable() ' Creamos un HashTable Creamos un envoltorio sincronizado sobre el mismo HashTable Dim mysyncdht As Hashtable = Hashtable.Synchronized(myHT) Visualizamos en pantalla If mysyncht.issynchronized Then Console.WriteLine( mysyncdht está sincronizado ) Else Console.WriteLine( mysyncdht no está sincronizado ) End If End Sub End Class

14 2.2 Método M Synchronized Si la colección n que queremos usar no implementa el método m Synchronized,, podemos derivar la clase e implementar un método m Synchronized utilizando la propiedad SyncRoot La clase Array no se pueden derivar, por lo que el único método m para sincronizarla es un usando monitores

15 2.3 Regiones de código c sincronizado System.Threading.Monitor La clase Monitor proporciona un mecanismo que sincroniza el acceso a los objetos Características principales: Está asociada a un objeto a petición Se puede llamar desde cualquier contexto No se puede crear una instancia de Monitor

16 2.3 Regiones de código c sincronizado System.Threading.Monitor void Enter (object) void Exit (object) bool TryEnter (object) bool Wait (object) void Pulse (object( object) void PulseAll (object)

17 2.3 Regiones de código c void Enter (object) sincronizado Adquiere el cerrojo del objeto void Exit (object) Libera el cerrojo del objeto bool TryEnter (object) Intenta adquirir el cerrojo del objeto y devuelve verdadero si lo consiguió y falso si no lo consiguió

18 2.3 Regiones de código c sincronizado bool TryEnter (object, int) Intenta adquirir el cerrojo del objeto durante un cierto tiempo (int( int) ) especificado en segundos y devuelve verdadero si lo consiguió y falso si no lo consiguió bool TryEnter (object, TimeSpan) Intenta adquirir el cerrojo del objeto durante un periodo de tiempo especificado en TimeSpan y devuelve verdadero si lo consiguió y falso si no lo consiguió

19 2.3 Regiones de código c bool Wait (object) sincronizado Libera el bloque del objeto y se pone a la espera Devuelve true si consigue salir del bloqueo bool Wait (object, int) Int = tiempo en segundos bool Wait (object, TimeSpan) TimeSpan = periodo de tiempo

20 2.3 Regiones de código c void Pulse (object( object) sincronizado Notifica a un proceso de la cola de espera de Object para que se despierte void PulseAll (object) Notifica a todos los procesos de la cola de espera de Object para que se despierten

21 2.3 Regiones de código c sincronizado Podemos usar palabras clave que simulan monitor.enter y monitor.exit C# VB Lock (Object)) { Bloque de código c } SyncLock (Object) Bloque de códigoc End SyncLock

22 2.4 Sincronización n manual System.Threading.Thread Constructor (ThreadStart( ThreadStart) Hay que pasarle la referencia al método m que quiere ejecutarse Start () Cambia el estado del hilo a ejecutando Abort () Finaliza el subproceso Suspend () Suspende el hilo Resume () Reanuda un proceso que ha sido suspendido

23 2.4 Sincronización n manual System.Threading.Thread Sleep (int/timespan) Suspende el hilo durante un tiempo determinado Si es 0, simplemente hace un Yield en la CPU Si es infinite que bloqueado indefinidamente Interrupt () Interrumpe un proceso que se encuentra en Wait, Sleep o Join causando una excepción Join () Bloque el subproceso que lo llama, hasta que el hilo llamado haya terminado

24 2.4 Sincronización n manual System.Threading.Mutex Semáforo binario WaitOne () Bloquea el subproceso actual Podemos usar (int( int) ) y (TimeSpan( TimeSpan) ReleaseMutex () Despierta un subproceso El subproceso que tiene la exclusión mútua puede ejecutar N veces WaitOne,, pero deberá ejecutar también n N veces ReleaseMutex para liberarla

25 2.4 Sincronización n manual System.Threading.Interlocked Proporciona operaciones atómicas para las variables compartidas por varios subprocesos int/long Increment (int/long) Incrementa el valor de una variable y devuelve el valor incrementado int/long Decrement (int/long) Decrementa el valor de una variable y devuelve su valor decrementado

26 2.4 Sincronización n manual System.Threading.Interlocked int Exchange (inta( inta, intb) inta = intb y devuelve inta También n con object y con single int CompareExchange (inta, intb, intc) Si (inta( == intc) ) entonces inta = intb Devuelve inta También n con object y con single

27 2.4 Sincronización n manual System.Threading.ReaderWriteLock Bloque que admite un escritor o varios lectores usando el recurso Evita la inanición n de ambos AcquireReaderLock (int) ReleaseReaderLock () AcquireWriterLock (int) ReleaseWriterLock ()

28 2.4 Sincronización n manual System.Threading.ReaderWriteLock LockCookie ReleaseLock () Libera el cerrojo independientemente de quien las veces que haya sido adquirido LockCookie UpgradeToWriteLock (int) Actualiza un bloque de lectura a uno de escritura DowngradeFromWriteLock (LockCookie) Restaura el estado de bloqueo que tenía a antes un escritor en LockCookie RestoreLock (LockCookie) Restaura el estado de bloqueo de LockCookie

29 2.4 Sincronización n manual System.Threading.ThreadPool Permite agrupar subprocesos System.Threading.Timer Temporizador que permite ejecutar una tarea a intervalos y especificar un tiempo para la primera ejecución