SEL4PROJ / AOS

Advanced Operating Systems project
https://www.cse.unsw.edu.au/~cs9242/
19 stars 17 forks source link

Change event loop to use ReplyRecv instead of Recv #6

Closed andybui01 closed 2 years ago

andybui01 commented 2 years ago

What would be the conditions where have_reply is not true?

Currently, whenever the syscall loop is handling an interrupt.

kevinelp commented 2 years ago

I'm okay with what's there as a starting point for students to think about how reply_recv might be used more efficiently.