3 ms·

Operating systems with Rust – video lectures (2014)

58 points by amkhrjee 3y ago

amkhrjee 3y ago
video lectures from class taught at University of Virginia
huntaub 3y ago
I took this class when Professor Evans originally taught it in 2014(?), and really enjoyed it. Just a note that Rust (the language) has changed significantly in the past 9 years, and many of these code examples will likely not run today with a newly installed version of rust. More college courses should lean-forward to teach skills that are on the forefront of industry adoption. Learning about Rust and getting familiar with it in 2014 was incredibly helpful with my organization (Amazon) starting to adopt Rust for memory-critical applications in the late teens.
- aedrax 3y ago
  I thought rust was supposed to be backwards compatible?
  - demurgos 3y ago
    2014 would indicate a version before Rust 1.0
    - huntaub 3y ago
      Correct -- we were using like Rust nightly before 1.0.
  - deleted 3y ago
    [deleted]
  - pornel 3y ago
    The stability promise stated in May 2015.
- Danidada 3y ago
  But was Rust on the forefront of industry adoption in 2014? It seems it wasn't even officially released until 2015 according to Wikipedia and the only known project that I'm aware of that was using Rust back then was Mozilla's Servo which is (semi?) dead. Similar languages back then that could have replaced Rust and had similar potential were Nim and D and both of them failed to get a significant industry adoption
  - steveklabnik 3y ago
    The link I posted below contains commentary on why they chose Rust over various other languages. There were other production users of rust in 2014, notably Dropbox and a bunch of cryptocurrency stuff. But not very many, it’s true. A lot of folks waited until 2015 to start building on Rust after it stabilized.
jamestimmins 3y ago
Are there any particularly good courses that cover OS with Rust but are more recent?
- junon 3y ago
  Not exactly a course, but Phil-opp's guides are pretty well done. https://os.phil-opp.com/ https://os.phil-opp.com/
- osti 3y ago
  https://tc.gts3.org/cs3210/2020/spring/lab.html https://tc.gts3.org/cs3210/2020/spring/lab.html I can't recommend this enough.
deleted 3y ago
[deleted]
steveklabnik 3y ago
This was so exciting to see, back in the day. This was one of the earliest classes in Rust taught at a university. https://rust-class.org/0/pages/using-rust-for-an-undergraduate-os-course.html https://rust-class.org/0/pages/using-rust-for-an-undergradua... was particularly interesting and valuable to read at the time. Remember, this class used Rust 0.7!
alilleybrinker 3y ago
I got a chance to teach Rust as part of an undergraduate introduction to programming language theory class way back in 2016-2017, and spoke about it at RustConf 2017. Here's the video for the talk: https://www.youtube.com/watch?v=0PhfaFkzdBA https://www.youtube.com/watch?v=0PhfaFkzdBA My key takeaways were basically that students took to it better than I had anticipated, and that Rust proved to be a useful way to illustrate a number of interesting programming language ideas. Note that because it was a PL class, not a Rust class, that students were not expected to walk away as capable, ready-to-run Rustaceans.
osti 3y ago
In my opinion this course https://tc.gts3.org/cs3210/2020/spring/lab.html https://tc.gts3.org/cs3210/2020/spring/lab.html, is the best OS course ever, perhaps even the best computer science course ever. Thru the labs you build a bare metal OS for raspberry pi using Rust. I went thru it on my own and was able to complete most of it. Running your OS on real hardware is way more satisfying than doing it on emulator.
- amkhrjee 3y ago
  Looks fun. Thanks for sharing!
- UltimateEdge 3y ago
  > perhaps even the best computer science course ever To get a flavour of your opinion, could you suggest some runners-up for "best computer science course"?
  - osti 3y ago
    By saying computer science, I'm excluding stuff that are theory oriented, and I also dislike most programming language courses, even though this one does try to teach you Rust.. So that pretty much leaves us with systems courses. Waterloo has a real-time OS course that makes you write a program that controls some toy trains moving on rails, that course must be pretty high on my list as well. But the Rust OS course teaches you more fundamental stuff like virtual memory, multi core, file system etc. So I think the train course is a good runner up. A good course for me must have a super cool and well designed project. For example, for machine learning, I really like this one, https://dlsyscourse.org/assignments/ https://dlsyscourse.org/assignments/, the assignments make you write your own mini version of PyTorch and use it to train models, how cool is that!
    - UltimateEdge 3y ago
      Thank you for your recommendation! Your second suggestion reminds me of Karpathy's micrograd and the accompanying lectures. At the top of my own bucket list, at the moment, are: Distributed Systems and SCIP, both from MIT, and Compilers, from Harvard!

