- Procesos

- Multiprocesamiento
- Maximizar utilizacion del procesador
- Tiempos de respuesta razonable
- Lenguajes Formales
- Alfabeto
- definicion
- clausura del alfabeto
- Cadena
- e --> cadenas vacias
- operaciones sobre cadenas
- longitud de la cadena
- igualdad de cadenas
- reversa de la cadena
- concatenacion
- propiedades de la concatenacion
- potencia
- lenguaje
- definicon --> L incluido en A*
- operaciones sobre lenguajes
- union
- interseccion
- complemento
- resta
- concatenacion
- potencia de L
- clausura de L
- reverso de L
- Gramaticas formales
- definicion: conjunto de reglas para escribir correctamente frases de u
n lenguaje
- generadoras de lenguajes formales
- G = (N,T,S,P)
- N conjunto finito de simbolos NO terminales
- T conjunto finito de simbolos terminales
- S axioma o simbolo distinguido (del cual se comienza a derivar
)
- P conjunto de reglas de produccion
- formato de reglas de produccion
- lineal derecha
- lineal izquierda
- derivacion
- se comienza derivando a partir de S
- las cadenas estan compuestas solo por simbolos terminales
- Expresiones regulares
- describen a los lenguajes regulares
- Automata finito
- definicion: modelo matematico que realiza computos de forma automatica
sobre una entrada para producir una salida
- A = (Q, q0, , , F)
- Q conjunto de estados posibles
- q0 estado inicial
- alfabeto

- funcion de transicion
- F conjunto de estados finales o de aceptacion
- funcionamiento
- representacion
- diagrama de estados
- tabla de transiciones
- clasificacion
- determinista
- cuando estamos en un estado Ei y viene un simbolo Si,
solo puede llevarnos a un estado posible
- todos los estados intermedios tienen un estado siguien
te
- NO determinista
- puede a ver mas de un estado posible (mas de una trans
icion) para un mismo simbolo Si
- Maquina de estados
- definicion
- herramienta que modela sistemas con entradas y salidas
- las salidas dependen de la entrada actual y de las anteriores
- a medida que se procesa una entrada, se va cambiando de estado
, de manera que la salida
depende de la entrada y el estado actual
- maquina de estados finito --> tiene una cantidad finita de estados
- clasificacion
- aceptoras (o reconocedoras)
- la salida es "si" o "no"
- dependen unicamente del estado
- existe un estado inicial q0
- la salida es "si" cuando el estado en que termino es u
n estado de aceptacion
- transductoras
- convierten una secuencia de seales de entrada en una sec
uencia de seales de salida
- dependen de la entrada actual (ademas del estado actua
l)
- se puede prescindir de un estado inicial
- Concurrencia
- definicion
- problemas
- inanicion
- definicion
- interbloqueo
- definicion
- condiciones de interbloqueo
1- exclusion mutua
2- retencion y espera
3- no apropiacion
-> 4- circulo vicioso de espera
- soluciones
- prevencion
- indirecta: evitar que alguna de las 3
primeras condiciones se produzca
- directa: permitir las 3 primeras condi
ciones pero evitar el interbloqueo
- prediccion
- se intenta producir cuando se va a pro
ducir un interbloqueo para evitarlo

- algoritmo del banquero

- rollback
- cuando se produce interbloqueo
- Semaforo
- Mecanismo
- wait()
- signal()
- Clasificacion
- Binario
- General
- Solucionan
- Exclusion mutua
- Sincronizacion de procesos
- Desventajas
- Codigo repartido por todo el programa
- El manejo de la exclusion mutua y la sincronizacion
esta a cargo de los procesos (o hilos)
- Es muy facil cometer errores en la implementacion
- Resolucion de problemas con semaforos
- Productor-Consumidor
- Escritores-Lectores
- Filosofos chinos
- RCC (region critica condicional)
- Definicion
- Caracteristicas
- Es una solucion estructurada
- Separa el problema de la sincronizacion del de la
exclusion mutua
- Componentes
- Recurso --> conjunto de variables de la RCC
- Region --> metodo de acceso a la reg critica
- Condicion --> variable de condicion para sincronizacion
- Resolucion de problemas con RCC
- Problema del Productor-Consumidor
- Desventajas
- No se puede controlar lo que se hace con las variables
compartidas dentro de la RCC
- El codigo esta repartido en todo el programa
- Monitor
- Introduccion y definiciones
- Exclusion mutua
- Esta dada por un semaforo y es controlada por el mismo monitor
- Condicion de sincronizacion
- Utiliza Variables de condicion
- DELAY()
- RESUME()

- Redes de Petri Coloreadas

- Se aplican en grandes redes que tienen ciertas subredes repetidas much
as veces (filosofos, multicore)
- Color --> a los tokens se les asigna un tipo denominado color
- Las plazas contienen tokens de distintos colores (y en diferentes cant
idades)
- Las matrices I+ e I- se definen para cada color
- Definicion de una CPN

- CPN = (P, T, I+, I-, M0, C)

- C es un conjunto finito de colores
- M0(p) perteneces C(p) --> marca inicial de tokens de c
olor "c" y la plaza "p"
- P = p1,p2,..,pn
- T = t1,t2,..,tm
- C = c1,c2,..,ck
- C(p1)=c1,c4,ck
(cada plaza tiene definidos cual
subconjunto de colores soporta)
- C(t1)=c1,c2
(lo mismo para las transiciones,
tiene def cuales son los colores que utiliza)
.
- M0(p1)(c1)=2, M0(p1)(c4)=1....... (Para el marcado ini
cial se deben definir la cantidad de tokens de cada
color en cada plaza
)
- I-(p1,t1)(c'1)(c3)=1
- para cada arco se definen la cantidad de token
s de un determinado color que saca o deposita
en la plaza p cuando se dispara la transicion
t.
Temas:
- Semaforo conceptos y como funciona
- Monitores
- grafiquito de monitor y explicar como funciona
- Condicion de interbloqueo
- 3 + 1 (4 condiciones de interbloqueo)
- rollback --> metodo para volver de un interbloqueo
- Algoritmo del banquero
- Red de petri
- Sifon
- Trampa
- t invariantes
- p invariantes --> siempre conservan la misma cantidad de token
- prod-cons con exclusion mutua y prioridades
- lectores-escritores
- filosofos
- Semantica de las rdp temporales
- Tiempo fuerte --> bajo que condicion y en que tiempo se tiene
que disp la trans
- Tiempo debil -->
- Lenguajes