summaryrefslogtreecommitdiff
path: root/upb/refcounted.c
diff options
context:
space:
mode:
authorJosh Haberman <jhaberman@gmail.com>2015-07-07 18:46:14 -0700
committerJosh Haberman <jhaberman@gmail.com>2015-07-07 18:46:14 -0700
commit49dab06e03c16691c4dab1ba012fe8488089a590 (patch)
tree209f0749cbba6db8c9f0bf1094e6b5b5cd5190a0 /upb/refcounted.c
parent6d9a9c727fd966acec7340aeabd5bf4039c6d929 (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.c33
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"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback