URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [trunk/] [rtos/] [ecos-2.0/] [tools/] [src/] [libcdl/] [transact.cxx] - Rev 248
Go to most recent revision | Compare with Previous | Blame | View Log
//{{{ Banner //============================================================================ // // transaction.cxx // // Implementation of the CdlTransaction class // //============================================================================ //####COPYRIGHTBEGIN#### // // ---------------------------------------------------------------------------- // Copyright (C) 1999, 2000, 2001, 2002 Red Hat, Inc. // // This file is part of the eCos host tools. // // This program is free software; you can redistribute it and/or modify it // under the terms of the GNU General Public License as published by the Free // Software Foundation; either version 2 of the License, or (at your option) // any later version. // // This program is distributed in the hope that it will be useful, but WITHOUT // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for // more details. // // You should have received a copy of the GNU General Public License along with // this program; if not, write to the Free Software Foundation, Inc., // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. // // ---------------------------------------------------------------------------- // //####COPYRIGHTEND#### //============================================================================ //#####DESCRIPTIONBEGIN#### // // Author(s): bartv // Contact(s): bartv // Date: 1999/07/16 // Version: 0.01 // //####DESCRIPTIONEND#### //============================================================================ //}}} //{{{ #include's // ---------------------------------------------------------------------------- #include "cdlconfig.h" // Get the infrastructure types, assertions, tracing and similar // facilities. #include <cyg/infra/cyg_ass.h> #include <cyg/infra/cyg_trac.h> // <cdlcore.hxx> defines everything implemented in this module. // It implicitly supplies <string>, <vector> and <map> because // the class definitions rely on these headers. #include <cdlcore.hxx> //}}} //{{{ CdlTransactionCallback class // ---------------------------------------------------------------------------- // The callback class is very straightforward. The hard work is done in // the transaction class. CdlTransactionCallback::CdlTransactionCallback(CdlTransaction transact_arg) { CYG_REPORT_FUNCNAME("CdlTransactionCallback:: constructor"); CYG_REPORT_FUNCARG2XV(this, transact_arg); CYG_PRECONDITION_CLASSC(transact_arg); // The vectors etc. will take care of themselves. transact = transact_arg; cdltransactioncallback_cookie = CdlTransactionCallback_Magic; CYG_POSTCONDITION_THISC(); CYG_REPORT_RETURN(); } CdlTransactionCallback::~CdlTransactionCallback() { CYG_REPORT_FUNCNAME("CdlTransactionCallback:: destructor"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); cdltransactioncallback_cookie = CdlTransactionCallback_Invalid; transact = 0; value_changes.clear(); active_changes.clear(); legal_values_changes.clear(); value_source_changes.clear(); new_conflicts.clear(); new_structural_conflicts.clear(); nodes_with_resolved_conflicts.clear(); nodes_with_resolved_structural_conflicts.clear(); CYG_REPORT_RETURN(); } void CdlTransactionCallback::set_callback_fn(void (*fn)(const CdlTransactionCallback&)) { CYG_REPORT_FUNCNAME("CdlTransactionCallback::set_callback_fn"); CYG_REPORT_FUNCARG1XV(fn); CdlTransactionBody::set_callback_fn(fn); CYG_REPORT_RETURN(); } void (*CdlTransactionCallback::get_callback_fn())(const CdlTransactionCallback&) { CYG_REPORT_FUNCNAMETYPE("CdlTransactionCallback::get_callback_fn", "result %p"); void (*result)(const CdlTransactionCallback&) = CdlTransactionBody::get_callback_fn(); CYG_REPORT_RETVAL(result); return result; } CdlTransaction CdlTransactionCallback::get_transaction() const { CYG_REPORT_FUNCNAMETYPE("CdlTransactionCallback::get_transaction", "result %p"); CYG_PRECONDITION_THISC(); CdlTransaction result = transact; CYG_POSTCONDITION_CLASSC(result); CYG_REPORT_RETVAL(result); return result; } CdlToplevel CdlTransactionCallback::get_toplevel() const { CYG_REPORT_FUNCNAMETYPE("CdlTransactionCallback::get_toplevel", "result %p"); CYG_PRECONDITION_THISC(); CdlToplevel result = transact->get_toplevel(); CYG_POSTCONDITION_CLASSC(result); CYG_REPORT_RETVAL(result); return result; } bool CdlTransactionCallback::check_this(cyg_assert_class_zeal zeal) const { if (CdlTransactionCallback_Magic != cdltransactioncallback_cookie) { return false; } return true; } //}}} //{{{ CdlTransaction statics // ---------------------------------------------------------------------------- void (*CdlTransactionBody::callback_fn)(const CdlTransactionCallback&) = 0; CdlInferenceCallback CdlTransactionBody::inference_callback = 0; bool CdlTransactionBody::inference_enabled = true; int CdlTransactionBody::inference_recursion_limit = 3; CdlValueSource CdlTransactionBody::inference_override = CdlValueSource_Inferred; CYGDBG_DEFINE_MEMLEAK_COUNTER(CdlTransactionBody); //}}} //{{{ Transaction creation and destruction // ---------------------------------------------------------------------------- CdlTransaction CdlTransactionBody::make(CdlToplevel toplevel) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::make", "result %p"); CYG_REPORT_FUNCARG1XV(toplevel); CYG_PRECONDITION_CLASSC(toplevel); CYG_PRECONDITIONC(0 == toplevel->transaction); CdlTransaction result = new CdlTransactionBody(toplevel, 0, 0); toplevel->transaction = result; CYG_REPORT_RETVAL(result); return result; } CdlTransaction CdlTransactionBody::make(CdlConflict conflict) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::make (sub-transaction)", "result %p"); CYG_REPORT_FUNCARG2XV(this, conflict); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_ZERO_OR_CLASSC(conflict); CdlTransaction result = new CdlTransactionBody(0, this, conflict); CYG_REPORT_RETVAL(result); return result; } CdlTransactionBody::CdlTransactionBody(CdlToplevel toplevel_arg, CdlTransaction parent_arg, CdlConflict conflict_arg) { CYG_REPORT_FUNCNAME("CdlTransaction:: constructor"); CYG_REPORT_FUNCARG4XV(this, toplevel_arg, parent_arg, conflict_arg); CYG_PRECONDITION_ZERO_OR_CLASSC(toplevel_arg); CYG_PRECONDITION_ZERO_OR_CLASSC(parent_arg); CYG_PRECONDITION_ZERO_OR_CLASSC(conflict_arg); CYG_PRECONDITIONC( ((0 == toplevel_arg) && (0 != parent_arg)) || ((0 == parent_arg) && (0 != toplevel_arg))); // The containers will take care of themselves, as will all_changes toplevel = toplevel_arg; parent = parent_arg; conflict = conflict_arg; dirty = false; cdltransactionbody_cookie = CdlTransactionBody_Magic; CYGDBG_MEMLEAK_CONSTRUCTOR(); CYG_POSTCONDITION_THISC(); CYG_REPORT_RETURN(); } // ---------------------------------------------------------------------------- CdlTransactionBody::~CdlTransactionBody() { CYG_REPORT_FUNCNAME("CdlTransaction:: destructor"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); // The transaction must have been either committed or cancelled. // This means that various of the STL containers should be empty CYG_ASSERTC(0 == commit_cancel_ops.size()); CYG_ASSERTC(0 == changes.size()); CYG_ASSERTC(0 == deleted_conflicts.size()); CYG_ASSERTC(0 == deleted_structural_conflicts.size()); CYG_ASSERTC(0 == new_conflicts.size()); CYG_ASSERTC(0 == new_structural_conflicts.size()); CYG_ASSERTC(0 == resolved_conflicts.size()); CYG_ASSERTC(0 == global_conflicts_with_solutions.size()); CYG_ASSERTC(0 == activated.size()); CYG_ASSERTC(0 == deactivated.size()); CYG_ASSERTC(0 == legal_values_changes.size()); CYG_ASSERTC(0 == value_changes.size()); CYG_ASSERTC(0 == active_changes.size()); // If this was a toplevel transaction, the toplevel knows // about the transaction. if (0 != toplevel) { CYG_ASSERTC(toplevel->transaction == this); toplevel->transaction = 0; } cdltransactionbody_cookie = CdlTransactionBody_Invalid; toplevel = 0; parent = 0; conflict = 0; dirty = false; CYGDBG_MEMLEAK_DESTRUCTOR(); CYG_REPORT_RETURN(); } //}}} //{{{ check_this() // ---------------------------------------------------------------------------- bool CdlTransactionBody::check_this(cyg_assert_class_zeal zeal) const { if (CdlTransactionBody_Magic != cdltransactionbody_cookie) { return false; } CYGDBG_MEMLEAK_CHECKTHIS(); //zeal = cyg_extreme; switch(zeal) { case cyg_system_test: case cyg_extreme : { std::map<CdlValuable,CdlValue>::const_iterator map_i; for (map_i = changes.begin(); map_i != changes.end(); map_i++) { if (!map_i->first->check_this(cyg_quick) || !map_i->second.check_this(cyg_quick)) { return false; } } std::list<CdlConflict>::const_iterator conf_i; for (conf_i = new_conflicts.begin(); conf_i != new_conflicts.end(); conf_i++) { if (!(*conf_i)->check_this(cyg_quick)) { return false; } } for (conf_i = new_structural_conflicts.begin(); conf_i != new_structural_conflicts.end(); conf_i++) { if (!(*conf_i)->check_this(cyg_quick)) { return false; } } std::vector<CdlConflict>::const_iterator conf_i2; for (conf_i2 = deleted_conflicts.begin(); conf_i2 != deleted_conflicts.end(); conf_i2++) { if (!(*conf_i2)->check_this(cyg_quick)) { return false; } } for (conf_i2 = resolved_conflicts.begin(); conf_i2 != resolved_conflicts.end(); conf_i2++) { if (!(*conf_i2)->check_this(cyg_quick)) { return false; } } for (conf_i2 = deleted_structural_conflicts.begin(); conf_i2 != deleted_structural_conflicts.end(); conf_i2++) { if (!(*conf_i2)->check_this(cyg_quick)) { return false; } } for (conf_i = global_conflicts_with_solutions.begin(); conf_i != global_conflicts_with_solutions.end(); conf_i++) { if (!(*conf_i)->check_this(cyg_quick)) { return false; } if (0 != (*conf_i)->transaction) { return false; } } // Nodes cannot have been both activated and deactivated in one transaction std::set<CdlNode>::const_iterator node_i; for (node_i = activated.begin(); node_i != activated.end(); node_i++) { if (!(*node_i)->check_this(cyg_quick)) { return false; } if (deactivated.end() != deactivated.find(*node_i)) { return false; } } for (node_i = deactivated.begin(); node_i != deactivated.end(); node_i++) { if (!(*node_i)->check_this(cyg_quick)) { return false; } if (activated.end() != activated.find(*node_i)) { return false; } } std::set<CdlValuable>::const_iterator val_i; for (val_i = legal_values_changes.begin(); val_i != legal_values_changes.end(); val_i++) { if (!(*val_i)->check_this(cyg_quick)) { return false; } } std::deque<CdlValuable>::const_iterator val_i2; for (val_i2 = value_changes.begin(); val_i2 != value_changes.end(); val_i2++) { if (!(*val_i2)->check_this(cyg_quick)) { return false; } } std::deque<CdlNode>::const_iterator active_i; for (active_i = active_changes.begin(); active_i != active_changes.end(); active_i++) { if (!(*active_i)->check_this(cyg_quick)) { return false; } } } case cyg_thorough: if ((0 != toplevel) && !toplevel->check_this(cyg_quick)) { return false; } if ((0 != parent) && !parent->check_this(cyg_quick)) { return false; } if ((0 != conflict) && !conflict->check_this(cyg_quick)) { return false; } case cyg_quick: case cyg_trivial : if ((0 == toplevel) && (0 == parent)) { return false; } if (this == parent) { return false; } case cyg_none : break; } return true; } //}}} //{{{ Misc // ---------------------------------------------------------------------------- CdlToplevel CdlTransactionBody::get_toplevel() const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_toplevel", "result %p"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CdlToplevel result = toplevel; CYG_REPORT_RETVAL(result); return result; } CdlTransaction CdlTransactionBody::get_parent() const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_parent", "result %p"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CdlTransaction result = parent; CYG_REPORT_RETVAL(result); return result; } CdlConflict CdlTransactionBody::get_conflict() const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_conflict", "result %p"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CdlConflict result = conflict; CYG_REPORT_RETVAL(result); return result; } // ---------------------------------------------------------------------------- void (*CdlTransactionBody::get_callback_fn())(const CdlTransactionCallback&) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_callback_fn", "result %p"); void (*result)(const CdlTransactionCallback&) = callback_fn; CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::set_callback_fn(void (*fn)(const CdlTransactionCallback&)) { CYG_REPORT_FUNCNAME("CdlTransaction::set_callback_fn"); CYG_REPORT_FUNCARG1XV(fn); callback_fn = fn; CYG_REPORT_RETURN(); } CdlInferenceCallback CdlTransactionBody::get_inference_callback_fn() { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_inference_callback_fn", "result %p"); CdlInferenceCallback result = inference_callback; CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::set_inference_callback_fn(CdlInferenceCallback fn) { CYG_REPORT_FUNCNAME("CdlTransaction::set_inference_callback"); CYG_REPORT_FUNCARG1XV(fn); inference_callback = fn; CYG_REPORT_RETURN(); } void CdlTransactionBody::enable_automatic_inference() { CYG_REPORT_FUNCNAME("CdlTransaction::enable_automatic_inference"); inference_enabled = true; CYG_REPORT_RETURN(); } void CdlTransactionBody::disable_automatic_inference() { CYG_REPORT_FUNCNAME("CdlTransaction::disable_automatic_inference"); inference_enabled = false; CYG_REPORT_RETURN(); } bool CdlTransactionBody::is_automatic_inference_enabled() { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::is_automatic_inference_enabled", "result %d"); bool result = inference_enabled; CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::set_inference_recursion_limit(int limit) { CYG_REPORT_FUNCNAME("CdlTransaction::set_inference_recursion_limit"); CYG_REPORT_FUNCARG1XV(limit); CYG_PRECONDITIONC(0 < limit); CYG_PRECONDITIONC(limit < 16); // arbitrary number inference_recursion_limit = limit; CYG_REPORT_RETURN(); } int CdlTransactionBody::get_inference_recursion_limit() { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_inference_recursion_limit", "result %d"); int result = inference_recursion_limit; CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::set_inference_override(CdlValueSource source) { CYG_REPORT_FUNCNAME("CdlTransaction::set_inference_override"); CYG_REPORT_FUNCARG1XV(source); CYG_PRECONDITIONC((CdlValueSource_Invalid == source) || Cdl::is_valid_value_source(source)); inference_override = source; CYG_REPORT_RETURN(); } CdlValueSource CdlTransactionBody::get_inference_override() { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_inference_override", "result %d"); CdlValueSource result = inference_override; CYG_REPORT_RETVAL((int) result); return result; } //}}} //{{{ Value access and updates // ---------------------------------------------------------------------------- const CdlValue& CdlTransactionBody::get_whole_value(CdlConstValuable valuable_arg) const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_whole_value", "result %p"); CYG_REPORT_FUNCARG2XV(this, valuable_arg); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(valuable_arg); // Unfortunately I need a valuable rather than a const-valuable when // accessing the STL containers. CdlValuable valuable = const_cast<CdlValuable>(valuable_arg); // If we are trying to find a solution, keep track of all valuables // that were accessed. const CdlValue* result = 0; if (0 != conflict) { conflict->solution_references.insert(valuable); } std::map<CdlValuable,CdlValue>::const_iterator val_i; val_i = changes.find(valuable); if (val_i != changes.end()) { result = &(val_i->second); } else if (0 != parent) { result = &(parent->get_whole_value(valuable)); } else { result = &(valuable->get_whole_value()); } CYG_REPORT_RETVAL(result); return *result; } void CdlTransactionBody::set_whole_value(CdlValuable valuable, const CdlValue& old_value, const CdlValue& new_value) { CYG_REPORT_FUNCNAME("CdlTransaction::set_whole_value"); CYG_REPORT_FUNCARG3XV(this, valuable, &new_value); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(valuable); CYG_PRECONDITION_CLASSOC(old_value); CYG_PRECONDITION_CLASSOC(new_value); CYG_PRECONDITIONC(&old_value != &new_value); CdlValueFlavor flavor = old_value.get_flavor(); CYG_ASSERTC(flavor == new_value.get_flavor()); CYG_ASSERTC(CdlValueFlavor_None != flavor); bool value_changed = false; bool bool_changed = false; if ((CdlValueFlavor_Bool == flavor) || (CdlValueFlavor_BoolData == flavor)) { if (old_value.is_enabled() != new_value.is_enabled()) { value_changed = true; bool_changed = true; } } if (!value_changed && ((CdlValueFlavor_BoolData == flavor) || (CdlValueFlavor_Data == flavor))) { if (old_value.get_simple_value() != new_value.get_simple_value()) { value_changed = true; } } if (value_changed) { std::deque<CdlValuable>::const_iterator change_i; change_i = std::find(value_changes.begin(), value_changes.end(), valuable); if (change_i == value_changes.end()) { value_changes.push_back(valuable); } } // Actually do the update. This may modify old_value, so has to be // left to the end. changes[valuable] = new_value; // If there was a change to the boolean part of the value and the valuable // implements an interface, the interface value needs to be recalculated. if (bool_changed && valuable->has_property(CdlPropertyId_Implements)) { std::vector<CdlInterface> interfaces; std::vector<CdlInterface>::const_iterator interface_i; valuable->get_implemented_interfaces(interfaces); for (interface_i = interfaces.begin(); interface_i != interfaces.end(); interface_i++) { (*interface_i)->recalculate(this); } } CYG_REPORT_RETURN(); } const std::map<CdlValuable, CdlValue>& CdlTransactionBody::get_changes() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_changes"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return changes; } //}}} //{{{ Active access and updates // ---------------------------------------------------------------------------- // Nodes can become active or inactive during transactions, and this affects // propagation and expression evaluation bool CdlTransactionBody::is_active(CdlNode node) const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::is_active", "result %d"); CYG_REPORT_FUNCARG2XV(this, node); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); bool result = false; if (activated.end() != activated.find(node)) { result = true; } else if (deactivated.end() != deactivated.find(node)) { result = false; } else if (0 != parent) { result = parent->is_active(node); } else { result = node->is_active(); } CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::set_active(CdlNode node, bool state) { CYG_REPORT_FUNCNAME("CdlTransaction::set_active"); CYG_REPORT_FUNCARG3XV(this, node, state); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); if (state) { activated.insert(node); std::set<CdlNode>::iterator node_i = deactivated.find(node); if (deactivated.end() != node_i) { deactivated.erase(node_i); } } else { deactivated.insert(node); std::set<CdlNode>::iterator node_i = activated.find(node); if (activated.end() != node_i) { activated.erase(node_i); } } active_changes.push_back(node); CdlValuable valuable = dynamic_cast<CdlValuable>(node); if ((0 != valuable) && valuable->has_property(CdlPropertyId_Implements)) { std::vector<CdlInterface> interfaces; std::vector<CdlInterface>::const_iterator interface_i; valuable->get_implemented_interfaces(interfaces); for (interface_i = interfaces.begin(); interface_i != interfaces.end(); interface_i++) { (*interface_i)->recalculate(this); } } CYG_REPORT_RETURN(); } //}}} //{{{ Conflict access and updates //{{{ get_conflict() etc. // ---------------------------------------------------------------------------- bool CdlTransactionBody::has_conflict(CdlNode node, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::has_conflict", "result %d"); CYG_REPORT_FUNCARG3XV(this, node, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); // Because it is necessary to check whether or not any given // conflict has been cleared in the current transaction or any // parent transaction, recursion into the parent is not // appropriate. bool result = false; std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_conflicts.begin(); conf_i != current_transaction->new_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = true; break; } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (!result && (0 != current_transaction)); if (!result) { CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->conflicts.begin(); conf_i != toplevel->conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = true; break; } } } CYG_REPORT_RETVAL(result); return result; } CdlConflict CdlTransactionBody::get_conflict(CdlNode node, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_conflict", "result %p"); CYG_REPORT_FUNCARG3XV(this, node, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); CdlConflict result = 0; std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_conflicts.begin(); conf_i != current_transaction->new_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = *conf_i; break; } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while ((0 == result) && (0 != current_transaction)); if (0 == result) { CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->conflicts.begin(); conf_i != toplevel->conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = *conf_i; break; } } } CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::get_conflicts(CdlNode node, bool (*pFn)(CdlConflict), std::vector<CdlConflict>& result) { CYG_REPORT_FUNCNAME("CdlTransaction::get_conflicts"); CYG_REPORT_FUNCARG3XV(this, node, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_conflicts.begin(); conf_i != current_transaction->new_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result.push_back(*conf_i); } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (0 != current_transaction); CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->conflicts.begin(); conf_i != toplevel->conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result.push_back(*conf_i); } } CYG_REPORT_RETURN(); } bool CdlTransactionBody::has_conflict(CdlNode node, CdlProperty prop, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::has_conflict", "result %d"); CYG_REPORT_FUNCARG4XV(this, node, prop, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); CYG_PRECONDITION_CLASSC(prop); bool result = false; std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_conflicts.begin(); conf_i != current_transaction->new_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = true; break; } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (!result && (0 != current_transaction)); if (!result) { CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->conflicts.begin(); conf_i != toplevel->conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = true; break; } } } CYG_REPORT_RETVAL(result); return result; } CdlConflict CdlTransactionBody::get_conflict(CdlNode node, CdlProperty prop, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_conflict", "result %p"); CYG_REPORT_FUNCARG4XV(this, node, prop, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); CYG_PRECONDITION_CLASSC(prop); CdlConflict result = 0; std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_conflicts.begin(); conf_i != current_transaction->new_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = *conf_i; break; } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while ((0 == result) && (0 != current_transaction)); if (0 == result) { CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->conflicts.begin(); conf_i != toplevel->conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = *conf_i; break; } } } CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::get_conflicts(CdlNode node, CdlProperty prop, bool (*pFn)(CdlConflict), std::vector<CdlConflict>& result) { CYG_REPORT_FUNCNAME("CdlTransaction::get_conflict"); CYG_REPORT_FUNCARG4XV(this, node, prop, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); CYG_PRECONDITION_CLASSC(prop); std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_conflicts.begin(); conf_i != current_transaction->new_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result.push_back(*conf_i); } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (0 != current_transaction); CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->conflicts.begin(); conf_i != toplevel->conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result.push_back(*conf_i); } } CYG_REPORT_RETURN(); } //}}} //{{{ get_structural_conflict() etc // ---------------------------------------------------------------------------- bool CdlTransactionBody::has_structural_conflict(CdlNode node, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::has_structural_conflict", "result %d"); CYG_REPORT_FUNCARG3XV(this, node, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); // Because it is necessary to check whether or not any given // conflict has been cleared in the current transaction or any // parent transaction, recursion into the parent is not // appropriate. bool result = false; std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_structural_conflicts.begin(); conf_i != current_transaction->new_structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = true; break; } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (!result && (0 != current_transaction)); if (!result) { CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->structural_conflicts.begin(); conf_i != toplevel->structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = true; break; } } } CYG_REPORT_RETVAL(result); return result; } CdlConflict CdlTransactionBody::get_structural_conflict(CdlNode node, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_structural_conflict", "result %p"); CYG_REPORT_FUNCARG3XV(this, node, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); CdlConflict result = 0; std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_structural_conflicts.begin(); conf_i != current_transaction->new_structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = *conf_i; break; } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while ((0 == result) && (0 != current_transaction)); if (0 == result) { CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->structural_conflicts.begin(); conf_i != toplevel->structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = *conf_i; break; } } } CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::get_structural_conflicts(CdlNode node, bool (*pFn)(CdlConflict), std::vector<CdlConflict>& result) { CYG_REPORT_FUNCNAME("CdlTransaction::get_structural_conflicts"); CYG_REPORT_FUNCARG3XV(this, node, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_structural_conflicts.begin(); conf_i != current_transaction->new_structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result.push_back(*conf_i); } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (0 != current_transaction); CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->structural_conflicts.begin(); conf_i != toplevel->structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result.push_back(*conf_i); } } CYG_REPORT_RETURN(); } bool CdlTransactionBody::has_structural_conflict(CdlNode node, CdlProperty prop, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::has_structural_conflict", "result %d"); CYG_REPORT_FUNCARG4XV(this, node, prop, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); CYG_PRECONDITION_CLASSC(prop); bool result = false; std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_structural_conflicts.begin(); conf_i != current_transaction->new_structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = true; break; } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (!result && (0 != current_transaction)); if (!result) { CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->structural_conflicts.begin(); conf_i != toplevel->structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = true; break; } } } CYG_REPORT_RETVAL(result); return result; } CdlConflict CdlTransactionBody::get_structural_conflict(CdlNode node, CdlProperty prop, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_structural_conflict", "result %p"); CYG_REPORT_FUNCARG4XV(this, node, prop, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); CYG_PRECONDITION_CLASSC(prop); CdlConflict result = 0; std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_structural_conflicts.begin(); conf_i != current_transaction->new_structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = *conf_i; break; } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while ((0 == result) && (0 != current_transaction)); if (0 == result) { CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->structural_conflicts.begin(); conf_i != toplevel->structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result = *conf_i; break; } } } CYG_REPORT_RETVAL(result); return result; } void CdlTransactionBody::get_structural_conflicts(CdlNode node, CdlProperty prop, bool (*pFn)(CdlConflict), std::vector<CdlConflict>& result) { CYG_REPORT_FUNCNAME("CdlTransaction::get_structural_conflict"); CYG_REPORT_FUNCARG4XV(this, node, prop, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); CYG_PRECONDITION_CLASSC(prop); std::list<CdlConflict>::const_iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_structural_conflicts.begin(); conf_i != current_transaction->new_structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result.push_back(*conf_i); } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (0 != current_transaction); CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->structural_conflicts.begin(); conf_i != toplevel->structural_conflicts.end(); conf_i++) { if ((node == (*conf_i)->get_node()) && (prop == (*conf_i)->get_property()) && !(this->has_conflict_been_cleared(*conf_i)) && (*pFn)(*conf_i)) { result.push_back(*conf_i); } } CYG_REPORT_RETURN(); } //}}} //{{{ clear_conflicts() // ---------------------------------------------------------------------------- // Clearing a conflict. This can only happen in the context of a // transaction. void CdlTransactionBody::clear_conflicts(CdlNode node, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAME("CdlTransaction::clear_conflicts"); CYG_REPORT_FUNCARG3XV(this, node, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); // Recursing into the parent is the wrong thing to do here, it // would result in the conflict being cleared in the parent rather // than in the current transaction. std::list<CdlConflict>::iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_conflicts.begin(); conf_i != current_transaction->new_conflicts.end(); ) { CdlConflict conflict = *conf_i++; if ((node == conflict->get_node()) && !(this->has_conflict_been_cleared(conflict)) && (*pFn)(conflict)) { this->clear_conflict(conflict); } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (0 != current_transaction); CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->conflicts.begin(); conf_i != toplevel->conflicts.end(); ) { CdlConflict conflict = *conf_i++; if ((node == conflict->get_node()) && !(this->has_conflict_been_cleared(conflict)) && (*pFn)(conflict)) { this->clear_conflict(conflict); } } CYG_REPORT_RETURN(); } void CdlTransactionBody::clear_conflicts(CdlNode node, CdlProperty prop, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAME("CdlTransaction::clear_conflicts"); CYG_REPORT_FUNCARG4XV(this, node, prop, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); std::list<CdlConflict>::iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_conflicts.begin(); conf_i != current_transaction->new_conflicts.end(); ) { CdlConflict conflict = *conf_i++; if ((node == conflict->get_node()) && (prop == conflict->get_property()) && !(this->has_conflict_been_cleared(conflict)) && (*pFn)(conflict)) { this->clear_conflict(conflict); } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (0 != current_transaction); CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->conflicts.begin(); conf_i != toplevel->conflicts.end(); ) { CdlConflict conflict = *conf_i++; if ((node == conflict->get_node()) && (prop == conflict->get_property()) && !(this->has_conflict_been_cleared(conflict)) && (*pFn)(conflict)) { this->clear_conflict(conflict); } } CYG_REPORT_RETURN(); } void CdlTransactionBody::clear_structural_conflicts(CdlNode node, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAME("CdlTransaction::clear_structural_conflicts"); CYG_REPORT_FUNCARG3XV(this, node, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); std::list<CdlConflict>::iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_structural_conflicts.begin(); conf_i != current_transaction->new_structural_conflicts.end(); ) { CdlConflict conflict = *conf_i++; if ((node == conflict->get_node()) && !(this->has_conflict_been_cleared(conflict)) && (*pFn)(conflict)) { this->clear_conflict(conflict); } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (0 != current_transaction); CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->structural_conflicts.begin(); conf_i != toplevel->structural_conflicts.end(); ) { CdlConflict conflict = *conf_i++; if ((node == conflict->get_node()) && !(this->has_conflict_been_cleared(conflict)) && (*pFn)(conflict)) { this->clear_conflict(conflict); } } CYG_REPORT_RETURN(); } void CdlTransactionBody::clear_structural_conflicts(CdlNode node, CdlProperty prop, bool (*pFn)(CdlConflict)) { CYG_REPORT_FUNCNAME("CdlTransaction::clear_structural_conflicts"); CYG_REPORT_FUNCARG4XV(this, node, prop, pFn); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(node); std::list<CdlConflict>::iterator conf_i; CdlTransaction current_transaction = this; CdlToplevel toplevel = this->toplevel; do { CYG_LOOP_INVARIANT_CLASSC(current_transaction); for (conf_i = current_transaction->new_structural_conflicts.begin(); conf_i != current_transaction->new_structural_conflicts.end(); ) { CdlConflict conflict = *conf_i++; if ((node == conflict->get_node()) && (prop == conflict->get_property()) && !(this->has_conflict_been_cleared(conflict)) && (*pFn)(conflict)) { this->clear_conflict(conflict); } } toplevel = current_transaction->toplevel; current_transaction = current_transaction->parent; } while (0 != current_transaction); CYG_ASSERT_CLASSC(toplevel); for (conf_i = toplevel->structural_conflicts.begin(); conf_i != toplevel->structural_conflicts.end(); ) { CdlConflict conflict = *conf_i++; if ((node == conflict->get_node()) && (prop == conflict->get_property()) && !(this->has_conflict_been_cleared(conflict)) && (*pFn)(conflict)) { this->clear_conflict(conflict); } } CYG_REPORT_RETURN(); } //}}} //{{{ clear_conflict() // ---------------------------------------------------------------------------- void CdlTransactionBody::clear_conflict(CdlConflict conflict) { CYG_REPORT_FUNCNAME("CdlTransaction::clear_conflict"); CYG_REPORT_FUNCARG2XV(this, conflict); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(conflict); // If this conflict was created during the transaction, it should // be on the new_conflicts or new_structural_conflicts container if (this == conflict->transaction) { // The conflict should be on one of the two new_conflicts deques. if (conflict->structural) { std::list<CdlConflict>::iterator conf_i = std::find(new_structural_conflicts.begin(), new_structural_conflicts.end(), conflict); CYG_ASSERTC(conf_i != new_structural_conflicts.end()); new_structural_conflicts.erase(conf_i); } else { std::list<CdlConflict>::iterator conf_i = std::find(new_conflicts.begin(), new_conflicts.end(), conflict); CYG_ASSERTC(conf_i != new_conflicts.end()); new_conflicts.erase(conf_i); } delete conflict; } else { if (conflict->structural) { deleted_structural_conflicts.push_back(conflict); } else { deleted_conflicts.push_back(conflict); } } CYG_REPORT_RETURN(); } // ---------------------------------------------------------------------------- bool CdlTransactionBody::has_conflict_been_cleared(CdlConflict conf) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::has_conflict_been_cleared", "result %d"); CYG_REPORT_FUNCARG2XV(this, conf); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(conf); bool result = false; CdlTransaction current_transaction = this; do { if (conf->structural) { if (std::find(current_transaction->deleted_structural_conflicts.begin(), current_transaction->deleted_structural_conflicts.end(), conf) != current_transaction->deleted_structural_conflicts.end()) { result = true; } } else { if (std::find(current_transaction->deleted_conflicts.begin(), current_transaction->deleted_conflicts.end(), conf) != current_transaction->deleted_conflicts.end()) { result = true; } } current_transaction = current_transaction->parent; } while (!result && (0 != current_transaction)); CYG_REPORT_RETVAL(result); return result; } //}}} //{{{ per-transaction data // ---------------------------------------------------------------------------- // Accessing the per-transaction conflict data. const std::list<CdlConflict>& CdlTransactionBody::get_new_conflicts() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_new_conflicts"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return new_conflicts; } const std::list<CdlConflict>& CdlTransactionBody::get_new_structural_conflicts() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_new_structural_conflicts"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return new_structural_conflicts; } const std::vector<CdlConflict>& CdlTransactionBody::get_deleted_conflicts() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_deleted_conflicts"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return deleted_conflicts; } const std::vector<CdlConflict>& CdlTransactionBody::get_deleted_structural_conflicts() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_deleted_structural_conflicts"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return deleted_structural_conflicts; } const std::vector<CdlConflict>& CdlTransactionBody::get_resolved_conflicts() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_resolved_conflicts"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return resolved_conflicts; } const std::list<CdlConflict>& CdlTransactionBody::get_global_conflicts_with_solutions() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_global_conflicts_with_solutions"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return global_conflicts_with_solutions; } //}}} //}}} //{{{ Commit/cancel operations // ---------------------------------------------------------------------------- void CdlTransactionBody::add_commit_cancel_op(CdlTransactionCommitCancelOp* op) { CYG_REPORT_FUNCNAME("CdlTransaction::add_commit_cancel_op"); CYG_REPORT_FUNCARG2XV(this, op); CYG_PRECONDITION_THISC(); CYG_PRECONDITIONC(0 != op); commit_cancel_ops.push_back(op); CYG_REPORT_RETURN(); } void CdlTransactionBody::cancel_last_commit_cancel_op() { CYG_REPORT_FUNCNAME("CdlTransaction::cancel_last_commit_cancel_op"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CdlTransactionCommitCancelOp* op = *(commit_cancel_ops.rbegin()); commit_cancel_ops.pop_back(); op->cancel(this); delete op; CYG_REPORT_RETURN(); } CdlTransactionCommitCancelOp* CdlTransactionBody::get_last_commit_cancel_op() const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::get_last_commit_cancel_op", "result %p"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CdlTransactionCommitCancelOp* op = *(commit_cancel_ops.rbegin()); CYG_REPORT_RETVAL(op); return op; } const std::vector<CdlTransactionCommitCancelOp*>& CdlTransactionBody::get_commit_cancel_ops() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_commit_cancel_ops"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return commit_cancel_ops; } //}}} //{{{ Propagation // ---------------------------------------------------------------------------- // Propagation should happen whenever one or more changes have been applied, // so that the impact of these changes on other parts of the configuration // can be fully assessed. The transaction keeps track of all the changes // to date and invokes appropriate node and property update handlers. void CdlTransactionBody::propagate() { CYG_REPORT_FUNCNAME("CdlTransaction::propagate"); CYG_REPORT_FUNCARG1XV(this); CYG_INVARIANT_THISC(CdlTransactionBody); // Now it is time to worry about value and active changes. // Propagation may result in new entries, so only the // front item of one of the vectors is modified. while ((0 < value_changes.size()) || (0 < active_changes.size())) { if (0 != value_changes.size()) { CdlValuable valuable = value_changes.front(); value_changes.pop_front(); // A value change may invalidate one or more solutions. // This happens during propagation rather than at the time // that the value is actually changed, so that multiple // solutions can be applied in one go. std::list<CdlConflict>::iterator conf_i, conf_j; for (conf_i = new_conflicts.begin(); conf_i != new_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); (*conf_i)->update_solution_validity(valuable); } for (conf_i = global_conflicts_with_solutions.begin(); conf_i != global_conflicts_with_solutions.end(); ) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); conf_j = conf_i++; (*conf_j)->update_solution_validity(valuable); if (!(*conf_j)->has_known_solution()) { global_conflicts_with_solutions.erase(conf_j); } } // If the valuable is no longer loaded then there is // no need to worry about propagation if (0 != valuable->get_toplevel()) { // Inform the valuable itself about the update, so that // e.g. the value can be checked against legal_values valuable->update(this, CdlUpdate_ValueChange); std::vector<CdlReferrer>& referrers = valuable->referrers; std::vector<CdlReferrer>::iterator ref_i; for (ref_i = referrers.begin(); ref_i != referrers.end(); ref_i++) { ref_i->update(this, valuable, CdlUpdate_ValueChange); } } } else { CdlNode node = active_changes.front(); active_changes.pop_front(); if (0 != node->get_toplevel()) { node->update(this, CdlUpdate_ActiveChange); std::vector<CdlReferrer>& referrers = node->referrers; std::vector<CdlReferrer>::iterator ref_i; for (ref_i = referrers.begin(); ref_i != referrers.end(); ref_i++) { ref_i->update(this, node, CdlUpdate_ActiveChange); } } } } CYG_REPORT_RETURN(); } // ---------------------------------------------------------------------------- bool CdlTransactionBody::is_propagation_required() const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::is_propagation_required", "result %d"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); bool result = false; if ((0 != value_changes.size()) || (0 != active_changes.size())) { result = true; } CYG_REPORT_RETVAL(result); return result; } // ---------------------------------------------------------------------------- void CdlTransactionBody::add_legal_values_change(CdlValuable valuable) { CYG_REPORT_FUNCNAME("CdlTransaction::add_legal_values_change"); CYG_REPORT_FUNCARG2XV(this, valuable); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(valuable); legal_values_changes.insert(valuable); CYG_REPORT_RETURN(); } const std::set<CdlValuable>& CdlTransactionBody::get_legal_values_changes() const { CYG_REPORT_FUNCNAME("CdlTransaction::get_legal_values_changes"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_REPORT_RETURN(); return legal_values_changes; } //}}} //{{{ Cancel // ---------------------------------------------------------------------------- // Cancellation is straightforward, essentially it just involves clearing // out all of the STL containers. The transaction object can then be-used, // so fields like parent and toplevel must not change. void CdlTransactionBody::cancel() { CYG_REPORT_FUNCNAME("CdlTransaction::cancel"); CYG_REPORT_FUNCARG1XV(this); CYG_INVARIANT_THISC(CdlTransactionBody); // First take care of the cancel ops, if any, in case a cancel op // depends on some of the other transaction state. std::vector<CdlTransactionCommitCancelOp*>::reverse_iterator cancel_i; for (cancel_i = commit_cancel_ops.rbegin(); cancel_i != commit_cancel_ops.rend(); cancel_i++) { (*cancel_i)->cancel(this); delete *cancel_i; *cancel_i = 0; } commit_cancel_ops.clear(); this->changes.clear(); std::list<CdlConflict>::iterator conf_i; for (conf_i = this->new_conflicts.begin(); conf_i != this->new_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); delete *conf_i; } this->new_conflicts.clear(); for (conf_i = this->new_structural_conflicts.begin(); conf_i != this->new_structural_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); delete *conf_i; } this->new_structural_conflicts.clear(); this->deleted_structural_conflicts.clear(); this->deleted_conflicts.clear(); // Any conflicts created and resolved during this transaction will // still be present in resolved_conflicts. Some global conflicts // may be there as well. std::vector<CdlConflict>::iterator conf_i2; for (conf_i2 = this->resolved_conflicts.begin(); conf_i2 != this->resolved_conflicts.end(); conf_i2++) { if (this == (*conf_i2)->transaction) { delete (*conf_i2); } } this->resolved_conflicts.clear(); // Any global conflicts which have been updated with a solution need // to have that solution cleared. Currently no attempt is made to // keep solutions valid for global conflicts. for (conf_i = this->global_conflicts_with_solutions.begin(); conf_i != this->global_conflicts_with_solutions.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); (*conf_i)->clear_solution(); } this->global_conflicts_with_solutions.clear(); this->activated.clear(); this->deactivated.clear(); this->legal_values_changes.clear(); this->value_changes.clear(); this->active_changes.clear(); CYG_REPORT_RETURN(); } //}}} //{{{ Commit // ---------------------------------------------------------------------------- // The commit operation. There are two main branches for this code. The // first branch deals with sub-transactions, and basically involves // transferring changes from the sub-transaction to the parent. It is // assumed that the sub-transaction has been fully propagated, so // data can just be transferred from the child to the parent. // // The second branch involves committing changes from a transaction to // the toplevel, invoking the transaction callback if necessary. void CdlTransactionBody::commit() { CYG_REPORT_FUNCNAME("CdlTransaction::commit"); CYG_REPORT_FUNCARG1XV(this); CYG_INVARIANT_THISC(CdlTransactionBody); std::map<CdlValuable, CdlValue>::iterator map_i; std::list<CdlConflict>::iterator conf_i, conf_j; std::vector<CdlConflict>::const_iterator conf_i2, conf_j2; std::set<CdlNode>::iterator set_i, set_j, set_k; std::set<CdlValuable>::iterator set_i2, set_j2; if (0 != parent) { // Any conflicts that were solved by the inference engine further // down are still resolved. // Great care has to be taken with conflict ownership. The following // cases have to be considered. // 1) the resolved conflict is global, its transaction is zero, this // conflict must only be destroyed if the toplevel transaction // is committed - at which time time the conflict should appear // on the deleted_conflicts lists. // 2) the conflict belongs to a higher level transaction, we have // recursed a certain amount trying to resolve it e.g. to explore // OR branches of the tree. Again the resolved conflict can only // be destroyed when the appropriate higher-level commit happens, // and should appear on the deleted conflicts list. // 3) the conflict was created and resolved further down the tree. // We are keeping it around for informational purposes only. // Associating it with this transaction allows the code to // distinguish this case from (1) and (2). for (conf_i2 = resolved_conflicts.begin(); conf_i2 != resolved_conflicts.end(); conf_i2++) { CdlConflict conf = *conf_i2; CYG_LOOP_INVARIANT_CLASSC(conf); CYG_LOOP_INVARIANTC(parent->resolved_conflicts.end() == \ std::find(parent->resolved_conflicts.begin(), \ parent->resolved_conflicts.end(), conf)); parent->resolved_conflicts.push_back(conf); parent->dirty = true; if (this == conf->transaction) { conf->transaction = parent; } } resolved_conflicts.clear(); // Any global conflicts for which solutions were found in the // sub-transaction still have solutions in the parent. for (conf_i = global_conflicts_with_solutions.begin(); conf_i != global_conflicts_with_solutions.end(); conf_i++) { CdlConflict conf = *conf_i; CYG_LOOP_INVARIANT_CLASSC(conf); // It is not clear that this search is actually useful, especially // given that the solution is currently stored with the conflict // rather than with the transaction. conf_j = std::find(parent->global_conflicts_with_solutions.begin(), parent->global_conflicts_with_solutions.end(), conf); if (conf_j == parent->global_conflicts_with_solutions.end()) { parent->global_conflicts_with_solutions.push_back(conf); parent->dirty = true; } } global_conflicts_with_solutions.clear(); // Now take care of deleted conflicts. for (conf_i2 = deleted_conflicts.begin(); conf_i2 != deleted_conflicts.end(); conf_i2++) { CdlConflict conf = *conf_i2; CYG_LOOP_INVARIANT_CLASSC(conf); // Possibilities to consider: // 1) the conflict may have been local to the parent transaction, // in which case it can be deleted. // 2) the conflict may have been created in a higher-level // transaction, in which case it has to be moved to the // parent's deleted_conflicts vector. // 3) the conflict may also have been global, again it needs // to be propagated into the parent's deleted_conflicts vector. // // But that is not the whole story. If this sub-transaction was // created specifically to resolve the conflict then the latter // should appear on the resolved vector and not be destroyed // immediately. This is true for both global and per-transaction // conflicts. // // For global conflicts it is also necessary to worry about // the global_conflicts_with_solutions list, that has to be // kept in synch with the rest of the world. conf_i = std::find(parent->new_conflicts.begin(), parent->new_conflicts.end(), conf); bool can_delete = false; if (conf_i != parent->new_conflicts.end()) { parent->new_conflicts.erase(conf_i); can_delete = true; } else { parent->deleted_conflicts.push_back(conf); } if (0 == conf->transaction) { conf_j = std::find(parent->global_conflicts_with_solutions.begin(), parent->global_conflicts_with_solutions.end(), conf); if (conf_j != parent->global_conflicts_with_solutions.end()) { parent->global_conflicts_with_solutions.erase(conf_j); } } if (conf == this->conflict) { // The conflict may have been fortuitously resolved lower down, // in which case it will have appeared in this->resolved_conflicts() // and copied already. conf_j2 = std::find(parent->resolved_conflicts.begin(), parent->resolved_conflicts.end(), conf); if (conf_j2 == parent->resolved_conflicts.end()) { parent->resolved_conflicts.push_back(conf); parent->dirty = true; } } else if (can_delete) { delete conf; } } // Unnecessary, but let's keep things clean. deleted_conflicts.clear(); // Deleted structural conflicts. For now the inference engine can do nothing with // these so they are a bit simpler. for (conf_i2 = deleted_structural_conflicts.begin(); conf_i2 != deleted_structural_conflicts.end(); conf_i2++) { CdlConflict conf = *conf_i2; CYG_LOOP_INVARIANT_CLASSC(conf); conf_i = std::find(parent->new_structural_conflicts.begin(), parent->new_structural_conflicts.end(), conf); if (conf_i != parent->new_structural_conflicts.end()) { parent->new_structural_conflicts.erase(conf_i); delete conf; } else { parent->deleted_structural_conflicts.push_back(conf); } } deleted_structural_conflicts.clear(); // All value changes need to be propagated from the child to the parent. // Also, these value changes may invalidate existing solutions. for (map_i = changes.begin(); map_i != changes.end(); map_i++) { CYG_LOOP_INVARIANT_CLASSC(map_i->first); CYG_LOOP_INVARIANT_CLASSOC(map_i->second); parent->changes[map_i->first] = map_i->second; for (conf_i = parent->new_conflicts.begin(); conf_i != parent->new_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); (*conf_i)->update_solution_validity(map_i->first); } for (conf_i = parent->global_conflicts_with_solutions.begin(); conf_i != parent->global_conflicts_with_solutions.end(); ) { conf_j = conf_i++; CYG_LOOP_INVARIANT_CLASSC(*conf_j); (*conf_j)->update_solution_validity(map_i->first); if (!(*conf_j)->has_known_solution()) { parent->global_conflicts_with_solutions.erase(conf_j); } } } changes.clear(); // Continue propagating the conflicts.New conflicts can just // be added. for (conf_i = new_conflicts.begin(); conf_i != new_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); parent->new_conflicts.push_back(*conf_i); parent->dirty = true; (*conf_i)->transaction = parent; } for (conf_i = new_structural_conflicts.begin(); conf_i != new_structural_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); parent->new_structural_conflicts.push_back(*conf_i); parent->dirty = true; (*conf_i)->transaction = parent; } // The cancel operation at the end will delete new conflicts, so the // containers had better be cleared here. new_conflicts.clear(); new_structural_conflicts.clear(); // Also keep track of nodes that have become active or inactive. set_j = parent->activated.begin(); for (set_i = activated.begin(); set_i != activated.end(); set_i++) { set_j = parent->activated.insert(set_j, *set_i); set_k = parent->deactivated.find(*set_i); if (set_k != parent->deactivated.end()) { parent->deactivated.erase(set_k); } } set_j = parent->deactivated.begin(); for (set_i = deactivated.begin(); set_i != deactivated.end(); set_i++) { set_j = parent->deactivated.insert(set_j, *set_i); set_k = parent->activated.find(*set_i); if (set_k != parent->activated.end()) { parent->activated.erase(set_k); } } activated.clear(); deactivated.clear(); // Keep track of other property changes. set_j2 = parent->legal_values_changes.begin(); for (set_i2 = legal_values_changes.begin(); set_i2 != legal_values_changes.end(); set_i2++) { set_j2 = parent->legal_values_changes.insert(set_j2, *set_i2); } legal_values_changes.clear(); // Any pending commit/cancel ops needs to be transferred to the parent parent->commit_cancel_ops.insert(parent->commit_cancel_ops.end(), this->commit_cancel_ops.begin(), this->commit_cancel_ops.end()); this->commit_cancel_ops.clear(); } else { CYG_ASSERT_CLASSC(toplevel); // If there is a registered callback function, it is necessary to fill // in the remaining fields of the all_changes callback structure. This // should happen before any conflicts get deleted. The actual callback // is invoked at the end, once all the changes have been moved to // the toplevel. CdlTransactionCallback all_changes(this); if (0 != callback_fn) { for (map_i = changes.begin(); map_i != changes.end(); map_i++) { if (0 == map_i->first->get_toplevel()) { continue; } CdlValueFlavor flavor = map_i->second.get_flavor(); const CdlValue& old_value = map_i->first->get_whole_value(); CYG_LOOP_INVARIANTC(flavor == old_value.get_flavor()); bool value_changed = false; if (old_value.get_source() != map_i->second.get_source()) { all_changes.value_source_changes.push_back(map_i->first); } if ((CdlValueFlavor_Bool == flavor) || (CdlValueFlavor_BoolData == flavor)) { if (old_value.is_enabled() != map_i->second.is_enabled()) { value_changed = true; } } if (!value_changed && ((CdlValueFlavor_BoolData == flavor) || (CdlValueFlavor_Data == flavor))) { if (old_value.get_simple_value() != map_i->second.get_simple_value()) { value_changed = true; } } if (value_changed) { all_changes.value_changes.push_back(map_i->first); } } for (conf_i = new_conflicts.begin(); conf_i != new_conflicts.end(); conf_i++) { all_changes.new_conflicts.push_back(*conf_i); } for (conf_i = new_structural_conflicts.begin(); conf_i != new_structural_conflicts.end(); conf_i++) { all_changes.new_structural_conflicts.push_back(*conf_i); } for (conf_i2 = deleted_conflicts.begin(); conf_i2 != deleted_conflicts.end(); conf_i2++) { CdlNode node = (*conf_i2)->get_node(); CYG_LOOP_INVARIANT_CLASSC(node); all_changes.nodes_with_resolved_conflicts.push_back(node); } for (conf_i2 = deleted_structural_conflicts.begin(); conf_i2 != deleted_structural_conflicts.end(); conf_i2++) { CdlNode node = (*conf_i2)->get_node(); CYG_LOOP_INVARIANT_CLASSC(node); all_changes.nodes_with_resolved_structural_conflicts.push_back(node); } for (set_i = activated.begin(); set_i != activated.end(); set_i++) { if (0 != (*set_i)->get_toplevel()) { all_changes.active_changes.push_back(*set_i); } } for (set_i = deactivated.begin(); set_i != deactivated.end(); set_i++) { if (0 != (*set_i)->get_toplevel()) { all_changes.active_changes.push_back(*set_i); } } for (set_i2 = legal_values_changes.begin(); set_i2 != legal_values_changes.end(); set_i2++) { if (0 != (*set_i)->get_toplevel()) { all_changes.legal_values_changes.push_back(*set_i2); } } legal_values_changes.clear(); } // All new values need to be installed in the appropriate valuable. for (map_i = changes.begin(); map_i != changes.end(); map_i++) { CYG_LOOP_INVARIANT_CLASSC(map_i->first); CYG_LOOP_INVARIANT_CLASSOC(map_i->second); map_i->first->value = map_i->second; } changes.clear(); // Sort out the conflicts. New conflicts can just be added, although // care has to be taken to clear state - currently no attempt is // made to check solution validity for global conflicts. for (conf_i = new_conflicts.begin(); conf_i != new_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); toplevel->conflicts.push_back(*conf_i); (*conf_i)->transaction = 0; (*conf_i)->clear_solution(); } new_conflicts.clear(); for (conf_i = new_structural_conflicts.begin(); conf_i != new_structural_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); toplevel->structural_conflicts.push_back(*conf_i); (*conf_i)->transaction = 0; (*conf_i)->clear_solution(); } new_structural_conflicts.clear(); // Resolved conflicts can be either global or per-transaction // ones. If the former then the conflict will also be present // in deleted_conflicts and will get deleted shortly. for (conf_i2 = resolved_conflicts.begin(); conf_i2 != resolved_conflicts.end(); conf_i2++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i2); if (0 != (*conf_i2)->transaction) { delete *conf_i2; } } resolved_conflicts.clear(); // Now process conflicts that have gone away. These must actually // be deleted. for (conf_i2 = deleted_conflicts.begin(); conf_i2 != deleted_conflicts.end(); conf_i2++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i2); std::list<CdlConflict>::iterator tmp; tmp = std::find(toplevel->conflicts.begin(), toplevel->conflicts.end(), *conf_i2); CYG_LOOP_INVARIANTC(tmp != toplevel->conflicts.end()); toplevel->conflicts.erase(tmp); delete *conf_i2; } deleted_conflicts.clear(); for (conf_i2 = deleted_structural_conflicts.begin(); conf_i2 != deleted_structural_conflicts.end(); conf_i2++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i2); std::list<CdlConflict>::iterator tmp; tmp = std::find(toplevel->structural_conflicts.begin(), toplevel->structural_conflicts.end(), *conf_i2); CYG_LOOP_INVARIANTC(tmp != toplevel->structural_conflicts.end()); toplevel->structural_conflicts.erase(tmp); delete *conf_i2; } deleted_structural_conflicts.clear(); // Any global conflicts with solutions need to have their solutions cleared, // since currently no attempt is made to preserve their accuracy. for (conf_i = global_conflicts_with_solutions.begin(); conf_i != global_conflicts_with_solutions.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); (*conf_i)->clear_solution(); } global_conflicts_with_solutions.clear(); for (set_i = activated.begin(); set_i != activated.end(); set_i++) { (*set_i)->active = true; } for (set_i = deactivated.begin(); set_i != deactivated.end(); set_i++) { (*set_i)->active = false; } activated.clear(); deactivated.clear(); // Invoke all pending commit operations std::vector<CdlTransactionCommitCancelOp*>::iterator commit_i; for (commit_i = commit_cancel_ops.begin(); commit_i != commit_cancel_ops.end(); commit_i++) { (*commit_i)->commit(this); delete *commit_i; *commit_i = 0; } commit_cancel_ops.clear(); // Finally take care of the callback. if (0 != callback_fn) { (*callback_fn)(all_changes); } } CYG_REPORT_RETURN(); } //}}} //{{{ Solution support // ---------------------------------------------------------------------------- // Saving a solution basically involves remembering what changes took place // in the corresponding sub-transaction. There is no need to worry about // other data in the sub-transaction such as conflicts, because there // are no actual value changes. void CdlTransactionBody::save_solution() { CYG_REPORT_FUNCNAME("CdlTransaction::save_solution"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); // Solutions should only be applicable to sub-transactions immediately // below the main transaction, since that is the only level at which // inference callbacks occur CYG_PRECONDITIONC((0 != parent) && (0 == parent->parent)); CYG_PRECONDITION_CLASSC(conflict); CYG_PRECONDITIONC(0 == conflict->solution.size()); std::map<CdlValuable, CdlValue>::const_iterator map_i; for (map_i = changes.begin(); map_i != changes.end(); map_i++) { // If the valuable was calculated or is otherwise non-modifiable, // there is no point in storing it with the solution since the // information is unlikely to be of interest to the user. CdlValuable valuable = map_i->first; if (valuable->is_modifiable()) { conflict->solution.push_back(*map_i); } } // save_solution() should operate like commit() or cancel(), i.e. // it leaves an empty sub-transaction. This sub-transaction cannot // actually be re-used at present because it still references a // conflict for which a solution is now already in place, but that // may get cleaned up in future. this->cancel(); CYG_REPORT_RETURN(); } // ---------------------------------------------------------------------------- // Can a solution be applied without e.g. overwriting a user value with // an inferred value. There is a setting inference_override which controls // this. Making a previously enabled option inactive also requires // user confirmation, thus preventing the inference engine from disabling // entire components. bool CdlTransactionBody::user_confirmation_required() const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::user_confirmation_required", "result %d"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(this->parent); bool result = false; std::map<CdlValuable, CdlValue>::const_iterator val_i; for (val_i = changes.begin(); val_i != changes.end(); val_i++) { const CdlValue& old_value = parent->get_whole_value(val_i->first); if (old_value.get_source() > CdlTransactionBody::inference_override) { result = true; break; } } std::set<CdlNode>::const_iterator val_j; for (val_j = deactivated.begin(); val_j != deactivated.end(); val_j++) { CdlValuable valuable = dynamic_cast<CdlValuable>(*val_j); if (0 != valuable) { const CdlValue& old_value = parent->get_whole_value(valuable); if ((old_value.get_source() > CdlTransactionBody::inference_override) && old_value.is_enabled()) { result = true; break; } } } CYG_REPORT_RETVAL(result); return result; } // ---------------------------------------------------------------------------- // The inference engine is considering modifying a particular valuable. If // the user has explicitly changed this valuable during the transaction then // it would be inappropriate to suggest changing it again. bool CdlTransactionBody::changed_by_user(CdlValuable valuable) const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::changed_by_user", "result %d"); CYG_REPORT_FUNCARG2XV(this, valuable); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(valuable); bool result = false; std::map<CdlValuable, CdlValue>::const_iterator change_i = changes.find(valuable); if (change_i != changes.end()) { CdlValueSource source = change_i->second.get_source(); if (CdlValueSource_User == source) { result = true; } } if (!result && (0 != parent)) { result = parent->changed_by_user(valuable); } CYG_REPORT_RETVAL(result); return result; } // ---------------------------------------------------------------------------- // A variant which takes into account the hierarchy: disabling a container // when a sub-node has just been changed by the user is also a no-no. bool CdlTransactionBody::subnode_changed_by_user(CdlContainer container) const { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::subnode_changed_by_user", "result %d"); CYG_REPORT_FUNCARG2XV(this, container); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(container); bool result = false; const std::vector<CdlNode>& contents = container->get_contents(); std::vector<CdlNode>::const_iterator node_i; for (node_i = contents.begin(); node_i != contents.end(); node_i++) { CdlValuable valuable = dynamic_cast<CdlValuable>(*node_i); if ((0 != valuable) && this->changed_by_user(valuable)) { result = true; break; } CdlContainer container = dynamic_cast<CdlContainer>(*node_i); if ((0 != container) && this->subnode_changed_by_user(container)) { result = true; break; } } CYG_REPORT_RETVAL(result); return result; } // ---------------------------------------------------------------------------- // Is one solution preferable to another? This code assumes that // user_confirmation_required() and changed_by_user() have already // been considered, so the only issue at stake here is the changes // themselves. // // For now a simple metric of the number of changes is used. A more // intelligent approach would take into account how much of the // hierarchy is affected, e.g. how many other items would end // up being disabled. Arguably the calling code should be able to // supply an additional weighting. bool CdlTransactionBody::is_preferable_to(CdlTransaction other) const { CYG_REPORT_FUNCNAMETYPE("CdlTransactionBody::preferable_to", "result %d"); CYG_REPORT_FUNCARG2XV(this, other); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(other); CYG_PRECONDITIONC(this != other); bool result = false; unsigned int this_changes = this->changes.size() + this->activated.size() + this->deactivated.size(); unsigned int other_changes = other->changes.size() + other->activated.size() + other->deactivated.size(); if (this_changes <= other_changes) { result = true; } CYG_REPORT_RETVAL(result); return result; } // ---------------------------------------------------------------------------- // Applying solutions. Multiple solutions can be applied in one go. If there // is any overlap, tough. Propagation needs to happen after solutions are // applied. void CdlTransactionBody::apply_solution(CdlConflict conflict) { CYG_REPORT_FUNCNAME("CdlTransaction::apply_solution"); CYG_REPORT_FUNCARG2XV(this, conflict); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(conflict); // The solution can be for either a per-transaction conflict // or a global one. There are two lists to search. std::list<CdlConflict>::const_iterator conf_i; conf_i = std::find(this->new_conflicts.begin(), this->new_conflicts.end(), conflict); if (conf_i == this->new_conflicts.end()) { conf_i = std::find(this->global_conflicts_with_solutions.begin(), this->global_conflicts_with_solutions.end(), conflict); CYG_ASSERTC(conf_i != this->global_conflicts_with_solutions.end()); } std::vector<std::pair<CdlValuable, CdlValue> >::const_iterator val_i; for (val_i = conflict->solution.begin(); val_i != conflict->solution.end(); val_i++) { CdlValuable valuable = val_i->first; CYG_LOOP_INVARIANT_CLASSC(valuable); const CdlValue& old_value = this->get_whole_value(valuable); this->set_whole_value(valuable, old_value, val_i->second); } CYG_REPORT_RETURN(); } void CdlTransactionBody::apply_solutions(const std::vector<CdlConflict>& solutions) { CYG_REPORT_FUNCNAME("CdlTransaction::apply_solutions"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); std::vector<CdlConflict>::const_iterator conf_i; for (conf_i = solutions.begin(); conf_i != solutions.end(); conf_i++) { std::list<CdlConflict>::const_iterator conf_j; conf_j = std::find(this->new_conflicts.begin(), this->new_conflicts.end(), conflict); if (conf_j == this->new_conflicts.end()) { conf_j = std::find(this->global_conflicts_with_solutions.begin(), this->global_conflicts_with_solutions.end(), conflict); CYG_ASSERTC(conf_j != this->global_conflicts_with_solutions.end()); } std::vector<std::pair<CdlValuable, CdlValue> >::const_iterator val_i; for (val_i = conflict->solution.begin(); val_i != conflict->solution.end(); val_i++) { CdlValuable valuable = val_i->first; CYG_LOOP_INVARIANT_CLASSC(valuable); const CdlValue& old_value = this->get_whole_value(valuable); this->set_whole_value(valuable, old_value, val_i->second); } } CYG_REPORT_RETURN(); } void CdlTransactionBody::apply_all_solutions() { CYG_REPORT_FUNCNAME("CdlTransaction::apply_all_solutions"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); std::list<CdlConflict>::const_iterator conf_i; for (conf_i = this->new_conflicts.begin(); conf_i != this->new_conflicts.end(); conf_i++) { if ((*conf_i)->has_known_solution()) { std::vector<std::pair<CdlValuable, CdlValue> >::const_iterator val_i; for (val_i = conflict->solution.begin(); val_i != conflict->solution.end(); val_i++) { CdlValuable valuable = val_i->first; CYG_LOOP_INVARIANT_CLASSC(valuable); const CdlValue& old_value = this->get_whole_value(valuable); this->set_whole_value(valuable, old_value, val_i->second); } } } for (conf_i = this->global_conflicts_with_solutions.begin(); conf_i != this->global_conflicts_with_solutions.end(); conf_i++) { CYG_ASSERTC((*conf_i)->has_known_solution()); std::vector<std::pair<CdlValuable, CdlValue> >::const_iterator val_i; for (val_i = conflict->solution.begin(); val_i != conflict->solution.end(); val_i++) { CdlValuable valuable = val_i->first; CYG_LOOP_INVARIANT_CLASSC(valuable); const CdlValue& old_value = this->get_whole_value(valuable); this->set_whole_value(valuable, old_value, val_i->second); } } CYG_REPORT_RETURN(); } //}}} //{{{ Inference // ---------------------------------------------------------------------------- //{{{ resolve() - all per-transaction conflicts void CdlTransactionBody::resolve(int level) { CYG_REPORT_FUNCNAME("CdlTransaction::resolve"); CYG_REPORT_FUNCARG2XV(this, level); CYG_PRECONDITION_THISC(); while(1) { // Resolving one conflict may affect others, so iterating down the list // is not safe. Instead we need to loop as long as there are conflicts // to be considered. std::list<CdlConflict>::iterator conf_i; for (conf_i = new_conflicts.begin(); conf_i != new_conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); // Is there any point in attempt to resolve this conflict? if ((*conf_i)->has_known_solution() || (*conf_i)->has_no_solution() || !(*conf_i)->resolution_implemented()) { continue; } this->resolve(*conf_i, level); break; } if (conf_i == new_conflicts.end()) { break; } } CYG_REPORT_RETURN(); } //}}} //{{{ resolve() - vector // ---------------------------------------------------------------------------- void CdlTransactionBody::resolve(const std::vector<CdlConflict>& conflicts, int level) { CYG_REPORT_FUNCNAME("CdlTransaction::resolve"); CYG_REPORT_FUNCARG2XV(this, level); CYG_PRECONDITION_THISC(); std::vector<CdlConflict>::const_iterator conf_i; for (conf_i = conflicts.begin(); conf_i != conflicts.end(); conf_i++) { CYG_LOOP_INVARIANT_CLASSC(*conf_i); // Is there any point in attempt to resolve this conflict? if (!(*conf_i)->has_known_solution() && !(*conf_i)->has_no_solution() && (*conf_i)->resolution_implemented()) { this->resolve(*conf_i, level); } } CYG_REPORT_RETURN(); } //}}} //{{{ resolve() - single conflict // ---------------------------------------------------------------------------- // There is a conflict that may have a solution. The resolution // attempt needs to happen in the context of a sub-transaction // // The conflict may have been created during this transaction, // or it may be a global conflict left over from a previous // transaction. This can be detected using the conflict's // transaction field. The commit() code, amongst others, needs // to handle global and per-transaction conflicts differently. void CdlTransactionBody::resolve(CdlConflict conflict, int level) { CYG_REPORT_FUNCNAME("CdlTransaction::resolve"); CYG_REPORT_FUNCARG3XV(this, conflict, level); CYG_PRECONDITION_THISC(); CYG_PRECONDITION_CLASSC(conflict); CYG_PRECONDITIONC(0 == conflict->solution.size()); CYG_PRECONDITIONC((0 <= level) && (level <= inference_recursion_limit)); CdlTransaction sub_transaction = this->make(conflict); CYG_PRECONDITION_CLASSC(sub_transaction); if (!conflict->inner_resolve(sub_transaction, level)) { CYG_ASSERTC(0 == sub_transaction->changes.size()); sub_transaction->cancel(); delete sub_transaction; conflict->no_solution = true; CYG_REPORT_RETURN(); return; } // Is the inference engine lying? The conflict should be resolved // in the sub-transaction. if (conflict->is_structural()) { if (std::find(sub_transaction->deleted_structural_conflicts.begin(), sub_transaction->deleted_structural_conflicts.end(), conflict) == sub_transaction->deleted_structural_conflicts.end()) { CYG_FAIL("The inference engine has proved too optimistic."); sub_transaction->cancel(); delete sub_transaction; conflict->no_solution = true; CYG_REPORT_RETURN(); return; } } else { if (std::find(sub_transaction->deleted_conflicts.begin(), sub_transaction->deleted_conflicts.end(), conflict) == sub_transaction->deleted_conflicts.end()) { CYG_FAIL("The inference engine has proved too optimistic."); sub_transaction->cancel(); delete sub_transaction; conflict->no_solution = true; CYG_REPORT_RETURN(); return; } } // Even if there is a solution it cannot always be applied // automatically because that would affect existing user // values. Instead the solution needs to be saved so that // the user can inspect it later. This should only happen // at level 0. If we have recursed into the inference // engine then we should only worry about this right at // the end, not at every stage (although internally the // inference code may worry about this when choosing // between alternatives). if ((0 == level) && sub_transaction->user_confirmation_required()) { sub_transaction->save_solution(); sub_transaction->cancel(); delete sub_transaction; this->dirty = true; if (0 == conflict->transaction) { // This is a global conflict, not a per-transaction one. // There is a separate list of these conflicts. std::list<CdlConflict>::const_iterator conf_i; conf_i = std::find(this->global_conflicts_with_solutions.begin(), this->global_conflicts_with_solutions.end(), conflict); if (conf_i == this->global_conflicts_with_solutions.end()) { this->global_conflicts_with_solutions.push_back(conflict); } } } else { // This sub-transaction is safe, it can be applied // immediately. The commit code detects that the // solution being committed is for a particular // resolved conflict and will take care of moving that // conflict to the resolved list. conflict->solution_references.clear(); // No point in preserving this information conflict->no_solution = false; // Redundant std::map<CdlValuable, CdlValue>::const_iterator soln_i; for (soln_i = sub_transaction->changes.begin(); soln_i != sub_transaction->changes.end(); soln_i++) { conflict->solution.push_back(*soln_i); } sub_transaction->commit(); delete sub_transaction; } CYG_REPORT_RETURN(); } //}}} //{{{ resolve_recursion() // ---------------------------------------------------------------------------- // resolve_recursion() // // The inference engine has tried one or more changes in the context of // a sub-transaction. It is now necessary to check whether these changes // are beneficial, i.e. whether or not any new problems are introduced // that cannot be resolved. bool CdlTransactionBody::resolve_recursion(int level) { CYG_REPORT_FUNCNAMETYPE("CdlTransaction::resolve_recursion", "result %d"); CYG_REPORT_FUNCARG2XV(this, level); CYG_PRECONDITION_THISC(); bool result = false; this->propagate(); if (0 == new_conflicts.size()) { result = true; CYG_REPORT_RETVAL(result); return result; } if (level >= inference_recursion_limit) { result = false; CYG_REPORT_RETVAL(result); return result; } // There are new conflicts, but it may be possible to resolve them // by a recursive invocation of the inference engine. bool solutions_possible = false; do { this->resolve(level + 1); std::list<CdlConflict>::const_iterator conf_i; solutions_possible = false; for (conf_i = this->new_conflicts.begin(); conf_i != this->new_conflicts.end(); conf_i++) { if (!(*conf_i)->has_no_solution()) { solutions_possible = true; } } } while(solutions_possible); result = (0 == new_conflicts.size()); CYG_REPORT_RETVAL(result); return result; } //}}} //}}} //{{{ Body // ---------------------------------------------------------------------------- // The majority of transactions involve the same set of steps. First one // or more values are modified. Then there has to be propagation, inference, // an inference callback, ... There may be a number of iterations. It is // convenient to have a single transaction body function which takes care // of all of that. // // If automatic inference is disabled then life is pretty simple, there // should be one propagate() operation followed by a commit. // // If automatic inference is enabled but there is no inference callback // then we need a loop consisting of propagation and inference, while // progress is made. Progress can be detected by value changes. // // If there is an inference callback then life gets pretty complicated. // The problem is figuring out exactly when the inference callback // should be invoked: // // 1) any new conflicts should certainly result in a callback, to give // the user a chance to cancel the changes. // 2) any new solutions that have been applied automatically need to // be shown to the user, again so that it is possible to cancel // the changes. // 3) any existing conflicts with a new solution, albeit one that cannot // be applied automatically, should result in a callback. This is // somewhat problematical since the new solution may in fact be // identical to a previous one that the user has already decided // against committing. // // It is not easy to keep track of when new conflicts or solutions get // added to a transaction. Simply counting the entries in the // appropriate STL containers is insufficient, as conflicts come and // go. Instead it is necessary to have a "dirty" flag. Unfortunately // this too is not fool-proof: a new conflict may have been created, // resulting in the dirty flag being set, and then the conflict may // have disappeared. void CdlTransactionBody::body() { CYG_REPORT_FUNCNAME("CdlTransaction::body"); CYG_REPORT_FUNCARG1XV(this); CYG_PRECONDITION_THISC(); // The Body() member function can only be applied to a toplevel // transaction, it does not really make sense to apply it to // a sub-transaction (at least, not yet); CYG_PRECONDITIONC((0 == parent) && (0 != toplevel)); if (!inference_enabled) { this->propagate(); this->commit(); CYG_REPORT_RETURN(); return; } if (0 == inference_callback) { bool progress = false; do { progress = false; this->propagate(); CYG_LOOP_INVARIANTC(0 == value_changes.size()); this->resolve(); if (0 != value_changes.size()) { progress = true; } } while(progress); this->commit(); CYG_REPORT_RETURN(); return; } bool cancel = false; unsigned int resolved_size = 0; unsigned int globals_with_solutions_size = 0; do { bool progress = false; do { progress = false; this->propagate(); CYG_LOOP_INVARIANTC(0 == value_changes.size()); this->resolve(); if (0 != value_changes.size()) { progress = true; } } while(progress); // Sanity check: if there are no conflicts and no new entries in // the resolved vector, then stop here. The user has already seen // and taken care of everything of interest. if ((0 == new_conflicts.size()) && (resolved_size == resolved_conflicts.size()) && (globals_with_solutions_size == global_conflicts_with_solutions.size())) { cancel = false; break; } // Also, if no conflicts have been added, no new solutions // have been identified, and no new solutions have been applied, // then there is no point in asking for user feedback. if (!this->dirty) { cancel = false; break; } // Clear state before invoking the callback. If the user does not // change anything else then we should get out of the loop next // time around. this->dirty = false; resolved_size = resolved_conflicts.size(); globals_with_solutions_size = global_conflicts_with_solutions.size(); // Invoke the callback. If the result is cancel, do so. Otherwise // we need to spin while things are changing. if (CdlInferenceCallbackResult_Cancel == (*inference_callback)(this)) { cancel = true; } } while(!cancel); if (cancel) { this->cancel(); } else { this->commit(); } CYG_REPORT_RETURN(); } //}}}
Go to most recent revision | Compare with Previous | Blame | View Log