SISTEMAS CONCURRENTES

Bernal_F, S.J stivofuertes@gmail.com

Montiel _N, O.S 100oscarmx@gmail.com
Téllez_M, J.B josue110114@gmail.com

CONCURRENCIA INTERACCIÓN ENTRE PROCESOS

Se define como la simultaneidad de hechos, se Se presenta la concurrencia cuando existe, la

dice que un programa es concurrente cuando multiprogramación de aplicaciones
ciertas unidades de ejecución internamente independientes, aplicaciones con varios
secuenciales, se ejecutan de manera paralela o procesos, uso de las estructuras de datos del
de forma simultánea. Este término indica Sistema Operativo, el computador dispone de
paralelismo potencial. varios procesadores.

Existen 3 formas de ejecutar los procesos

concurrentes, estos son:
1. Multiplexa sus ejecuciones sobre un
único procesador a esto se le llama
multiprogramación. En un sistema
multiprogramado los procesos se
intercalan.
2. Multiplexa sus ejecuciones sobre un
sistema de multiprocesador de
memoria compartida, a esto se le llama
multiproceso.
3. Multiplexa sus ejecuciones en varios
procesadores que no comparten la
memoria, a esto se le llama proceso
distribuido. Con varios procesadores
los procesos se superponen.
Es importante mencionar que la interacción
entre procesos interactúa de 3 maneras, la
primera de ellas es la competencia por recursos
escasos, en esta parte los procesos no conocen
a los demás, en el segundo hay una cooperación
por cada compartición, aquí se conoce
indirectamente a los demás procesos, y en el
último de los procesos hay una cooperación por
comunicación, lo cual hace referencia a que los
procesos ya conocen directamente a los otros.
Siendo más específicos en cada uno, iniciamos
con el de la competencia por los recursos
escasos, tomando como ejemplo el siguiente,
donde si hay dos procesos que están
compitiendo por un recurso, lo que el sistema
operativo realiza es asignarle un recurso a uno,
mientras que el otro tiene que esperar.
Presentará problemas como lo es un
interbloqueo, con esto quiere decir que hay un
estancamiento, también hay una inanición y una
exclusión mutua.

Un problema de la concurrencia es que en el

tema de la multiprogramación no es posible
predecir la velocidad relativa de los procesos,
cada actividad va a depender de las actividades
de los demás procesos y de la forma como el
Sistema Operativo trata las interrupciones. Para el caso de cooperación por compartición
se hace esto para evitar inconsistencias, así
mismo los recursos compartidos se tienen,
como ficheros, bases de datos y variables
compartidas. Hay dos soluciones para esta y en
la primera hace referencia a la exclusión mutua,
donde la escritura debe ser mutuamente
excluyente, mientras que en la sección crítica la
lectura puede ser concurrente.
En la cooperación para la comunicación, no se
comparten recursos, no hay exclusión mutua.
Los problemas que va a presentar serán los
siguientes debido a que los procesos ya se
conocen, y estos son Interbloque donde cada
proceso espera un mensaje del otro proceso.
En la inanición se presenta cuando dos procesan
envían su mensaje mutuamente mientras que
esperan un mensaje del otro proceso.
Un ejemplo de interbloqueo es lo siguiente
Hay una serie de problemas potenciales a
resolver, donde el primero nos habla de la
exclusión mutua, está básicamente es un
mecanismo empleado en el diseño de los
sistemas operativos para evitar los problemas
de competencia por recursos, se basa en definir
una zona o región crítica la cual está marcada
por las instrucciones que hacen uso del recurso
en competencia llamado recurso crítico.
También hay un interbloqueo donde al estar
bloqueados los procesos esperan uno al otro y
para la inanición, los procesos siempre están
bloqueados y nunca acceden a los recursos que
necesitan.
SECCIÓN CRÍTICA
Se denomina así en programación concurrente
a la porción de código de un programa de
ordenador en la que se accede a un recurso
compartido que no debe ser accedido por más
de un proceso o hilo de ejecución. No solo un
programa puede acceder a su sección crítica en
un momento dado, no se puede confiar
simplemente en el Sistema Operativo para
hacer cumplir esta restricción, un ejemplo de
ello es cuando solo un proceso en cada
momento estará enviando comandos a la
impresora y se muestra de la siguiente manera.
Hay una serie de requerimientos de exclusión
mutua. El primero sólo un proceso accede a la
vez a su SC. la segunda hace referencia a un
proceso suspendido en su SC no debe estorbar
a otros, en la tercera se hace referencia a la no
inanición, no interbloqueo. Si un proceso
solicita acceso a su SC no debe demorar su
atención. En la cuarta si ningún proceso está en
su SC, no se puede evitar que otro proceso entre
a su SC. En la quinta se habla de no suponer la
velocidad relativa de los procesos. y en la
última se permanece en la SC por un tiempo
finito.
Un ejemplo que podemos ver de inanición, es
el siguiente donde hay 3 procesos.

