<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 25 Oct 2021, 14:17 Zhang Zeren, <<a href="mailto:zhangzr23@gmail.com" target="_blank" rel="noreferrer">zhangzr23@gmail.com</a>> wrote:<br></div><div dir="auto"><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Thanks for your reply! I should have read more carefully... Besides, do you know where can I find the specific rules of LKMM? </div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Once people used to say that this subject is good for "scaring little kids" (or something like that)...</div><div dir="auto"><br></div><div dir="auto">Introductory material can be found in the Linux kernel under the tools/memory-model/Documentation directory. For now, you'd better skip the files that are one level higher in tools/memory-model.<br></div><div dir="auto"><br></div><div dir="auto">IMO, best sources related to concurrency, ordering and memory model that I've ever read are Paul McKenney's papers and book (please use the Google search engine, Paul provides freely downloadable resources at his website).</div><div dir="auto"><br></div><div dir="auto">Regards,</div><div dir="auto"><br></div><div dir="auto">Fabio M. De Francesco</div></div>
</div></div></div>