P
Jul 22, 2018Priority inversion and priority inheritance
Priority inversion see Wikipedia. I will deal with the problem in the following steps:...
Jul 22, 20183 min read16 reactions0 comments
Back to articles
Tag archive
#syncstitch
S
Jul 20, 2018Safety verification of a spin lock used in Linux kernel based on x86-TSO memory model by using SyncStitch
Memory model A memory model describes the interactions of threads through memory and their...
Jul 20, 20182 min read12 reactions0 comments