{"id":1238288,"date":"2025-03-10T10:42:30","date_gmt":"2025-03-10T14:42:30","guid":{"rendered":"https:\/\/www.prime-wow.com\/?p=1238288"},"modified":"2025-03-10T10:42:30","modified_gmt":"2025-03-10T14:42:30","slug":"capability-analysis-for-the-kernel","status":"publish","type":"post","link":"https:\/\/www.prime-wow.com\/?p=1238288","title":{"rendered":"[$] Capability analysis for the kernel"},"content":{"rendered":"<div>One of the advantages of the Rust type system is its ability to encapsulate<br \/>\nrequirements about the state of the program in the type system;<br \/>\noften, this state includes which locks must be held to be able to carry out<br \/>\nspecific operations.  C\u00a0lacks the ability to express these<br \/>\nrequirements, but there would be obvious benefits if that kind of feature<br \/>\ncould be grafted onto the language.  The Clang compiler has made some<br \/>\nstrides in that direction with its <a href=\"https:\/\/clang.llvm.org\/docs\/ThreadSafetyAnalysis.html\">thread-safety<br \/>\nanalysis<\/a> feature; two developers have been independently working to<br \/>\ntake advantage of that work for the kernel.<\/div>\n","protected":false},"excerpt":{"rendered":"<p>One of the advantages of the Rust type system is its ability to encapsulate requirements about the state of the program in the type system; often, this state includes which locks must be held to be able to carry out &hellip; <a href=\"https:\/\/www.prime-wow.com\/?p=1238288\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[72,116,110],"tags":[],"class_list":["post-1238288","post","type-post","status-publish","format-standard","hentry","category-linux","category-lwn-net","category-unfiltered-rss"],"_links":{"self":[{"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=\/wp\/v2\/posts\/1238288","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1238288"}],"version-history":[{"count":0,"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=\/wp\/v2\/posts\/1238288\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1238288"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1238288"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prime-wow.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1238288"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}