La desactivación de interrupciones, variables
de cerradura y alternancia estricta, son métodos
que no cumplen las 4 condiciones de exclusión
mutua.
Sin embargo, un método que si cumple con
dicha condición es el algoritmo de Peterson que
consiste en utilizar una variable global llamada
señal que indica el interés de los procesos por
entrar a su SC y una variable llamada turno que
resuelve los conflictos simultaneidad.
INTERRUPCIONES
Respecto a eso se dice que un proceso corre
hasta que invoca un servicio del sistema
operativo o hasta que es interrumpido. También
deshabilitar interrupciones garantiza la
exclusión mutua, pero también es limitado en
su habilidad para intercalar programas.
En multiproceso inhabilitar las interrupciones
puede no garantizar la exclusión mutua.
Instrucciones especiales de máquina, ejecutó en
un ciclo de instrucción sencillo, no sujeto a la
interferencia de otras instrucciones, leyendo y
escribiendo, leyendo y probando.
SINCRONIZACIÓN
Remitente y receptor no pueden estar
bloqueando (esperando para mensaje) El
entramado envía, bloqueando reciba.
El Nonblocking envía, bloqueando reciba – El
remitente continúa el proceso tales como
mensajes de transmisión tan pronto como sea
posible. El receptor es bloqueado hasta que el
mensaje pedido llegue. El Nonblocking envía,
Nonblocking reciba, ni la fiesta se requiere para
esperar.
DIRECCIONAMIENTO
Direccionamiento directo lo que se realiza es lo
que siguiente que envíe primitivo incluya un
identificador específico del proceso de destino,
reciba el primitivo pudo saber adelantado que
procese un mensaje es esperado, reciba el
primitivo pudo usar parámetro de fuente para
retornar un valor cuando la operación de
receive ha sido ejecutado
Direccionamiento indirecto, los mensajes son
enviados a una estructura de datos dividida
consistiendo de las colas, las colas son llamados
los buzones, un proceso envía a un mensaje
para el buzón y el otro proceso romper y
remover el mensaje del buzón
SEMÁFOROS
La espera activa es insuficiente, es decir, los
procesos ocupan el procesador incluso aunque
no puedan avanzar.
El uso de variables compartidas genera
esquemas demasiados complejos, muy
artificiales, inadecuados y propensos a errores.
Los semáforos son señales simples que pueden
obligar a un proceso a detenerse en una
posición determinada. Con la estructura
adecuada podemos satisfacer requisitos de
coordinación.
Estos son un tipo de TAD (tipo abstracto de
datos) formado por un valor numérico y una
cola de procesos bloqueados que fueron
inventados por Edsger Dijkstra en 1965 y se
utilizan para bloquear un proceso cuando este
no puede realizar la operación deseada, en lugar
de desperdiciar tiempo de CPU.
La imagen anterior muestra la inicialización de
un semáforo y para las operaciones sobre
semáforos, como la operación P (wait, acquire
o lock) y la operación V (signal, release o post).
Además, se mencionan algunas otras
operaciones que dependen de la
implementación concreta y se señala que la
definición de un semáforo implica la exclusión
mutua en la ejecución de las operaciones por él
definidas.
Los semáforos son una herramienta para
resolver problemas de exclusión mutua (sólo
uno de los procesos debe estar en la sección
crítica en un instante dado) y en la exclusión
de sincronización (esperar la concurrencia de
un evento para que siga ejecutándose).
Tenemos un ejemplo de exclusión mutua que el
proceso al entrar a la sección crítica decrementa
su valor y continuará. Si el proceso desea
entrar, value será 0 y se bloqueará hasta que se
ejecute signal.
Los candados, mutexes o locks son semáforos
binarios optimizados para exclusión mutua.
USO DE CANDADOS
Cada lenguaje de programación podemos
encontrar diferente el Mutex, en rust
disponemos de hilos y primitivas, pero no de
semáforos, para ello se necesita una biblioteca
externa.
SINCRONIZACIÓN GENÉRICA
El valor del semáforo puede interpretarse como
un indicador del número de recursos
disponibles. En mecanismos más complejos
requieren otros valores, como ejemplo el
número máximo de procesos, de impresoras, de
procesadores, etc. Estos se denominan
multiplexes.
Está también el algoritmo de Bartz que sirve
para simular semáforos generales con
semáforos binarios, como ejemplo el siguiente
código.
También, la condición de sincronización que se
asocia con un semáforo general a cada
condición, al igual que un proceso espera a que
una condición se cumpla ejecutando desde un
principio una operación wait.
Dentro de los semáforos existen dos tipos que
son los fuertes (la cola de procesos sigue una
política FIFO estricta) y los débiles (que es si
los procesos se seleccionan aleatoriamente).
Existen los semáforos para procesos como
System V. Estos se componen de:
- El valor del semáforo
- El identificador del último proceso que
lo manipuló
- El número de procesos que hay
esperando a que el valor del semáforo
se incremente
- El número de procesos que hay
esperando a que el semáforo tome
- el valor 0
COMIDA DE FILÓSOFOS
- Cinco filósofos se dedican a pensar y a
comer en una mesa circular.
- En el centro de la mesa hay un cuenco
con arroz, y la mesa está puesta con
 cinco platos y cinco palillos, uno por
