DREAM Namespace Reference

Namespace used in the DREAM core. More...


Classes

struct  clear_vector
 struct to be used in std::for_each to clear elements from vectors. More...
struct  delete_item
 struct to be used in std::for_each to delete elements from vectors. More...
struct  delete_object
 struct to be used in std::for_each to delete elements from vectors. More...
struct  consume_pair
 struct to be used in std::for_each to call consume () on std::pair->second. More...
struct  delete_pair
 struct to be used in std::for_each to delete std::pairs. More...
struct  reset_pair
 struct to be used in std::for_each to call reset () on std::pair->second. More...
struct  stop_pair
 struct to be used in std::for_each to call stop () on std::pair->second. More...
struct  transition_pair
 struct to be used in std::for_each to call take_transitions () on std::pair->second. More...
class  Exception
 Generic Exception class used in the whole DREAM implementation. More...
class  BaseClassException
 Exception class for errors caused by calling unimplemented virtual methods in base classes. More...
class  XMLException
 Exception class for errors reported by the XML parser library. More...
class  QoSLevel
 The base class for QoS properties. More...
class  Scheduler
 Basic Scheduler model. More...
class  NonConcurrentScheduler
 Non-concurrent Scheduler model. More...
class  FixedPriorityScheduler
 Fixed priority-based Scheduler model. More...
class  System
 Distributed Real-time Embedded system model. More...
class  Node
 Generic Node class used to build the dependency graph. More...
class  Timer
 Timer model. More...
class  Channel
 Real-time event Channel . More...
class  Task
 Real-time Task. More...
class  PriorityInversionList
 This data structure is used by the model checker to introduce priority inversions into the model. More...
class  NodeList
 This is a simple map to store Nodes. More...
class  Thread
 A Thread is a map of schedulable Nodes. More...
class  Solution
 A deterministic schedule for DREAM::System. More...
class  GeneticOptimize
 Optimizes the scheduling of DREAM::System. More...
struct  sort_solutions
 Used by genetic algorithms to sort solutions based on the fitness function. More...
class  ModelCheck
 Model check class. More...
class  IFInterpreter
 The IFInterpreter class generates input for the IF toolset from the DREAM models. More...
class  UppaalInterpreter
 The UppaalInterpreter class generates Uppaal XML input from the DREAM models. More...
class  XMLParser
 XML Parser class. More...
class  AVLTreeNode
 Class for one element in the AVLTree. More...
class  AVLTree
 This class combines STL vectors and maps providing a fast implementation for find (), operator++ (), operator-- (), and operator[] () in a common class. More...
class  Iterator
 Iterator class for DREAM::AVLTree. More...
class  Const_Iterator
 Iterator class for DREAM::AVLTree. More...
class  LinkedListNode
 Struct for one element in the LinkedList. More...
class  LinkedList
 This class implements a doubly linked list. More...

Typedefs

typedef unsigned int uint
 Unsigned int type definition.
typedef unsigned char uchar
typedef enum DREAM::context_enum Context
 Enum type definition for best case, worst case, or a random value.
typedef std::map< std::string,
DREAM::Node * > 
NODE_MAP
 NODE_MAP type definition.
typedef std::pair< std::string,
DREAM::Node * > 
NODE_PAIR
 NODE_PAIR type definition.
typedef std::map< std::string,
DREAM::Task * > 
TASK_MAP
 TASK_MAP type definition.
typedef std::pair< std::string,
DREAM::Task * > 
TASK_PAIR
 TASK_PAIR type definition.
typedef std::map< uint, DREAM::Task * > TASK_UINT_MAP
 TASK_UINT_MAP type definition.
typedef std::pair< uint, DREAM::Task * > TASK_UINT_PAIR
 TASK_UINT_PAIR type definition.
typedef std::map< uint, DREAM::Thread * > THREAD_MAP
 THREAD_MAP type definition.
typedef std::pair< uint, DREAM::Thread * > THREAD_PAIR
 THREAD_PAIR type definition.
typedef std::map< std::string,
DREAM::Thread * > 
THREAD_STR_MAP
 THREAD_STR_MAP type definition.
typedef std::pair< std::string,
DREAM::Thread * > 
THREAD_STR_PAIR
 THREAD_STR_PAIR type definition.
typedef std::map< std::string,
DREAM::Scheduler * > 
SCHEDULER_MAP
 SCHEDULER_MAP type definition.
typedef std::pair< std::string,
DREAM::Scheduler * > 
SCHEDULER_PAIR
 SCHEDULER_PAIR type definition.
