Concurrencia de procesos
La concurrencia de procesos se refiere a las situaciones en las que dos o más procesos pueden coincidir en el acceso a un recurso compartido. Para evitar dicha coincidencia, se tienen que emplear mecanismos de arbitraje que permitan coordinar la ejecución de los procesos de acuerdo con las premisas.
Contenido
Formas de interacción entre procesos
Hay dos formas básicas de interacción entre los procesos:
- Relaciones de competencia: Dados dos procesos A y B, ambos procesos tienen objetivos diferentes y compiten por los recursos para conseguirlos.
- Relaciones de cooperación: Dados dos procesos A y B, ambos con un mismo objetivo, se ponen de acuerdo a la hora de emplear los recursos existentes para alcanzarlos.
El sistema operativo ofrece mecanismos que los procesos, sea de la naturaleza que sean, puedan coordinar su ejecución, así como el acceso a los recursos.
Mecanismos de arbitraje
Los mecanismos de arbitraje que ofrece el sistema operativo son básicamente dos:
- Sincronización: el sistema operativo ofrece mecanismos que permiten a los procesos coordinar su ejecución para conseguir el objetivo sin que sucedan situaciones no deseadas, como por ejemplo que dos o más procesos coincidan simultáneamente en el acceso a un cierto recurso que no se puede compartir.
- Mensajería: el sistema operativo ofrece mecanismos de comunicación basados en mensajes. El intercambio de mensajes entre procesos permite coordinarlo.
Programación concurrente
La programación concurrente se trata del conjunto de técnicas que nos permiten elaborar programas que resuelven situaciones de concurrencia. En programación concurrente, el programador emplea alguno de los mecanismos de arbitraje existentes, basados en sincronización o mensajería, para resolver el problema de concurrencia.
Tipos de mecanismos de sincronización
Los mecanismos de sincronización los podemos catalogar en dos categorías:
- Optimistas: Este mecanismo considera que la frecuencia de acceso a un cierto recurso compartido es baja.
- Pesimistas: Este mecanismo permite coordinar la ejecución de dos o más procesos que acceden al recurso compartida con una frecuencia alta.
Se debe tener en cuenta que si el programador selecciona un mecanismo inadecuado, es decir, que seleccione un mecanismo de sincronización optimista para una situación que requiere el uso de una aproximación pesimista, no se obtendría el efecto deseado.
