问题实在太多，带着这些疑问去看 The Fortran 2003 Handbook，这本书可以帮你揭开心中的疑惑。

问题确实多。

一般来说，变量的生存周期是该程序单元。

Module 里的变量是永久的，每一个 Use 了它的程序单元，都可以直接使用它内部的变量和Contains子程序。

common 于 Module 不矛盾。但不推荐使用 common！！！

变量打架问题很多，需要分别排查，不好一概而论，我也没有归纳过哪些情况会出现。

形参，虚参，哑元是一个东西。
实参，实元也是一个东西。

common 和 Module 不可能代替参数传递。
对于科学计算的角度，计算数据确实可以用 common 和 Module 来代替参数的传递。
但是虚参可以每次不一样，每次调用根据情况而定，而 Module 不行，它需要手动更改。
比如有一个函数，虚参是“男方”“女方”，内容是“结婚”。

Subroutine 结婚( 男方 , 女方 )
 ...
End Subroutine 结婚

第一次调用“结婚”，“男方”=“谢霆锋”，“女方”=“张柏芝”
Call 结婚(谢霆锋,张柏芝)

第二次调用“结婚”，“男方”=“张国立”，“女方”=“邓婕”
Call 结婚(张国立,邓婕)

如果用 Module 代替参数，会非常麻烦，也不如参数传递直观。

从程序设计的角度，Module 和 common 也不适合混编。因为其他语言未必有 Module 和 common，就算有，调用协定也不同。
而参数传递，只要遵循统一的调用协定，那么进行混编就更方便。

内存配置是由编译器完成的，一般在编译时确定地址。
但有例外：
1.allocatable 的数组，地址是运行时确定
2.虚参，子程序局部变量，地址可能是在运行时从堆栈里取出。（也可能在编译时确定，编译器会选择更好的储存方式）
3.临时变量，循环变量，编译器甚至不会在内存里给它们分配空间，而直接使用寄存器。（也可能分配，编译器也会选择更好的方式）

总之，内存的调度是由编译器完成的，不同编译器就会不一样。
同样的代码，不同的编译器，不同的优化选项，数组的大小不同，都可能导致编译器选择不同的内存调度手段。

如果楼主对这个感兴趣，建议学习汇编语言，反汇编调试技术，编译原理。