X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=grammer%2Fspec_compiler.jj;h=9195e13a6c70a479d44ade76a9d27658de8299a2;hp=22fada84bf025aaee801daa7da9d01569a3f9729;hb=7919b41aeee6c8d5f572299f80f2e91d389ae164;hpb=e8466e30b587947c60bbba7df22b8b0908c75f26

diff --git a/grammer/spec_compiler.jj b/grammer/spec_compiler.jj
index 22fada8..9195e13 100644
--- a/grammer/spec_compiler.jj
+++ b/grammer/spec_compiler.jj
@@ -16,6 +16,7 @@
 		# entry point.
 		LANG = C;
 	@Global_define:
+		@DeclareStruct:
 		@DeclareVar:
 		@InitVar:
 		@DefineFunc:
@@ -23,13 +24,18 @@
 		@DefineFunc:
 	@Interface_cluster:
 		...
-	@Happens-before:
+	@Happens_before:
 		...
+	@Commutativity: // This is to define the admissibility condition
+		// Enq <-> Enq (_M1.q != _M2.q)
+		// Enq <-> Deq (_M1.q != _M2.q)
+		// Deq <-> Deq (_M1.q != _M2.q)
+		// Enq <-> Deq (_M1.q == _M2.q && _M2.__RET__ == NULL)
 	@End
 	
 	b) Interface construct
 	@Begin
-	@Interface: ...
+	@Interface_decl: ...
 	@Commit_point_set:
 		IDENTIFIER | IDENTIFIER ...
 	@Condition: ... (Optional)
@@ -49,19 +55,53 @@
 	@Begin
 	@Potential_commit_point_define: ...
 	@Label: ...
+	@End
+
+		OR
+
+	@Begin
+	@Potential_additional_ordering_point_define: ...
+	@Label: ...
 	@End
 
 	d) Commit point define construct
 	@Begin
 	@Commit_point_define_check: ...
 	@Label: ...
+	@End
+
+		OR
+	
+	# Addition ordering point is used to order operations when there are "equal"
+	# commit point operations on the same location and that we cannot decide
+	# which operation goes first, we will use additional ordering point to order
+	# them (it's just similar to commit points). In implementation, we can just
+	# treat them as commit points with a special flag.
+
+	@Begin
+	@Additional_ordering_point_define: ...
+	@Potential_additional_ordering_point_label: ...
+	@Label: ...
 	@End
 	
 		OR
+	
+	@Begin
+	@Additional_ordering_point_define: ...
+	@Label: ...
+	@End
+
+		OR
 
 	@Begin
-	@Commit_point_define: ...
-	@Potential_commit_point_label: ...
+	@Additional_ordering_point_define_check: ...
+	@Label: ...
+	@End
+
+	// Commit point clear (just as a normal commit point, but it is used to
+	// clear all commit points)
+	@Begin
+	@Commit_point_clear: ...
 	@Label: ...
 	@End
 
@@ -74,6 +114,25 @@
 	@Begin
 	@Interface_define: <Interface_Name>
 	@End
+
+	g) Interface declare & define construct
+	@Begin
+	@Interface_decl_define: <Interface_Name>
+	@Commit_point_set:
+		IDENTIFIER | IDENTIFIER ...
+	@Condition: ... (Optional)
+	@HB_Condition:
+		IDENTIFIER :: <C_CPP_Condition>
+	@HB_Condition: ...
+	@ID: ... (Optional, use default ID)
+	@Check: (Optional)
+		...
+	@Action: (Optional)
+		...
+	@Post_action: (Optional)
+	@Post_check: (Optional)
+	@End
+
 */
 
 
@@ -94,13 +153,16 @@ import java.io.File;
 import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.HashSet;
+import java.util.Arrays;
 
 import edu.uci.eecs.specCompiler.specExtraction.Construct;
 import edu.uci.eecs.specCompiler.specExtraction.GlobalConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.InterfaceConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.PotentialCPDefineConstruct;
+import edu.uci.eecs.specCompiler.specExtraction.CommutativityRule;
 import edu.uci.eecs.specCompiler.specExtraction.CPDefineConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.CPDefineCheckConstruct;
+import edu.uci.eecs.specCompiler.specExtraction.CPClearConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.ConditionalInterface;
 import edu.uci.eecs.specCompiler.specExtraction.SequentialDefineSubConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.InterfaceDefineConstruct;
