Changed ExecConstraints() and ExecRelCheck() to cache the constraints

qualification expression trees in the execution state. Prevents from
memory exhaustion on INSERT, UPDATE or COPY to tables that have CHECK
constraints. Speedup against the variant using freeObject() is more than
factor 2.

Jan

2 files changed, 22 insertions, 11 deletions

diff --git a/src/backend/commands/copy.c b/src/backend/commands/copy.c
index ff8555e39dd..9df08908c23 100644
--- a/src/backend/commands/copy.c
+++ b/src/backend/commands/copy.c
@@ -6,7 +6,7 @@
  *
  *
  * IDENTIFICATION
- *	  $Header: /cvsroot/pgsql/src/backend/commands/copy.c,v 1.71 1999/02/03 21:16:03 momjian Exp $
+ *	  $Header: /cvsroot/pgsql/src/backend/commands/copy.c,v 1.72 1999/02/07 16:17:10 wieck Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -505,6 +505,7 @@ CopyFrom(Relation rel, bool binary, bool oids, FILE *fp, char *delim)
 	Node	  **indexPred = NULL;
 	TupleDesc	rtupdesc;
 	ExprContext *econtext = NULL;
+	EState		*estate = makeNode(EState);	/* for ExecConstraints() */
 
 #ifndef OMIT_PARTIAL_INDEX
 	TupleTable	tupleTable;
@@ -805,7 +806,7 @@ CopyFrom(Relation rel, bool binary, bool oids, FILE *fp, char *delim)
 			 */
 
 			if (rel->rd_att->constr)
-				ExecConstraints("CopyFrom", rel, tuple);
+				ExecConstraints("CopyFrom", rel, tuple, estate);
 
 			heap_insert(rel, tuple);
 
diff --git a/src/backend/executor/execMain.c b/src/backend/executor/execMain.c
index d511e5f6e56..5ce90902b4c 100644
--- a/src/backend/executor/execMain.c
+++ b/src/backend/executor/execMain.c
@@ -26,7 +26,7 @@
  *
  *
  * IDENTIFICATION
- *	  $Header: /cvsroot/pgsql/src/backend/executor/execMain.c,v 1.74 1999/02/07 14:20:11 wieck Exp $
+ *	  $Header: /cvsroot/pgsql/src/backend/executor/execMain.c,v 1.75 1999/02/07 16:17:11 wieck Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -1124,7 +1124,7 @@ ExecAppend(TupleTableSlot *slot,
 
 	if (resultRelationDesc->rd_att->constr)
 	{
-		ExecConstraints("ExecAppend", resultRelationDesc, tuple);
+		ExecConstraints("ExecAppend", resultRelationDesc, tuple, estate);
 	}
 
 	/******************
@@ -1327,7 +1327,7 @@ ExecReplace(TupleTableSlot *slot,
 
 	if (resultRelationDesc->rd_att->constr)
 	{
-		ExecConstraints("ExecReplace", resultRelationDesc, tuple);
+		ExecConstraints("ExecReplace", resultRelationDesc, tuple, estate);
 	}
 
 	/*
@@ -1472,7 +1472,7 @@ ExecAttrDefault(Relation rel, HeapTuple tuple)
 #endif
 
 static char *
-ExecRelCheck(Relation rel, HeapTuple tuple)
+ExecRelCheck(Relation rel, HeapTuple tuple, EState *estate)
 {
 	int			ncheck = rel->rd_att->constr->num_check;
 	ConstrCheck *check = rel->rd_att->constr->check;
@@ -1505,14 +1505,24 @@ ExecRelCheck(Relation rel, HeapTuple tuple)
 	econtext->ecxt_param_exec_vals = NULL;		/* exec param values */
 	econtext->ecxt_range_table = rtlist;		/* range table */
 
+	if (estate->es_result_relation_constraints == NULL)
+	{
+		estate->es_result_relation_constraints =
+				(List **)palloc(ncheck * sizeof(List *));
+
+		for (i = 0; i < ncheck; i++)
+		{
+			qual = (List *) stringToNode(check[i].ccbin);
+			estate->es_result_relation_constraints[i] = qual;
+		}
+	}
+
 	for (i = 0; i < ncheck; i++)
 	{
-		qual = (List *) stringToNode(check[i].ccbin);
+		qual = estate->es_result_relation_constraints[i];
 
 		res = ExecQual(qual, econtext);
 
-		freeObject(qual);
-
 		if (!res)
 			return check[i].ccname;
 	}
@@ -1528,7 +1538,7 @@ ExecRelCheck(Relation rel, HeapTuple tuple)
 }
 
 void
-ExecConstraints(char *caller, Relation rel, HeapTuple tuple)
+ExecConstraints(char *caller, Relation rel, HeapTuple tuple, EState *estate)
 {
 
 	Assert(rel->rd_att->constr);
@@ -1549,7 +1559,7 @@ ExecConstraints(char *caller, Relation rel, HeapTuple tuple)
 	{
 		char	   *failed;
 
-		if ((failed = ExecRelCheck(rel, tuple)) != NULL)
+		if ((failed = ExecRelCheck(rel, tuple, estate)) != NULL)
 			elog(ERROR, "%s: rejected due to CHECK constraint %s", caller, failed);
 	}