Menu

#137 ceil semaphore status

3.5.0
done
3.4.0 (37)
feature
implemented
verified
corrected
2020-11-11
2020-11-11
Pharos Team
No

Add a new syscall for the ceiling semaphore get status that determines if a thread is holding the semaphore (or not). This function could be useful for debugging.

struct SemCeilStatus
{
    /**
     * Flag indicating if the semaphore is being held
     */
    bool isUsed;

    /**
     * Thread id of the holder
     */
    ThreadId holder;
};

PharosSemCeilStatusR pharosSSemCeilStatus(SemCeilNumber number , ptrSemCeilStatus status);

Discussion

  • Pharos Team

    Pharos Team - 2020-11-11
    • status: accepted --> done
    • Implemented: not implemented --> implemented
    • Verification: not verified --> verified
    • Resolution: not corrected --> corrected
     
  • Pharos Team

    Pharos Team - 2020-11-11

    implemented, test in 71

     

Anonymous
Anonymous

Add attachments
Cancel