Mecanismo de sincronização que é uma das características mais distintivas e, por vezes, controversas da implementação padrão do Python (CPython).
Entenda o sistema de tipagem de variáveis em Python