cada filósofo.
- Cuando un filósofo tiene hambre se
sienta en la mesa a comer en su sitio.
- El filósofo sólo puede coger un palillo
cada vez y no le puede quitar un palillo
a un compañero que lo tenga en la
mano.
- Cuando un filósofo tiene los dos
palillos come sin soltarlos hasta que
termine y vuelva a pensar.
- Ilustra los problemas básicos de
interbloqueo.
- Representa los problemas relacionados
con la coordinación de los recursos no
compartibles de un sistema.
- Es objeto habitual de estudio y
comparación entre los diferentes
mecanismos de sincronización.
Una primera solución para la comida de
filósofos es:
- Exclusión mutua a toda la mesa
- Sólo un filósofo puede comer a la vez.
que esta solución es ineficiente ya que podrían
comer dos.
La siguiente solución sería que el filósofo
agarrara primero el palillo izquierdo y después
el derecho. Si alguno ya está cogido se queda
esperando a que lo suelten, pero si todos
quieren comer simultáneamente puede aparecer
un problema:
INTERBLOQUES
Estos se producen cuando hay competencia por
recursos compartidos, estos se bloquean
esperando hasta que el otro libere el recurso y
no haya un progreso en la ejecución
Para resolverlo hay que impedir alguna de las
circunstancias, romper la espera circular o que
el filósofo que provoca el interbloqueo debe
coger los palillos en otro orden (fíjate que el
filósofo 4 ha cambiado el orden), por eso
hacemos:
Se resuelve el interbloqueo, pero no es óptimo.
La solución óptima sería:
- Cambio de enfoque: lo vemos como un
problema de sincronización.
- Un filósofo podrá estar en cualquiera
de estos estados: THINKING,
HUNGRY, EATING
- Un filósofo podrá comer si ninguno de
sus vecinos está comiendo, en otro caso
espera a que le notifiquen que han
acabado.
- No hay deadlocks, pero podría darse el
caso de que un filósofo no comiera
nunca…
- Disponemos de un array para
representar el estado de los filósofos y
un semáforo (mutex) controla la
exclusión mutua a este array. El array
sync de semáforos proporciona la
sincronización entre filósofos.
- Destacar las líneas 28 y 29, en ellas se
evita un deadlock.
SINCRONIZACIÓN DE PROCESOS
Existen dos tipos de procesos que son los
secuenciales y los concurrentes (es cuando dos
procesos secuenciales se ejecutan en
paralelo, superponiéndose en el tiempo) estos
determinan sincronización y comunicación.
Algunos conceptos del proceso de concurrencia
son:
- Comunicación entre procesos
- Compartición y competencia por los
recursos
- Sincronización de la ejecución de
varios procesos
- Asignación del tiempo de procesador a
los procesos.
Aunque también tienen sus problemas, como
compartir recursos globales, gestionar la
asignación óptima de recursos y localizar un
error de programación.
Existe una competencia entre los procesos, que
el primero en mencionar es exclusión mutua,
donde sus secciones críticas son que solo un
programa puede acceder a su sección crítica en
un momento dado, como ejemplo, solo se
permite que un proceso envíe una orden a la
impresora en un momento dado.
Está también, el interbloqueo y la inanición.
Cooperación por compartimiento: En esta las
operaciones de escritura deben ser mutuamente
excluyentes y las secciones críticas garantizan
la integridad de los datos.
Cooperación por comunicación: Donde en el
paso de mensajes no es necesario el control de
la exclusión mutua.
También que puede producirse un interbloqueo
en cada proceso que puede estar esperando una
comunicación del otro o puede producirse
inanición, donde dos procesos se están
mandando mensajes mientras que otro proceso
está esperando recibir un mensaje.
Entre los requisitos de la exclusión mutua está
que:
- Sólo un proceso debe tener permiso
para entrar en la sección crítica por un
recurso en un instante dado.
- Un proceso que se interrumpe en una
sección crítica debe hacerlo sin
interferir con los otros procesos.
- No puede permitirse el interbloqueo o
la inanición.
- Cuando ningún proceso está en su
sección crítica, cualquier proceso que
solicite entrar en la suya debe poder
hacerlo sin dilación.
- No se deben hacer suposiciones sobre
la velocidad relativa de los procesos o
el número de procesadores.
- Un proceso permanece en su sección
crítica sólo por un tiempo finito.
DIAGRAMA DE ESTRUCTURAS DE
CONTROL
EXCLUSIÓN MUTUA: ALGORITMO EN
BLOQUE
BIBLIOGRAFIAS
(s.f.). Departamento de Lenguajes y Sistemas
Informáticos - Departamento de Lenguajes y
Sistemas Informáticos.
https://www.dlsi.ua.es/asignaturas/pc/teoria/t0
4.pdf?classId=cb836dd3-e027-43e7-a549-
e12b153c7676&assignmentId=421fe4a2-
54bc-4de2-b152-
2baf112f59e5&submissionId=81dbb0ca-
10c2-949b-b099-9bd8e6752d1a
(s.f.). FCC - Facultad de Ciencias de la
Computación BUAP.
https://www.cs.buap.mx/~hilario_sm/slide/pcp
2016/unidad%204%20pcp-
2017.pdf?classId=cb836dd3-e027-43e7-a549-
e12b153c7676&assignmentId=421fe4a2-
54bc-4de2-b152-
2baf112f59e5&submissionId=81dbb0ca-
10c2-949b-b099-9bd8e6752d1a
(s.f.).
http://repositorio.ub.edu.ar/bitstream/handle/1
23456789/5256/SOp502_U4_SincroProcesos_
2015.pdf?sequence=1&isAllowed=y
(s.f.). https://cs.uns.edu.ar/~gd/soyd/clases/04-
SincronizacionExtras.pdf?classId=cb836dd3-
e027-43e7-a549-
e12b153c7676&assignmentId=421fe4a2-
54bc-4de2-b152-
2baf112f59e5&submissionId=81dbb0ca-
10c2-949b-b099-9bd8e6752d1a