RT info:eu-repo/semantics/conferenceObject T1 Una extensión para OpenMP que soporta paralelización especulativa A1 Aldea, Sergio A1 Estébanez, Álvaro A1 González Escribano, Arturo A1 Llanos Ferraris, Diego Rafael K1 Informática K1 Paralelismo K1 Paralelización especulativa K1 OpenMP K1 Compiladores K1 1203 Ciencia de Los Ordenadores K1 3304 Tecnología de Los Ordenadores AB Las directivas de OpenMP se pueden considerar como el estándar de programación paralela en memoria compartida. Sin embargo, OpenMP no garantiza que la ejecución paralela de un bucle siga la semántica secuencial si aparecen dependencias entre las instrucciones. En este trabajo proponemos aumentar la funcionalidad de OpenMP agregando soporte de paralelización especulativa. Nuestra contribución se resume en tres apartados. Hemos definido un nueva cláusula speculative para variables internas de bucles. Esta cláusula asegura que el acceso a estas variables se produce siguiendo la semántica secuencial del bucle. Además, hemos desarrollado una nueva biblioteca de paralelización especulativa que garantiza la ejecución paralela de bucles de OpenMP con variables es-peculativas. Por último, hemos desarrollado un nuevo paso de GCC que traduce los valores englobados en la cláusula speculative en llamadas a la biblioteca especulativa. El resultado es el sistema ATLaS, que utiliza la paralelización especulativa para extender la funcionalidad de OpenMP, y garantizar la semántica secuencial de cualquier bucle ejecutado en paralelo. PB Universidad de Valladolid SN 978-84-697-0329-3 YR 2014 FD 2014 LK https://uvadoc.uva.es/handle/10324/71088 UL https://uvadoc.uva.es/handle/10324/71088 LA spa NO XXV Jornadas de Paralelismo, Valladolid, Spain NO Producción Científica DS UVaDOC RD 23-nov-2024