summaryrefslogtreecommitdiffstats
path: root/clang/docs/ThreadSafetyAnalysis.rst
diff options
context:
space:
mode:
authorAaron Ballman <aaron@aaronballman.com>2014-11-14 13:48:34 +0000
committerAaron Ballman <aaron@aaronballman.com>2014-11-14 13:48:34 +0000
commiteb1e2f213a6a954fcd7c4d0d0d96c2eb210e44a0 (patch)
tree671b5d863af790f8b0115b985522101fd9cc35de /clang/docs/ThreadSafetyAnalysis.rst
parenta0344c5d7b9b748a2244dce393ceb55e83b495d6 (diff)
downloadbcm5719-llvm-eb1e2f213a6a954fcd7c4d0d0d96c2eb210e44a0.tar.gz
bcm5719-llvm-eb1e2f213a6a954fcd7c4d0d0d96c2eb210e44a0.zip
Correcting some grammar and typos, and adding CERT as a collaborator.
llvm-svn: 221992
Diffstat (limited to 'clang/docs/ThreadSafetyAnalysis.rst')
-rw-r--r--clang/docs/ThreadSafetyAnalysis.rst10
1 files changed, 5 insertions, 5 deletions
diff --git a/clang/docs/ThreadSafetyAnalysis.rst b/clang/docs/ThreadSafetyAnalysis.rst
index 74b4ba2127a..0a1b8049e46 100644
--- a/clang/docs/ThreadSafetyAnalysis.rst
+++ b/clang/docs/ThreadSafetyAnalysis.rst
@@ -10,8 +10,8 @@ Clang Thread Safety Analysis is a C++ language extension which warns about
potential race conditions in code. The analysis is completely static (i.e.
compile-time); there is no run-time overhead. The analysis is still
under active development, but it is mature enough to be deployed in an
-industrial setting. It being developed by Google, and is used extensively
-on their internal code base.
+industrial setting. It is being developed by Google, in collaboration with
+CERT/SEI, and is used extensively in Google's internal code base.
Thread safety analysis works very much like a type system for multi-threaded
programs. In addition to declaring the *type* of data (e.g. ``int``, ``float``,
@@ -327,7 +327,7 @@ thread-safe, but too complicated for the analysis to understand. Reasons for
Unlike the other attributes, NO_THREAD_SAFETY_ANALYSIS is not part of the
interface of a function, and should thus be placed on the function definition
-(in the ``.cc`` or ``.cpp`` file) rather than on the function delaration
+(in the ``.cc`` or ``.cpp`` file) rather than on the function declaration
(in the header).
@@ -503,7 +503,7 @@ As a result, EXCLUDES can easily produce false negatives:
Negative requirements are an alternative EXCLUDES that provide
a stronger safety guarantee. A negative requirement uses the REQUIRES
-attribute, in conjection with the ``!`` operator, to indicate that a capability
+attribute, in conjunction with the ``!`` operator, to indicate that a capability
should *not* be held.
For example, using ``REQUIRES(!mu)`` instead of ``EXCLUDES(mu)`` will produce
@@ -598,7 +598,7 @@ Thread safety attributes follow normal C++ access restrictions, so if ``mu``
is a private member of ``c``, then it is an error to write ``c.mu`` in an
attribute.
-One workround is to (ab)use the ``RETURN_CAPABILITY`` attribute to provide a
+One workaround is to (ab)use the ``RETURN_CAPABILITY`` attribute to provide a
public *name* for a private mutex, without actually exposing the underlying
mutex. For example:
OpenPOWER on IntegriCloud