refactor: README

Author: IgorErin

README.md

@@ -25,27 +25,32 @@ GraphBLAS# is a GPGPU-based [GraphBLAS](https://graphblas.org/)-like API impleme
 
 ### Operations
 - **Matrix-Matrix**
-  - [x] COO-COO `map2`
   - [x] CSR-CSR `map2`
+  - [x] CSR-CSR `map2AtLeastOne`
+  - [x] COO-COO `map2`
+  - [x] COO-COO `map2AtLeastOne`
   - [x] CSR-CSR multiplication
 - **Vector-Matrix**
   - [x] Dense-CSR multiplication
-  - [ ] COO-CSR multiplication
+  - [ ] Sparse-CSR multiplication
 - **Vector-Vector**
-  - [x] Dense-Dense element-wise
-  - [x] Sparse-Sparse element-wise
+  - [x] Dense-Dense `map2`
+  - [x] Dense-Dense `map2AtLeastOne`
+  - [x] Sparse-Sparse `map2`
+  - [x] Sparse-Sparse `map2AtLeastOne`
   - [ ] ...
 - **Matrix**
+  - [x] `copy` 
   - [x] `map`
   - [x] COO transpose
   - [x] CSR transpose
-  - [ ] `iter`
+  - [x] CSC transpose
   - [ ] ...
 - **Vector**
-  - [x] `map`
-  - [ ] `iter`
-  - [ ] `filter`
-  - [ ] `contains`
+  - [x] `zeroCreate` 
+  - [x] `ofList`
+  - [x] `copy`
+  - [x] `reduce`
   - [ ] ...  
 
 ### Graph Analysis Algorithms

…hBLAS-sharp.Benchmarks/Algorithms/BFS.fs …sharp.Benchmarks/Algorithms/Benchmark.fsbenchmarks/GraphBLAS-sharp.Benchmarks/Algorithms/BFS.fs renamed to benchmarks/GraphBLAS-sharp.Benchmarks/Algorithms/Benchmark.fs benchmarks/GraphBLAS-sharp.Benchmarks/Algorithms/BFS.fs renamed to benchmarks/GraphBLAS-sharp.Benchmarks/Algorithms/Benchmark.fs

@@ -1,4 +1,4 @@
-namespace GraphBLAS.FSharp.Benchmarks.Algorithms
+namespace GraphBLAS.FSharp.Benchmarks.Algorithms.BFS
 
 open System.IO
 open BenchmarkDotNet.Attributes
@@ -16,7 +16,7 @@ open GraphBLAS.FSharp.Backend.Objects
 [<IterationCount(100)>]
 [<WarmupCount(10)>]
 [<Config(typeof<Configs.Matrix>)>]