typedef DREAM::AVLTree< double,
DREAM::QoSLevel * > 
QOS_AVLTREE
 QOS_AVLTREE type definition.
typedef DREAM::AVLTree< std::string,
DREAM::Node * > 
NODE_AVLTREE
 NODE_AVLTREE type definition.
typedef DREAM::AVLTree< std::string,
DREAM::Task * > 
TASK_AVLTREE
 TASK_AVLTREE type definition.
typedef DREAM::LinkedList<
DREAM::TASK_AVLTREE * > 
TASK_AVLTREE_LIST
 TASK_AVLTREE_LIST type definition.
typedef DREAM::LinkedList<
std::string > 
TASK_ID_LIST
 TASK_ID_LIST type definition.
typedef enum DREAM::task_state State
 State of the Task as specified by the DRE Semantic Domain.

Enumerations

enum  context_enum {
  bestcase, worstcase, randomcase, branchingpoint,
  repeat
}
 Enum type definition for best case, worst case, or a random value. More...
enum  task_state {
  idle, enabled, preempted, executing,
  error
}
 State of the Task as specified by the DRE Semantic Domain. More...

Functions

double random (uint size)
 Randomize function with a value between 0 and the parameter size.
std::string & operator<< (std::string &out, const std::string &parameter)
 Operator overloading for appending std::string to std:string.
std::string & operator<< (std::string &out, const char *)
 Operator overloading for appending std::string to std:string.
std::string & operator<< (std::string &out, uint parameter)
 Operator overloading for appending uint to std:string.
std::string & operator<< (std::string &out, double parameter)
 Operator overloading for appending double to std:string.
uint chartouint (const char *xmlstr) throw (DREAM::Exception)
 Conversion function from const char* to unsigned int.
std::ostream & operator<< (std::ostream &out, DREAM::Solution &solution)
std::string & operator<< (std::string &out, DREAM::Solution &solution)
 Operator overloading for appending DREAM::Solution to std:string.
template<class item_type, class operation>
void for_each (item_type begin_iter, item_type end_iter, operation op)


Detailed Description

Namespace used in the DREAM core.

Typedef Documentation

typedef enum DREAM::context_enum DREAM::Context

Enum type definition for best case, worst case, or a random value.

typedef DREAM::AVLTree<std::string, DREAM::Node*> DREAM::NODE_AVLTREE

NODE_AVLTREE type definition.

Definition at line 172 of file Common.h.

typedef std::map<std::string, DREAM::Node*> DREAM::NODE_MAP

NODE_MAP type definition.

Definition at line 131 of file Common.h.

typedef std::pair<std::string, DREAM::Node*> DREAM::NODE_PAIR

NODE_PAIR type definition.

Definition at line 134 of file Common.h.

typedef DREAM::AVLTree<double, DREAM::QoSLevel*> DREAM::QOS_AVLTREE

QOS_AVLTREE type definition.

The AVLTree is sorted based on the QoSLevel speeds.

Definition at line 169 of file Common.h.

typedef std::map<std::string, DREAM::Scheduler*> DREAM::SCHEDULER_MAP

SCHEDULER_MAP type definition.

Definition at line 161 of file Common.h.

typedef std::pair<std::string, DREAM::Scheduler*> DREAM::SCHEDULER_PAIR

SCHEDULER_PAIR type definition.

Definition at line 164 of file Common.h.

typedef enum DREAM::task_state DREAM::State

State of the Task as specified by the DRE Semantic Domain.

typedef DREAM::AVLTree<std::string, DREAM::Task*> DREAM::TASK_AVLTREE

TASK_AVLTREE type definition.

Definition at line 175 of file Common.h.

typedef DREAM::LinkedList<DREAM::TASK_AVLTREE*> DREAM::TASK_AVLTREE_LIST

TASK_AVLTREE_LIST type definition.

Definition at line 178 of file Common.h.

typedef DREAM::LinkedList<std::string> DREAM::TASK_ID_LIST

TASK_ID_LIST type definition.

Definition at line 181 of file Common.h.

typedef std::map<std::string, DREAM::Task*> DREAM::TASK_MAP

TASK_MAP type definition.

Definition at line 137 of file Common.h.

typedef std::pair<std::string, DREAM::Task*> DREAM::TASK_PAIR

TASK_PAIR type definition.

Definition at line 140 of file Common.h.

typedef std::map<uint, DREAM::Task*> DREAM::TASK_UINT_MAP

TASK_UINT_MAP type definition.

Definition at line 143 of file Common.h.

typedef std::pair<uint, DREAM::Task*> DREAM::TASK_UINT_PAIR

TASK_UINT_PAIR type definition.

