islet-project / islet

An on-device confidential computing platform
Apache License 2.0
91 stars 16 forks source link

safe-abstraction: Apply to granule-locked structs #332

Closed bitboom closed 3 months ago

bitboom commented 3 months ago

This PR applies safe abstraction to structures managed with granule locks.

  1. The affected structures are RD, RTT and REC.
  2. content_mut has been modified to manage &mut in accordance with Rust's syntax.
  3. Four unsafe keyword have been removed.
bokdeuk-jeong commented 2 months ago

@bitboom , @jinbpark It's a long overdue question, how can we relate it to the intern's task?

jinbpark commented 2 months ago

What the intern is working on is a dead-lock detection. It would look like a spinlock library (which can replace spinning_top::Spinlock) having the ability to detect a dead-lock situation.