Concurrencia

UNIVERSIDAD DE EL SALVADOR

FACULTAD MULTIDISCIPLINARIA DE OCCIDENTE

DEPARTAMENTO DE INGENIERIA Y ARQUITECTURA

CATEDRA: SISTEMAS OPERATIVOS

CATEDRATICO: ING. LUIS BARRERA

TEMA: CONCURRENCIA

INTEGRANTES:

SANCHEZ MARTEL, DOUGLAS ERNESTO

SERVELLON DURAN, MIGUEL EDUARDO

ZELADA RAMIREZ, JAIME ALEJANDRO

FECHA DE ENTREGA:

27/11/2014
INTRODUCCION
Operación Atómica
Laoperación atómica se introdujo por primera vez como un modelo de consistencia por Herlihy y Wing en 1987. Abarcaba definiciones más restrictivas de atómica, como "una operación atómica es una que no puede ser (o no está) interrumpida por operaciones simultáneas. Podemos definir a una operación atómica como una rutina de paso indivisible.
Informalmente un sistema concurrente consiste en unacolección de procesos secuenciales que se comunican a través de objetos de tipo compartido. Este modelo engloba dos arquitecturas: una relacionada al paso de mensajes, en las cuales objetos compartidos son colas de mensajes y por otro lado arquitecturas de memoria compartida en la cual los objetos compartidos son estructuras de datos en memoria. Cada objeto tiene un tipo en específico, el cual define unconjunto de posibles valores y un conjunto de operaciones primitivas que proveen solo significado a crear y manipular al objeto. En un sistema secuencial en donde las operaciones de un objeto son invocadas una por una por un solo proceso, el significado de dichas operaciones puede darse por condiciones previas o por condiciones posteriores. Sin embargo en un sistema concurrente las operaciones deun objeto pueden ser invocados por procesos concurrentes y si es necesario dar un significado a las invocaciones que se realizan de forma intercalada.
Un objeto o entidad concurrente es un objeto de datos compartido solo por procesos concurrentes. Una operación atómica es una condición de corrección que explota la semántica de un tipo de datos abstracto. Las operaciones atómicas permiten un altogrado de concurrencia, permiten además a los programadores especificar y razonar sobre objetos concurrentes usando técnicas conocidas de dominio secuencial. Las operaciones atómicas dan la ilusión que cada operación que se realiza por procesos concurrentes toman efecto de forma inmediata en algún punto entre su invocación (inicio) y su respuesta (final), lo que implica que las operaciones de unobjeto concurrente pueden ser dadas por condiciones previas y posteriores.
Puede parecer compleja la forma de abordar este concepto pero se clarifica con el siguiente ejemplo: suponga que dos procesos necesitan acceder a un recurso en específico, dicho recurso es compartido por ambos procesos, para permitir la atomicidad de la operación solo puede permitírsele el acceso a uno de ellos, sininterrupciones de por medio, esto se puede lograr bloqueando al proceso que quiera utilizar el recurso, esto permite que la operación atómica que realice el proceso que tiene el recurso se haga de una sola vez sin permitir que algún otro proceso se interponga en la ejecución del mismo.
Una colección de instrucciones que realiza una sola función lógica es denomina transacción. Se puede pensar en unatransacción como una entidad de programa que accede elementos de datos que residen en el disco duro dentro de algunos archivos en específico. No es más que una secuencia de operaciones de lectura y escritura que se termina con una operación de confirmación (commit) o una operación de cancelación (abort).
Para poder garantizar atomicidad en estas transacciones y que al haber un abort no se modifiquenlos datos originales y queden de forma incoherente dichos datos deben de restaurarse al estado anterior. Decimos entonces que esa transacción ha sido anulada.
En un entorno concurrente estas transacciones cambian un poco, primeramente hemos visto que en entornos secuenciales solo puede ejecutarse una transacción a la vez en dicho tipo de transacciones pueden existir algoritmos de recuperación...