rv6

rv6 copied to clipboard

Rv6의 README를 쓰도록 바꾸고자 합니다.

jeehoonkang

`Path::skipelem`에서 doctest error 해결

1

`Path::skipelem`에서 doctest error 해결하기

anemoneflower

`cargo test` doesn't work

1

`cargo test` 해보면 rv6와 상관없는 에러가 엄청나게 쏟아져 나옵니다...

jeehoonkang

Reasoning safety of `self.get_ctx()` in `KernelRef::kernel_trap`

2

https://github.com/kaist-cp/rv6/blob/b946a9463ccee7f23328514d570de1c4ab926a28/kernel-rs/src/trap.rs#L200-L201

Medowhill

음- 나중에 가면 hal, kernel에 모두 allocator가 있는 디자인도 생각해볼 수 있겠습니다. discussion issue 하나 만들어 주세요: allocator는 어디에 있어야 하는가? _Originally posted by @jeehoonkang in https://github.com/kaist-cp/rv6/pull/529#discussion_r633597490_

Medowhill

`FileSystem`과 `FileManager`

1

구두로 논의한 내용 * 현재 `FileSystem`은 역할이 모호. * `FileSystem`이 여러 개가 될 수 있음. * 나중에 OS의 파일 시스템 전체를 관리하는 `FileManager` (가칭) 타입을 추가해야 할 수 있음. *...

Medowhill

Safe한 intrusive linked list

1

> 다만, 이 `List`는 intrusive linked list가 아닙니다. > 지금의 rv6에서는 이런 `List`면 충분하지만, 추후 `Node`가 여러 `List`안에 insert될 수 있는 safe한 `Node`/`List`를 만들면 좋을 것 같습니다. > * 이때,...

travis1829

stack overflow 발생 시 더 많은 메모리를 할당할지 정하기

2

### rv6에서도 stack overflow 발생 시 더 많은 메모리를 할당할지 정할지 고민해야 합니다. > To detect a user stack overflowing the allocated stack memory, xv6 places an invalid guard page...

kimjungwow

rv6의 디자인이 커널의 evolution을 쉽게 만든다는 사실을 보여 줄 예시에 대한 고민이 필요합니다. 리팩토링이 마무리되면 실제로 구현해 볼 수도 있습니다. 1. `Proc`이 live (non-zombie) children 리스트와 zombie children 리스트를 가지고...

Medowhill

#383 에서 언급한 것처럼, 현재 테스트는 로그로부터 복구하는 작업이 올바르게 진행되는지 검사하지 않습니다. 이를 검사하기 위한 테스트가 필요합니다.

Medowhill