X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2Fdesignnotes;h=404809f210adf44993e87cc5a05f6975565aa8a1;hb=88cc6f37e1158f55870e1b55100e91a09b8d1556;hp=f0d2b3b389f650b6d564a966d0b793925aa80913;hpb=7af633c8213547d438aa4f6ef5f5c4327210020d;p=IRC.git

diff --git a/Robust/src/designnotes b/Robust/src/designnotes
index f0d2b3b3..404809f2 100644
--- a/Robust/src/designnotes
+++ b/Robust/src/designnotes
@@ -14,6 +14,26 @@ Non parameter variables:
 1) Type must contain flags
 2) Apply flag additions to all states
 
+Tags operations:
+create_tag operation(type)
+
+tag name=new tag(type);
+
+associate_with_tag operation(object, tag)
+
+Dispatch:
+after flag status, allow tag status...
+each tag state is of the form: Type(name)
+
+Other approach:
+Tag sets:  {x, y, z, ... in R
+
+Allow additions/removals of tuples in taskexit:
+remove <x, y, z, ...> from R
+add <x, y> to R
+
+Allow addition of new tuples in object allocation
+add <new, y> to R
 ------------------------------------------------------------------------------