@@ -121,7 +183,7 @@ import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
 		public static void main(String[] argvs)
 		throws ParseException, TokenMgrError {
 			try {
-				File f = new File("./grammer/spec.txt");
+				File f = new File("./grammer/spec1.txt");
 				FileInputStream fis = new FileInputStream(f);
 				SpecParser parser = new SpecParser(fis);
 				
@@ -137,6 +199,7 @@ import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
 					System.out.println(constructs.get(i));
 				}
 				
+				
 				//parser.Test();
 				System.out.println("Parsing finished!");
 			} catch (FileNotFoundException e) {
@@ -160,7 +223,14 @@ import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
 			return null;
 		}
 
-		public static ArrayList<String> getTemplateArg(String line)
+
+		private static ArrayList<String> breakLines(String all) {
+			String lines[] = all.split("[\\r\\n]+");
+			return new ArrayList<String>(Arrays.asList(lines));
+		}
+
+
+		public static ArrayList<VariableDeclaration> getTemplateArg(String line)
 		throws ParseException {
 			InputStream input = new ByteArrayInputStream(line.getBytes());
 			SpecParser parser = new SpecParser(input);
@@ -177,18 +247,69 @@ import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
 
 		public static String stringArray2String(ArrayList<String> content) {
 			StringBuilder sb = new StringBuilder();
+			if (content.size() == 1)
+				return content.get(0);
 			for (int i = 0; i < content.size(); i++) {
 				sb.append(content.get(i) + "\n");
 			}
 			return sb.toString();
 		}
 
+		/**
+		boolean spaceSeparator(Token t) {
+			switch (t.image) {
+				case "[":
+				case "]":
+				case "=":
+				case "(":
+				case ")":
+				case ",":
+				case ".":
+				case "*":
+				case "~":
+				case "!":
+				case "&":
+				case "|":
+				case "%":
+				case "+":
+				case "-":
+				case "/":
+				case "<":
+				case ">":
+				case "<=":
+				case ">=":
+				case "==":
+				case "!=":
+				case "&&":
+				case "||":
+				case "^":
+				case "?":
+				case ":":
+				case "::":
+				case "<<":
+				case ">>":
+				case ">>>":
+				case "+=":
+				case "-=":
+				case "*=":
+				case "/=":
+				case "%=":
+				case "^=":
+				case "&=":
+				case ";":
+					return false;
+				default:
+					return true;
+			}
+		}
+		*/
+
 	}
 PARSER_END(SpecParser)
 
 
 
