cuda.core: should sticky CUDA errors derive from BaseException?
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Cython
- Sterne
- 3.4k
- Forks
- 329
- Ø Merge
- 1 T. 21 Std.
- Gemergte PRs (30 T.)
- 113
Beschreibung
Question
Should cuda.core raise sticky CUDA errors (device faults after which every further CUDA call returns the same error) as a dedicated exception type that derives from BaseException rather than Exception?
This came up in the review of #2759 (see the thread on docs/source/error_handling.rst, "Sticky errors"). Today all driver and runtime errors are raised as cuda.core.CUDAError, which derives from Exception. #2759 documents that sticky errors are raised like any other error and that the application decides how to shut down.
Motivation
After a sticky fault the CUDA documentation calls for the process to be terminated and relaunched; there is no legitimate recovery. A BaseException subclass is not caught by except Exception:, so naive "if anything goes wrong, retry" code would not swallow the fault and keep issuing CUDA work that is guaranteed to fail. It remains catchable for code that explicitly wants to (except BaseException, or the class itself). KeyboardInterrupt and SystemExit are the stdlib precedent for exit-like conditions.
What it would change
- A new public exception type beside
CUDAError. It cannot derive fromCUDAError, because that would make it anException. Consequentlyexcept CUDAError:stops catching sticky faults, which is a visible behavior change for existing users. _check_driver_error/_check_runtime_errorbranch on a frozen set of codes. Derived from the shipped error explanations ("any further CUDA work will return the same error"), the driver set isCUDA_ERROR_CONTAINED(226),ILLEGAL_ADDRESS(700),LAUNCH_TIMEOUT(702),HARDWARE_STACK_ERROR(714),ILLEGAL_INSTRUCTION(715),MISALIGNED_ADDRESS(716),INVALID_ADDRESS_SPACE(717),INVALID_PC(718),LAUNCH_FAILED(719),TENSOR_MEMORY_LEAK(721),MPS_CLIENT_TERMINATED(810),EXTERNAL_DEVICE(911). The runtime table has the same codes.CUDA_ERROR_ASSERTis documented as context-fatal, not process-fatal, and would be excluded. A test can cross-check the set against the explanation text.- Internal
except Exception:sites need review, since aBaseExceptionskips them: theBufferdeallocation callback, the free-then-reraise blocks in_memoryview.pyx, the virtual-memory rollback closure, the capture-tail chaining inGraphBuilder. Bareexcept:sites are unaffected. - Tests for a real sticky fault must run in a subprocess, because the fault poisons the test process.
- Docs (
error_handling.rst,api.rst),__all__, stubs, release notes.
Considerations
- PEP 352 says user-defined exceptions should derive from
Exception; directBaseExceptionsubclasses are reserved for conditions that should not be caught by default. A process-fatal device fault arguably qualifies, but this is an unusual stance for a library. - No ecosystem precedent: CuPy, PyTorch and Numba raise
Exceptionsubclasses (RuntimeErroror their own) for the same driver codes. In mixed stacks the other library's exception type is what a user sees first anyway. - pytest,
concurrent.futuresandthreading.excepthooktreat a customBaseExceptionas an ordinary failure. asyncio propagates it out of the event loop, cancelling other tasks, which is the intended "stop" but abrupt.
Alternative
Keep sticky errors as CUDAError (so existing handlers keep working) but raise a dedicated subclass, or set a sticky attribute, so code can recognize them without string matching. This gives the machine-readable signal without the except Exception speed bump.
Decision requested
- Do we want the
BaseExceptionspeed bump at the cost ofexcept CUDAError:no longer catching sticky faults? - If not, is a
CUDAErrorsubclass (or attribute) for sticky faults worth adding?
Refs: #2758 (error-handling policy RFC), #2759 (implementation and review thread).
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Lies docs/source/error_handling.rst und den Review-Thread zu #2759 zur aktuellen sticky-error-Richtlinie und untersuche anschließend _check_driver_error, _check_runtime_error und die aufgeführten internen Exception-Handler. Kläre die Entscheidung zur Exception-Hierarchie und zum sticky-code, bevor du subprocess-Tests, API-Exporte, Stubs, Dokumentation und Release Notes bearbeitest.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- api, documentation, testing
- Issue-Typ
- Feature
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Aktivitätsstatus
- Aktiv
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 25/100