<div dir="ltr">I believe it's mostly unmaintained at this point. <a class="gmail_plusreply" id="plusReplyChip-0" href="mailto:delesley@google.com" tabindex="-1">+Delesley Hutchins</a> (as the primary developer on this originally, or at least the last maintainer I'm aware of) in case he's got any pointers to current state/interested parties.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Oct 30, 2021 at 9:28 PM Randell Jesup via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div>
    <p>I'm looking to find and document the best ways to use clang
      thread-safety features (capability analysis), especially for some
      common patterns of access such as a single reader/writer thread
      with multiple reader threads, and also to document how to use it
      for thread-locked access checking -- there's a single example
      involving a ThreadRole.h file to set up uses of capabilities for
      tracking threads.   There's a brief mention of it on the paper,
      and also a longer example at
      <a href="https://insights.sei.cmu.edu/blog/thread-safety-analysis-in-c-and-c/" target="_blank">https://insights.sei.cmu.edu/blog/thread-safety-analysis-in-c-and-c/</a>
      .   However, that's from 2014, and it doesn't cover a lot of
      possible uses.</p>
    <p>One way to possibly handle the reader/writer vs readers case
      (where reads on the writing thread don't need to lock) would be to
      be able to say "guarded by this or that", in this case something
      like GUARDED_BY(mMutex, MainThread) (GUARDED_BY(mMutex ||
      MainThread) ??).</p>
    <p>  Randell Jesup, Mozilla<br>
    </p>
  </div>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div>