TAO_ESF_Delayed_Operations. More...
#include <ESF_Delayed_Changes.h>
Inheritance diagram for TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >:
Collaboration diagram for TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >:
Detailed Description
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL>
class TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >
TAO_ESF_Delayed_Operations.
This class implements the Delayed Operations protocol to solve the concurrency challenges outlined in the documentation of TAO_ESF_Proxy_Collection. In short the class delays changes by putting them on an "operation queue", the operations are stored as command objects in this queue and executed once the system is quiescent (i.e. no threads are iterating over the collection). The algorithm implemented so far is:
- If a thread is using the set then it increases the busy count, this is done by calling the busy() method. Once the thread has stopped using the collection the idle() method is invoked and the busy count is decreased. A helper class (Busy_Lock) is used to hide this protocol behind the familiar GUARD idiom.
- If the busy count reaches the busy_hwm then the thread must wait until the count reaches 0 again. This can be used to control the maximum concurrency in the EC, matching it (for example) with the number of processors. Setting the concurrency to a high value (say one million) allows for an arbitrary number of threads to execute concurrently.
- If a modification is posted to the collection we need to execute it at some point. Just using the busy_hwm would not work, the HWM may not be reached ever, so another form of control is needed. Instead we use another counter, that keeps track of how many threads have used the set since the modification was posted. If this number of threads reaches max_write_delay then we don't allow any more threads to go in, eventually the thread count reaches 0 and we can proceed with the operations.
- There is one aspect of concurrency that can be problematic: if thread pushes events as part of an upcall then the same thread could be counted twice, we need to keep track of the threads that are dispatching events and not increase (or decrease) the reference count when a thread iterates twice over the same set. This solves the major problems, but there are other issues to be addressed: + How do we ensure that the operations are eventually executed? + How do we simplify the execution of the locking protocol for clients of this class? + How do we minimize overhead for single threaded execution? + How do we minimize the overhead for the cases where the threads dispatching events don't post changes to the collection?
Member Typedef Documentation
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
typedef TAO_ESF_Busy_Lock_Adapter<TAO_ESF_Delayed_Changes<PROXY,COLLECTION,ITERATOR,ACE_SYNCH_USE> > TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::Busy_Lock [private] |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| typedef TAO_ESF_Connected_Command<TAO_ESF_Delayed_Changes<PROXY,COLLECTION,ITERATOR,ACE_SYNCH_USE>,PROXY> TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::Connected_Command |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| typedef TAO_ESF_Disconnected_Command<TAO_ESF_Delayed_Changes<PROXY,COLLECTION,ITERATOR,ACE_SYNCH_USE>,PROXY> TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::Disconnected_Command |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| typedef TAO_ESF_Reconnected_Command<TAO_ESF_Delayed_Changes<PROXY,COLLECTION,ITERATOR,ACE_SYNCH_USE>,PROXY> TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::Reconnected_Command |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| typedef TAO_ESF_Shutdown_Command<TAO_ESF_Delayed_Changes<PROXY,COLLECTION,ITERATOR,ACE_SYNCH_USE> > TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::Shutdown_Command |
Constructor & Destructor Documentation
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::TAO_ESF_Delayed_Changes | ( | void | ) |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::TAO_ESF_Delayed_Changes | ( | const COLLECTION & | collection | ) |
Member Function Documentation
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| int TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::busy | ( | void | ) |
template<class PROXY, class C , class I , ACE_SYNCH_DECL >
| void TAO_ESF_Delayed_Changes< PROXY, C, I, ACE_SYNCH_DECL >::connected | ( | PROXY * | proxy | ) | [virtual] |
Insert a new element into the collection. The collection assumes ownership of the element.
Implements TAO_ESF_Proxy_Collection< PROXY >.
template<class PROXY, class C , class I , ACE_SYNCH_DECL >
| void TAO_ESF_Delayed_Changes< PROXY, C, I, ACE_SYNCH_DECL >::connected_i | ( | PROXY * | proxy | ) |
template<class PROXY, class C , class I , ACE_SYNCH_DECL >
| void TAO_ESF_Delayed_Changes< PROXY, C, I, ACE_SYNCH_DECL >::disconnected | ( | PROXY * | proxy | ) | [virtual] |
Remove an element from the collection.
Implements TAO_ESF_Proxy_Collection< PROXY >.
template<class PROXY, class C , class I , ACE_SYNCH_DECL >
| void TAO_ESF_Delayed_Changes< PROXY, C, I, ACE_SYNCH_DECL >::disconnected_i | ( | PROXY * | proxy | ) |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| int TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::execute_delayed_operations | ( | void | ) |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| virtual void TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::for_each | ( | TAO_ESF_Worker< PROXY > * | worker | ) | [virtual] |
Iterate over the collection and invoke worker->work() for each member of the collection. This encapsulates
Implements TAO_ESF_Proxy_Collection< PROXY >.
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
| int TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::idle | ( | void | ) |
template<class PROXY, class C , class I , ACE_SYNCH_DECL >
| void TAO_ESF_Delayed_Changes< PROXY, C, I, ACE_SYNCH_DECL >::reconnected | ( | PROXY * | proxy | ) | [virtual] |
Insert an element into the collection. No errors can be raised if the element is already present. The collection assumes ownership, i.e. must invoke <proxy->_decr_refcnt()> if the element is already present in the collection.
Implements TAO_ESF_Proxy_Collection< PROXY >.
template<class PROXY, class C , class I , ACE_SYNCH_DECL >
| void TAO_ESF_Delayed_Changes< PROXY, C, I, ACE_SYNCH_DECL >::reconnected_i | ( | PROXY * | proxy | ) |
template<class PROXY , class C , class I , ACE_SYNCH_DECL >
| void TAO_ESF_Delayed_Changes< PROXY, C, I, ACE_SYNCH_DECL >::shutdown | ( | void | ) | [virtual] |
The EC is shutting down, must release all the elements.
Implements TAO_ESF_Proxy_Collection< PROXY >.
template<class PROXY , class C , class I , ACE_SYNCH_DECL >
| void TAO_ESF_Delayed_Changes< PROXY, C, I, ACE_SYNCH_DECL >::shutdown_i | ( | void | ) |
Member Data Documentation
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
ACE_SYNCH_CONDITION_T TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::busy_cond_ [private] |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
CORBA::ULong TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::busy_count_ [private] |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
CORBA::ULong TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::busy_hwm_ [private] |
Control variables for the concurrency policies.
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
ACE_SYNCH_MUTEX_T TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::busy_lock_ [private] |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
COLLECTION TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::collection_ [private] |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
ACE_Unbounded_Queue<ACE_Command_Base*> TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::command_queue_ [private] |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
Busy_Lock TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::lock_ [private] |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
CORBA::ULong TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::max_write_delay_ [private] |
template<class PROXY, class COLLECTION, class ITERATOR, ACE_SYNCH_DECL >
CORBA::ULong TAO_ESF_Delayed_Changes< PROXY, COLLECTION, ITERATOR, ACE_SYNCH_DECL >::write_delay_count_ [private] |
The documentation for this class was generated from the following files:
