`--use-fine-grained-cache` for `dmypy` hangs
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
According to the docs (https://mypy.readthedocs.io/en/stable/additional_features.html?highlight=caching#caching-with-mypy-daemon) enabling the fine grained cache should help speed up initial mypy runs. However, this doesn't seem to be working, and dmypy seems to hang when using it:
# Slow initial run (mypy):
❯ rm -r .mypy_cache
❯ time mypy --cache-fine-grained .
mypy --cache-fine-grained . 82.04s user 9.06s system 97% cpu 1:33.69 total
# Faster cached run (mypy)
❯ time mypy --cache-fine-grained .
mypy --cache-fine-grained . 45.68s user 6.77s system 95% cpu 54.732 total
# Slow initial run (daemon)
❯ dmypy stop
❯ time dmypy run .
dmypy run . 0.32s user 0.31s system 0% cpu 1:23.13 total
# Faster cached run (daemon)
❯ time dmypy run .
dmypy run . 0.08s user 0.06s system 12% cpu 1.124 total
# Initial run using mypy cache (daemon)
❯ dmypy stop
❯ time dmypy run . -- --use-fine-grained-cache
# Nothing happening for at least 10 minutes...
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Inizia riproducendo il workflow di caching documentato con dmypy run . -- --use-fine-grained-cache, confrontandolo con mypy --cache-fine-grained . e con il normale dmypy run .. Segui l’entry point della fine-grained cache di dmypy e determina perché l’esecuzione iniziale non termina; il lavoro è completato quando il comando termina e usa la cache come descritto nella documentazione del caching.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- devtools
- Tipo di issue
- Bug
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Stato di attività
- Ferma
- Chiarezza
- Da chiarire
- Idoneità per principianti
- 25/100