add: maxAllocSize assert

Author: IgorErin

src/GraphBLAS-sharp.Backend/Common/ClArray.fs

@@ -613,6 +613,9 @@ module ClArray =
                 sourceArrays
                 |> Seq.sumBy (fun array -> array.Length)
 
+            if resultLength >= clContext.MaxMemAllocSize then
+                failwith "It is impossible to allocate more than MaxAllocSize"
+
             let result =
                 clContext.CreateClArrayWithSpecificAllocationMode(allocationMode, resultLength)
 

src/GraphBLAS-sharp.Backend/Matrix/SpGeMM/Expand.fs

@@ -111,6 +111,8 @@ module Expand =
 
         fun (processor: MailboxProcessor<_>) lengths (segmentsPointers: ClArray<int>) (leftMatrix: ClMatrix.COO<'a>) (rightMatrix: ClMatrix.CSR<'b>) ->
 
+            assert (lengths < clContext.MaxMemAllocSize)
+
             // Compute left matrix positions
             let leftMatrixPositions = zeroCreate processor DeviceOnly lengths
 
@@ -456,6 +458,7 @@ module Expand =
 
                     let rows = concat processor allocationMode rowsList
 
+                    // TODO(overhead: compute result length 3 time)
                     // release resources
                     valuesList
                     |> List.iter (fun array -> array.Free processor)