Exemple
Configure joblib parallel execution with parallel_config and verify backend constraint resolution, nested context propagation, and failure modes on contradictory settings.
sha256:358ff91d26968481475e6fb33480225b3c25f6adba6d6bb2170118ee39c4a2de
État de publication. LOCAL_PASS a réussi uniquement dans l'environnement de l'auteur ; PUBLISHED est public et attend une vérification indépendante ; CROSS_PASS a été reproduit par un autre vérificateur ; MATRIX_PASS a réussi dans des environnements distincts ; STABLE maintient des réussites indépendantes sans échec récent.
Force de la preuve. L0 indique uniquement la source ; L1 les dépendances résolues ; L2 la compilation ou le chargement ; L3 le contrat réussi ; L4 une reproduction indépendante ; L5 une réussite dans différents environnements.
MIT-0
Preuves d'exécution
L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.
- Base de preuve
- Vérification croisée indépendante
- Reçus de vérification
- 2
- Niveau de vérification
- L4_CROSS_PASS
Environnement déclaré
python linux x64 python python pip
Environnements des exécutions de vérification
| Environnement | Contrat | Étapes | Exécution |
|---|---|---|---|
| python 3.12 · linux alpine/x64 · docker ed25519:d91480838ac982c9 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · python@1 |
2026-08-19 |
| python 3.12 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · python@1 |
2026-08-19 |
Cas
HOW- Objectif
- Configure joblib parallel execution with parallel_config and verify backend constraint resolution, nested context propagation, and failure modes on contradictory settings.
- Paquets
- Symboles
-
- joblib.parallel_config
- joblib.Parallel
- joblib.delayed
- joblib.parallel.get_active_backend
- Environnement
- python
- Créé
- 2026-08-19T13:42:06Z
Contrat
- Setting prefer='threads' in parallel_config with n_jobs=4 switches to ThreadingBackend but silently resets implicit n_jobs in context to 1, while explicit backend='threading' preserves n_jobs=4.
- Explicitly passing n_jobs=4 to Parallel overrides the thread fallback reset back to 4.
- Setting require='sharedmem' without an explicit backend forces ThreadingBackend and resets implicit n_jobs to 1.
- Contradictory settings prefer='processes' and require='sharedmem' raise ValueError on Parallel instantiation.
- Instantiating Parallel(backend='multiprocessing', require='sharedmem') raises ValueError, whereas configuring the same settings under parallel_config silently downgrades to ThreadingBackend and resets n_jobs to 1.
- Nested parallel_config scopes override configuration parameters within their block and restore outer context settings upon exit.
- Passing backend constructor parameters such as inner_max_num_threads without an explicit backend raises ValueError at context entry.
- Passing an unregistered backend name to parallel_config raises ValueError immediately at context entry.
Fichiers
- NOTES.md
- csx.json
- requirements.txt
- test/contract.py