Archivo de la categoría: máster en computación

máster en computación en la especialidad de sistemas embebidos de la Universidad de Cantabria

Java Threads Book y recursos java

Hoy me he leído los cuatro primeros capítulos del libro sobre programación concurrente en Java que cogí de la biblioteca de la facultad de ciencias ayer. El libro es el siguiente:

Java Threads. Understanding and Mastering Concurrent Programming. Scott Oaks and Henry Wong. 3rd Edition. Covers J2SE 5.0 Tiger. O’Reilly 2004.

El libro tiene una página web propia desde la que se pueden descargar los ejemplos de código que vienen en el libro en esta edición y en ediciones anteriores (que cubren versiones anteriores de la plataforma Java) El libro cubre todos los nuevos recursos para la programación concurrente que incluye la versión J2SE 5.0 (JDK 1.5) y las diferencias con versiones anteriores que obligaban a construir estos recursos de forma independiente o recurrir a librerías (APIs) propietarias de terceros.

Sigue leyendo Java Threads Book y recursos java

Anuncios

laboratorio de programación concurrente en java

Hoy hemos tenido la segunda sesión del laboratorio de programación concurrente, después de la primera que tuvimos el martes y sirvió para plantearnos el programa que vamos a tratar: el simulador de trenes.

Sigue leyendo laboratorio de programación concurrente en java

extensiones de redes de petri y aplicaciones al modelado de concurrencia

Hoy hemos tenido la última sesión sobre redes de petri dentro de la asignatura de programación concurrente en el máster. En esta ocasión hemos tratado en primer lugar las extensiones a las redes de petri generales que permiten incrementar la potencia de modelado de diversos sistemas reales: redes de petri generalizadas, con capacidad limitada en su plazas, con transiciones especiales, coloreadas, con arcos inhibidores y las temporizadas. Se ha prestado especial atención a las temporizadas que permiten simular el comportamiento dinámico de un sistema introduciendo un modelo de tiempo determinista o estocástico en los nodos de transición. El contenido de esta sesión se encuentra en los documentos pdf de modelado se sistemas concurrentes y extensiones de las redes de petri de la web de la asignatura.

Sigue leyendo extensiones de redes de petri y aplicaciones al modelado de concurrencia

propiedades y métodos de análisis de las redes de petri

En la clase de hoy de la asignatura de Programación Concurrente del Máster en Computación hemos tenido la segunda sesión dedicada a las Redes de Petri. Hemos tratado las propiedades básicas que se pueden extraer de un análisis de dichas redes y que luego nos van a ser útiles cuando modelemos sistemas concurrentes con ellas. Hemos visto también clases restringidas y más fácilmente analizables de estas redes. Después hemos repasado los análisis que se pueden hacer en una red de Petri a partir de su árbol de alcanzabilidad (que tiene limitaciones para señalar la vivacidad y no es escalable en su análisis cuando el número de nodos aumenta) o de sus ecuaciones matriciales o de estado. Todo el contenido de esta sesión se encuentra en el documento pdf de los apuntes.

Las propiedades que se pueden extraer de una Red de Petri son: vivacidad (liveness), ciclicidad, limitación (boundedness), conservación, conflictividad y exclusión mutua. Las tres primeras propiedades son independientes.

Sigue leyendo propiedades y métodos de análisis de las redes de petri

práctica dirigida de programación concurrente en java

Hoy hemos tenido por fin el primer contacto directo con la programación concurrente en el lenguaje java en el laboratorio con la realización parcial de una práctica. La práctica dirigida consiste en la transformación de la versión secuencial de una aplicación realizada en Java en su versión concurrente (i.e realizada con thtreads), siguiendo las técnicas que se nos han explicado la semana pasada.

Hoy hemos visto y completado la versión secuencial y se nos ha encargado completar la versión concurrente con Threads para ponerla en común el viernes. La aplicación java consiste en la simulación de una red ferroviaria.

Sigue leyendo práctica dirigida de programación concurrente en java