Subrutinas puras en Fortran - Optimización del compilador

Question

Recientemente descubrí el uso de funciones puras y subrutinas en Fortran. Según lo que indica el manual de Fortran, parece que la mayoría de mis subrutinas pueden definirse realmente como puras (ya que siempre especifico el propósito de todos los argumentos, y generalmente no tengo "guardar", "pausar", o E/S externa en la mayoría de mis subrutinas). Mi pregunta es: ¿Debería hacerlo? Me preguntaba si el compilador optimiza mejores subrutinas puras o si simplemente no importa, o si puede empeorar las cosas. Gracias!

Answer 1

Usted trabaja con el compilador para generar un buen código, y mientras más información proporcione el compilador, mejor será un trabajo ustedes dos pueden hacerlo juntos.

Ya sea etiquetado con intent(in) argumentos ficticios no se cambia, o el uso de parameter para las constantes, de manera explícita o hacer cualquier pure subprograma que no tiene ningún efecto secundario, o el uso de forall cuando no les importa el orden de un bucle se calcula, por ser más explícito acerca de lo que desea que suceda, usted se beneficia porque:

• el compilador ahora puede marcar más errores en tiempo de compilación - Hey, que modifican ese argumento que has dicho es la intención 'in', o ha modificado esa variable de módulo en una subrutina pura
• su código es c Leerse a la siguiente persona para llegar a ella sin saber lo que se supone que debe hacer (y esa persona bien podría ser usted tres meses después)
• el compilador puede ser más agresivo con la optimización (si el compilador tiene la garantía de que nada va a cambiar, puede aumentar la optimización).

De esos tres beneficios, la optimización probablemente no sea la más importante; en el caso de las subrutinas puras, un compilador inteligente probablemente vea solo a través del análisis estático que su subrutina no tiene efectos secundarios. Aún así, cuantas más garantías pueda otorgar, mejor será el trabajo que puede hacer para optimizar su código y mantener la corrección.

Answer 2

Por lo que sé, simplemente no importa en un modo secuencial. Pero si activa las opciones de "paralelización automática", un compilador a veces puede aprovechar la declaración PURE para paralelizar bucles (multi-threading) que contienen llamadas a subrutinas puras (no puede correr el riesgo si las subrutinas no son puras). Por la misma razón, la declaración PURE también es útil para el programador que quiere establecer manualmente // directivas (OpenMP por ejemplo) porque el riesgo de problemas con tales procedimientos es bastante limitado. A menudo es posible paralelizar bucles con llamadas a subrutinas no puras, pero esto necesita una verificación profunda ...