-<*> SKIP :
+<IN_POTENTIAL_SPEC, IN_SPEC> SKIP :
 {
 	" "
 |
@@ -217,6 +338,10 @@ SKIP : {
 	"/*": IN_COMMENT
 }
 
+<DEFAULT> TOKEN: {
+	<ANY: ~[]>
+}
+
 <*> SKIP : {
 	// "//" comment for the specification
 	<"//" (~["\n", "\r"])* (["\n", "\r"])>
@@ -241,16 +366,22 @@ SKIP : {
 	<OPTIONS: "@Options:">
 |
 	<GLOBAL_DEFINE: "@Global_define:">
+|
+	<DECLARE_STRUCT: "@DeclareStruct:">
 |
 	<DECLARE_VAR: "@DeclareVar:">
 |
 	<INIT_VAR: "@InitVar:">
+|
+	<CLEANUP: "@Finalize:">
 |
 	<DEFINE_FUNC: "@DefineFunc:">
 |
 	<INTERFACE_CLUSTER: "@Interface_cluster:">
 |
 	<HAPPENS_BEFORE: "@Happens_before:">
+|
+	<COMMUTATIVITY: "@Commutativity:">
 |
 	<INTERFACE: "@Interface:">
 |
@@ -281,18 +412,28 @@ SKIP : {
 	<POST_CHECK: "@Post_check:">
 |
 	<POTENTIAL_COMMIT_POINT_DEFINE: "@Potential_commit_point_define:">
+|
+	<POTENTIAL_ADDITIONAL_ORDERING_POINT_DEFINE: "@Potential_additional_ordering_point_define:">
 |
 	<LABEL: "@Label:">
 |
 	<COMMIT_POINT_DEFINE_CHECK: "@Commit_point_define_check:">
+|
+	<ADDITIONAL_ORDERING_POINT_DEFINE_CHECK: "@Additional_ordering_point_define_check:">
 |
 	<COMMIT_POINT_DEFINE: "@Commit_point_define:">
+|
+	<ADDITIONAL_ORDERING_POINT_DEFINE: "@Additional_ordering_point_define:">
+|
+	<COMMIT_POINT_CLEAR: "@Commit_point_clear:">
 |
 	<POTENTIAL_COMMIT_POINT_LABEL: "@Potential_commit_point_label:">
+|
+	<POTENTIAL_ADDITIONAL_ORDERING_POINT_LABEL: "@Potential_additional_ordering_point_label:">
 }
 
 
-<IN_SPEC, DEFAULT> TOKEN :
+<IN_SPEC> TOKEN :
 {
 /*   Specification & C/C++ shared tokens   */
 // Reserved keywords
@@ -301,8 +442,16 @@ SKIP : {
 	<STRUCT: "struct">
 |
 	<CLASS: "class">
+|
+	<UNSIGNED: "unsigned">
 |
 	<TEMPLATE: "template">
+|
+	<INLINE: "inline">
+|
+	<STATIC: "static">
+|
+	<FOR: "for">
 |
 	<#DIGIT: ["0"-"9"]>
 |
@@ -327,11 +476,15 @@ SKIP : {
 	<CLOSE_BRACE: "}">
 |
 	<HB_SYMBOL: "->">
+|
+	<COMMUTATIVITY_SYMBOL: "<->">
 |
 	<COMMA: ",">
 |
 /*   C/C++ only token*/
 	<DOT: ".">
+|
+	<DOLLAR: "$">
 |
 	<STAR: "*">
 |
@@ -380,6 +533,28 @@ SKIP : {
 	<COLON: ":">
 |
 	<DOUBLECOLON: "::">
+|
+	<DOUBLELESSTHAN: "<<">
+|
+	<DOUBLEGREATERTHAN: ">>">
+|
+	<TRIPLEGREATERTHAN: ">>>">
+|
+	<PLUS_EQUALS: "+=">
+|
+	<MINUS_EQUALS: "-=">
+|
+	<TIMES_EQUALS: "*=">
+|
+	<DIVIDE_EQUALS: "/=">
+|
+	<MOD_EQUALS: "%=">
+|
+	<XOR_EQUALS: "^=">
+|
+	<OR_EQUALS: "|=">
+|
+	<AND_EQUALS: "&=">
 |
 	<SEMI_COLON: ";">
 |
@@ -456,10 +631,10 @@ String Type() :
 }
 {
 	{ type = ""; }
-	("const"
+	(<CONST>
 	{ type = "const"; }
 	)?
-	(((str = <STRUCT>.image | str = <CLASS>.image) { type = type + " " + str; })? 
+	(((str = <STRUCT>.image | str = <CLASS>.image | str = <UNSIGNED>.image) { type = type + " " + str; })? 
 	(
 	name = ParseQualifiedName() {
 		if (!type.equals(""))
@@ -468,7 +643,7 @@ String Type() :
 			type = name.fullName;
 	})
 	)
-	((str = "const".image {
+	((str = <CONST>.image {
 		if (!type.equals(""))
 			type = type + " " + str;
 		else
@@ -492,23 +667,6 @@ String Type() :
 	}
 }
 
-void Test() :
-{
-	String str;	
-	FunctionHeader func;
-}
-{
-	/*
-	str = Type()
-	{
-		System.out.println(str);
-	}
-	*/
-	func = FuncDecl() 
-	{
-		System.out.println(func);
-	}
-}
 
 String ParameterizedName() :
 {
@@ -517,8 +675,8 @@ String ParameterizedName() :
 }
 {
 	(str = <IDENTIFIER>.image {res = str;})
-	("<" str = <IDENTIFIER>.image { res = res + "<" + str; }
-	("," str = <IDENTIFIER>.image { res = res + ", " + str; })* ">"
+	(<OPEN_BRACKET> str = Type() { res = res + "<" + str; }
+	(<COMMA> str = Type() { res = res + ", " + str; })* <CLOSE_BRACKET>
 	{ res = res + ">"; }
 	)?
 	{
@@ -533,6 +691,7 @@ FunctionHeader FuncDecl() :
 	ArrayList<VariableDeclaration> args;
 }
 {
+	(<STATIC> | <INLINE>)*
 	ret = Type() 
 	funcName = ParseQualifiedName() 
 	args = FormalParamList() 
@@ -559,23 +718,32 @@ QualifiedName ParseQualifiedName() :
 	}
 }
 
-ArrayList<String> TemplateParamList() :
+ArrayList<VariableDeclaration> TemplateParamList() :
 {
-	ArrayList<String> params;
-	String str;
+	ArrayList<VariableDeclaration> params;
+	String type;
+	String name;
 }
 {
 	{
-		params = new ArrayList<String>();
+		params = new ArrayList<VariableDeclaration>();
 	}
 	<TEMPLATE>
-	"<"
-	(str = <IDENTIFIER>.image 
-	str = <IDENTIFIER>.image {params.add(str);})
+	<OPEN_BRACKET>
+	(type = <IDENTIFIER>.image 
+	name = <IDENTIFIER>.image
+	{
+		params.add(new VariableDeclaration(type, name));
+	}
+	)
 
-	("," str = <IDENTIFIER>.image 
-	str = <IDENTIFIER>.image {params.add(str);})*
-	">"
+	(<COMMA> type = <IDENTIFIER>.image 
+	name = <IDENTIFIER>.image
+	{
+		params.add(new VariableDeclaration(type, name));
+	}
+	)*
+	<CLOSE_BRACKET>
 	{
 		//System.out.println(params);
 		return params;
@@ -591,10 +759,10 @@ ArrayList<VariableDeclaration > FormalParamList() :
 	{
 		typeParams = new ArrayList<VariableDeclaration >();
 	}
-	"("
+	<OPEN_PAREN>
 	((varDecl = TypeParam() {typeParams.add(varDecl);})
 	((<COMMA> varDecl = TypeParam() {typeParams.add(varDecl);}))*)?
-	")"
+	<CLOSE_PAREN>
 	{
 		return typeParams;
 	}
@@ -611,12 +779,16 @@ VariableDeclaration TypeParam() :
 	}
 }
 
+
+
 ArrayList<String> C_CPP_CODE(ArrayList<String> headers) :
 {
 	String text;
 	Token t;
 	boolean newLine = false;
+	boolean newSpace = true;
 	boolean inTemplate = false;
+	boolean inForLoop = false;
 	ArrayList<String> content;
 	String header;
 }
@@ -629,42 +801,77 @@ ArrayList<String> C_CPP_CODE(ArrayList<String> headers) :
 	(
 	LOOKAHEAD(2)
 	(
-	t = <CONST> | t = <STRUCT> | t = <CLASS> |
+	t = <CONST> | t = <STRUCT> | t = <CLASS> | t = <UNSIGNED> |
 	(t = <TEMPLATE> { inTemplate = true;  })|
-	(header = <INCLUDE>.image {
+	t = <STATIC> | t = <INLINE> |
+	(t = <FOR> { inForLoop = true; })|
+	(t = <INCLUDE>
+	{
+		header = t.image;
+		newLine = true;
 		if (headers != null) {
 			headers.add(header.substring(header.lastIndexOf(' ') + 1));
 		}
 	})
 	| t = <IDENTIFIER> | t = <POUND> |
 	(t = <OPEN_BRACE>  { newLine = true; } ) |
-	(t = <CLOSE_BRACE>  { newLine = true; } ) | 
+	(t = <CLOSE_BRACE>  { newLine = true; inForLoop = false;} ) | 
 	t = <EQUALS> | t = <OPEN_PAREN> | t = <CLOSE_PAREN> | 
 	t = <OPEN_BRACKET> | t = <CLOSE_BRACKET>
 	| t = <HB_SYMBOL> | t = <COMMA> |
-	t = <DOT> | t = <STAR> | t = <NEGATE> | t = <EXCLAMATION> | t = <AND> | t = <OR> | t = <MOD> | t = <PLUS> |
+	t = <DOT> | t = <STAR> | t = <DOLLAR> | t = <NEGATE> | t = <EXCLAMATION> | t = <AND> | t = <OR> | t = <MOD> | t = <PLUS> |
 	t = <PLUSPLUS> | t = <MINUS> | t = <MINUSMINUS> | t = <DIVIDE> | t = <BACKSLASH> |
 	t = <LESS_THAN> |
 	(t = <GREATER_THAN> { if (inTemplate) newLine = true; }) |
 	t = <GREATER_EQUALS>	| t = <LESS_EQUALS> |
 	t = <LOGICAL_EQUALS> | t = <NOT_EQUALS> | t = <LOGICAL_AND> | t = <LOGICAL_OR> | t = <XOR> |
 	t = <QUESTION_MARK> | t = <COLON> | t = <DOUBLECOLON> |
-	(t = <SEMI_COLON> { newLine = true; } )
+	t = <DOUBLELESSTHAN> | 
+	t = <DOUBLEGREATERTHAN> |
+	t = <TRIPLEGREATERTHAN> | 
+
+	t = <PLUS_EQUALS> |
+	t = <MINUS_EQUALS> |
+	t = <TIMES_EQUALS> |
+	t = <DIVIDE_EQUALS> |
+	t = <MOD_EQUALS> |
+	t = <XOR_EQUALS> |
+	t = <OR_EQUALS> |
+	t = <AND_EQUALS> |
+
+	(t = <SEMI_COLON> { if (!inForLoop) newLine = true; } )
 	| t = <STRING_LITERAL> | t = <CHARACTER_LITERAL> |
 	t = <INTEGER_LITERAL> | t = <FLOATING_POINT_LITERAL> |
 	(t = <DEFINE> { newLine = true; } )
 	)
 	{
-		text = text + " " + t.image;
+		if (text.equals("")) {
+			text = t.image;
+			newSpace = true;
+		} else {
+			text = text + " " + t.image;
+			/*
+			if (newSpace && spaceSeparator(t)) {
+				text = text + " " + t.image;
+			} else {
+				text = text + t.image;
+				if (spaceSeparator(t))
+					newSpace = true;
+			}*/
+		}
 		if (newLine) {
 			content.add(text);
 			text = "";
 			newLine = false;
+			inTemplate = false;
 		}
 	}
 	)+
 
 	{
+		if (content.size() == 0) {
+			content.add(text);
+		}
 		return content;
 	}
 }
@@ -673,17 +880,55 @@ ArrayList<String> C_CPP_CODE(ArrayList<String> headers) :
 void Parse(File f, ArrayList<String> content, ArrayList<Construct> constructs, ArrayList<String> headers) :
 {
 	Construct inst;
-	ArrayList<String> code;
+	StringBuilder sb;
+	boolean flushSB;
 }
 {
 	{
 		_file = f;
 		_content = content;
 		_constructs = constructs;
+		sb = new StringBuilder();
+	}
+	(
+	(inst = ParseSpec()
+	{
+		_constructs.add(inst);
+	}
+	) |
+	//((code = C_CPP_CODE(headers)) { _content.addAll(code); })
+	(
+	flushSB = OriginalCode(sb)
+	{
+		if (flushSB) {
+			sb = new StringBuilder();
+		}
+	}
+	)
+	)* 
+	// For the last piece of code
+	{
+		_content.add(sb.toString());
+	}
+	<EOF>
+}
+
+// If true, there's a new line and sb should be flushed
+boolean OriginalCode(StringBuilder sb) :
+{
+	String str;
+}
+{
+	str = <ANY>.image
+	{
+		if (!str.equals("\n")) {
+			sb.append(str);
+			return false;
+		} else {
+			_content.add(sb.toString());
+			return true;
+		}
 	}
-	((inst = ParseSpec() { _constructs.add(inst); }) |
-	((code = C_CPP_CODE(headers)) { _content.addAll(code); })
-	)* <EOF>
 }
 
 Construct ParseSpec() :
@@ -697,6 +942,10 @@ Construct ParseSpec() :
 	LOOKAHEAD(2) res = Potential_commit_point_define() |
 	LOOKAHEAD(2) res = Commit_point_define() |
 	LOOKAHEAD(2) res = Commit_point_define_check() |
+	LOOKAHEAD(2) res = Potential_additional_ordering_point_define() |
+	LOOKAHEAD(2) res = Additional_ordering_point_define() |
+	LOOKAHEAD(2) res = Additional_ordering_point_define_check() |
+	LOOKAHEAD(2) res = Commit_point_clear() |
 	LOOKAHEAD(2) res = Entry_point() |
 	LOOKAHEAD(2) res = Class_begin() |
 	LOOKAHEAD(2) res = Class_end() |
@@ -738,6 +987,7 @@ GlobalConstruct Global_construct() :
 			{ res = new GlobalConstruct(_file, _content.size(), code, options); }
 			(Interface_clusters(res))?
 			(Happens_before(res))?
+			(Commutativity(res))?
 		<END>
 	{
 		res.unfoldInterfaceCluster();
@@ -747,26 +997,32 @@ GlobalConstruct Global_construct() :
 
 SequentialDefineSubConstruct Global_define() :
 {
-	ArrayList<String> initVar, defineFunc, code;
+	ArrayList<String> initVar, cleanup, defineFunc, code, declareStruct;
 	ArrayList<ArrayList<String>> defineFuncs;
 	ArrayList<VariableDeclaration> declareVars;
+	ArrayList<ArrayList<String>> declareStructs;
 	VariableDeclaration declareVar;
 
 }
 {
 	{
-		declareVars = null;
-		initVar = null;
+		declareVars = new ArrayList<VariableDeclaration>();
+		initVar = new ArrayList<String>();
+		cleanup = new ArrayList<String>();
 		defineFuncs = new ArrayList<ArrayList<String>>();
+		declareStructs = new ArrayList<ArrayList<String>>();
 	}
 	<GLOBAL_DEFINE>
-		(<DECLARE_VAR> ((declareVar = TypeParam() ";" {
+	(<DECLARE_STRUCT> (declareStruct = C_CPP_CODE(null) {
+		declareStructs.add(declareStruct); }))*
+		(<DECLARE_VAR> ((declareVar = TypeParam() <SEMI_COLON> {
 			declareVars.add(declareVar); } )*))?
 	(<INIT_VAR> (code = C_CPP_CODE(null) { initVar = code; } ))?
+	(<CLEANUP> (code = C_CPP_CODE(null) { cleanup = code; } ))?
 	(<DEFINE_FUNC> (defineFunc = C_CPP_CODE(null) { defineFuncs.add(defineFunc); }))*
 	{
 		SequentialDefineSubConstruct res = new
-			SequentialDefineSubConstruct(declareVars, initVar, defineFuncs);
+			SequentialDefineSubConstruct(declareStructs, declareVars, initVar, cleanup, defineFuncs);
 		//System.out.println(res);
 		return res;
 	}
@@ -780,8 +1036,8 @@ ConditionalInterface Conditional_interface() :
 	{
 		hbConditionLabel = "";
 	}
-	interfaceName = <IDENTIFIER>.image (<OPEN_BRACKET> hbConditionLabel =
-	<IDENTIFIER>.image <CLOSE_BRACKET>)?
+	interfaceName = <IDENTIFIER>.image (<OPEN_PAREN> hbConditionLabel =
+	<IDENTIFIER>.image <CLOSE_PAREN>)?
 	{
 		return new ConditionalInterface(interfaceName, hbConditionLabel);
 	}
@@ -794,14 +1050,14 @@ void Interface_cluster(GlobalConstruct inst) :
 }
 {
 	(clusterName= <IDENTIFIER>.image)
-	<EQUALS> <OPEN_PAREN>
+	<EQUALS> <OPEN_BRACE>
 		(condInterface = Conditional_interface()
 		{ inst.addInterface2Cluster(clusterName, condInterface); } 
 		)
 		(<COMMA> condInterface = Conditional_interface()
 		{ inst.addInterface2Cluster(clusterName, condInterface); } 
 		)*
-	<CLOSE_PAREN>
+	<CLOSE_BRACE>
 }
 
 void Interface_clusters(GlobalConstruct inst) :
@@ -822,6 +1078,29 @@ void Happens_before(GlobalConstruct inst) :
 	)+
 }
 
+void Commutativity(GlobalConstruct inst) :
+{
+	String method1, method2, condition;
+	ArrayList<String> content;
+}
+{
+	{
+		content = new ArrayList<String>();
+	}
+
+	(
+	<COMMUTATIVITY>
+	method1 = <IDENTIFIER>.image  <COMMUTATIVITY_SYMBOL>
+	method2 = <IDENTIFIER>.image
+	<COLON>
+	content = C_CPP_CODE(null)
+	{ condition = stringArray2String(content); }
+	{
+		inst.addCommutativityRule(method1, method2, condition);
+	}
+	)+
+}
+
 InterfaceConstruct Interface() :
 {
 	InterfaceConstruct res;
@@ -835,16 +1114,14 @@ InterfaceConstruct Interface() :
 {
 	{
 		res = null;
-		action = null;
+		action = new ArrayList<String>();
 		condition = "";
 		idCode = "";
 		check = "";
 		postCheck = "";
 		commitPointSet = new ArrayList<String>();
 		hbConditions = new HashMap<String, String>();
-
-		action = null;
-		postAction = null;
+		postAction = new ArrayList<String>();
 	}
 		<BEGIN>
 			<INTERFACE> (interfaceName = <IDENTIFIER>.image)
@@ -866,7 +1143,7 @@ InterfaceConstruct Interface() :
 			(<CONDITION> (content = C_CPP_CODE(null) { condition = stringArray2String(content); }))?
 			(
 				<HB_CONDITION>
-				(hbLabel = <IDENTIFIER>.image)
+				(hbLabel = <IDENTIFIER>.image) <DOUBLECOLON>
 				(content = C_CPP_CODE(null) { hbCondition = stringArray2String(content); })
 				{
 					if (hbConditions.containsKey(hbLabel)) {
@@ -909,6 +1186,26 @@ PotentialCPDefineConstruct Potential_commit_point_define() :
 	}
 }
 
+PotentialCPDefineConstruct Potential_additional_ordering_point_define() :
+{
+	PotentialCPDefineConstruct res;
+	String label, condition;
+	ArrayList<String> content;
+}
+{
+
+	{ res = null; }
+		<BEGIN>
+			<POTENTIAL_ADDITIONAL_ORDERING_POINT_DEFINE> (content = C_CPP_CODE(null) { condition = stringArray2String(content); })
+			<LABEL> (label = <IDENTIFIER>.image)
+		<END>
+	{
+		// Set the boolean flag isAdditionalOrderingPoint to be true
+		res = new PotentialCPDefineConstruct(_file, _content.size(), true, label, condition); 
+		return res;
+	}
+}
+
 
 CPDefineConstruct Commit_point_define() :
 {
@@ -925,7 +1222,47 @@ CPDefineConstruct Commit_point_define() :
 			<LABEL> (label = <IDENTIFIER>.image)
 		<END>
 	{
-		res = new CPDefineConstruct(_file, _content.size(), label, potentialCPLabel, condition);
+		res = new CPDefineConstruct(_file, _content.size(), false, label, potentialCPLabel, condition);
+		return res;
+	}
+}
+
+CPDefineConstruct Additional_ordering_point_define() :
+{
+	CPDefineConstruct res;
+	String label, potentialCPLabel, condition;
+	ArrayList<String> content;
+}
+{
+
+	{ res = null; }
+		<BEGIN>
+			<ADDITIONAL_ORDERING_POINT_DEFINE> (content = C_CPP_CODE(null) { condition = stringArray2String(content); })
+			<POTENTIAL_ADDITIONAL_ORDERING_POINT_LABEL> (potentialCPLabel = <IDENTIFIER>.image)
+			<LABEL> (label = <IDENTIFIER>.image)
+		<END>
+	{
+		// Set the boolean flag isAdditionalOrderingPoint to be true
+		res = new CPDefineConstruct(_file, _content.size(), true, label, potentialCPLabel, condition);
+		return res;
+	}
+}
+
+CPClearConstruct Commit_point_clear() :
+{
+	CPClearConstruct res;	
+	String label, condition;
+	ArrayList<String> content;
+}
+{
+
+	{ res = null; }
+		<BEGIN> 
+			<COMMIT_POINT_CLEAR> (content = C_CPP_CODE(null) { condition = stringArray2String(content); })
+			<LABEL> (label = <IDENTIFIER>.image)
+		<END>
+	{
+		res = new CPClearConstruct(_file, _content.size(), label, condition);
 		return res;
 	}
 }
@@ -945,7 +1282,27 @@ CPDefineCheckConstruct Commit_point_define_check() :
 			<LABEL> (label = <IDENTIFIER>.image)
 		<END>
 	{
-		res = new CPDefineCheckConstruct(_file, _content.size(), label, condition);
+		res = new CPDefineCheckConstruct(_file, _content.size(), false, label, condition);
+		return res;
+	}
+}
+
+CPDefineCheckConstruct Additional_ordering_point_define_check() :
+{
+	CPDefineCheckConstruct res;	
+	String label, condition;
+	ArrayList<String> content;
+}
+{
+
+	{ res = null; }
+		<BEGIN> 
+			<ADDITIONAL_ORDERING_POINT_DEFINE_CHECK> (content = C_CPP_CODE(null) { condition = stringArray2String(content); })
+			<LABEL> (label = <IDENTIFIER>.image)
+		<END>
+	{
+		// Set the boolean flag isAdditionalOrderingPoint to be true
+		res = new CPDefineCheckConstruct(_file, _content.size(), true, label, condition);
 		return res;
 	}
 }