Você pode explicar o que é o GIL e o que ele realmente protege?

O Global Interpreter Lock é um mutex do CPython que deixa apenas uma thread executar bytecode Python por vez, protegendo o estado do interpretador, como contagens de referência e estruturas internas de objetos. Isso significa que threads não dão ganho paralelo para código Python CPU bound, mas ainda ajudam em I/O, porque o lock é liberado durante chamadas bloqueantes e durante trabalho em extensões C.

O GIL é um lock único no CPython que garante que só uma thread roda bytecode Python em qualquer momento. Ele existe porque a contagem de referências não é thread safe, e um lock por objeto seria mais lento para o caso single threaded, onde a maior parte do código vive. Na prática, isso significa que threads são ótimas para esperar e inúteis para calcular. Num pipeline de dados em que trabalhei, tínhamos uma etapa puxando cerca de oitocentas URLs, e mover isso de um loop serial para um thread pool derrubou de uns nove minutos para menos de um, porque cada worker passa a vida bloqueado num socket e libera o lock enquanto espera. A etapa de parsing ao lado não ganhou nada, então empurramos aquilo para um process pool. Numpy e outras extensões C também soltam o lock dentro de chamadas nativas longas, e é por isso que matemática pesada de arrays pode parecer paralela mesmo em threads. Quando alguém me diz que Python não faz concorrência, eu costumo perguntar de qual tipo ele está falando.