System.Numerics.Vectorにnativeptr <T>から読み出し<T>チャンクF＃の

Question

我々缶pがnativeptr<'a>あるので

open FSharp.NativeInterop 
let x = NativePtr.read p 

ようなタイプ'aの値を指し示すポインタ間接参照。

このポインタが'a値の配列を指しており、System.Numerics.Vector<_>でSIMDを使用してこの配列を処理したいとします。そのためにはnの連続した'aの値をVector<'a>構造体にロードする必要があります。 .NET /マネージド配列の場合、これは適切なVector<_>コンストラクタを使用することで実現できます。しかし残念ながら、ポインタ（実際には、この特定のケースではアンマネージヒープを指しています）が存在するため、既存のコンストラクタオーバーロードのいずれかを使用することはできません。

pをnativeptr<Vector<'a>>と再解釈するのはどうですか？ Vector<_>、as a generic data typeは、ない - nativeptrの型パラメータがunmanaged制約を満たすために持っているので、

let inline cast<'T, 'U when 'U : unmanaged and 'T: unmanaged> (ptr: nativeptr<'T>) = 
    ptr |> NativePtr.toNativeInt |> NativePtr.ofNativeInt<'U> 

let v = p |> NativePtr.cast<'a, Vector<'a>> |> NativePtr.read 

悲しいことに、これは、worktしません。

unmanagedの制約がC＃コンパイラによって強制されないため、この問題を回避する1つの方法は、NativeInteropと組み合わせてC＃を使用することです。しかし、私は本当にF＃に泊まりたいです。

F＃から効率的に働くことができますか？または、Vector<_>がポインターからのロードをサポートするコンストラクターで拡張されるのを待つ唯一のオプションはありますか？

Answer 1

F＃自体にこの問題を回避する方法はありません。我々は内からnativeptr<'T>Vector<'T>としてデリファレンス今、

using NativeInteropEx; 
using System.Numerics; 
using System.Runtime.CompilerServices; 

public struct VectorView<T> where T: struct 
{ 
    [MethodImpl(MethodImplOptions.AggressiveInlining)] 
    public static Vector<T> Get(IntPtr p, int idx) { 
     return p.Get<Vector<T>>(idx); 
    } 

    [MethodImpl(MethodImplOptions.AggressiveInlining)] 
    public static Vector<T> Get(IntPtr p, long idx) { 
     return p.Get<Vector<T>>(idx); 
    } 

    [MethodImpl(MethodImplOptions.AggressiveInlining)] 
    public static void Set(IntPtr p, int idx, Vector<T> value) { 
     p.Set(idx, value); 
    } 

    [MethodImpl(MethodImplOptions.AggressiveInlining)] 
    public static void Set(IntPtr p, long idx, Vector<T> value) { 
     p.Set(idx, value); 
    } 

    [MethodImpl(MethodImplOptions.AggressiveInlining)] 
    public static Vector<T> Read(IntPtr p) { 
     return p.Read<Vector<T>>(); 
    } 

    [MethodImpl(MethodImplOptions.AggressiveInlining)] 
    public static void Write(IntPtr p, Vector<T> value) { 
     p.Write(value); 
    } 
} 

この中間層を使用することができます。したがって、私は基本的に単純に転送NativeInteropEx.NativePtrに、しかし、C＃コンパイラに未知のunmanaged制約を取り除きC＃で少しラッパーを実装しましたF＃：

# baseAddress: nativeptr<'T> when 'T: unmanaged 
# idx: int64 
let v = VectorView<'T>.Get(baseAddress, idx) 
# v: Vector<'T> of Vector<'T>.Count 'T values starting with baseAddress + sizeof<'T> * idx