search

islet-project / islet

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

Spinlock Library with potential Deadlock Detection Feature #346

Open Goutam-115 opened 1 month ago

Goutam-115 commented 1 month ago

Spinlock library for ISLET platform, that provides potential deadlock detection feature for the developers. This library uses conditional compilation feature flags for different uses. Normally it behaves as a locking library for mutual exclusion, and also provides API for potential deadlock detection. This library uses a strong algorithm for deadlock detection to reduce false positive cases during analysis. Both real time deadlock and potential deadlock situation can be detected by this library. ReadMe file is added in the library for the developers explaining the usage of the library.

jinbpark commented 1 month ago

@Goutam-115, could you turn this PR to a draft PR?

zpzigi754 commented 1 month ago

FYI, we use spinning_top's spinlock. Thus, I guess that modifying the existing one might help to remove the duplicate functionality regarding locking mechanism.