Mutex

Los algoritmos de exclusin mutua (comnmente abreviada como mutex por mutual
exclusion) se usan en programacin concurrente para evitar el ingreso a sus secciones crticas
por ms de un proceso a la vez. La seccin crtica es el fragmento de cdigo donde puede
modificarse un recurso compartido.

La mayor parte de estos recursos son las seales, contadores, colas y otros datos que se
emplean en la comunicacin entre el cdigo que se ejecuta cuando se da servicio a
una interrupcin y el cdigo que se ejecuta el resto del tiempo. Se trata de un problema de
vital importancia porque, si no se toman las precauciones debidas, una interrupcin puede
ocurrir entre dos instrucciones cualesquiera del cdigo normal y esto puede provocar graves
fallos.

La tcnica que se emplea por lo comn para conseguir la exclusin mutua es inhabilitar
las interrupciones durante el conjunto de instrucciones ms pequeo que impedir la
corrupcin de la estructura compartida (la seccin crtica). Esto impide que el cdigo de la
interrupcin se ejecute en mitad de la seccin crtica.

Monitores

En un sistema pueden existir algunos procesos que necesitan comunicarse entre s,

compitiendo adems por los recursos del sistema, una zona de datos especficos o un
dispositivo de E/S, y dicha competicin se debe regular a travs de la sincronizacin de los
procesos. Las tcnicas de sincronizacin son el fundamento del procesamiento concurrente.
Existen dos mtodos bsicos de comunicacin entre procesos: Comparticin de datos e
Intercambio de informacin. En este tema se trata inicialmente el problema de la
comunicacin entre procesos mediante Comparticin de datos. Los Semforos
constituyen el mecanismo bsico fundamental para el problema de la sincronizacin pero
dado que en la utilizacin de stos pueden existir errores de temporizacin debido a su
incorrecto uso y a que son difciles de detectar, es que nace la idea de Monitores que
proporcionan un mecanismo alternativo al de los Semforos.

Pasaje de transmisin

Es un paradigma de programacin ampliamente usado en el software moderno. Sus

aplicaciones cubren un amplio campo, y puede usarse desde para garantizar que los diferentes
objetos que constituyen un programa informtico puedan trabajar de forma coherente entre
ellos hasta para permitir que una tarea pueda ejecutarse de forma sincronizada entre varios
ordenadores. Es uno de los conceptos clave en modelos de programacin
concurrente, programacin distribuida y programacin orientada a objetos.

De forma abstracta, se llama mensaje a una porcin de informacin que un proceso emisor
enva a un destinatario (El cual puede ser otro proceso, un actor o un objeto). El modelo de
paso de mensajes es el que define los mtodos y funciones para poder llevar a cabo el envo
de un mensaje de un proceso emisor a un destinatario. Supone un enfoque opuesto al
paradigma tradicional en el cual los procesos, funciones y subrutinas slo podan ser llamados
directamente a travs de su nombre.