Não sei se existe um atributo de uma função que dá o __dict__do espaço exterior da função quando este espaço exterior não é o espaço global == o módulo, que é o caso quando a função é uma função aninhada, em Python 3.
Mas em Python 2, até onde eu sei, não existe tal atributo.
Portanto, a única possibilidade de fazer o que você deseja é:
1) usando um objeto mutável, como dito por outros
2)
def A() :
b = 1
print 'b before B() ==', b
def B() :
b = 10
print 'b ==', b
return b
b = B()
print 'b after B() ==', b
A()
resultado
b before B() == 1
b == 10
b after B() == 10
.
Nota
A solução de Cédric Julien tem uma desvantagem:
def A() :
global b # N1
b = 1
print ' b in function B before executing C() :', b
def B() :
global b # N2
print ' b in function B before assigning b = 2 :', b
b = 2
print ' b in function B after assigning b = 2 :', b
B()
print ' b in function A , after execution of B()', b
b = 450
print 'global b , before execution of A() :', b
A()
print 'global b , after execution of A() :', b
resultado
global b , before execution of A() : 450
b in function B before executing B() : 1
b in function B before assigning b = 2 : 1
b in function B after assigning b = 2 : 2
b in function A , after execution of B() 2
global b , after execution of A() : 2
O b global após a execução de A()foi modificado e pode não ser desejado
Esse é o caso apenas se houver um objeto com o identificador b no namespace global