RTEMS | SMP: Add FMLP-Short and FMLP-Long locking protocols (!882)

[Karthikey Kadati (@karthikey_kadati)]

Karthikey Kadati commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/882#note_139238


Hi @gedare,

Following your advice, I reached out to the research group. Dr. Kuan-Hsun Chen reviewed the mapping and characterized it as a solid porting effort, noting that FMLP-Long appears to have no conceptual issues.

For the FMLP-Short validation, he offered to assign a dedicated student project to mathematically verify the semantics, which should provide the formal confirmation you were looking for. In the meantime, I've followed his suggestion to rename the current tests to "case-based validation" and added the ArXiv link to the commit logs.

I just pushed those updates. You should be Cc'd on the email thread with his full review.

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/882#note_139238
You're receiving this email because of your account on gitlab.rtems.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/bugs/attachments/20260119/61173f29/attachment-0001.htm>