포인터에 64 비트 오프셋 추가

Question

F #에는 NativePtr 모듈이 있지만 System.IntPtr과 마찬가지로 '추가/가져 오기/설정 기능을위한 32 비트 오프셋 만 지원하는 것 같습니다.

F #에서 기본 포인터 (nativeptr < 'a>)에 64 비트 오프셋을 추가하는 방법이 있습니까? 물론 모든 주소를 64 비트 정수로 변환하고 일반 정수 연산을 수행 한 다음 결과를 nativeptr < 'a>에 다시 변환 할 수 있지만 추가 및 imul 명령어가 추가로 발생합니다. AGU가 주소 계산을 수행하기를 정말로 원합니다. 이 유형 매개 변수에 대한 "관리되지 않는"제약이 없지만, 때문에 실제로 , 수 없습니다 적어도 당신이 할 수있는 당신이

void* ptr = Marshal.AllocHGlobal(...).ToPointer(); 
int64 offset = ...; 
T* newAddr = (T*)ptr + offset; // T has to be an unmanaged type 

음과 같은 일을 할 수있는 C#으로 안전하지 않은 사용 예를 들어

, 비 일반 일반 포인터 연산 방식.

F #에서는 마침내 관리되지 않는 제약 조건이 있습니다. 하지만 포인터 연산은 어떻게해야합니까?

Answer 1

,하지만 난의 F 번호의 구현을 살펴했다 NativePtr 모듈을 생각하면 nativeptr<'a>을 nativeint으로 변환하는 것과 관련된 성능 오버 헤드가 없다고 생각합니다.

구현은 인라인 IL을 사용하고 인라인 IL 코드는 코드가 포함되어 있지 않습니다 - 그것은 단지 F # 컴파일러는 스택에 값이 다른 유형이 있음을 생각하게하는이 :

let inline ofNativeInt (x:nativeint) = (# "" x : nativeptr<_> #) 
let inline toNativeInt (x:nativeptr<_>) = (# "" x : nativeint #) 

에서을 실제로 NativePtr.add 메서드는이 두 메서드를 사용합니다. 포인터를 nativeint으로 변환 한 다음 32 비트 정수 ('a 형식의 크기를 곱한 값)를 더합니다.

그래서, 다음과 같은 기능을 잘해야한다 : 코드에서 사용

let inline addNativeInt (x:nativeptr<'a>) (n:nativeint) : nativeptr<'a> = 
    (NativePtr.toNativeInt x) + n |> NativePtr.ofNativeInt 

모든 기능이 인라인해야합니다, 당신은 또한 (비록 내가 확인하지 않은 단지 하나의 명령으로 끝날 것 때문에 그). 코드에서 여러 번 함수를 사용하는 것에 대해 걱정할 필요가 없습니다 (항상 nativeptr<'a>로 작업하고이 함수를 사용하여 추가 할 수 있습니다).

그러나 분할 데이터도 옵션 일 수 있습니다. 필자가 아는 한 F #을 사용하여 일부 큰 (> 2GB) 데이터 세트를 처리하는 MSR 팀은 정확히이 접근 방식을 사용했습니다. 데이터를 2GB 블록으로 분할했습니다. 배열에 저장).

Answer 2

촬상 데이터 용이 4 지브 를 초과 할 수있다)

그렇지 캔, 64 코드는 +/- 2 GB의 제한을 상쇄 갖는다. .NET에서 2GB보다 큰 배열을 할당 할 수없는 이유 중 하나입니다. 이 제한은 관리되지 않는 64 비트 C/C++ 코드에도 존재합니다. WIC와 같이이 제한 사항을 해결하는 라이브러리가 있지만 주소는 입니다. 비트 맵 비트의은 모두 사용할 때 의미가 없습니다.

그럼에도 불구하고, C#으로 긴에 IntPtr입니다 캐스팅에 의해 이러한 주소를 생성 할 수 있습니다 :이 분야의 전문가가 아니에요

IntPtr addr = SomeCall(); 
long offset = blah; 
addr = (IntPtr)((long)addr + offset);