islet
islet copied to clipboard
Spinlock Library with potential Deadlock Detection Feature
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.