Skip to content
Navigation menu
Search
Powered by
Search
Algolia
Search
Log in
Create account
DEV Community
Close
#
syncstitch
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Priority inversion and priority inheritance
Hisabumi Hatsugai
Hisabumi Hatsugai
Hisabumi Hatsugai
Follow
Jul 22 '18
Priority inversion and priority inheritance
#
syncstitch
#
rtos
#
concurrency
16
 reactions
Comments
Add Comment
3 min read
Safety verification of a spin lock used in Linux kernel based on x86-TSO memory model by using SyncStitch
Hisabumi Hatsugai
Hisabumi Hatsugai
Hisabumi Hatsugai
Follow
Jul 20 '18
Safety verification of a spin lock used in Linux kernel based on x86-TSO memory model by using SyncStitch
#
syncstitch
#
concurrency
#
multithreading
12
 reactions
Comments
Add Comment
2 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account