¡Descarga Concurrencia (informatica) y más Apuntes en PDF de Informática solo en Docsity!
Concurrencia (informática) Ir a la navegaciónIr a la búsqueda
Los "Filósofos comiendo", problema clásico que implica el uso de concurrencia En ciencias de la computación, concurrencia se refiere a la habilidad de distintas partes de un programa, algoritmo, o problema de ser ejecutado en desorden o en orden parcial, sin afectar el resultado final. Los cálculos (operaciones) pueden ser ejecutados en múltiples procesadores, o ejecutados en procesadores separados físicamente o virtualmente en distintos hilos de ejecución. Un sin número de modelos matemáticos han sido desarrollados para cálculos de la concurrencia en general incluyendo redes de Petri, procesos Calculi, el modelo máquina de accesos random en paralelo, el Modelo Actor y el Lenguaje Reo.
También concurrente significa algo que se repite cada cierto tiempo en un mismo lugar.
Índice 1 Temas 2 Teoría 2.1 Modelos 2.2 Lógica 3 Práctica 4 Referencias 5 Lecturas Adicionales 6 Enlaces externos Temas Como los procesos en un sistema concurrente pueden interactuar entre ellos mismos mientras se están ejecutando, el número de posibles rutas de ejecución en el sistema puede ser extremadamente grande, y el resultado final puede ser indeterminado. El concurrente uso de recursos compartidos puede ser una fuente de indeterminación dirigida a asuntos como Bloqueo mutuo, y Inanición (starvation).1?
El diseño de sistemas concurrentes a menudo implican la búsqueda de técnicas confiables para coordinar su ejecución, el intercambio de información, asignación de memoria, y una ejecución programada para minimizar la respuesta de tiempo y maximizar el rendimiento o (cantidad de datos que se pueden transmitir por un canal u otro dispositivo de entrada).2?
Teoría La teoría de la concurrencia ha sido un campo activo de investigación en Ciencias de la Computación. En una de las primeras propuestas el trabajo de Carl Adam Petri fue un paso inicial en los inicios de los 60. Desde esos tiempos una amplia variedad de formalismos han sido desarrollados para dar ejemplos y razonar sobre la concurrencia.
Modelos Una serie de formalismos para ejemplificar y comprender sistemas concurrentes han sido desarrollados, incluyendo. 3?
La Máquina de Acceso Random Paralelos4? El Modelo Actor Puentes computacionales y modelos como el BSP. Las Redes de Petri Procesos calculi El modelo de Comunicación Secuencial de Procesos Espacios de tuplas, e.g., Linda (lenguaje coordinado) SCOOP (software) (Programación orientada a objetos concurrente simple) Lenguaje Reo Algunos de estos ejemplos de concurrencia están ante todo con la intención de sostener el razonamiento y la especificación, mientras otros pueden ser usados a través de todo el ciclo de desarrollo, incluyendo diseño, implementación, comprobación, experimentación y simulación de sistemas concurrentes. Algunos de estos están basados en el paso de mensajes mientras otros tiene diferente mecanismos para la concurrencia.
La proliferación de diferentes modelos de concurrencia ha motivado a algunos investigadores o científicos a unificar estos modelos teóricos. Por ejemplo, Lee y Sangiovanni-Vincentelli han
Algunos modelos de programación concurrente incluyen coprocesses y deterministic concurrency. En estos modelos, hilos de control explícitamente mantienen esos pequeños espacios de tiempos, ya sea al sistema o a otro proceso.
Referencias Cleaveland, Rance; Scott Smolka (diciembre de 1996). «Strategic Directions in Concurrency Research». ACM Computing Surveys 28 (4): 607. doi:10.1145/242223.242252. Campbell, Colin; Johnson, Ralph; Miller, Ade; Toub, Stephen (agosto de 2010). Parallel Programming with Microsoft .NET. Microsoft Press. ISBN 978-0-7356-5159-3. Filman, Robert; Daniel Friedman (1984). Coordinated Computing - Tools and Techniques for Distributed Software. McGraw-Hill. ISBN 0-07-022439-0. Archivado desde el original el 16 de mayo de 2007. Keller, Jörg; Christoph Keßler; Jesper Träff (2001). Practical PRAM Programming. John Wiley and Sons. Lee, Edward; Alberto Sangiovanni-Vincentelli (diciembre de 1998). «A Framework for Comparing Models of Computation». IEEE Transactions on CAD 17 (12): 1217-1229. doi:10.1109/43.736561. Mogens Nielsen; Vladimiro Sassone and Glynn Winskel (1993). «Relationships Between Models of Concurrency». REX School/Symposium. Frederick Knabe. Un protocolo distribuido para comunicacines basadas en canales con Choice PARLE 1992. Roscoe, Colin (2001). Modal and Temporal Properties of Processes. Springer. ISBN 0-387-98717-7. Lecturas Adicionales Lynch, Nancy A. (1996). Distributed Algorithms. Morgan Kauffman. ISBN 1-55860-348-4. Tanenbaum, Andrew S.; Van Steen, Maarten (2002). Distributed Systems: Principles and Paradigms. Prentice Hall. ISBN 0-13-088893-1. Kurki-Suonio, Reino (2005). A Practical Theory of Reactive Systems. Springer. ISBN 3-540-23342-3. Garg, Vijay K. (2002). Elements of Distributed Computing. Wiley-IEEE Press. ISBN 0-471-03600-5. Magee, Jeff; Kramer, Jeff (2006). Concurrency: State Models and Java Programming. Wiley. ISBN 0-470-09355-2.
Enlaces externos Concurrent Systems at The WWW Virtual Library Concurrency patterns presentation given at scaleconf Categoría: Control de concurrencia Menú de navegación No has accedidoDiscusiónContribucionesCrear una cuentaAccederArtículoDiscusiónLeerEditarVer historialBuscar Buscar en Wikipedia Portada Portal de la comunidad Actualidad Cambios recientes Páginas nuevas Página aleatoria Ayuda Donaciones Notificar un error Imprimir/exportar Crear un libro Descargar como PDF Versión para imprimir En otros proyectos Wikimedia Commons Herramientas Lo que enlaza aquí Cambios en enlazadas Subir archivo
