경계 검사를 제거하여 코드 실행을 최적화 할 수있는 JVM을 일부 읽었습니다. 알아 내고자하는 것은 코딩 기술이 더 잘 작동하는 것입니다. 아래 예 1에있어서에서 는 JVM 적으로 파악하고 소스 [인덱스] 기준의 검사 범위를 제거 할 것인가? 예 2 더 나은 코드 연습은 무엇입니까? 그렇게 보일 수도 있지만 루프 내부의 일부 알고리즘에서는 범위를 벗어나는
나는 인덱스가 유형 Bounded이며 인덱스가 범위 (minBound, maxBound)입니다 좋은 많은 배열을하고있다. 그러한 배열의 경우 경계 검사가 불필요해야합니다. 경계 확인을 없애기 위해 GHC를 설득하려면 어떻게해야합니까? 내 특정 응용 프로그램은 모두 박스 및 언 박싱 불변의 배열을 사용하지만, 나는 하스켈 배열의 모든 유형에 관심이 있어요.
Dave Detlefs가 최근에 this article을 읽었는데, CLR이 배열 경계 검사 제거를 수행하는 몇 가지 사례를 제시합니다. 나는이 나 자신을 테스트하기로 결정, 그래서 나는 다음을했다 : 오픈 비주얼 스튜디오 2010 얼티밋 SP1 만든 콘솔 응용 프로그램 (기본적으로 .NET 4 클라이언트 프로파일을 대상으로) 유형의 새 C# 프로젝트 (모
효율적으로 낮은 수준의 알고리즘이 .net에있을 수있는 방법에 관심이 있습니다. 앞으로 C++보다는 C#으로 더 많은 코드를 작성할 수있게하고 싶습니다.하지만 하나의 걸림돌은 루핑과 배열에 대한 무작위 액세스로 발생하는 .net을 검사하는 경계입니다. 동기 부여 예제는 두 배열의 해당 요소의 곱 합계를 계산하는 함수입니다 (두 벡터의 내적입니다). 내가 말