package owl-base

  1. Overview
  2. Docs

Module Owl_computation_cpu_engine.MakeSource

Parameters

Signature

include sig ... end
module Graph : sig ... end
Sourceval eval_graph : Graph.graph -> unit
module Optimiser = Graph.Optimiser
Sourceval shape_or_value : Optimiser.Operator.Symbol.Shape.Type.t -> string
Sourceval graph_to_dot : graph -> string
Sourceval graph_to_trace : graph -> string
Sourceval save_graph : 'a -> string -> unit
Sourceval load_graph : string -> 'a * 'b
Sourceval invalidate_rvs : graph -> unit
Sourceval is_iopair_safe : 'a Owl_graph.node -> 'a Owl_graph.node -> bool
Sourceval update_iopair : graph -> unit
Sourceval remove_unused_iopair : 'a Owl_graph.node array -> 'b array -> 'a Owl_graph.node array * 'b array
Sourceval optimise : graph -> unit
module Operator = Graph.Optimiser.Operator
Sourceval estimate_complexity : 'a Owl_graph.node array -> int * int
Sourceval optimise_nodes : Operator.Symbol.Shape.Type.attr Owl_graph.node array -> unit
Sourceval empty : int array -> Symbol.Shape.Type.arr
Sourceval zeros : int array -> Symbol.Shape.Type.arr
Sourceval ones : int array -> Symbol.Shape.Type.arr
Sourceval sequential : ?a:Symbol.Shape.Type.elt -> ?step:Symbol.Shape.Type.elt -> int array -> Symbol.Shape.Type.arr
Sourceval gaussian : ?mu:Symbol.Shape.Type.elt -> ?sigma:Symbol.Shape.Type.elt -> int array -> Symbol.Shape.Type.arr
Sourceval bernoulli : ?p:Symbol.Shape.Type.elt -> int array -> Symbol.Shape.Type.arr
Sourceval init : int array -> (int -> Symbol.Shape.Type.elt) -> Symbol.Shape.Type.arr
Sourceval init_nd : int array -> (int array -> Symbol.Shape.Type.elt) -> Symbol.Shape.Type.arr
Sourceval shape : Symbol.Shape.Type.arr -> int array
Sourceval numel : Symbol.Shape.Type.arr -> int
Sourceval set : Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.elt -> unit
Sourceval get_slice : int list list -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval set_slice : int list list -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> unit
Sourceval copy_ : out:'a -> 'b -> 'c
Sourceval reset : Symbol.Shape.Type.arr -> unit
Sourceval concatenate : ?axis:int -> Symbol.Shape.Type.arr array -> Symbol.Shape.Type.arr
Sourceval split : ?axis:int -> 'a -> 'b -> 'c
Sourceval draw : ?axis:int -> Symbol.Shape.Type.arr -> int -> Symbol.Shape.Type.arr * 'a array
Sourceval lazy_print : ?max_row:int -> ?max_col:int -> ?header:bool -> ?fmt:(Symbol.Shape.Type.Device.A.elt -> string) -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval print : ?max_row:'a -> ?max_col:'b -> ?header:'c -> ?fmt:'d -> 'e -> unit
Sourceval sum_reduce : ?axis:int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval dilated_conv1d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval dilated_conv2d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval dilated_conv3d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval max_pool1d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval max_pool2d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval max_pool3d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval avg_pool1d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval avg_pool2d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval avg_pool3d : ?padding:Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr
Sourceval upsampling2d : Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.arr
Sourceval transpose_conv1d_backward_input : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval transpose_conv1d_backward_kernel : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval transpose_conv2d_backward_input : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval transpose_conv2d_backward_kernel : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval transpose_conv3d_backward_input : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval transpose_conv3d_backward_kernel : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval dilated_conv1d_backward_input : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval dilated_conv1d_backward_kernel : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval dilated_conv2d_backward_input : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval dilated_conv2d_backward_kernel : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval dilated_conv3d_backward_input : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval dilated_conv3d_backward_kernel : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval max_pool1d_backward : Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval max_pool2d_backward : Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval max_pool3d_backward : Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval avg_pool1d_backward : Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval avg_pool2d_backward : Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval avg_pool3d_backward : Owl_types.padding -> Symbol.Shape.Type.arr -> int array -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval upsampling2d_backward : Symbol.Shape.Type.arr -> int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval row_num : Symbol.Shape.Type.arr -> int
Sourceval col_num : Symbol.Shape.Type.arr -> int
Sourceval copy_row_to : Symbol.Shape.Type.arr -> 'a -> 'b -> unit
Sourceval copy_col_to : Symbol.Shape.Type.arr -> 'a -> 'b -> unit
Sourceval discrete_lyapunov : ?solver:[ `bilinear | `default | `direct ] -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval linsolve : ?trans:bool -> ?typ:[ `l | `n | `u ] -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval transpose : ?axis:int array -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr
Sourceval to_rows : Symbol.Shape.Type.arr -> 'a array
Sourceval to_cols : Symbol.Shape.Type.arr -> 'a array
Sourceval of_array : Symbol.Shape.Type.elt array -> int array -> Symbol.Shape.Type.arr
Sourceval of_arrays : Symbol.Shape.Type.elt array array -> Symbol.Shape.Type.arr
Sourceval to_arrays : Symbol.Shape.Type.arr -> Symbol.Shape.Type.elt array array
Sourceval op_to_str : Shape.Type.op -> string
Sourceval is_random_variable : Shape.Type.op -> bool
Sourceval refnum : 'a Owl_graph.node -> int
Sourceval node_shape : Shape.Type.attr Owl_graph.node -> int array
Sourceval node_numel : Shape.Type.attr Owl_graph.node -> int
Sourceval is_shape_unknown : Shape.Type.attr Owl_graph.node -> bool
Sourceval infer_shape_graph : Shape.Type.attr Owl_graph.node array -> unit
Sourceval shape_to_str : int array option array -> string
Sourceval node_to_str : Shape.Type.attr Owl_graph.node -> string
Sourceval node_to_arr : Shape.Type.t -> Shape.Type.arr
Sourceval arr_to_node : Shape.Type.arr -> Shape.Type.t
Sourceval node_to_elt : Shape.Type.t -> Shape.Type.elt
Sourceval elt_to_node : Shape.Type.elt -> Shape.Type.t
Sourceval make_node : ?name:string -> ?value:Shape.Type.Device.value array -> ?shape:int array option array -> ?freeze:bool -> ?reuse:bool -> ?state:Shape.Type.state -> Shape.Type.op -> Shape.Type.attr Owl_graph.node
Sourceval make_then_connect : ?shape:int array option array -> Shape.Type.op -> Shape.Type.attr Owl_graph.node array -> Shape.Type.attr Owl_graph.node
Sourceval var_arr : ?shape:int array -> string -> Shape.Type.arr
Sourceval var_elt : string -> Shape.Type.elt
Sourceval const_arr : string -> Shape.Type.Device.A.arr -> Shape.Type.arr
Sourceval const_elt : string -> Shape.Type.Device.A.elt -> Shape.Type.elt
Sourceval new_block_id : unit -> int
Sourceval make_empty_block : ?block_id:int -> int -> Shape.Type.block
Sourceval add_node_to_block : Shape.Type.attr Owl_graph.node -> Shape.Type.block -> unit
Sourceval get_active_node : Shape.Type.block -> Shape.Type.attr Owl_graph.node option
Sourceval set_active_node : Shape.Type.block -> Shape.Type.attr Owl_graph.node -> unit
Sourceval get_block_id : Shape.Type.attr Owl_graph.node -> int
Sourceval set_operator : Shape.Type.attr Owl_graph.node -> Shape.Type.op -> unit
Sourceval set_reuse : Shape.Type.attr Owl_graph.node -> bool -> unit
Sourceval get_reuse : Shape.Type.attr Owl_graph.node -> bool
Sourceval is_shared : Shape.Type.attr Owl_graph.node -> bool
Sourceval is_const : Shape.Type.attr Owl_graph.node -> bool
Sourceval is_node_arr : Shape.Type.attr Owl_graph.node -> bool
Sourceval is_node_elt : Shape.Type.attr Owl_graph.node -> bool
Sourceval is_assigned : Shape.Type.attr Owl_graph.node -> bool
Sourceval check_assigned : Shape.Type.attr Owl_graph.node -> unit
Sourceval is_valid : Shape.Type.attr Owl_graph.node -> bool
Sourceval validate : Shape.Type.attr Owl_graph.node -> unit
Sourceval invalidate : Shape.Type.attr Owl_graph.node -> unit
Sourceval invalidate_graph : Shape.Type.attr Owl_graph.node -> unit
Sourceval is_freeze : Shape.Type.attr Owl_graph.node -> bool
Sourceval freeze_descendants : Shape.Type.attr Owl_graph.node array -> unit
Sourceval freeze_ancestors : Shape.Type.attr Owl_graph.node array -> unit
Sourceval unsafe_assign_arr : Shape.Type.arr -> Shape.Type.Device.A.arr -> unit
Sourceval assign_arr : Shape.Type.arr -> Shape.Type.Device.A.arr -> unit
Sourceval assign_elt : Shape.Type.elt -> Shape.Type.Device.A.elt -> unit
Sourceval float_to_elt : float -> Shape.Type.elt
Sourceval elt_to_float : Shape.Type.elt -> float
Sourceval infer_shape : Type.op -> Type.attr Owl_graph.node array -> int array option array
Sourceand block = Make_Nested(Owl_computation_engine.Make_Graph(Owl_computation_cpu_device.Make(A))).Graph.Optimiser.Operator.Symbol.Shape.Type.block = {
  1. size : int;
  2. block_id : int;
  3. mutable active : t option;
  4. mutable memory : Device.value;
  5. mutable nodes : t list;
}
Sourceand attr = Make_Nested(Owl_computation_engine.Make_Graph(Owl_computation_cpu_device.Make(A))).Graph.Optimiser.Operator.Symbol.Shape.Type.attr = {
  1. mutable op : op;
  2. mutable freeze : bool;
  3. mutable reuse : bool;
  4. mutable state : state;
  5. mutable shape : int array option array;
  6. mutable value : Device.value array;
  7. mutable block : block array option;
}
Sourceand op = Make_Nested(Owl_computation_engine.Make_Graph(Owl_computation_cpu_device.Make(A))).Graph.Optimiser.Operator.Symbol.Shape.Type.op =
  1. | Noop
  2. | Var
  3. | Const
  4. | Empty of int array
  5. | Zeros of int array
  6. | Ones of int array
  7. | Create of int array
  8. | Sequential of int array
  9. | Uniform of int array
  10. | Gaussian of int array
  11. | Bernoulli of int array
  12. | Init of int array * int -> elt
  13. | Get of int array
  14. | Set of int array
  15. | GetSlice of int list list
  16. | SetSlice of int list list
  17. | Copy
  18. | Reset
  19. | Reshape of int array
  20. | Reverse
  21. | Tile of int array
  22. | Repeat of int array
  23. | Pad of elt * int list list
  24. | Concatenate of int
  25. | Split of int * int array
  26. | Draw of int * int
  27. | Map of elt -> elt
  28. | Fold of int * elt -> elt -> elt
  29. | Scan of int * elt -> elt -> elt
  30. | OneHot of int
  31. | OfArray of int array
  32. | Delay of Device.A.arr -> Device.A.arr
  33. | DelayArray of int array * Device.A.arr array -> Device.A.arr
  34. | LazyPrint of int option * int option * bool option * (Device.A.elt -> string) option
  35. | Abs
  36. | Neg
  37. | Floor
  38. | Ceil
  39. | Round
  40. | Sqr
  41. | Sqrt
  42. | Log
  43. | Log2
  44. | Log10
  45. | Exp
  46. | Sin
  47. | Cos
  48. | Tan
  49. | Sinh
  50. | Cosh
  51. | Tanh
  52. | Asin
  53. | Acos
  54. | Atan
  55. | Asinh
  56. | Acosh
  57. | Atanh
  58. | Min of int
  59. | Max of int
  60. | Sum of int
  61. | SumReduce of int array
  62. | Signum
  63. | Sigmoid
  64. | Relu
  65. | Min'
  66. | Max'
  67. | Sum'
  68. | L1norm'
  69. | L2norm'
  70. | L2NormSqr'
  71. | ClipByValue
  72. | ClipByL2norm
  73. | Pow
  74. | ScalarPow
  75. | PowScalar
  76. | Atan2
  77. | ScalarAtan2
  78. | Atan2Scalar
  79. | Hypot
  80. | Min2
  81. | Max2
  82. | Add
  83. | Sub
  84. | Mul
  85. | Div
  86. | AddScalar
  87. | SubScalar
  88. | MulScalar
  89. | DivScalar
  90. | ScalarAdd
  91. | ScalarSub
  92. | ScalarMul
  93. | ScalarDiv
  94. | FMA
  95. | EltEqual
  96. | EltNotEqual
  97. | EltLess
  98. | EltGreater
  99. | EltLessEqual
  100. | EltGreaterEqual
  101. | EltEqualScalar
  102. | EltNotEqualScalar
  103. | EltLessScalar
  104. | EltGreaterScalar
  105. | EltLessEqualScalar
  106. | EltGreaterEqualScalar
  107. | Conv1d of Owl_types.padding * int array
  108. | Conv2d of Owl_types.padding * int array
  109. | Conv3d of Owl_types.padding * int array
  110. | TransposeConv1d of Owl_types.padding * int array
  111. | TransposeConv2d of Owl_types.padding * int array
  112. | TransposeConv3d of Owl_types.padding * int array
  113. | DilatedConv1d of Owl_types.padding * int array * int array
  114. | DilatedConv2d of Owl_types.padding * int array * int array
  115. | DilatedConv3d of Owl_types.padding * int array * int array
  116. | MaxPool1d of Owl_types.padding * int array * int array
  117. | MaxPool2d of Owl_types.padding * int array * int array
  118. | MaxPool3d of Owl_types.padding * int array * int array
  119. | AvgPool1d of Owl_types.padding * int array * int array
  120. | AvgPool2d of Owl_types.padding * int array * int array
  121. | AvgPool3d of Owl_types.padding * int array * int array
  122. | UpSampling2d of int array
  123. | Conv1dBackwardInput of int array
  124. | Conv1dBackwardKernel of int array
  125. | Conv2dBackwardInput of int array
  126. | Conv2dBackwardKernel of int array
  127. | Conv3dBackwardInput of int array
  128. | Conv3dBackwardKernel of int array
  129. | TransposeConv1dBackwardInput of int array
  130. | TransposeConv1dBackwardKernel of int array
  131. | TransposeConv2dBackwardInput of int array
  132. | TransposeConv2dBackwardKernel of int array
  133. | TransposeConv3dBackwardInput of int array
  134. | TransposeConv3dBackwardKernel of int array
  135. | DilatedConv1dBackwardInput of int array * int array
  136. | DilatedConv1dBackwardKernel of int array * int array
  137. | DilatedConv2dBackwardInput of int array * int array
  138. | DilatedConv2dBackwardKernel of int array * int array
  139. | DilatedConv3dBackwardInput of int array * int array
  140. | DilatedConv3dBackwardKernel of int array * int array
  141. | MaxPool1dBackward of Owl_types.padding * int array * int array
  142. | MaxPool2dBackward of Owl_types.padding * int array * int array
  143. | MaxPool3dBackward of Owl_types.padding * int array * int array
  144. | AvgPool1dBackward of Owl_types.padding * int array * int array
  145. | AvgPool2dBackward of Owl_types.padding * int array * int array
  146. | AvgPool3dBackward of Owl_types.padding * int array * int array
  147. | UpSampling2dBackward of int array
  148. | RowNum
  149. | ColNum
  150. | Row
  151. | Rows of int array
  152. | CopyRowTo
  153. | CopyColTo
  154. | Dot of bool * bool * elt * elt
  155. | Inv
  156. | Trace
  157. | Transpose of int array
  158. | ToRows
  159. | OfRows
  160. | Scalar_Add
  161. | Scalar_Sub
  162. | Scalar_Mul
  163. | Scalar_Div
  164. | Scalar_Pow
  165. | Scalar_Atan2
  166. | Scalar_Abs
  167. | Scalar_Neg
  168. | Scalar_Sqr
  169. | Scalar_Sqrt
  170. | Scalar_Exp
  171. | Scalar_Log
  172. | Scalar_Log2
  173. | Scalar_Log10
  174. | Scalar_Signum
  175. | Scalar_Floor
  176. | Scalar_Ceil
  177. | Scalar_Round
  178. | Scalar_Sin
  179. | Scalar_Cos
  180. | Scalar_Tan
  181. | Scalar_Sinh
  182. | Scalar_Cosh
  183. | Scalar_Tanh
  184. | Scalar_Asin
  185. | Scalar_Acos
  186. | Scalar_Atan
  187. | Scalar_Asinh
  188. | Scalar_Acosh
  189. | Scalar_Atanh
  190. | Scalar_Relu
  191. | Scalar_Sigmoid
  192. | Fused_Adagrad of float * float
Sourceval make_device : unit -> device
Sourceval arr_to_value : A.arr -> value
Sourceval value_to_arr : value -> A.arr
Sourceval elt_to_value : A.elt -> value
Sourceval value_to_elt : value -> A.elt
Sourceval value_to_float : value -> float
Sourceval is_arr : value -> bool
Sourceval is_elt : value -> bool