Definition at line 146 of file Common.h.

typedef std::map<uint, DREAM::Thread*> DREAM::THREAD_MAP

THREAD_MAP type definition.

Definition at line 149 of file Common.h.

typedef std::pair<uint, DREAM::Thread*> DREAM::THREAD_PAIR

THREAD_PAIR type definition.

Definition at line 152 of file Common.h.

typedef std::map<std::string, DREAM::Thread*> DREAM::THREAD_STR_MAP

THREAD_STR_MAP type definition.

Used in XML parser but not core.

Definition at line 155 of file Common.h.

typedef std::pair<std::string, DREAM::Thread*> DREAM::THREAD_STR_PAIR

THREAD_STR_PAIR type definition.

Used in XML parser but not core.

Definition at line 158 of file Common.h.

typedef unsigned char DREAM::uchar

Definition at line 118 of file Common.h.

typedef unsigned int DREAM::uint

Unsigned int type definition.

Redefining the basic type allows easy portability to 8 or 16 bit machines.

Definition at line 112 of file Common.h.


Enumeration Type Documentation

enum DREAM::context_enum

Enum type definition for best case, worst case, or a random value.

Enumerator:
bestcase 
worstcase 
randomcase 
branchingpoint 
repeat 

Definition at line 125 of file Common.h.

enum DREAM::task_state

State of the Task as specified by the DRE Semantic Domain.

Enumerator:
idle 
enabled 
preempted 
executing 
error 

Definition at line 70 of file Task.h.


Function Documentation

uint DREAM::chartouint ( const char *  str  )  throw (DREAM::Exception)

Conversion function from const char* to unsigned int.

Definition at line 98 of file Exception.cpp.

References char_size.

Referenced by main(), DREAM::XMLParser::process_channel(), DREAM::XMLParser::process_CPU(), DREAM::XMLParser::process_task(), DREAM::XMLParser::process_thread(), and DREAM::XMLParser::process_timer().

template<class item_type, class operation>
void DREAM::for_each ( item_type  begin_iter,
item_type  end_iter,
operation  op 
)

Definition at line 211 of file Iterator.h.

Referenced by DREAM::GeneticOptimize::CPU_level(), DREAM::XMLParser::parse(), DREAM::NodeList::publish(), DREAM::Thread::reset(), DREAM::System::reset(), DREAM::Scheduler::reset(), DREAM::NonConcurrentScheduler::schedule(), DREAM::System::simulate(), DREAM::Scheduler::take_transitions(), DREAM::GeneticOptimize::thread_level(), DREAM::Scheduler::~Scheduler(), DREAM::System::~System(), and DREAM::Thread::~Thread().

std::string& DREAM::operator<< ( std::string &  out,
DREAM::Solution solution 
)

Operator overloading for appending DREAM::Solution to std:string.

std::ostream& DREAM::operator<< ( std::ostream &  out,
DREAM::Solution solution 
)

Definition at line 56 of file GeneticAlgorithm.cpp.

References DREAM::AVLTree< key_type, item_type >::begin(), DREAM::AVLTree< key_type, item_type >::end(), DREAM::Solution::fitness_, and DREAM::Solution::task_avltree_.

std::string & DREAM::operator<< ( std::string &  out,
double  parameter 
)

Operator overloading for appending double to std:string.

Definition at line 112 of file Common.cpp.

References double_size.

std::string & DREAM::operator<< ( std::string &  out,
uint  parameter 
)

Operator overloading for appending uint to std:string.

Definition at line 100 of file Common.cpp.

References char_size.

std::string & DREAM::operator<< ( std::string &  out,
const char *  parameter 
)

Operator overloading for appending std::string to std:string.

Definition at line 92 of file Common.cpp.

std::string & DREAM::operator<< ( std::string &  out,
const std::string &  parameter 
)

Operator overloading for appending std::string to std:string.

Definition at line 79 of file Common.cpp.

double DREAM::random ( uint  size  ) 

Randomize function with a value between 0 and the parameter size.

Definition at line 70 of file Common.cpp.

Referenced by DREAM::Task::clock_exec_reset(), DREAM::Channel::clock_exec_reset(), DREAM::Timer::clock_exec_reset(), DREAM::GeneticOptimize::CPU_level(), DREAM::GeneticOptimize::mutate(), DREAM::Solution::regenerate_priorities(), DREAM::Solution::regenerate_subpriorities(), DREAM::FixedPriorityScheduler::schedule(), and DREAM::GeneticOptimize::thread_level().


Generated on Fri Jul 27 18:30:04 2007 for DREAM by  doxygen 1.5.1