mmap-kernel 테스트

[mywnajsldkf]

is_kernel_vaddr 함수 사용만으로 3번째 케이스가 통과되지 않습니다.

void
test_main (void) 
{
  int handle;
  
  CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");

	...
 
	printf("unsigned long int: %lu\n", -0x8004000000 + 0x1000);  // 18446743523886632960
	printf("(int) length: %d\n", (int)(-0x8004000000 + 0x1000)); // -67104768
  
	kernel = (void *) 0x8004000000 - 0x1000;       // user address
        CHECK (mmap (kernel, -0x8004000000 + 0x1000, 0, handle, 0) == MAP_FAILED, "try to mmap over kernel 2");

}

mmap(kernel, -0x8004000000 + 0x1000, 0, handle, 0)는
kernel 가상 주소에 -0x8004000000 + 0x1000 크기의 파일을 매핑하는 코드이므로 테스트에 실패하는 이유가 -0x8004000000 + 0x1000 큰 값이므로 kernel address를 넘어서기 때문이라고 생각합니다.

⇒ int형으로 변환하여 매핑 작업에 유효한 길이인지 확인하는 방식으로 수정함

if ((int)length <= 0)
{
      return MAP_FAILED;
}

궁금한 점

• pintos에 매핑 작업에 유효한 길이 범위가 있는지 궁금합니다.
• 이 테스트가 파일의 크기를 확인하는 테스트라면 왜 mmap-kernel 테스트에 위치하나요?