Mira, creo que ya estas llevando el tema para otro lado, yo como cualquiera que lee, aporte mi opinion.
Ya que mencionas la frase "hablar por hablar", podemos aclarar un par de cosas. Primero no hay que tomar todo al pie de la letra. Porque sino, yo podria decirte que no afirmaria que la pila es "volatil".
Si vamos con el criterio de explicar todo bien perfectamente, esa no es la palabra correcta para describir la pila de ejecucion.
Si queres podemos diferenciar entre pila y heap.
La pila de ejecucion de un programa no es solo la pila como tal, sino que lleva un bloque por debajo denominado heap, que en conjunto con la pila forman todo el bloque.
A eso considero yo pila de ejecucion, y tomado desde ese punto las variables globales si van en la pila de ejecucion, debajo del heap, incluso antes de arrancar el programa ya estan consumiendo memoria de ese bloque.
Si consideras aparte que este bloque de ejecucion es un bloque fijo que no cambia de tamaño, se puede rebalsar.
Todo esto hablamos sin saber las cuestiones de manejo del compilador.
Igual ya nos fuimos del tema, solo queria aclararte esto que creo que lo estamos viendo desde dos puntos diferentes. Solo eso, saludo.