Info
Time: 20190920 9:50～11:00
Place: 6B-207
Title： rcore for arm64
Reporter: jyk
Audiences: students in os-training course
Time: 20190920 13:30-14:00
Place: FIT 4-402
Title： rcore status
Reporter:rwj, dzy
Audiences: M. Frans Kaashoek, cy, wrj,dzy,lch,lfy, jyk
Report:
rcore_frans.pdf
Prof. Frans Kaashoek关注rcore的进展，仔细询问了不少问题。比如如何提高performance W/WO multicore，与linux和biscuit进行量化性能比较。改进rust的并行(rcu,lockfree)数据结构等是他关注的一个点。用新方法来形式化验证rust/go os的重要特征是他另外一个关注点。展示了20 core arch中biscuit上的scalable performance. 有新问题时，鼓励与他或他学生电邮交流。
对于我们提的一些问题也有答复。他决定rust std的crates的性能不太好，需要设计新数据结构用于kerneldesign。把std lib放到kernel中的好处他觉得比较小。如果验证的话，需要关注unsafe code。rust的owner/lifetime机制确实简化了alias对验证的障碍。go, rust写的kernel有其适用的范围。目前他更侧重性能/可验证等方面的问题，对于kernel对应用的广泛支持，他好像不是很关心，也许他认为这偏工程，没有太多值得研究的科学问题。
Info
Time: 20190920 9:50～11:00
Place: 6B-207
Title： rcore for arm64
Reporter: jyk
Audiences: students in os-training course
Time: 20190920 13:30-14:00
Place: FIT 4-402
Title： rcore status
Reporter:rwj, dzy
Audiences: M. Frans Kaashoek, cy, wrj,dzy,lch,lfy, jyk
Report:
rcore_frans.pdf
Prof. Frans Kaashoek关注rcore的进展，仔细询问了不少问题。比如如何提高performance W/WO multicore，与linux和biscuit进行量化性能比较。改进rust的并行(rcu,lockfree)数据结构等是他关注的一个点。用新方法来形式化验证rust/go os的重要特征是他另外一个关注点。展示了20 core arch中biscuit上的scalable performance. 有新问题时，鼓励与他或他学生电邮交流。
对于我们提的一些问题也有答复。他决定rust std的crates的性能不太好，需要设计新数据结构用于kerneldesign。把std lib放到kernel中的好处他觉得比较小。如果验证的话，需要关注unsafe code。rust的owner/lifetime机制确实简化了alias对验证的障碍。go, rust写的kernel有其适用的范围。目前他更侧重性能/可验证等方面的问题，对于kernel对应用的广泛支持，他好像不是很关心，也许他认为这偏工程，没有太多值得研究的科学问题。