-type BFS<'elem when 'elem : struct>(
+type Benchmarks<'elem when 'elem : struct>(
     buildFunToBenchmark,
     converter: string -> 'elem,
     binaryConverter,
@@ -43,7 +43,7 @@ type BFS<'elem when 'elem : struct>(
         p.Error.Add(fun e -> failwithf "%A" e)
         p
 
-    static member AvailableContexts = Utils.avaliableContexts
+    static member AvailableContexts = Utils.availableContexts
 
     static member InputMatrixProviderBuilder pathToConfig =
         let datasetFolder = "BFS"
@@ -92,87 +92,89 @@ type BFS<'elem when 'elem : struct>(
 
     abstract member Benchmark : unit -> unit
 
-type BFSBenchmarksWithoutDataTransfer<'elem when 'elem : struct>(
-    buildFunToBenchmark,
-    converter: string -> 'elem,
-    boolConverter,
-    vertex) =
-
-    inherit BFS<'elem>(
-        buildFunToBenchmark,
-        converter,
-        boolConverter,
-        vertex)
-
-    [<GlobalSetup>]
-    override this.GlobalSetup() =
-        this.ReadMatrix()
-        this.LoadMatrixToGPU()
-
-    [<IterationCleanup>]
-    override this.IterationCleanup() =
-        this.ClearResult()
-
-    [<GlobalCleanup>]
-    override this.GlobalCleanup() =
-        this.ClearInputMatrix()
-
-    [<Benchmark>]
-    override this.Benchmark() =
-        this.BFS()
-        this.Processor.PostAndReply Msg.MsgNotifyMe
-
-type BFSBenchmarksWithTransfer<'elem when 'elem : struct>(
-    buildFunToBenchmark,
-    converter: string -> 'elem,
-    boolConverter,
-    vertex) =
-
-    inherit BFS<'elem>(
+module WithoutTransfer  =
+    type Benchmark<'elem when 'elem : struct>(
         buildFunToBenchmark,
-        converter,
+        converter: string -> 'elem,
         boolConverter,
-        vertex)
-
-    [<GlobalSetup>]
-    override this.GlobalSetup() =
-        this.ReadMatrix()
+        vertex) =
 
-    [<GlobalCleanup>]
-    override this.GlobalCleanup() =
-        this.ClearResult()
+        inherit Benchmarks<'elem>(
+            buildFunToBenchmark,
+            converter,
+            boolConverter,
+            vertex)
 
-    [<IterationCleanup>]
-    override this.IterationCleanup() =
-        this.ClearInputMatrix()
-        this.ClearResult()
+        [<GlobalSetup>]
+        override this.GlobalSetup() =
+            this.ReadMatrix()
+            this.LoadMatrixToGPU()
 
-    [<Benchmark>]
-    override this.Benchmark() =
-        this.LoadMatrixToGPU()
-        this.BFS()
-        this.ResultLevels.ToHost this.Processor |> ignore
-        this.Processor.PostAndReply Msg.MsgNotifyMe
+        [<IterationCleanup>]
+        override this.IterationCleanup() =
+            this.ClearResult()
 
-type BFSIntWithoutTransferBenchmark() =
+        [<GlobalCleanup>]
+        override this.GlobalCleanup() =
+            this.ClearInputMatrix()
 
-    inherit BFSBenchmarksWithoutDataTransfer<int>(
-        (fun context -> singleSource context ArithmeticOperations.intSumOption ArithmeticOperations.intMulOption),
-        int32,
-        (fun _ -> Utils.nextInt (System.Random())),
-        0)
+        [<Benchmark>]
+        override this.Benchmark() =
+            this.BFS()
+            this.Processor.PostAndReply Msg.MsgNotifyMe
 
-    static member InputMatrixProvider =
-        BFS<_>.InputMatrixProviderBuilder "BFSBenchmarks.txt"
+    type Int() =
 
-type BFSIntWithTransferBenchmark() =
+        inherit Benchmark<int>(
+            (fun context -> singleSource context ArithmeticOperations.intSumOption ArithmeticOperations.intMulOption),
+            int32,
+            (fun _ -> Utils.nextInt (System.Random())),
+            0)
 
-    inherit BFSBenchmarksWithTransfer<int>(
-        (fun context -> singleSource context ArithmeticOperations.intSumOption ArithmeticOperations.intMulOption),
-        int32,
-        (fun _ -> Utils.nextInt (System.Random())),
-        0)
+        static member InputMatrixProvider =
+            Benchmark<_>.InputMatrixProviderBuilder "BFSBenchmarks.txt"
 
-    static member InputMatrixProvider =
-        BFS<_>.InputMatrixProviderBuilder "BFSBenchmarks.txt"
+module WithTransfer =
+    type Benchmark<'elem when 'elem : struct>(
+        buildFunToBenchmark,
+        converter: string -> 'elem,
+        boolConverter,
+        vertex) =
+
+        inherit Benchmarks<'elem>(
+            buildFunToBenchmark,
+            converter,
+            boolConverter,
+            vertex)
+
+        [<GlobalSetup>]
+        override this.GlobalSetup() =
+            this.ReadMatrix()
+
+        [<GlobalCleanup>]
+        override this.GlobalCleanup() =
+            this.ClearResult()
+
+        [<IterationCleanup>]
+        override this.IterationCleanup() =
+            this.ClearInputMatrix()
+            this.ClearResult()
+
+        [<Benchmark>]
+        override this.Benchmark() =
+            this.LoadMatrixToGPU()
+            this.BFS()
+            this.ResultLevels.ToHost this.Processor |> ignore
+            this.Processor.PostAndReply Msg.MsgNotifyMe
+
+    type Int() =
+
+        inherit Benchmark<int>(
+            (fun context -> singleSource context ArithmeticOperations.intSumOption ArithmeticOperations.intMulOption),
+            int32,
+            (fun _ -> Utils.nextInt (System.Random())),
+            0)
+
+        static member InputMatrixProvider =
+            Benchmark<_>.InputMatrixProviderBuilder "BFSBenchmarks.txt"
 

