ViewVC Help
View File | Revision Log | Show Annotations | View Changeset | Root Listing
root/group/trunk/tengDissertation/Appendix.tex
(Generate patch)

Comparing trunk/tengDissertation/Appendix.tex (file contents):
Revision 2812 by tim, Wed Jun 7 02:40:32 2006 UTC vs.
Revision 2826 by tim, Thu Jun 8 19:54:33 2006 UTC

# Line 1 | Line 1
1   \appendix
2 < \chapter{\label{chapt:oopse}Object-Oriented Parallel Simulation Engine (OOPSE)}
2 > \chapter{\label{chapt:oopse}Object-Oriented Parallel Simulation Engine}
3  
4   Designing object-oriented software is hard, and designing reusable
5   object-oriented scientific software is even harder. Absence of
# Line 14 | Line 14 | documents which is crucial to the maintenance and exte
14   coordination to enforce design and programming guidelines. Moreover,
15   most MD programs also suffer from missing design and implement
16   documents which is crucial to the maintenance and extensibility.
17 + Along the way of studying structural and dynamic processes in
18 + condensed phase systems like biological membranes and nanoparticles,
19 + we developed and maintained an Object-Oriented Parallel Simulation
20 + Engine ({\sc OOPSE}). This new molecular dynamics package has some
21 + unique features
22 + \begin{enumerate}
23 +  \item {\sc OOPSE} performs Molecular Dynamics (MD) simulations on non-standard
24 + atom types (transition metals, point dipoles, sticky potentials,
25 + Gay-Berne ellipsoids, or other "lumpy"atoms with orientational
26 + degrees of freedom), as well as rigid bodies.
27 +  \item {\sc OOPSE} uses a force-based decomposition algorithm using MPI on cheap
28 + Beowulf clusters to obtain very efficient parallelism.
29 +  \item {\sc OOPSE} integrates the equations of motion using advanced methods for
30 + orientational dynamics in NVE, NVT, NPT, NPAT, and NP$\gamma$T
31 + ensembles.
32 +  \item {\sc OOPSE} can carry out simulations on metallic systems using the
33 + Embedded Atom Method (EAM) as well as the Sutton-Chen potential.
34 +  \item {\sc OOPSE} can perform simulations on Gay-Berne liquid crystals.
35 +  \item  {\sc OOPSE} can simulate systems containing the extremely efficient
36 + extended-Soft Sticky Dipole (SSD/E) model for water.
37 + \end{enumerate}
38  
39   \section{\label{appendixSection:architecture }Architecture}
40  
41 + Mainly written by \texttt{C/C++} and \texttt{Fortran90}, {\sc OOPSE}
42 + uses C++ Standard Template Library (STL) and fortran modules as the
43 + foundation. As an extensive set of the STL and Fortran90 modules,
44 + {\sc Base Classes} provide generic implementations of mathematical
45 + objects (e.g., matrices, vectors, polynomials, random number
46 + generators) and advanced data structures and algorithms(e.g., tuple,
47 + bitset, generic data, string manipulation). The molecular data
48 + structures for the representation of atoms, bonds, bends, torsions,
49 + rigid bodies and molecules \textit{etc} are contained in the {\sc
50 + Kernel} which is implemented with {\sc Base Classes} and are
51 + carefully designed to provide maximum extensibility and flexibility.
52 + The functionality required for applications is provide by the third
53 + layer which contains Input/Output, Molecular Mechanics and Structure
54 + modules. Input/Output module not only implements general methods for
55 + file handling, but also defines a generic force field interface.
56 + Another important component of Input/Output module is the meta-data
57 + file parser, which is rewritten using ANother Tool for Language
58 + Recognition(ANTLR)\cite{Parr1995, Schaps1999} syntax. The Molecular
59 + Mechanics module consists of energy minimization and a wide
60 + varieties of integration methods(see Chap.~\ref{chapt:methodology}).
61 + The structure module contains a flexible and powerful selection
62 + library which syntax is elaborated in
63 + Sec.~\ref{appendixSection:syntax}. The top layer is made of the main
64 + program of the package, \texttt{oopse} and it corresponding parallel
65 + version \texttt{oopse\_MPI}, as well as other useful utilities, such
66 + as \texttt{StatProps} (see Sec.~\ref{appendixSection:StaticProps}),
67 + \texttt{DynamicProps} (see
68 + Sec.~\ref{appendixSection:appendixSection:DynamicProps}),
69 + \texttt{Dump2XYZ} (see
70 + Sec.~\ref{appendixSection:appendixSection:Dump2XYZ}), \texttt{Hydro}
71 + (see Sec.~\ref{appendixSection:appendixSection:hydrodynamics})
72 + \textit{etc}.
73 +
74   \begin{figure}
75   \centering
76 < \includegraphics[width=3in]{architecture.eps}
77 < \caption[The architecture of {\sc oopse}-3.0] {The architecture
78 < of{\sc oopse}-3.0.} \label{appendixFig:architecture}
76 > \includegraphics[width=\linewidth]{architecture.eps}
77 > \caption[The architecture of {\sc OOPSE}] {Overview of the structure
78 > of {\sc OOPSE}} \label{appendixFig:architecture}
79   \end{figure}
80  
81   \section{\label{appendixSection:desginPattern}Design Pattern}
# Line 58 | Line 112 | the modern scientific software applications, such as J
112  
113   As one of the latest advanced techniques emerged from
114   object-oriented community, design patterns were applied in some of
115 < the modern scientific software applications, such as JMol, OOPSE
116 < \cite{Meineke05} and PROTOMOL \cite{Matthey05} \textit{etc}.
115 > the modern scientific software applications, such as JMol, {\sc
116 > OOPSE}\cite{Meineke05} and PROTOMOL\cite{Matthey05} \textit{etc}.
117 > The following sections enumerates some of the patterns used in {\sc
118 > OOPSE}.
119  
120   \subsection{\label{appendixSection:singleton}Singleton}
121 < The Singleton pattern ensures that only one instance of a class is
122 < created. All objects that use an instance of that class use the same
123 < instance.
121 > The Singleton pattern not only provides a mechanism to restrict
122 > instantiation of a class to one object, but also provides a global
123 > point of access to the object. Currently implemented as a global
124 > variable, the logging utility which reports error and warning
125 > messages to the console in {\sc OOPSE} is a good candidate for
126 > applying the Singleton pattern to avoid the global namespace
127 > pollution.Although the singleton pattern can be implemented in
128 > various ways  to account for different aspects of the software
129 > designs, such as lifespan control \textit{etc}, we only use the
130 > static data approach in {\sc OOPSE}. {\tt IntegratorFactory} class
131 > is declared as
132 > \begin{lstlisting}[float,caption={[A classic Singleton design pattern implementation(I)] Declaration of {\tt IntegratorFactory} class.},label={appendixScheme:singletonDeclaration}]
133  
134 + class IntegratorFactory {
135 +  public:
136 +    static IntegratorFactory* getInstance();
137 +    protected:
138 +      IntegratorFactory();
139 +    private:
140 +      static IntegratorFactory* instance_;
141 + };
142 +
143 + \end{lstlisting}
144 + The corresponding implementation is
145 + \begin{lstlisting}[float,caption={[A classic implementation of Singleton design pattern (II)] Implementation of {\tt IntegratorFactory} class.},label={appendixScheme:singletonImplementation}]
146 +
147 + IntegratorFactory::instance_ = NULL;
148 +
149 + IntegratorFactory* getInstance() {
150 +  if (instance_ == NULL){
151 +    instance_ = new IntegratorFactory;
152 +  }
153 +  return instance_;
154 + }
155 +
156 + \end{lstlisting}
157 + Since constructor is declared as {\tt protected}, a client can not
158 + instantiate {\tt IntegratorFactory} directly. Moreover, since the
159 + member function {\tt getInstance} serves as the only entry of access
160 + to {\tt IntegratorFactory}, this approach fulfills the basic
161 + requirement, a single instance. Another consequence of this approach
162 + is the automatic destruction since static data are destroyed upon
163 + program termination.
164 +
165   \subsection{\label{appendixSection:factoryMethod}Factory Method}
70 – The Factory Method pattern is a creational pattern which deals with
71 – the problem of creating objects without specifying the exact class
72 – of object that will be created. Factory Method solves this problem
73 – by defining a separate method for creating the objects, which
74 – subclasses can then override to specify the derived type of product
75 – that will be created.
166  
167 + Categoried as a creational pattern, the Factory Method pattern deals
168 + with the problem of creating objects without specifying the exact
169 + class of object that will be created. Factory Method is typically
170 + implemented by delegating the creation operation to the subclasses.
171  
172 < \subsection{\label{appendixSection:visitorPattern}Visitor}
173 < The purpose of the Visitor Pattern is to encapsulate an operation
174 < that you want to perform on the elements of a data structure. In
175 < this way, you can change the operation being performed on a
176 < structure without the need of changing the classes of the elements
83 < that you are operating on.
172 > Registers a creator with a type identifier. Looks up the type
173 > identifier in the internal map. If it is found, it invokes the
174 > corresponding creator for the type identifier and returns its
175 > result.
176 > \begin{lstlisting}[float,caption={[The implementation of Factory pattern (I)].},label={appendixScheme:factoryDeclaration}]
177  
178 + class IntegratorFactory {
179 +  public:
180 +    typedef std::map<string, IntegratorCreator*> CreatorMapType;
181  
182 < \subsection{\label{appendixSection:templateMethod}Template Method}
182 >    bool registerIntegrator(IntegratorCreator* creator);
183 >
184 >    Integrator* createIntegrator(const string& id, SimInfo* info);
185 >
186 >  private:
187 >    CreatorMapType creatorMap_;
188 > };
189 >
190 > \end{lstlisting}
191 >
192 > \begin{lstlisting}[float,caption={[The implementation of Factory pattern (II)].},label={appendixScheme:factoryDeclarationImplementation}]
193 >
194 > bool IntegratorFactory::unregisterIntegrator(const string& id) {
195 >  return creatorMap_.erase(id) == 1;
196 > }
197 >
198 > Integrator* IntegratorFactory::createIntegrator(const string& id,
199 >                                                SimInfo* info) {
200 >  CreatorMapType::iterator i = creatorMap_.find(id);
201 >  if (i != creatorMap_.end()) {
202 >    return (i->second)->create(info);
203 >  } else {
204 >    return NULL;
205 >  }
206 > }
207 >
208 > \end{lstlisting}
209 >
210 > \begin{lstlisting}[float,caption={[The implementation of Factory pattern (III)].},label={appendixScheme:integratorCreator}]
211 >
212 > class IntegratorCreator {
213 >  public:
214 >    IntegratorCreator(const string& ident) : ident_(ident) {}
215 >
216 >    const string& getIdent() const { return ident_; }
217 >
218 >    virtual Integrator* create(SimInfo* info) const = 0;
219 >
220 >  private:
221 >    string ident_;
222 > };
223 >
224 > template<class ConcreteIntegrator>
225 > class IntegratorBuilder : public IntegratorCreator {
226 >  public:
227 >    IntegratorBuilder(const string& ident) : IntegratorCreator(ident) {}
228 >    virtual  Integrator* create(SimInfo* info) const {
229 >      return new ConcreteIntegrator(info);
230 >    }
231 > };
232 > \end{lstlisting}
233  
234 + \subsection{\label{appendixSection:visitorPattern}Visitor}
235 +
236 + The purpose of the Visitor Pattern is to encapsulate an operation
237 + that you want to perform on the elements. The operation being
238 + performed on a structure can be switched without changing the
239 + interfaces  of the elements. In other words, one can add virtual
240 + functions into a set of classes without modifying their interfaces.
241 + The UML class diagram of Visitor patten is shown in
242 + Fig.~\ref{appendixFig:visitorUML}. {\tt Dump2XYZ} program in
243 + Sec.~\ref{appendixSection:Dump2XYZ} uses Visitor pattern
244 + extensively.
245 +
246 + \begin{figure}
247 + \centering
248 + \includegraphics[width=\linewidth]{visitor.eps}
249 + \caption[The architecture of {\sc OOPSE}] {Overview of the structure
250 + of {\sc OOPSE}} \label{appendixFig:visitorUML}
251 + \end{figure}
252 +
253 + \begin{lstlisting}[float,caption={[The implementation of Visitor pattern (I)]Source code of the visitor classes.},label={appendixScheme:visitor}]
254 +
255 + class BaseVisitor{
256 +  public:
257 +    virtual void visit(Atom* atom);
258 +    virtual void visit(DirectionalAtom* datom);
259 +    virtual void visit(RigidBody* rb);
260 + };
261 +
262 + \end{lstlisting}
263 +
264 + \begin{lstlisting}[float,caption={[The implementation of Visitor pattern (II)]Source code of the element classes.},label={appendixScheme:element}]
265 +
266 + class StuntDouble {
267 +  public:
268 +    virtual void accept(BaseVisitor* v) = 0;
269 + };
270 +
271 + class Atom: public StuntDouble {
272 +  public:
273 +    virtual void accept{BaseVisitor* v*} {
274 +      v->visit(this);
275 +    }
276 + };
277 +
278 + class DirectionalAtom: public Atom {
279 +  public:
280 +    virtual void accept{BaseVisitor* v*} {
281 +      v->visit(this);
282 +    }
283 + };
284 +
285 + class RigidBody: public StuntDouble {
286 +  public:
287 +    virtual void accept{BaseVisitor* v*} {
288 +      v->visit(this);
289 +    }
290 + };
291 +
292 + \end{lstlisting}
293   \section{\label{appendixSection:concepts}Concepts}
294  
295   OOPSE manipulates both traditional atoms as well as some objects
# Line 92 | Line 297 | freedom.  Here is a diagram of the class heirarchy:
297   collections of atoms or atoms which have orientational degrees of
298   freedom.  Here is a diagram of the class heirarchy:
299  
300 < %\begin{figure}
301 < %\centering
302 < %\includegraphics[width=3in]{heirarchy.eps}
303 < %\caption[Class heirarchy for StuntDoubles in {\sc oopse}-3.0]{ \\
304 < %The class heirarchy of StuntDoubles in {\sc oopse}-3.0. The
305 < %selection syntax allows the user to select any of the objects that
306 < %are descended from a StuntDouble.} \label{oopseFig:heirarchy}
307 < %\end{figure}
300 > \begin{figure}
301 > \centering
302 > \includegraphics[width=3in]{heirarchy.eps}
303 > \caption[Class heirarchy for StuntDoubles in {\sc oopse}-3.0]{ \\
304 > The class heirarchy of StuntDoubles in {\sc oopse}-3.0. The
305 > selection syntax allows the user to select any of the objects that
306 > are descended from a StuntDouble.} \label{oopseFig:heirarchy}
307 > \end{figure}
308  
309   \begin{itemize}
310   \item A {\bf StuntDouble} is {\it any} object that can be manipulated by the
# Line 110 | Line 315 | Every Molecule, Atom and DirectionalAtom in {\sc oopse
315   DirectionalAtom}s which behaves as a single unit.
316   \end{itemize}
317  
318 < Every Molecule, Atom and DirectionalAtom in {\sc oopse} have their
318 > Every Molecule, Atom and DirectionalAtom in {\sc OOPSE} have their
319   own names which are specified in the {\tt .md} file. In contrast,
320   RigidBodies are denoted by their membership and index inside a
321   particular molecule: [MoleculeName]\_RB\_[index] (the contents
# Line 121 | Line 326 | expression}}
326   \section{\label{appendixSection:syntax}Syntax of the Select Command}
327  
328   The most general form of the select command is: {\tt select {\it
329 < expression}}
330 <
331 < This expression represents an arbitrary set of StuntDoubles (Atoms
332 < or RigidBodies) in {\sc oopse}. Expressions are composed of either
333 < name expressions, index expressions, predefined sets, user-defined
334 < expressions, comparison operators, within expressions, or logical
335 < combinations of the above expression types. Expressions can be
131 < combined using parentheses and the Boolean operators.
329 > expression}}. This expression represents an arbitrary set of
330 > StuntDoubles (Atoms or RigidBodies) in {\sc OOPSE}. Expressions are
331 > composed of either name expressions, index expressions, predefined
332 > sets, user-defined expressions, comparison operators, within
333 > expressions, or logical combinations of the above expression types.
334 > Expressions can be combined using parentheses and the Boolean
335 > operators.
336  
337   \subsection{\label{appendixSection:logical}Logical expressions}
338  
# Line 211 | Line 415 | expression}}
415   Users can define arbitrary terms to represent groups of
416   StuntDoubles, and then use the define terms in select commands. The
417   general form for the define command is: {\bf define {\it term
418 < expression}}
418 > expression}}. Once defined, the user can specify such terms in
419 > boolean expressions
420  
216 – Once defined, the user can specify such terms in boolean expressions
217 –
421   {\tt define SSDWATER SSD or SSD1 or SSDRF}
422  
423   {\tt select SSDWATER}
# Line 259 | Line 462 | and other atoms of type $B$, $g_{AB}(r)$.  StaticProps
462   some or all of the configurations that are contained within a dump
463   file. The most common example of a static property that can be
464   computed is the pair distribution function between atoms of type $A$
465 < and other atoms of type $B$, $g_{AB}(r)$.  StaticProps can also be
466 < used to compute the density distributions of other molecules in a
467 < reference frame {\it fixed to the body-fixed reference frame} of a
468 < selected atom or rigid body.
465 > and other atoms of type $B$, $g_{AB}(r)$.  {\tt StaticProps} can
466 > also be used to compute the density distributions of other molecules
467 > in a reference frame {\it fixed to the body-fixed reference frame}
468 > of a selected atom or rigid body.
469  
470   There are five seperate radial distribution functions availiable in
471   OOPSE. Since every radial distrbution function invlove the
# Line 318 | Line 521 | The options available for {\tt StaticProps} are as fol
521   their body-fixed frames.} \label{oopseFig:gofr}
522   \end{figure}
523  
524 + Due to the fact that the selected StuntDoubles from two selections
525 + may be overlapped, {\tt StaticProps} performs the calculation in
526 + three stages which are illustrated in
527 + Fig.~\ref{oopseFig:staticPropsProcess}.
528 +
529 + \begin{figure}
530 + \centering
531 + \includegraphics[width=\linewidth]{staticPropsProcess.eps}
532 + \caption[A representation of the three-stage correlations in
533 + \texttt{StaticProps}]{This diagram illustrates three-stage
534 + processing used by \texttt{StaticProps}. $S_1$ and $S_2$ are the
535 + numbers of selected stuntdobules from {\tt -{}-sele1} and {\tt
536 + -{}-sele2} respectively, while $C$ is the number of stuntdobules
537 + appearing at both sets. The first stage($S_1-C$ and $S_2$) and
538 + second stages ($S_1$ and $S_2-C$) are completely non-overlapping. On
539 + the contrary, the third stage($C$ and $C$) are completely
540 + overlapping} \label{oopseFig:staticPropsProcess}
541 + \end{figure}
542 +
543   The options available for {\tt StaticProps} are as follows:
544   \begin{longtable}[c]{|EFG|}
545   \caption{StaticProps Command-line Options}
# Line 379 | Line 601 | The options available for DynamicProps are as follows:
601   different vectors).  The ability to use two selection scripts to
602   select different types of atoms is already present in the code.
603  
604 + For large simulations, the trajectory files can sometimes reach
605 + sizes in excess of several gigabytes. In order to effectively
606 + analyze that amount of data. In order to prevent a situation where
607 + the program runs out of memory due to large trajectories,
608 + \texttt{dynamicProps} will estimate the size of free memory at
609 + first, and determine the number of frames in each block, which
610 + allows the operating system to load two blocks of data
611 + simultaneously without swapping. Upon reading two blocks of the
612 + trajectory, \texttt{dynamicProps} will calculate the time
613 + correlation within the first block and the cross correlations
614 + between the two blocks. This second block is then freed and then
615 + incremented and the process repeated until the end of the
616 + trajectory. Once the end is reached, the first block is freed then
617 + incremented, until all frame pairs have been correlated in time.
618 + This process is illustrated in
619 + Fig.~\ref{oopseFig:dynamicPropsProcess}.
620 +
621 + \begin{figure}
622 + \centering
623 + \includegraphics[width=\linewidth]{dynamicPropsProcess.eps}
624 + \caption[A representation of the block correlations in
625 + \texttt{dynamicProps}]{This diagram illustrates block correlations
626 + processing in \texttt{dynamicProps}. The shaded region represents
627 + the self correlation of the block, and the open blocks are read one
628 + at a time and the cross correlations between blocks are calculated.}
629 + \label{oopseFig:dynamicPropsProcess}
630 + \end{figure}
631 +
632   The options available for DynamicProps are as follows:
633   \begin{longtable}[c]{|EFG|}
634   \caption{DynamicProps Command-line Options}
# Line 405 | Line 655 | Dump2XYZ can transform an OOPSE dump file into a xyz f
655  
656   \subsection{\label{appendixSection:Dump2XYZ}Dump2XYZ}
657  
658 < Dump2XYZ can transform an OOPSE dump file into a xyz file which can
659 < be opened by other molecular dynamics viewers such as Jmol and VMD.
660 < The options available for Dump2XYZ are as follows:
658 > {\tt Dump2XYZ} can transform an OOPSE dump file into a xyz file
659 > which can be opened by other molecular dynamics viewers such as Jmol
660 > and VMD\cite{Humphrey1996}. The options available for Dump2XYZ are
661 > as follows:
662  
663  
664   \begin{longtable}[c]{|EFG|}
# Line 437 | Line 688 | converted. \\
688       & {\tt -{}-refsele} &  In order to rotate the system, {\tt -{}-originsele} and {\tt -{}-refsele} must be given to define the new coordinate set. A StuntDouble which contains a dipole (the direction of the dipole is always (0, 0, 1) in body frame) is specified by {\tt -{}-originsele}. The new x-z plane is defined by the direction of the dipole and the StuntDouble is specified by {\tt -{}-refsele}.
689   \end{longtable}
690  
691 < \subsection{\label{appendixSection:hydrodynamics}Hydrodynamics}
691 > \subsection{\label{appendixSection:hydrodynamics}Hydro}
692  
693 + {\tt Hydro} can calculate resistance and diffusion tensors at the
694 + center of resistance. Both tensors at the center of diffusion can
695 + also be reported from the program, as well as the coordinates for
696 + the beads which are used to approximate the arbitrary shapes. The
697 + options available for Hydro are as follows:
698   \begin{longtable}[c]{|EFG|}
699   \caption{Hydrodynamics Command-line Options}
700   \\ \hline
# Line 451 | Line 707 | converted. \\
707    -i & {\tt -{}-input}  &             input dump file \\
708    -o & {\tt -{}-output} &             output file prefix  (default=`hydro') \\
709    -b & {\tt -{}-beads}  &                   generate the beads only, hydrodynamics calculation will not be performed (default=off)\\
710 <     & {\tt -{}-model}  &                 hydrodynamics model (support ``AnalyticalModel'', ``RoughShell'' and ``BeadModel'') \\
710 >     & {\tt -{}-model}  &                 hydrodynamics model (supports ``AnalyticalModel'', ``RoughShell'' and ``BeadModel'') \\
711   \end{longtable}

Diff Legend

– Removed lines
+ Added lines
< Changed lines
> Changed lines