58 points by amkhrjee 3y ago

video lectures from class taught at University of Virginia

I took this class when Professor Evans originally taught it in 2014(?), and really enjoyed it. Just a note that Rust (the language) has changed significantly in the past 9 years, and many of these code examples will likely not run today with a newly installed version of rust. More college courses should lean-forward to teach skills that are on the forefront of industry adoption. Learning about Rust and getting familiar with it in 2014 was incredibly helpful with my organization (Amazon) starting to adopt Rust for memory-critical applications in the late teens.

aedrax 3y ago
I thought rust was supposed to be backwards compatible?
- demurgos 3y ago
  2014 would indicate a version before Rust 1.0
  - huntaub 3y ago
    Correct -- we were using like Rust nightly before 1.0.
- deleted 3y ago
  [deleted]
- pornel 3y ago
  The stability promise stated in May 2015.
Danidada 3y ago
But was Rust on the forefront of industry adoption in 2014? It seems it wasn't even officially released until 2015 according to Wikipedia and the only known project that I'm aware of that was using Rust back then was Mozilla's Servo which is (semi?) dead. Similar languages back then that could have replaced Rust and had similar potential were Nim and D and both of them failed to get a significant industry adoption
- steveklabnik 3y ago
  The link I posted below contains commentary on why they chose Rust over various other languages. There were other production users of rust in 2014, notably Dropbox and a bunch of cryptocurrency stuff. But not very many, it’s true. A lot of folks waited until 2015 to start building on Rust after it stabilized.

jamestimmins 3y ago

Are there any particularly good courses that cover OS with Rust but are more recent?

junon 3y ago
Not exactly a course, but Phil-opp's guides are pretty well done. https://os.phil-opp.com/ https://os.phil-opp.com/
osti 3y ago
https://tc.gts3.org/cs3210/2020/spring/lab.html https://tc.gts3.org/cs3210/2020/spring/lab.html I can't recommend this enough.

deleted 3y ago

[deleted]

steveklabnik 3y ago

This was so exciting to see, back in the day. This was one of the earliest classes in Rust taught at a university. https://rust-class.org/0/pages/using-rust-for-an-undergraduate-os-course.html https://rust-class.org/0/pages/using-rust-for-an-undergradua... was particularly interesting and valuable to read at the time. Remember, this class used Rust 0.7!

alilleybrinker 3y ago

I got a chance to teach Rust as part of an undergraduate introduction to programming language theory class way back in 2016-2017, and spoke about it at RustConf 2017. Here's the video for the talk: https://www.youtube.com/watch?v=0PhfaFkzdBA https://www.youtube.com/watch?v=0PhfaFkzdBA My key takeaways were basically that students took to it better than I had anticipated, and that Rust proved to be a useful way to illustrate a number of interesting programming language ideas. Note that because it was a PL class, not a Rust class, that students were not expected to walk away as capable, ready-to-run Rustaceans.

osti 3y ago

In my opinion this course https://tc.gts3.org/cs3210/2020/spring/lab.html https://tc.gts3.org/cs3210/2020/spring/lab.html, is the best OS course ever, perhaps even the best computer science course ever. Thru the labs you build a bare metal OS for raspberry pi using Rust. I went thru it on my own and was able to complete most of it. Running your OS on real hardware is way more satisfying than doing it on emulator.

amkhrjee 3y ago
Looks fun. Thanks for sharing!
UltimateEdge 3y ago
> perhaps even the best computer science course ever To get a flavour of your opinion, could you suggest some runners-up for "best computer science course"?
- osti 3y ago
  By saying computer science, I'm excluding stuff that are theory oriented, and I also dislike most programming language courses, even though this one does try to teach you Rust.. So that pretty much leaves us with systems courses. Waterloo has a real-time OS course that makes you write a program that controls some toy trains moving on rails, that course must be pretty high on my list as well. But the Rust OS course teaches you more fundamental stuff like virtual memory, multi core, file system etc. So I think the train course is a good runner up. A good course for me must have a super cool and well designed project. For example, for machine learning, I really like this one, https://dlsyscourse.org/assignments/ https://dlsyscourse.org/assignments/, the assignments make you write your own mini version of PyTorch and use it to train models, how cool is that!
  - UltimateEdge 3y ago
    Thank you for your recommendation! Your second suggestion reminds me of Karpathy's micrograd and the accompanying lectures. At the top of my own bucket list, at the moment, are: Distributed Systems and SCIP, both from MIT, and Compilers, from Harvard!