Jaemin Hong

Imprecise warning messages for non-exhaustive cases regarding List

2

## Reproduction steps Scala version: 2.13.8 ```scala scala> List() match { case Nil => ; case List(_) => } ^ warning: match may not be exhaustive. It would fail on...

Hi. I'm a researcher working on concurrent programs written in C and completely new to this project. While reading the code, I found the following part in `kvs_update`: https://github.com/matz/streem/blob/d022e833335e490bd1dccf0e3bfff71eb50a40bd/src/kvs.c#L113-L119 After...

Is stacked borrow too restrictive to be used with `Pin`?

2

rv6에 대한 이슈는 아니지만, 여기에 쓰는 편이 의견을 나누기 좋을 것 같아 여기에 씁니다. Rust standard library `Pin` 문서의 self-referential struct [예시](https://doc.rust-lang.org/std/pin/index.html#example-self-referential-struct)에는 다음과 같은 코드가 있습니다. ```rust struct Unmovable {...

Static checking via `feature(const_generics)` and `feature(const_evaluatable_checked)`

5

타입 매개변수를 `const_assert!` 안에서 사용할 수 없습니다. 이로 인해 `const_assert!(mem::size_of::()

`RcCell` panics on drop?

2

현재 `RcCell`은 rc가 0보다 큰 상황에서 드롭되면 패닉을 발생시킵니다. rv6에서는 `RcCell`을 스택에 배치하는 경우가 없고 한 스레드라도 패닉하면 결국 커널 전체가 패닉하므로 이 설계가 큰 문제가 아닐 수 있지만, 일반적인...

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

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

`FileSystem`과 `FileManager`

1

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

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

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