Programación Concurrente y Distribuída Estado Compartido, 2010
|
|
- Vicenta Lozano Guzmán
- hace 5 años
- Vistas:
Transcripción
1 Programación Concurrente y Distribuída Estado Compartido, 2010 Camilo Rueda 1 1 Universidad Javeriana-Cali 9 de abril de 2010
2 Concurrencia con estado: introducción problema: modelar con puertos un objeto contador. Sus operaciones son: Acceder al valor del contador cambiar el valor del contador Luego: programar un procedimiento que incrementa el contador
3 Concurrencia con estado: introducción problema: modelar con puertos un objeto contador. Sus operaciones son: Acceder al valor del contador cambiar el valor del contador Luego: programar un procedimiento que incrementa el contador proc {Inc C} N in {S C acceder(n)} {S C asignar(n + 1)}
4 Concurrencia con estado: introducción problema: modelar con puertos un objeto contador. Sus operaciones son: Acceder al valor del contador cambiar el valor del contador Luego: programar un procedimiento que incrementa el contador No funciona! proc {Inc C} N in {S C acceder(n)} {S C asignar(n + 1)}
5 Celdas: requisitos Evitar que se desordenen los accesos con las asignaciones Combinar asignación y acceso en una sola operación Intercambio atómico: {Exchange C X Y }
6 Nuevo concepto: Celda Crear una celda C con valor inicial V {NewCell V C} Consultar el valor de la celda C {Access Asignar a la celda un valor W {Assign C W } C := W intercambiar el valor de la celda con un valor nuevo W {Exchange C V W} Con celdas se trá estado explícito
7 Celdas: modelo
8 Dificultades Razonar sobre los programas es difícil: Muchas operaciones atómicas por hilo Número enorme de intercalamientos posibles Sean dos hilos con k acciones atómicas cada uno Número de intercalaciones: ( ) 2k k Controlar la complejidad: Abstracciones que agrupan acciones en una sola macroacción atómica.
9 El Modelo < s >::= skip < s1 > < s2 > stmt vacío y secuencia local x in s creación de var. x1 = x2 x = v Var-var, var-val binding if x then s1 else s2 Condicional case x of.... Pattern matching {x y 1...y n } applicación de procedimiento thread < s > creacion de un hilo try < s > 1 catch < x >... contexto para excepciones raise < x > notificar excepción {NewCell < x > < y > } crear celda {Excahange < x > < y > } intercambiar celda
10 Semántica de crear celda ({NewCell < x > < y > }, E) Crear un nombre nuevo n ligar E(< y >) con n en el store si lo anterior tiene éxito, agregar E(< y >) : E(< x >) al store mutable si no tiene éxito, señalar error
11 Semántica de intercambiar celda ({Exchange < x > < y > < z >}, E) si E(< x >) está determinado: si E(< x >) no es una celda, señale error si el store mutable contiene E(< x >) : w actualice el store mutable a E(< x >) : E(< z >) ligue E(< y >) con w en el store si E(< x >) no está determinado: suspa la ejecución
12 Un ejemplo declare fun {NewPila} Pila = {NewCell nil} proc {Push X} S in {Exchange Pila S X S} fun {Pop} X S in {Exchange Pila X S S} X in pila(push : Push pop : Pop)
13 Celdas vs Puertos La semática de NewPort y de NewCell es la misma! Pueden programarse puertos con celdas?
14 Celdas vs Puertos La semática de NewPort y de NewCell es la misma! Pueden programarse puertos con celdas? fun {NewPort Stream} {NewCell Stream} proc {S P M} Antes Despues in {Exchange P Antes Despues} Antes = M Despues
15 Celdas vs Puertos La semática de NewPort y de NewCell es la misma! Pueden programarse puertos con celdas? mejor... fun {NewS Stream} C = {NewCell Stream} proc {S M} Antes Despues in {Exchange C Antes Despues} Antes = M Despues in S
16 Abstracciones Cerrojos (locks) locks reentrantes Monitores Transacciones entrar espera CERROJO MONITOR TRANSACCIÓN salir commit abort
17 Parntesis: listas de diferencia técnica para optimizar operaciones sobre listas una lista L se representa mediante dos listas L = dif (X Y ) Los elementos de L son los de X sin los de Y Y siempre es una variable sin instanciar Ejemplo: X = W, Y = W representa la lista L = nil Operaciones: insertar A en la lista L : Y = A S, L = dif (X S) borrar el primer elemento de L : X = A S, L = dif (S Y )
18 Ejemplo: cola concurrente con estado fun {ColaNueva} X C = {NewCell q(0 X X)} proc {Inserte X} N S E1 in q(n S X E1) = {Access C} {Assign C q(n + 1 S E1)} fun {Borre} N S1 E X in q(n X S1 E) = {Access C} {Assign C q(n 1 S1 E)} X in cola(inserte : Inserte borrar : Borre) cómo son los llamados? funciona?
19 Ejemplo: cola concurrente con estado fun {ColaNueva} X C = {NewCell q(0 X X)} proc {Inserte X} N S E1 in q(n S X E1) = {Access C} {Assign C q(n + 1 S E1)} fun {Borre} N S1 E X in q(n X S1 E) = {Access C} {Assign C q(n 1 S1 E)} X in cola(inserte : Inserte borrar : Borre) cómo son los llamados? funciona? no!
20 Locks: primitivas crear cerrojo: {NewLock L} Saber si algo es un cerrojo: {IsLock X} guardar una zona con un cerrojo: lock L then S
21 Ejemplo: cola concurrente usando locks fun {ColaNueva} X C = {NewCell q(0 X X)} L = {NewLock} proc {Inserte X} N S E1 in lock L then q(n S X E1) = {Access C} {Assign C q(n + 1 S E1)} fun {Borre} N S1 E X in lock L then q(n X S1 E) = {Access C} {Assign C q(n 1 S1 E)} X in cola(inserte : Inserte borrar : Borre)
22 Espacios de tuplas (Linda) Abstracción indepiente del lenguaje que se compone de: Multiconjunto de tuplas cuatro operaciones Escritura: {TS write(t )} Agrega tupla a TS Lectura {TS read(l T )} Espera hasta que TS tenga tupla con etiqueta L La devuelve en T y la elimina de TS Lectura sin bloqueo: {TS readnonblock(l T B)} Returna sin espera: B = false si no hay tupla con etiqueta L B = true y la tupla en T, en caso contrario
23 Propiedades Proporciona memoria direccionable por contenido: Las tuplas se identifican por su etiqueta Las lecturas se desacoplan de las escrituras: no hay comunicación entre lectores y escritores Funcionamiento: Creación TS = {New EspacioDeTuplas init}} operación {TS write(algo(1 2 3))}, etc.
24 Locks y TS: código (ver concurrenciadeestado.oz)
25 Limitaciones de locks Son mecanismos sin información (booleanos) Solamente permiten exclusión mutua No facilitan sincronización (ej. buffer acotado) Propensos a errores (deadlock) P1 : thread lock Q then {R1} lock S then {R2} P2 : thread lock S then {R3} lock Q then {R4}
26 Monitores Primitiva estructurada de programación concurrente Utilizable para Garantizar acceso exclusivo a recursos (como en locks) sincronización y comunicación entre hilos Encapsula Definición de un recurso Operaciones que lo manipulan con exclusividad
27 Operaciones de monitores son la única interfaz con el recurso Solamente una puede estar activa en cada momento Invocadores inactivos esperan en cola hilos en espera se activan explícitamente por operaciones de otros hilos
28 Primitivas await B S Si B es cierto, el proceso se suspe libera la cerradura entra en la cola de espera Si B es falso, ejecuta en exclusividad S En Oz : solo existe versión con B = true notify elimina algún hilo H de la cola de espera H entra a competir por la cerradura para continuar ejecución H retoma la ejecución en el punto en que fue suspido notifyall Notifica a todos los procesos en la cola de espera
29 Estructura En estilo Pascaloide: < Nombre >: monitor begin declaración de datos locales procedure < nombre > (< parametros >) begin cuerpo (ejecución exclusiva) ; Declaración de otros procedimientos begin Initialización de datos locales ;
30 Estructura(2) En estilo Mozart, un monitor es una clase: Construcciones: class Nombre attr atributos meth metodo Cuerpo con llamado a primitivas de monitor M = {NewMonitor} {M.wait} {M.notify} {M.notifyAll}
31 Programar con monitores cada método es sección crítica protegida con un candado el método tiene una guarda (como en await B...) la guarda se evalua dentro del candado si la guarda es verdadera, se entra al cuerpo del método si no, el hilo espera.
32 Monitores: código (ver monitores.oz)
Programación Concurrente y Distribuida Paso de mensajes
Programación Concurrente y Distribuida Paso de mensajes Camilo Rueda 1 1 Universidad Javeriana-Cali PUJ 2010 Hacia concurrencia de paso de mensajes Ejercicio: Modelar captura de un bus Un cierto número
Más detallesProgramación Concurrente y distribuida Modelo Concurrente declarativo
Programación Concurrente y distribuida Modelo Concurrente declarativo Camilo Rueda 1 1 Universidad Javeriana-Cali PUJ 2008 Modelo semántico del KL Entorno: E : Id Var Store de asignación única: Instrucción
Más detallesProgramación Concurrente y distribuida
Working Hypothesis Programación Concurrente y distribuida Camilo Rueda 1 1 Universidad Javeriana-Cali 1 de febrero de 2010 Motivación Working Hypothesis Premisa El contexto de aplicación de la Ingeniería
Más detallesProgramación Concurrente Recopilación de teoría referente a la materia
UNIVERSIDAD AMERICANA Programación Concurrente Recopilación de teoría referente a la materia Ing. Luis Müller Esta es una recopilación de la teoría referente a la asignatura Programación Concurrente, a
Más detallesModelos y Paradigmas de Programación clase 1
Modelos y Paradigmas de Programación clase 1 Camilo Rueda Modelos y Paradigmas de Programaciónclase 1-- p.1/48 Propósito La programación como disciplina de ingeniería Existe una teoría Los que practican
Más detallesPrueba objetiva 2 - Clave a
Apellidos: Nombre: Matrícula: Normas Prueba objetiva 2 - Clave a Concurrencia 2010-2011 - Primer semestre Lenguajes, Sistemas Informáticos e Ingeniería de Software Este es un cuestionario que consta de
Más detallesConcurrencia Monitores. Guillermo Román Díez
Concurrencia Monitores Guillermo Román Díez groman@fi.upm.es Universidad Politécnica de Madrid Curso 2016-2017 Guillermo Román, UPM CC: Monitores 1/25 Recursos Compartidos Pregunta La especificación de
Más detallesBENEMERITA UNIVERSIDAD AUTONOMA DE PUEBLA FACULTAD DE CIENCIAS DE LA COMPUTACIÓN LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN
BENEMERITA UNIVERSIDAD AUTONOMA DE PUEBLA FACULTAD DE CIENCIAS DE LA COMPUTACIÓN LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN PROGRAMACIÓN CONCURRENTE Y PARALELA PRACTICA 8 MONITORES BASADOS EN SEMÁFOROS
Más detallesProgramación por restricciones clase 6
Programación por restricciones clase 6 Camilo Rueda Universidad Javeriana-Cali Programación por restriccionesclase 6-- p.1/21 Concurrent CP en Mozart Noción fundamental: Store Contiene restricciones básicas
Más detallesLecturas: Ben-Ari, secciones 4.1, 4.2, 4.3, 4.6 Andrews, intro. cap. 4 y sección 4.1. Exclusión mutua con semáforos
Lecturas: Ben-Ari, secciones 4.1, 4.2, 4.3, 4.6 Andrews, intro. cap. 4 y sección 4.1 Manuel Carro Universidad Politécnica de Madrid Este texto se distribuye bajo los términos de la Creative Commons License
Más detallesPrimitivas de Sincronización
Primitivas de Sincronización JUAN CARLOS CONDE RAMÍREZ DISTRIBUTED COMPUTING Introducción Todas las soluciones previas al problema de mutex fueron un desperdicio de algún modo: Si un proceso es incapaz
Más detallesComunicación y sincronización
Comunicación y sincronización Son conceptos relacionados con la interacción entre los procesos La comunicación se refiere al paso de información de un proceso a otro La sincronización corresponde al cumplimiento
Más detallesPrueba objetiva 2 (4F1M) - Clave a
Apellidos: Nombre: Matrícula: Normas Prueba objetiva 2 (4F1M) - Clave a Concurrencia 2010-2011 - Segundo semestre Dpto. de Lenguajes, Sistemas Informáticos e Ingeniería de Software Este es un cuestionario
Más detallesdit Programación concurrente Sincronización condicional UPM
20151028 dit UPM Programación concurrente Sincronización condicional Juan Antonio de la Puente Algunos derechos reservados. Este documento se distribuye bajo licencia Crea9ve Commons
Más detallesProgramación concurrente en Java
Diseño Y Aplicaciones de Sistemas Distribuidos Programación concurrente en Java Joan Vila DISCA / UPV Departament d Informàtica de Sistemes i Computadors Universitat Politècnica de València Threads en
Más detallesProgramación concurrente
23 de Marzo de 2017 Condiciones generales Docente: Hernán Melgrati (hmelgra@...) Horario: Teóricas: Jueves de 14 a 17 Prácticas: Martes de 14 a 17 Evaluaciones: Un parcial (mediados de mayo) Un trabajo
Más detallesSemáforos. Lecturas: Ben-Ari, secciones 4.1, 4.2, 4.3, 4.6 Andrews, intro. cap. 4 y sección 4.1. Exclusión mutua con semáforos
Lecturas: Ben-Ari, secciones 4.1, 4.2, 4.3, 4.6 Andrews, intro. cap. 4 y sección 4.1 Manuel Carro Universidad Politécnica de Madrid Este texto se distribuye bajo los términos de la Creative Commons License
Más detallesLecturas: Ben-Ari, secciones 4.1, 4.2, 4.3, 4.6 Andrews, intro. cap. 4 y sección 4.1
Semáforos Lecturas: Ben-Ari, secciones 4.1, 4.2, 4.3, 4.6 Andrews, intro. cap. 4 y sección 4.1 Manuel Carro Universidad Politécnica de Madrid Este texto se distribuye bajo los términos de la Creative Commons
Más detallesCena de filosofos y sincronizacion java
Programación concurrente y Distribuída Curso 2011-12 Miguel Telleria, Laura Barros, J.M. Drake telleriam AT unican.es Computadores y Tiempo Real http://www.ctr.unican.es Objetivos Presentaros la aplicación
Más detallesModelo de Cómputo. Programación concurrente
Programa concurrente Programa concurrente: conjunto finito de procesos (secuenciales). Un proceso secuencial está escrito con un conjunto finito de acciones atómicas. Ejecución: una secuencia de acciones
Más detallesConcurrencia Condiciones de Carrera. Guillermo Román Díez
Concurrencia Condiciones de Carrera Guillermo Román Díez groman@fi.upm.es Universidad Politécnica de Madrid Curso 2016-2017 Guillermo Román, UPM CC: Condiciones de Carrera 1/20 Condiciones de carrera Condición
Más detallesProgramación concurrente
Programación concurrente Master de Computación I Conceptos y recursos para la programación concurrente: I.6 Sincronización basada en memoria compartida. J.M. Drake M. Aldea Procesos concurrentes y memoria
Más detallesParadigma Funcional Caso de estudio: ML. Lenguajes de Programación 2017
Paradigma Funcional Caso de estudio: ML Lenguajes de Programación 2017 Paradigma Funcional FUNCIÓN: Mapeo de un dominio en un rango El mapeo se puede describir por medio de una EXPRESIÓN f(1) = 2 f(2)
Más detallesPrimitivas de Sincronización (continuación) MONITORES: Primitiva de alto nivel, es a nivel de lenguajes como: ADA, PASCAL, JAVA.
Primitivas de Sincronización (continuación) MONITORES: Primitiva de alto nivel, es a nivel de lenguajes como: ADA, PASCAL, JAVA. Carácterísticas: Construcción de alto nivel. Estructura de datos estática:
Más detallesPor ejemplo, el siguiente error conduce inmediatamente a un deadlock:
Monitores Los semáforos, son el equivalente a las instrucciones goto y el manejo de apuntadores en los lenguajes de programación imperativos: son muy susceptibles a errores. Su utilización exige disciplina.
Más detallesPrueba objetiva 2 - Clave b
Normas Prueba objetiva 2 - Clave b Concurrencia 2011-2012 - Segundo semestre Lenguajes, Sistemas Informáticos e Ingeniería de Software Este es un cuestionario que consta de 7 preguntas en 7 páginas. Todas
Más detalles06/06/2017. Hay varios niveles para expresar concurrencia: Nivel de Instrucción Nivel de Sentencia Nivel de Unidad Nivel de Programa
1 Hay varios niveles para expresar concurrencia: Nivel de Instrucción Nivel de Sentencia Nivel de Unidad Nivel de Programa 2 Hay varios niveles para expresar concurrencia: Nivel de Instrucción Nivel de
Más detallesParadigma Funcional Caso de estudio: ML. Lenguajes de Programación 2018
Paradigma Funcional Caso de estudio: ML Lenguajes de Programación 2018 FUNCIÓN: Mapeo de un dominio en un rango El mapeo se puede describir por medio de una EXPRESIÓN f(1) = 2 f(2) = 3 Enumeración f(x)
Más detallesUPM Concurrencia en Java
UPM Concurrencia en Java Juan Antonio de la Puente DIT/UPM Hebras (threads) Una hebra es un objeto de una subclase de java.lang.thread o una implementación de la interfaz Runnable El código que ejecuta
Más detallesPROGRAMACIÓN CONCURRENTE. Tema 5 Monitores
PROGRAMACIÓN CONCURRENTE Tema 5 Monitores 1 Indice Definición de los monitores Sincronización condicional usando monitores Algunos problemas con monitores 2 Problemas de las regiones críticas condicionales
Más detallesTEMA 5: Control de la Concurrencia en Java (API Estándar)
TEMA 5: Control de la Concurrencia en Java (API Estándar) CONTENIDO Exclusión Mutua con código synchronized. Exclusión Mutua con métodos synchronized. Protocolos de Control de la Exclusión Mutua. Interbloqueos
Más detallesISO Tema 8,
ISO Tema 8, 2017-2018 Pablo González Nalda Depto. de Lenguajes y Sistemas Informáticos 13 de abril de 2018 Modificado el 27 de abril de 2018 de la presentación 1 2 3 4 5 6 7 2 / 32 1 2 3 4 5 6 7 3 / 32
Más detallesAcceso coordinado a recursos compartidos
Programación Concurrente en Linux Acceso coordinado a recursos compartidos Alberto Lafuente, Dep. KAT/ATC de la UPV/EHU, bajo Licencia Creative Commons 1 Contenido 1. Recursos compartidos 2. Mecanismos
Más detallesMONITORES EN JAVA. Antonio Tomeu Control de la Concurrencia en Java: API Estándar
MONITORES EN JAVA Un monitor es un objeto que implementa acceso bajo e.m. a todos sus métodos, y provee sincronización En Java, son objetos de una clase cuyos métodos públicos son todos synchronized Un
Más detallesTema 1 INTRODUCCIÓN A LOS LENGUAJES DE PROGRAMACIÓN
Tema 1 INTRODUCCIÓN A LOS LENGUAJES DE PROGRAMACIÓN - Introducción - Sintaxis - Semántica básica - Tipos de datos - Expresiones y enunciados - Procedimientos y ambientes - Tipos abstractos de datos y módulos
Más detallesMECANISMOS PARA SINCRONIZACIÓN. Semáforos
MECANISMOS PARA SINCRONIZACIÓN Semáforos Mecanismos para sincronización Una vez discutidos los principales problemas a enfrentar para coordinar procesos/hilos que comparten espacio de direccionamiento,
Más detallesConsistencia de memoria en C++
Consistencia de memoria en C++ Arquitectura de Computadores J. Daniel García Sánchez (coordinador) David Expósito Singh Javier García Blas Óscar Pérez Alonso J. Manuel Pérez Lobato Grupo ARCOS Departamento
Más detallesCarrera: ISC. ARM ISC. Erick Dalet Villanueva Mascort. ISC. Arturo Guerra Franco. Asignaturas Temas Asignaturas Temas Sistemas Operativos.
1.- DATOS DE LA ASIGNATURA Nombre de la Asignatura: Carrera: Clave de la asignatura: Horas teoría-horas practica-créditos: Sistemas Distribuidos y Concurrente. ISC. ARM-0702 3-2-8. 2.- HISTORIA DEL PROGRAMA
Más detallesProgramación concurrente
Programación concurrente Java y Servicios Web I Master en Ingeniería Matemática Manuel Montenegro Dpto. Sistemas Informáticos y Computación Desp. 467 (Mat) montenegro@fdi.ucm.es Programación concurrente
Más detallesPrueba final, parte 2 - Clave a Concurrencia Segundo semestre Universidad Politécnica de Madrid
Apellidos: Nombre: DNI/NIE: Normas Prueba final, parte 2 - Clave a Concurrencia 2013-2014 - Segundo semestre Universidad Politécnica de Madrid Este es un cuestionario que consta de 6 preguntas en 5 páginas.
Más detallesUniversidad Autónoma del Estado de Hidalgo Instituto de Ciencias Básicas e Ingeniería Área Académica de Computación y Electrónica
Universidad Autónoma del Estado de Hidalgo Instituto de Ciencias Básicas e Ingeniería Área Académica de Computación y Electrónica Licenciatura en Sistemas Computacionales Sistemas Operativos Docente: M.G.A.
Más detallesProgramación concurrente y distribuida Paso de mensajes
Programación concurrente y distribuida Paso de mensajes Camilo Rueda 1 1 Universidad Javeriana-Cali PUJ 2008 Arquitecturas Cliente/servidor El servidor provee algún servicio recibe un mensaje contesta
Más detallesExamen de Programación Concurrente - Clave: a Junio 2008 Departamento de Lenguajes, Sistemas Informáticos e Ingeniería del Software.
Junio 2008 Programación Concurrente 1/6 Normas Examen de Programación Concurrente - Clave: a Junio 2008 Departamento de Lenguajes, Sistemas Informáticos e Ingeniería del Software Este examen es un cuestionario
Más detallesExamen concurrencia Nov 2011
Programación concurrente y Distribuída Curso 2011-12 Miguel Telleria, Laura Barros, J.M. Drake telleriam AT unican.es Computadores y Tiempo Real http://www.ctr.unican.es Contenido Código base Examen del
Más detallesSISTEMAS OPERATIVOS I (Sistemas) / SISTEMAS OPERATIVOS (Gestión) septiembre 2009
SISTEMAS OPERATIVOS I (Sistemas) / SISTEMAS OPERATIVOS (Gestión) septiembre 2009 4. (2 p) Dos procesos A y B se ejecutan concurrentemente en un determinado sistema. El proceso A ejecuta unas tareas ( Tareas
Más detallesUnidad Didáctica 2. Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones
Unidad Didáctica 2 Elementos básicos del lenguaje Java Tipos, declaraciones, expresiones y asignaciones Fundamentos de Programación Departamento de Lenguajes y Sistemas Informáticos Versión 1.0.3 Índice
Más detallesPROGRAMACIÓN CONCURRENTE
PROGRAMACIÓN CONCURRENTE Lenguajes de Programación - Progr. Concurrente 1 Introducción El concepto fundamental de la programación concurrente es la noción de Proceso. Proceso: Cálculo secuencial con su
Más detallesProgramación concurrente en Java. Breve introducción. Miguel Ángel LATRE Dept. de Informática e Ingeniería de Sistemas
Programación concurrente en Java. Breve introducción Miguel Ángel LATRE Dept. de Informática e Ingeniería de Sistemas Concurrencia en Java Hilos de ejecución Clase Thread e interfaz Runnable Pausas Interrupciones
Más detallesCAPÍTULO 3. PROCESOS VS. HILOS
CAPÍTULO 3. PROCESOS VS. HILOS 3.1 Primitivas de sincronización en Java Java no tiene semáforos como primitivas de sincronización. Sin embargo, proporciona otras primitivas diferentes con las cuales sí
Más detallesVariables. Una variable no es más que un nombre simbólico que identifica una dirección de memoria: vs.
Variables Una variable no es más que un nombre simbólico que identifica una dirección de memoria: Suma el contenido de la posición 3001 y la 3002 y lo almacenas en la posición 3003 vs. total = cantidad1
Más detallesLección 7: Sincronización de procesos mediante monitores
Lección 7: Sincronización de procesos mediante monitores Introducción Qué es un monitor? Características y funcionamiento de un monitor Implementación de un monitor en C++ y Java Algunos ejemplos de aplicación:
Más detallesSincronización de procesos
Sincronización de procesos Contenido Procesos concurrentes. El problema de la seccion critica Problemas clásicos de comunicación y sincronización. Mecanismos de comunicación y sincronización. DSO 2014
Más detallesPrueba objetiva 2 - Clave a Concurrencia Primer semestre Grado en Ingeniería Informática. Universidad Politécnica de Madrid
Normas Prueba objetiva 2 - Clave a Concurrencia 2013-2014 - Primer semestre Grado en Ingeniería Informática. Universidad Politécnica de Madrid Este es un cuestionario que consta de 4 preguntas en 5 páginas.
Más detallesUnidad 1: Gestión de Procesos
Unidad 1: Gestión de Procesos Tema 1, Concurrencia: Exclusión mutua y sincronización. 1.1 Problema de la sección crítica, alternativas al uso de semáforos: - Regiones críticas, Monitores, Variables de
Más detallesIntroducción a Python Qué es Python?
Introducción a Python Qué es Python? Python es un lenguaje de programación interpretado cuya filosofía hace hincapié en una sintaxis que favorezca un código legible. Se trata de un lenguaje de programación
Más detallesSebastián García Galán
Universidad de Jaén E.U.P. Linares Dpto. Telecomunicaciones Área de Ingeniería Telemática Sebastián García Galán sgalan@ujaen.es Variables y tipos de datos Operaciones y operadores Clases y objetos Tipos
Más detallesEstructura de un programa en Java. Tipos de datos básicos. class miprimerprograma{ // comentario, no es parte del programa
Contenido Estructura de un programa en Java... 2 Tipos de datos básicos... 2 Operadores... 3 Literales... 4 Entrada / Salida... 4 Sentencias condicionales... 5 Funciones... 5 Ejercicios... 6 Variables,
Más detallesThreads LSUB. 30 de marzo de 2016 GSYC
Threads LSUB GSYC 30 de marzo de 2016 (cc) 2015 Laboratorio de Sistemas, Algunos derechos reservados. Este trabajo se entrega bajo la licencia Creative Commons Reconocimiento - NoComercial - SinObraDerivada
Más detallesAgustín J. González ELO329
( Friend ) Funciones y Clases Amigas ( Static ) Miembros Estáticos Agustín J. González ELO329 Funciones y Clases Friend El calificador friend se aplica a funciones globales y clases para otorgar acceso
Más detallesLección 2: Conceptos básicos de PC
Lección 2: Conceptos básicos de PC Procesos y programas concurrentes Aplicaciones de la programación concurrente Sincronización Propiedades de un programa Especificación de algoritmos Verificación de propiedades
Más detallesEXCLUSIÓN MUTUA ENTRE HILOS. TEMA 5: Control de la Concurrencia en Java (API Estándar) Sintaxis para Bloques de Código Sincronizado
TEMA 5: Control de la Concurrencia en Java (API Estándar) CONTENIDO Exclusión Mutua con código synchronized. Exclusión Mutua con métodos synchronized. Protocolos de Control de la Exclusión Mutua. Interbloqueos
Más detallesIMPLEMENTACIÓN DE PILAS CON LISTAS EN C++
IMPLEMENTACIÓN DE PILAS CON LISTAS EN C++ Fichero nodo.h #ifndef NODO_H #define NODO_H const int cantidad_nodos = 10; class Nodo private: string dato; Nodo* siguiente; public: Nodo(); void setdato(string
Más detallesConcepto, Paradigma, Lenguaje y Modelo de Programación
Concepto, Paradigma, Lenguaje y Modelo de Programación Definiciones Cada problema a resolver requiere de diferentes conceptos, cada paradigma ofrece un enfoque y un conjunto de mecanismos de razonamiento.
Más detallesTema 3. Monitores Programación Concurrente
Tema 3. Monitores Programación Concurrente Depto. de Lenguajes y Sistemas Informáticos Universidad de Granada Contenidos 1. Concepto de Monitor 1.1. Fundamento teórico de los monitores 1.2. Sintaxis de
Más detallesSincronización de Threads
Funciones POSIX III Funciones POSIX III Sincronización Sincronización Procesos Procesos Semáforos Semáforos (sem_t) (sem_t) Sincronización Sincronización Threads Threads Mutex Mutex (pthread_mutex_t) (pthread_mutex_t)
Más detallesEstructuras de Datos Clase 4 Pilas y colas
Estructuras de Datos Clase 4 Pilas y colas Dr. Sergio A. Gómez http://cs.uns.edu.ar/~sag Departamento de Ciencias e Ingeniería de la Computación Universidad Nacional del Sur Bahía Blanca, Argentina Tipo
Más detallesComprender las diferencias entre tipos de datos primitivos similares, y aprender a elegir el tipo más conveniente en cada caso.
Elementos básicos de programación en Java Objetivos del tema Conocer la estructura básica de un programa Java. Comprender los conceptos de tipo, valor y variable. Comprender las diferencias entre tipos
Más detallesLección 10: Coordinación mediante espacios de tuplas
Lección 10: Coordinación mediante espacios de tuplas Introducción El modelo de coordinación Linda Ejemplos Acceso a un espacio de tuplas en el mundo real Aproximación conceptual a los monitores Ejercicios
Más detallesEstados de un proceso
Semáforos Estados de un proceso Inactivo Listo Ejecutando Completo Escribimos p.state := ready p. state := running Bloqueado Para indicar que un proceso cambia de estado Semáforo Es un tipo de dato abstracto
Más detallesConcurrencia. Primitivas IPC con bloqueo
Concurrencia Primitivas IPC con bloqueo Primitivas de IPC con bloqueo La solución de Peterson es correcta, pero tiene el defecto de requerir espera ocupada: Cuando un proceso quiere entrar en su región
Más detallesFac. de Informática / Escuela Univ. Informática SISTEMAS OPERATIVOS Examen Primer Parcial 5 de mayo de 2007
Calificación Fac. de Informática / Escuela Univ. Informática SISTEMAS OPERATIVOS Examen Primer Parcial 5 de mayo de 2007 1 2 3 4 Nombr SOLUCIONES Titulació Dispone de tres horas para realizar el examen
Más detallesOtras formas de Sincronización en Java
75-62 Técnicas de Programación Concurrentes II Lic. Ing. Osvaldo Clúa 2008 Facultad de Ingeniería Universidad de Buenos Aires Otras formas de Sincronización en Java java.util.concurrent Class Exchanger
Más detalles//Sección de manejo de excepciones. Las rutinas de manejo de errores //aparecen aqui
PL/SQL - Oracle PL/SQL (Procedural Language/SQL) es una extensión de SQL, que agrega ciertas construcciones propias de lenguajes procedimentales, obteniendose como resultado un lenguaje estructural mas
Más detallesGuillermo Román Díez
Concurrencia Creación de Procesos en Java Guillermo Román Díez groman@fi.upm.es Universidad Politécnica de Madrid Curso 2016-2017 Guillermo Román, UPM CC: Creación de Procesos en Java 1/18 Concurrencia
Más detallesSistemas operativos: una visión aplicada. Capítulo 5 Comunicación y sincronización de procesos
Sistemas operativos: una visión aplicada Capítulo 5 Comunicación y sincronización de procesos Sistema multiprogramado con un una CPU Proceso A Proceso B Proceso C Tiempo Sistemas operativos: una visión
Más detallesLección 6: Ejemplos de programación con semáforos
Lección 6: Ejemplos de programación con semáforos El problema de la cena de los filósofos El problema de los lectores y escritores Ejercicios Gestión de concurrencia mediante paso de testigo (implementación
Más detallesTEMA 3. CONCEPTOS FUNDAMENTALES DEL NIVEL DEL SISTEMA OPERATIVO. Definición y objetivos de un S.O
TEMA 3. CONCEPTOS FUNDAMENTALES DEL NIVEL DEL SISTEMA OPERATIVO Definición y objetivos de un S.O Definición y objetivos del sistema operativo Estructura, componentes y servicios de un S.O Llamadas al sistema
Más detallesNatalia Partera Jaime Alumna colaboradora de la asignatura
Programación Concurrente y de Tiempo Real Guión de prácticas 6: Programación en Java de algoritmos de control de la Exclusión Mutua con variables comunes Natalia Partera Jaime Alumna colaboradora de la
Más detallesJAVASCRIPT Mª ISABEL TORRES CARAZO
JAVASCRIPT Mª ISABEL TORRES CARAZO VARIABLES (I) Una variable es un cajón con una etiqueta donde almacenamos datos de un programa. VARIABLES (II) Las variables NO pueden comenzar por un número. Deberá
Más detallesBD Activas: Motivación
BD Activas: Motivación Los SGBD convencionales son pasivos. Sólo ejecutan preguntas o transacciones realizadas por los usuarios o por los programas de aplicación. Para representar la semántica del mundo
Más detallesCaracterísticas de JavaScript
Características de JavaScript Qué es JavaScript? o Lenguaje de programación interpretado utilizado fundamentalmente para dotar de comportamiento dinámico a las páginas web. o Cualquier navegador web actual
Más detallesdit UPM Tema 3: Concurrencia /threads (python) Análisis y diseño de software José A. Mañas
Análisis y diseño de software dit UPM Tema 3: Concurrencia /threads (python) José A. Mañas 11.2.2017 referencias Concurrent execution https://docs.python.org/3/library/concurrency.html concurrencia 2 índice
Más detallesJavaScript Básico. Elementos Básicos: Comentarios: Literales: Valores que puede tomar una variable o una constante.
Javascript (II) 1 Elementos Básicos: Comentarios: Para una línea // Esto es un Comentario Para un bloque /*......... */ Literales: Valores que puede tomar una variable o una constante. Ejemplos: "Soy una
Más detallesLenguajes de Programación
Lenguajes de Programación Concurrencia Ma. Laura Cobo Departamento de Ciencias e Ingeniería de la Computación 2018 Prof. Ma. Laura Cobo Página 1 Motivación Un programa se dice concurrente si puede tener
Más detallesTema 6. Threads: programas multitarea
Tema 6. Threads: programas multitarea Procesos e hilos Creación de threads Ciclo de vida de un thread Sincronización Prioridades Grupos de threads Relación de métodos Ejemplo sincronización 1 Procesos
Más detallesSesión 2 Laboratorio
Paradigmas de Programación Sesión 2 Laboratorio Cristian Tejedor García Departamento de Informática Universidad de Valladolid Curso 2016-17 Grado en Ingeniería Informática INDAT 1 Contenido 1. Objetivos
Más detallesCurso Programación Orientada a Objectos con C# y Visual Studio 2013
Curso Programación Orientada a Objectos con C# y Visual Studio 2013 Descripción: Este curso es una introducción práctica a la programación en C #, la utilización de los servicios proporcionados por. NET.
Más detallesColas. 5.1 Implementación
Capítulo 5 Colas Las colas al igual que las pilas son un tipo especial de listas en las cuales los elementos se insertan por un lado y se eliminan por el otro. Es decir se sacan en el mismo orden en que
Más detallesEl sintetizador de programas de Cornell
El sintetizador de programas de Cornell T. Teitelbaum, T. Repps: The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. Comm. ACM, V.24 N.9 pp.563-673, Sep.1981. 1. Características
Más detallesSISTEMAS OPERATIVOS: COMUNICACIÓN Y SINCRONIZACIÓN ENTRE PROCESOS. Procesos concurrentes y problemas en la comunicación y la sincronización
SISTEMAS OPERATIVOS: COMUNICACIÓN Y SINCRONIZACIÓN ENTRE PROCESOS Procesos concurrentes y problemas en la comunicación y la sincronización Contenido 2 Concurrencia. Condiciones de carrera. Exclusión mutua
Más detallesCapítulo 3. Procesos concurrentes 3.1. Conceptos de programación concurrente La computación concurrente es la simultaneidad en la ejecución de
Capítulo 3. Procesos concurrentes 3.1. Conceptos de programación concurrente La computación concurrente es la simultaneidad en la ejecución de múltiples tareas interactivas. Estas tareas pueden ser un
Más detallesCDI Exclusión mutua a nivel alto. conceptos
conceptos El concepto de usar estructuras de datos a nivel alto libera al programador de los detalles de su implementación. El programador puede asumir que las operaciones están implementadas correctamente
Más detallesINDICE. Prólogo de la Segunda Edición
INDICE Prólogo de la Segunda Edición XIII Capitulo 1. Algoritmos y Programas 1 1.1. Los sistemas de procesamiento de la información 2 1.2. Concepto de algoritmo 4 1.2.1. Características de los algoritmos
Más detallesProgramación 1 Tema 5. Instrucciones simples y estructuradas
Programación 1 Tema 5 Instrucciones simples y estructuradas Índice Instrucciones simples Instrucciones estructuradas Instrucción ::= Instrucciones.
Más detallesSolución práctico 6 Tipos Abstractos de Datos Lista, Pila y Cola
Objetivos Trabajar sobre el Tipo Abstracto de Datos Lista, reforzando el desacople entre especificación e implementación. Retomar las implementaciones vistas, como ser Listas Doblemente Encadenadas, Listas
Más detallesEstructuras de Datos Dinámicas: Tipo de Dato Abstracto parte I. Programación I Departamento de Informática Universidad Nacional de San Luis Argentina
Estructuras de Datos Dinámicas: Tipo de Dato Abstracto parte I Programación I Departamento de Informática Universidad Nacional de San Luis Argentina Progreso de la Abstracción Los diferentes niveles de
Más detallesCompiladores: Ambientes para Ejecución. Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. María Constanza Pabón
Compiladores: Ambientes para Ejecución Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. María Constanza Pabón Procedimientos Definición de un Procedimiento: es una declaración
Más detallesProgramación II 2do cuatrimestre 2017
Tecnología Java El propósito de esta clase es aplicar los conceptos de TAD y Complejidad en Java. A continuación se mencionan algunas herramientas que nos ayudaran a aplicar estos y otros conceptos que
Más detalles