benchmarks/GraphBLAS-sharp.Benchmarks/GraphBLAS-sharp.Benchmarks.fsproj

@@ -21,10 +21,11 @@
     <Compile Include="Configs.fs" />
     <!--Compile Include="BenchmarksTranspose.fs" /-->
     <Compile Include="Matrix\SpGeMM\Masked.fs" />
+    <Compile Include="Matrix\SpGeMM\Expand.fs" />
     <Compile Include="Matrix\Map2\Map2.fs" />
     <Compile Include="Matrix\Map2\MathNET.fs" />
     <Compile Include="Vector\Map2.fs" />
-    <Compile Include="Algorithms\BFS.fs" />
+    <Compile Include="Algorithms\Benchmark.fs" />
     <Compile Include="Program.fs" />
   </ItemGroup>
   <Import Project="..\..\.paket\Paket.Restore.targets" />

benchmarks/GraphBLAS-sharp.Benchmarks/Helpers.fs

@@ -38,7 +38,7 @@ module Utils =
                         datasetsFolder
                         matrixFilename |]
 
-    let avaliableContexts =
+    let availableContexts =
         let pathToConfig =
             Path.Combine [| __SOURCE_DIRECTORY__
                             "Configs"
@@ -97,18 +97,6 @@ module Utils =
                             .ToString()
                         |> Platform.Custom
 
-                    let deviceType =
-                        Cl
-                            .GetDeviceInfo(device, DeviceInfo.Type, &e)
-                            .CastTo<DeviceType>()
-
-                    let _ =
-                        match deviceType with
-                        | DeviceType.Cpu -> ClDeviceType.Cpu
-                        | DeviceType.Gpu -> ClDeviceType.Gpu
-                        | DeviceType.Default -> ClDeviceType.Default
-                        | _ -> failwith "Unsupported"
-
                     let device =
                         ClDevice.GetFirstAppropriateDevice(clPlatform)
 
@@ -142,34 +130,6 @@ module Utils =
     let nextInt (random: System.Random) =
         random.Next()
 
-module Operations =
-    let inline add () = <@ fun x y -> Some(x + y) @>
-
-    let addWithFilter = <@ fun x y ->
-        let res = x + y
-        if abs res < 1e-8f then None else Some res
-    @>
-
-    let inline mult () = <@ fun x y -> Some <|x * y @>
-
-    let logicalOr = <@ fun x y ->
-        let mutable res = None
-
-        match x, y with
-        | false, false -> res <- None
-        | _            -> res <- Some true
-
-        res @>
-
-    let logicalAnd = <@ fun x y ->
-        let mutable res = None
-
-        match x, y with
-        | true, true -> res <- Some true
-        | _          -> res <- None
-
-        res @>
-
 module VectorGenerator =
     let private pairOfVectorsOfEqualSize (valuesGenerator: Gen<'a>) createVector =
         gen {