topos 0.12.0

An autodiff compiler stack in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

//! The cuda implementer: the always-compiled manifest, and the
//! cuBLAS kernels behind the `cuda` feature.

use super::backend::BackendUnavailable;
use super::coverage::{Coverage, Dispatch, Fidelity};
use super::formula::{Formula, Precision};
use super::manifest::Manifest;

#[cfg(all(feature = "cuda", target_os = "linux"))]
#[allow(unsafe_code)]
mod kernels;

#[cfg(all(feature = "cuda", target_os = "linux"))]
pub(super) use kernels::{gemm_f32, gemm_f64};

/// The NVIDIA rung for large products, described in every build.
pub(super) struct Cuda;

impl Manifest for Cuda {
    const DISPATCH: Dispatch = Dispatch::Offered;

    fn coverage(formula: Formula) -> Coverage {
        match formula {
            // One cuBLAS call per product under the column-major
            // swap, both precisions; device sums reorder, so the fidelity
            // is the envelope.
            Formula::Gemm => Coverage::Serves {
                fidelity: Fidelity::Envelope,
                precisions: Precision::ALL,
            },
            // A cuda map would be PCIe-bound: copies alone sink an
            // elementwise pass.
            Formula::Map
            | Formula::WindowProduct
            | Formula::ReduceWindow
            | Formula::BatchNormTraining
            | Formula::BatchNormInference => Coverage::Absent,
        }
    }

    fn compiled() -> bool {
        cfg!(all(feature = "cuda", target_os = "linux"))
    }

    fn status() -> Result<(), BackendUnavailable> {
        if !cfg!(feature = "cuda") {
            return Err(BackendUnavailable::NotCompiled);
        }
        if !cfg!(target_os = "linux") {
            return Err(BackendUnavailable::PlatformUnsupported);
        }
        #[cfg(all(feature = "cuda", target_os = "linux"))]
        {
            kernels::status()
        }
        #[cfg(not(all(feature = "cuda", target_os = "linux")))]
        {
            unreachable!("the cfg! guards above cover this build")
        }
    }
}