diff options
author | Josh Haberman <jhaberman@gmail.com> | 2015-07-07 18:46:14 -0700 |
---|---|---|
committer | Josh Haberman <jhaberman@gmail.com> | 2015-07-07 18:46:14 -0700 |
commit | 49dab06e03c16691c4dab1ba012fe8488089a590 (patch) | |
tree | 209f0749cbba6db8c9f0bf1094e6b5b5cd5190a0 /upb/refcounted.c | |
parent | 6d9a9c727fd966acec7340aeabd5bf4039c6d929 (diff) |
Brought into compliance with Google open-source policies.
- removed myself from Author headers in source files.
- removed copyright notices from source file headers.
- added CONTRIBUTING.md
Diffstat (limited to 'upb/refcounted.c')
-rw-r--r-- | upb/refcounted.c | 33 |
1 files changed, 15 insertions, 18 deletions
diff --git a/upb/refcounted.c b/upb/refcounted.c index 85b378c..c8162f0 100644 --- a/upb/refcounted.c +++ b/upb/refcounted.c @@ -1,22 +1,19 @@ /* - * upb - a minimalist implementation of protocol buffers. - * - * Copyright (c) 2012 Google Inc. See LICENSE for details. - * Author: Josh Haberman <jhaberman@gmail.com> - * - * Our key invariants are: - * 1. reference cycles never span groups - * 2. for ref2(to, from), we increment to's count iff group(from) != group(to) - * - * The previous two are how we avoid leaking cycles. Other important - * invariants are: - * 3. for mutable objects "from" and "to", if there exists a ref2(to, from) - * this implies group(from) == group(to). (In practice, what we implement - * is even stronger; "from" and "to" will share a group if there has *ever* - * been a ref2(to, from), but all that is necessary for correctness is the - * weaker one). - * 4. mutable and immutable objects are never in the same group. - */ +** upb::RefCounted Implementation +** +** Our key invariants are: +** 1. reference cycles never span groups +** 2. for ref2(to, from), we increment to's count iff group(from) != group(to) +** +** The previous two are how we avoid leaking cycles. Other important +** invariants are: +** 3. for mutable objects "from" and "to", if there exists a ref2(to, from) +** this implies group(from) == group(to). (In practice, what we implement +** is even stronger; "from" and "to" will share a group if there has *ever* +** been a ref2(to, from), but all that is necessary for correctness is the +** weaker one). +** 4. mutable and immutable objects are never in the same group. +*/ #include "upb/refcounted.h" |