Mercurial > hg > truffle
changeset 3532:deeef1ba4a39
Remove design document from repository.
| author | Thomas Wuerthinger <thomas@wuerthinger.net> |
|---|---|
| date | Wed, 10 Aug 2011 01:14:02 +0200 |
| parents | dc4268828826 |
| children | 83de46612a8d |
| files | graal/com.oracle.max.graal.doc.initial/.project graal/com.oracle.max.graal.doc.initial/.texlipse graal/com.oracle.max.graal.doc.initial/graal_compiler.tex graal/com.oracle.max.graal.doc.initial/graph_test.pdf graal/com.oracle.max.graal.doc.initial/graph_test.tex graal/com.oracle.max.graal.doc.initial/graphdrawing.tex graal/com.oracle.max.graal.doc.initial/svglov3.clo graal/com.oracle.max.graal.doc.initial/svjour3.cls |
| diffstat | 8 files changed, 0 insertions(+), 2708 deletions(-) [+] |
line wrap: on
line diff
--- a/graal/com.oracle.max.graal.doc.initial/.project Wed Aug 10 01:12:36 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,24 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<projectDescription> - <name>com.oracle.max.graal.doc.initial</name> - <comment></comment> - <projects> - </projects> - <buildSpec> - <buildCommand> - <name>net.sourceforge.texlipse.builder.TexlipseBuilder</name> - <arguments> - </arguments> - </buildCommand> - </buildSpec> - <natures> - <nature>net.sourceforge.texlipse.builder.TexlipseNature</nature> - </natures> - <linkedResources> - <link> - <name>fleqn.clo</name> - <type>1</type> - <location>C:/Program Files (x86)/MiKTeX 2.8/tex/latex/base/fleqn.clo</location> - </link> - </linkedResources> -</projectDescription>
--- a/graal/com.oracle.max.graal.doc.initial/.texlipse Wed Aug 10 01:12:36 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,13 +0,0 @@ -#TeXlipse project settings -#Fri Apr 29 14:13:11 CEST 2011 -builderNum=2 -outputDir= -makeIndSty= -bibrefDir= -outputFormat=pdf -tempDir=tmp -mainTexFile=graal_compiler.tex -outputFile=graal_compiler.pdf -langSpell=en -markDer=true -srcDir=
--- a/graal/com.oracle.max.graal.doc.initial/graal_compiler.tex Wed Aug 10 01:12:36 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,870 +0,0 @@ -\documentclass[twocolumn]{svjour3} -\usepackage{listings} -\usepackage[pdftex]{graphicx} -\usepackage{environ} -\usepackage{amsmath} -\usepackage{amsfonts} -\usepackage[english]{babel} -\usepackage[utf8]{inputenc} -\usepackage{lmodern} -\usepackage[T1]{fontenc} -\usepackage{color} - -\input{graphdrawing} - -\renewcommand*\descriptionlabel[1]{\hspace\labelsep\normalfont\bf #1} - -\newcommand{\Sa}{{\Large$^*$}} -\newcommand{\Sb}{{\Large$^\dag$}} -\newcommand{\Sc}{{\Large$^\S$}} - - -\newcommand{\mynote}[2]{ -\textcolor{red}{\fbox{\bfseries\sffamily\scriptsize#1} - {\small\textsf{\emph{#2}}} -\fbox{\bfseries\sffamily\scriptsize }}} - -\newcommand\TODO[1]{\mynote{TODO}{#1}} -\newcommand\cw[1]{\mynote{CW}{#1}} -\newcommand\ls[1]{\mynote{LS}{#1}} -\newcommand\nodename[1]{\texttt{#1}} - -\hyphenpenalty=0 -\doublehyphendemerits=0 -\finalhyphendemerits=0 -\clubpenalty10000 -\widowpenalty10000 - - -\smartqed % flush right qed marks, e.g. at end of proof - -\journalname{Graal Compiler Design} -\def\makeheadbox{{% -\hbox to0pt{\vbox{\baselineskip=10dd\hrule\hbox -to\hsize{\vrule\kern3pt\vbox{\kern3pt -\hbox{\bfseries The Graal Compiler - Design and Strategy} -\kern3pt}\hfil\kern3pt\vrule}\hrule}% -\hss}}} - -\begin{document} - -\author{Thomas W\"{u}rthinger \Sa, Lukas Stadler \Sc, Gilles Duboscq \Sa} -\institute{\Sa Oracle, \Sc Johannes Kepler University, Linz} - -\date{Created: \today} - -\title{The Graal Compiler} -\subtitle{Design and Strategy \\ \textcolor{red}{work in progress (Oracle internal)}} - -\maketitle - -\abstract{ -The Graal compiler (simply referred to as \emph{the compiler} in the rest of this document) aims at improving upon C1X, the Java port of the HotSpot client compiler, both in terms of modularity and peak performance. -The compiler should work with the Maxine VM and the HotSpot VM. -This document contains information about the proposed design and strategy for developing the compiler.} - -\section{Context} - -In 2009, the Maxine team started with creating C1X, a Java port of the HotSpot client compiler, and integrated it into the Maxine VM. -Part of this effort was the development of a clear and clean compiler-runtime interface that allows the separation of the compiler and the VM. -This compiler-runtime interface enables the use of one compiler for multiple VMs. -In June 2010, we started integrating C1X into the HotSpot VM and we called the resulting system Graal~VM. -Currently, the Graal~VM is fully functional and runs benchmarks (SciMark, DaCapo) at a similar speed as the HotSpot client compiler. - -\section{Goals} -The compiler effort aims at rewriting the high-level intermediate representation of C1X with two main goals: -\begin{description} -\item[Modularity:] -A modular design of the compiler should simplify the implementation of new languages, new back-ends, and new optimizations. -\item[Peak Performance:] -A more powerful intermediate representation should enable the implementation of aggressive optimizations that impact the peak performance of the resulting machine code. -In terms of startup performance, we want to orientate ourselves to the HotSpot server compiler configuration. -\end{description} - -\section{Design} -For the implementation of the compiler, we rely on the following design decisions: -\begin{description} -\item[Graph Representation:] -The compiler's intermediate representation is modeled as a graph with nodes that are connected with directed edges. -There is only a single node base class and every node has an associated graph object that does not change during the node's lifetime. -Every node is serializable and has an id that is unique within its graph. -Every edge is classified as either a control flow edge (anti-dependency) or a data flow edge (dependency) and represented as a simple pointer from the source node to the target node. -It is possible to replace a node with another node without traversing the full graph. -The graph does not allow data flow edge cycles or control flow edge cycles. -We achieve this by explicitly modeling loops (see Section~\ref{sec:loops}). -\item[Extensibility:] -The compiler is extensible by allowing developers to add new compiler phases and new node subclasses without modifying the compiler's sources. -A node has an abstract way of expressing its semantics and new compiler phases can ask compiler nodes for their properties and capabilities. -We use the ``everything is an extension'' concept. -Even standard compiler optimizations are internally modeled as extensions, to show that the extension mechanism exposes all necessary functionality. -\item[Detailing:] -The compilation starts with a graph that contains nodes that represent the operations of the source language (e.g., one node for an array store to an object array). -During the compilation, the nodes are replaced with more detailed nodes (e.g., the array store node is split into a null check, a bounds check, a store check, and a memory access). -Compiler phases can choose whether they want to work on the earlier versions of the graph (e.g., escape analysis) or on later versions (e.g., null check elimination). -\item[Generality:] -The compiler does not require Java as its input. -This is achieved by having a graph as the starting point of the compilation and not a Java bytecode array. -Building the graph from the Java bytecodes must happen before giving a method to the compiler. -This enables front-ends for different languages (e.g., Ruby or JavaScript) to provide their own graph. -The support for different languages is constrained by the following two conditions: We only support structured control flow, and the dynamic type system of the language must be expressible using the RiType class. -Also, there is no dependency on a specific back-end, but the output of the compiler is a graph that can then be converted to a different representation in a final compiler phase. -\end{description} - -\section{Milestones} -\label{sec:mile} -The compiler is being developed starting from the current C1X source code base. -This helps us test the compiler at every intermediate development step on a variety of Java benchmarks. -We define the following development milestones (see Section~\ref{sec:conclusions} for planned dates): -\begin{description} -\item[M1:] We have a fully working Graal~VM version with a stripped down C1X compiler that does not perform any optimization. -\item[M2:] We modified the high-level intermediate representation to be based on the compiler graph data structure. -\item[M3:] We have reimplemented and reenabled compiler optimizations in the compiler that previously existed in C1X. -\item[M4:] We have reintegrated the new compiler into the Maxine VM and can use it as a Maxine VM bootstrapping compiler. -\end{description} - -After those four milestones, we see three different possible further development directions that can be followed in parallel: -\begin{itemize} - \item Removal of the XIR template mechanism and replacement with a snippet mechanism that works with the compiler graph. - \item Improvements for peak performance (loop optimizations, escape analysis, bounds check elimination, processing additional interpreter runtime feedback). - \item Implementation of a prototype front-end for a different language, e.g., JavaScript. -\end{itemize} - -\section{Project Source Structure} -In order to support the goal of a modular compiler, the code will be divided into the following source code projects (as subprojects of \textbf{com.oracle.max.graal}). - -\begin{description} - \item[graph] contains the abstract node implementation, the graph implementation and all the associated tools and auxiliary classes. - \item[nodes] contains the implementation of known basic nodes (e.g., phi nodes, control flow nodes, \ldots). - Additional node classes should go into separate projects and be specializations of the known basic nodes. - \item[java] contains code for building graphs from Java bytecodes and Java-specific nodes. - \item[opt] contains optimizations such as global value numbering or conditional constant propagation. - \item[compiler] contains the compiler, including: - \begin{itemize} - \item Scheduling of the compilation phases. - \item Implementation of the \emph{compiler interface} (CI). - \item Implementation of the final compilation phase that produces the low-level representation. - \item Machine code creation, including debug info. - \end{itemize} -\end{description} - - -\section{Graph} - -The \emph{intermediate representation}~(IR) of the compiler is designed as a directed graph. -The graph allocates unique ids for new nodes and can be queried for the node corresponding to a given id as well as for an unordered list of nodes of the graph. -Graphs can manage side data structures (e.g. dominator trees and temporary schedules), which will be automatically invalidated and lazily recomputed whenever the graph changes. These side data structures will usually be understood by more than one optimization. - -The nodes of the graph have the following properties: -\begin{itemize} - \item Each node is always associated with a single graph and this association is immutable. - \item Each node has an immutable id that is unique within its associated graph. - \item Nodes can have a data dependency, which means that one node requires the result of another node as its input. The fact that the result of the first node needs to be computed before the second node can be executed introduces a partial order to the set of nodes. - \item Nodes can have a control flow dependency, which means that the execution of one node will be followed by the execution of another node. This includes conditional execution, memory access serialization and other reasons, and again introduces a partial order to the set of nodes. - \item Nodes can only have data and control dependencies to nodes which belong to the same graph. - \item Control dependencies and data dependencies each represent a \emph{directed acyclic graph} (DAG) on the same set of nodes. This means that data dependencies always point upwards, and control dependencies always point downwards in a drawing of the graph. Situations that normally incur cycles (like loops) are represented by special nodes (see Section~\ref{sec:loops}). - \item Ordering between nodes is specified only to the extent which is required to correctly express the semantics of a given program. This gives the compiler flexibility for the possible scheduling of a node and therefore wiggle room for optimizations. For algorithms that require a fixed ordering of nodes, a temporary schedule can always be generated. - \item Both data and control dependencies can be traversed in both directions, so that each node can be traversed in four directions (see Figure~\ref{fig:directions}): - \begin{itemize} - \item \emph{inputs} are all nodes that this node has data dependencies on. - \item \emph{usages} are all nodes whose inputs contain this node. - \item \emph{successors} are all nodes that have to be after this node in control flow. - \item \emph{predecessors} are all nodes whose successors contain this node. - \end{itemize} - \item Only inputs and successors can be changed, and changes to them will update the usages and predecessors. - \item Every node must be able to support cloning and serialization. - \item The edges of a node also define \textit{emitted-before} and \textit{emitted-after} relationships as shown in Figure~\ref{fig:directions}. - They mean that the machine code for one node is emitted before or after the machine code of another node. -\end{itemize} - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{graphdirections} -\node{node1}{Node} -\textnode{inputs}{inputs} -\textnode{usages}{usages} -\textnode{successors}{successors} -\textnode{predecessors}{predecessors} -\data{node1}{inputs} -\control{node1}{successors} -\data{usages}{node1} -\control{predecessors}{node1} -\node{node2}{Node} -\textnode{before}{emitted-before} -\textnode{after}{emitted-after} -\data{node2}{before} -\control{node2}{after} -\data{after}{node2} -\control{before}{node2} -\end{digraphenv} - \caption{A node and its edges.} - \label{fig:directions} -\end{figure} - -\subsection{Inlining} -Inlining is always performed by embedding one graph into another graph. -Nodes cannot be reassigned to another graph, they are cloned instead. -Therefore, inlining is performed by copying and rewiring the nodes of the inlined method into the graph of the outer method. -While the copying will decrease compilation performance, it enables us to cache the graph for the inlined method, optimize it independently from the outer method, and use the optimized graph for subsequent inlinings. -We do not expect a significant negative impact on overall compilation performance. - -We are able to perform the inlining at any point during the compilation of a method and can therefore selectively expand the inlining if a certain optimization turns out to depend on the inlining of a method. -An example for this would be when the escape analysis finds out that a certain object only escapes because of one method call and this method call is not inlined, because the penalty was to high. -In this case, we can chose to nevertheless inline the method in order to increase the chances for finding out that the object does not escape. - -\section{Control Flow} - -Control flow is managed in a way where the predecessor node contains direct pointers to its successor nodes. -This is opposite to the approach taken in the server compiler, where control flow and data flow edges point in the same direction. -The advantage that we see in our approach is that there is no need for projection nodes in case of control flow splits. -An \texttt{If} node can directly point to its true and false successors without any intermediate nodes. -This makes the graph more compact and simplifies graph traversal. -We distinguish between \textit{fixed nodes} that are directly embedded in the control flow and \textit{floating nodes} whose position in the control flow may vary. - -Listing~\ref{lst:cfg2} shows an example Java program with an if statement where both paths do not contain any node with side effects. -Figure~\ref{fig:loopexits} shows the corresponding compiler graph. -The \texttt{If} node can directly point its true and false successors to a \texttt{Merge} node. -A \texttt{Phi} node that selects the appropriate value is appended to the \texttt{Merge} node. -The \texttt{Return} node then has a data dependency on the \texttt{Phi} node. - -\begin{lstlisting}[label=lst:cfg2, caption=Control flow in the graph., captionpos=b] -if (condition) { return 0; } -else { return 1; } -\end{lstlisting} - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{cfg2} -\textnode{entry}{Entry} -\textnode{condition}{condition} -\textnode{const0}{0} -\textnode{const1}{1} -\nodesplit{if}{If} -\control{entry}{if} -\controllabel{if:succ1}{merge} -\controllabel{if:succ2}{merge} -\data{if}{condition} -\node{merge}{Merge} -\node{return}{Return} -\nodetri{phi}{Phi} -\datalabel{phi:in1}{merge} -\datalabel{phi:in2}{const0} -\datalabel{phi:in3}{const1} -\data{return}{phi} -\control{merge}{return} -\end{digraphenv} - \caption{A simple loop with two exits.} - \label{fig:loopexits} -\end{figure} - -\section{Exceptions} -\label{sec:Exceptions} - -We do not throw runtime exceptions (e.g., \texttt{IndexOutOf\-BoundsException}, \texttt{Null\-Pointer\-Exception}, or \texttt{Out\-Of\-Memory\-Exception}), but deoptimize instead. -This reduces the places in the compiled code where an exact bytecode location and debug information must be known. -Additionally, this greatly reduces the number of exception handler edges in the compiled code. -The main advantage of this technique is however, that we are free in moving around bounds checks, memory allocation, memory accesses with implicit null checks, etc. - -There are only two kinds of nodes that need explicit exception edges, because they are the only nodes that can throw exceptions in compiled code: \texttt{Throw} nodes and \texttt{Invoke} nodes. -They are modelled as nodes with an additional control flow continuation that points to an \texttt{ExceptionDispatch} node. -The exception dispatch node decides based on the type of the exception object whether the control should flow to the catch handler or to another exception dispatch. -If there is no catch handler in the currently compiled method, then the control flows into the \texttt{Unwind} node that handles the exception by forwarding it to the caller. -Listing~\ref{lst:exc1} shows an example Java program with nested try blocks and Figure \ref{fig:exc1} shows the corresponding compiler graph. - -\begin{lstlisting}[label=lst:exc1, caption=Exception dispatch in the compiler graph., captionpos=b] -try { m1(); - try { m2(); - } catch(ExtendedException e) { ... } - m3(); - throw exception; -} catch(Exception e) { ... } -\end{lstlisting} - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{exc1} -\textnode{entry}{Entry} -\textnode{catch1}{catch1} -\textnode{catch2}{catch2} -\nodesplit{m1}{Invoke m1} -\nodesplit{m2}{Invoke m2} -\nodesplit{m3}{Invoke m3} -\nodesplit{dispatch1}{ExceptionDispatch} -\nodesplit{dispatch2}{ExceptionDispatch} -\node{throw}{Throw} -\node{unwind}{Unwind} -\control{entry}{m1} -\controllabel{m1:succ1}{m2} -\controllabel{m1:succ2}{dispatch2} -\controllabel{m2:succ1}{m3} -\controllabel{m2:succ2}{dispatch1} -\controllabel{m3:succ1}{throw} -\controllabel{m3:succ2}{dispatch2} -\control{throw}{dispatch2} -\controllabel{dispatch1:succ2}{catch1} -\controllabel{dispatch1:succ1}{dispatch2} -\controllabel{dispatch2:succ2}{catch2} -\controllabel{dispatch2:succ1}{unwind} -\end{digraphenv} - \caption{A simple loop with two exits.} - \label{fig:exc1} -\end{figure} - -\section{Loops} -\label{sec:loops} -Loops form a first-class construct in the IR that is expressed by specialized IR nodes during all optimization phases. -We only compile methods with a control flow where every loop has a single entry point. -This entry point is a \nodename{LoopBegin} node. -This node is connected to a \nodename{LoopEnd} node that merges all control flow paths that do not exit the loop. -The edge between the \nodename{LoopBegin} and the \nodename{LoopEnd} is the backedge of the loop. -It goes from the beginning to the end in order to make the graph acyclic. -An algorithm that traverses the control flow has to explicitely decide whether it wants to incorporate backedges (i.e., special case of the treatment of \nodename{LoopEnd}) or ignore them. -Figure \ref{fig:loop1} shows a simple example with a loop with a single entry and two exits. - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{layout1} -\textnode{BeforeLoop}{Loop entry} -\textnode{Exit1}{First loop exit} -\textnode{Exit2}{Second loop exit} -\node{LoopBegin}{LoopBegin} -\node{LoopEnd}{LoopEnd} -\nodesplit{If1}{If} -\nodesplit{If2}{If} -\data{LoopEnd}{LoopBegin} -\control{LoopBegin}{If1} -\controllabel{If1:succ1}{If2} -\controllabel{If2:succ1}{LoopBody} -\textnode{LoopBody}{Loop body} -\control{LoopBody}{LoopEnd} -\controllabel{BeforeLoop}{LoopBegin} -\controllabel{If1:succ2}{Exit1} -\controllabel{If2:succ2}{Exit2} -\end{digraphenv} - \caption{A simple loop with two exits.} - \label{fig:loop1} -\end{figure} - -\subsection{Loop Phis} -Data flow in loops is modeled with special phi nodes at the beginning and the end of the loop. -The \nodename{LoopEnd} node merges every value that flows into the next loop iteration in associated \nodename{LoopEndPhi} nodes. -A corresponding \nodename{LoopBeginPhi} node that is associated with the loop header has a control flow dependency on the \nodename{LoopEndPhi} node. -Listing~\ref{lst:loop} shows a simple counting loop that is used as an example in the rest of this section. -Figure~\ref{fig:loop2} shows how the loop is modelled immediately after building the graph. - -\begin{lstlisting}[label=lst:loop, caption=Loop example that counts from 0 to n-1., captionpos=b] -for(int i=0; i<n; ++i) { } -\end{lstlisting} - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{layout2} -\textnode{BeforeLoop}{Loop entry} -\textnode{Exit}{Loop exit} -\textnode{n}{n} -\textnode{Constant0}{0} -\textnode{Constant1}{1} -\node{LoopBegin}{LoopBegin} -\node{LoopEnd}{LoopEnd} -\nodesplit{If1}{If} -\data{LoopEnd}{LoopBegin} -\control{LoopBegin}{If1} -\nodebi{Compare}{<} -\nodebi{LoopBeginPhi}{LoopBeginPhi} -\nodebi{Add}{+} -\datalabel{Add:in1}{LoopBeginPhi} -\datalabel{Add:in2}{Constant1} -\nodebi{LoopEndPhi}{LoopEndPhi} -\control{LoopBeginPhi}{LoopEndPhi} -\data{LoopEndPhi:in1}{LoopEnd} -\data{LoopEndPhi:in2}{Add} -\datalabel{LoopBeginPhi:in1}{LoopBegin} -\datalabel{LoopBeginPhi:in2}{Constant0} -\datalabel{Compare:in1}{LoopBeginPhi} -\datalabel{Compare:in2}{n} -\data{If1}{Compare} -\controllabel{If1:succ1}{LoopBody} -\textnode{LoopBody}{Loop body} -\control{LoopBody}{LoopEnd} -\controllabel{BeforeLoop}{LoopBegin} -\controllabel{If1:succ2}{Exit} -\end{digraphenv} - \caption{Graph for a loop counting from 0 to n-1.} - \label{fig:loop2} -\end{figure} - -\subsection{Loop Counters} -The compiler is capable of recognizing variables that are only increased within a loop. -A potential overflow of such a variable is prohibited with a guard before the loop (this is not necessary in this example, because the loop variable cannot overflow). -Figure \ref{fig:loop3} shows the compiler graph of the example loop after the loop counter transformation. - - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{layout3} -\textnode{BeforeLoop}{Loop entry} -\textnode{Exit}{Loop exit} -\textnode{n}{n} -\textnode{Constant0}{0} -\textnode{Constant1}{1} -\node{LoopBegin}{LoopBegin} -\node{LoopEnd}{LoopEnd} -\nodesplit{If1}{If} -\data{LoopEnd}{LoopBegin} -\control{LoopBegin}{If1} -\nodebi{Compare}{<} -\nodetri{LoopCounter}{LoopCounter} -\datalabel{LoopCounter:in1}{LoopBegin} -\datalabeltext{LoopCounter:in2}{Constant0}{init} -\datalabeltext{LoopCounter:in3}{Constant1}{stride} -\datalabel{Compare:in1}{LoopCounter} -\datalabel{Compare:in2}{n} -\data{If1}{Compare} -\controllabel{If1:succ1}{LoopBody} -\textnode{LoopBody}{Loop body} -\control{LoopBody}{LoopEnd} -\controllabel{BeforeLoop}{LoopBegin} -\controllabel{If1:succ2}{Exit} -\end{digraphenv} - \caption{Graph after loop counter transformation.} - \label{fig:loop3} -\end{figure} - -\subsection{Bounded Loops} - -If the total maximum number of iterations of a loop is fixed, then the loop is converted into a bounded loop. -The total number of iterations always denotes the number of full iterations of the loop with the control flowing from the loop begin to the loop end. -If the total number of iterations is reached, the loop is exited directly from the loop header. -The representation of the bounded loop in the graph should support reasoning about the loop, but does not specify how the loop will later be converted to machine code. -In the example, we can infer from the loop exit with the comparison on the loop counter that the total number of iterations of the loop is limited to n. -Figure \ref{fig:loop4} shows the compiler graph of the example loop after the bounded loop transformation. -If there are no other exits out of the loop, then the number of iterations specified as the input to the bounded loop node is also the exact number of loop iterations. -Loops with the same number of iterations can be merged into a single loop. -We also want to support loop splitting in order to find simple loops that are candidates for vectorization. - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{layout4} -\textnode{BeforeLoop}{Loop entry} -\textnode{Exit}{Loop exit} -\textnode{n}{n} -\textnode{Constant0}{0} -\textnode{Constant1}{1} -\nodesplit{LoopBegin}{BoundedLoopBegin} -\node{LoopEnd}{LoopEnd} -\data{LoopEnd}{LoopBegin} -\controllabel{LoopBegin:succ1}{LoopBody} -\textnode{LoopBody}{Loop body} -\control{LoopBody}{LoopEnd} -\controllabel{LoopBegin:succ2}{Exit} -\nodetri{LoopCounter}{LoopCounter} -\datalabel{LoopCounter:in1}{LoopBegin} -\datalabeltext{LoopCounter:in2}{Constant0}{init} -\datalabeltext{LoopCounter:in3}{Constant1}{stride} -\data{LoopBegin}{n} -\controllabel{BeforeLoop}{LoopBegin} -\end{digraphenv} - \caption{Graph after bounded loop transformation.} - \label{fig:loop4} -\end{figure} - -\subsection{Vectorization} - -If we have now a bounded loop with no additional loop exit and no associated phi nodes (only associated loop counters), we can vectorize the loop. -We replace the loop header with a normal node that produces a vector of values from 0 to the number of loop iterations minus 1. -The loop counters are replaced with \texttt{VectorAdd} and \texttt{VectorMul} nodes. -The vectorization is only possible if every node of the loop can be replaced with a corresponding vector node. -Figure \ref{fig:loop5} shows the compiler graph of the example loop after vectorization. -The vector nodes all work on an ordered list of integer values and are subject to canonicalization and global value numbering like any other node. - - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{layout5} -\textnode{Entry}{Entry} -\textnode{Exit}{Exit} -\textnode{n}{n} -\textnode{Constant0}{0} -\textnode{Constant1}{1} -\node{Vector}{Vector} -\nodebi{VectorAdd}{VectorAdd} -\nodebi{VectorMul}{VectorMul} -\control{Entry}{Vector} -\control{Vector}{Exit} -\datalabel{VectorAdd:in1}{Vector} -\datalabel{VectorAdd:in2}{Constant0} -\datalabel{VectorMul:in1}{VectorAdd} -\datalabel{VectorMul:in2}{Constant1} -\data{Vector}{n} -\end{digraphenv} - \caption{Graph after vectorization.} - \label{fig:loop5} -\end{figure} - - -\section{Frame States} -A frame state captures the state of the program like it is seen in by an interpreter of the program. -The frame state contains the information that is local to the current activation and will therefore disappear during SSA-form constructions or other compiler optimizations. -For Java, the frame state is defined in terms of the Java bytecode specification (i.e., the values of the local variables, the operand stack, and the locked monitors). -However, a frame state is not a concept specific to Java (e.g., the Crankshaft JavaScript engine uses frame states in their optimizing compiler to model the values of the AST interpreter). - -Frame states are necessary to support the deoptimization of the program, which is the precondition for performing aggressive optimizations that use optimistic assumptions. -Therefore every point in the optimizing compiler that may revert execution back to the interpreter needs a valid frame state. -However, the point where the interpreter continues execution need not correspond exactly to the execution position of the compiled code, because many Java bytecode nodes can be safely reexecuted. -Thus, frame states need only be generated for the states after nodes that cannot be reexecuted, because they modify the state of the program. -Examples for such nodes are: - -\begin{itemize} - \item Array stores (in Java bytecodes {\tt IASTORE, LASTORE, FASTORE, \\DASTORE, AASTORE, BASTORE, CASTORE, SASTORE}) - \item Field stores (in Java bytecodes {\tt PUTSTATIC, PUTFIELD}) - \item Method calls (in Java bytecodes {\tt INVOKEVIRTUAL, INVOKESPECIAL, \\INVOKESTATIC, INVOKEINTERFACE}) - \item Synchronization (in Java bytecodes {\tt MONITORENTER, MONITOREXIT}) -\end{itemize} - -Within the graph a frame state is represented as a node that is attached to the node that caused it to be generated using a control dependency (see Figure~\ref{fig:fs1}). -Frame states also have data dependencies on the contents of the state: the local variables and the expression stack. - -The frame state at the method beginning does not have to be explicitely in the graph, because it can always be reconstructed at a later stage. -We save the frame state at control flow merges if there is at least one frame state on any control flow path between a node and its immediate dominator. - - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{fs1} - \nodetrisplit{store1}{ArrayStore} - \nodebi{load1}{ArrayLoad} - \controllabel{store1:succ1}{load1} - \nodetrisplit{store2}{FieldStore} - \control{load1}{store2} - end [shape=plaintext, label="...", width="2.0"] - store2:succ1:s -> end:n [color=red]; - % - \nodeframestate{fs1}{FrameState} - \controllabel{store1:succ2}{fs1} - \nodeframestate{fs2}{FrameState} - \controllabel{store2:succ2}{fs2} -\end{digraphenv} - \caption{Simple example using two frame states.} - \label{fig:fs1} -\end{figure} - - -A deoptimization node needs a valid frame state that specifies the location and state where the interpreter should continue. -The algorithm for constructing frame states makes sure that every possible location in the graph has a well-defined frame state that can be used by a deoptimization node. -Therefore, there are no direct links between the deoptimization node and its frame state thus allowing the deoptimization nodes to move freely around. - -\subsection{Partial Escape Analysis} - -A partial escape analysis can help to further reduce the number of frame states. -A field or array store does not create a new frame state, when the object that is modified did not have a chance to escape between its creation and the store. - -Listing~\ref{lst:escape1} shows an example of a method that creates two \texttt{Point} objects, connects them, and returns them. -The object allocation of the first \texttt{Point} object does not need a frame state. -We can always reexecute the \texttt{NEW} bytecode again in the interpreter. -The \texttt{Point} object allocated by the compiler will then simply disappear after the next garbage collection. -The following field store is a thread-local memory store, because the \texttt{Point} object did not have any chance to escape. -Same applies to the assignment of the \texttt{next} field and the third field assignment. -Therefore, the whole method \texttt{getPoint} does not need an explicit frame state, because at any time during execution of this method, we can deoptimize and continue execution in the interpreter at the first bytecode of the method. - -\begin{lstlisting}[label=lst:escape1, caption=Example method that needs no frame state., captionpos=b] -void getPoint() { - Point p = new Point(); - p.x = 1; - p.next = new Point(); - p.next.x = 2; - return p; -} -\end{lstlisting} - -The reduction of frame states makes it easier for the compiler to perform memory optimizations like memory access coalescing. -We believe that this reduction on frame states is the key to effective vectorization and other compiler optimizations where compilers of compilers of unmanaged languages have advantages. - -\subsection{Guards} -A guard is a node that deoptimizes based on a conditional expression. -Guards are not attached to a certain frame state, they can move around freely and will always use the correct frame state when the nodes are scheduled (i.e., the last emitted frame state). -The node that is guarded by the deoptimization has a data dependency on the guard and the guard in turn has a data dependency on the condition. -A guard may only be executed if it is guaranteed that the guarded node is executed too (if no exceptions are thrown). -Therefore, we use \texttt{Anchor} nodes after a control flow split and a data dependency from the guard to this anchor. -The anchor is the most distant node that is postdominated by the guarded node and the guard can be scheduled anywhere between those two nodes. -This ensures maximum flexibility for the guard node and guarantees that we only deoptimize if the control flow would have reached the guarded node (without taking exceptions into account). - -To illustrate the strengths of this approach, we show the graph for the Java code snippet shown in \ref{lst:guard1}. -The example looks artificial, but in case of method inlining, this is a pattern that is not unlikely to be present in a normal Java program. -Figure \ref{fig:guard0} shows the compiler graph for the example method after graph building. -The field stores are both represented by a single node and the null check that is implicitely incorporated in the field store. - -\begin{lstlisting}[label=lst:guard1, caption=Example method that demonstrates the strengths of modelling the guards explicitely., captionpos=b] -void init(Point p) { - if (p != null) { - p.x = 0; - } - p.y = 0; -} -\end{lstlisting} - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{guard0} - \textnode{entry}{Entry} - \nodesplit{if}{If} - \node{merge}{Merge} - \node{return}{Return} - \node{cmpnull}{NonNull} - \textnode{p}{p} - \textnode{const0}{0} - \nodebisplit{store1}{FieldStore x} - \nodebisplit{store2}{FieldStore y} - \nodeframestate{fs1}{FrameState} - \nodeframestate{fs2}{FrameState} - \datalabel{store1:in1}{p} - \datalabel{store2:in1}{p} - \datalabel{store1:in2}{const0} - \datalabel{store2:in2}{const0} - \control{entry}{if} - \data{if}{cmpnull} - \controllabel{if:succ1}{merge} - \controllabel{if:succ2}{store1} - \controllabel{store1:succ1}{merge} - \controllabel{store1:succ2}{fs1} - \control{merge}{store2} - \controllabel{store2:succ1}{return} - \controllabel{store2:succ2}{fs2} - \data{cmpnull}{p} -\end{digraphenv} - \caption{Initial graph with the two field stores.} - \label{fig:guard0} -\end{figure} - -Figure~\ref{fig:guard1} shows the example graph at a later compilation phase when the field store nodes are lowered to memory store nodes and explicitely modelled null check guards. -The guards are attached to anchor nodes that delimit their possible schedule. -The first guard must not be moved outside the \texttt{if} block; the second guard may be moved before the \texttt{If} node, because at this point it is already guaranteed that the second store is executed. - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{guard1} - \textnode{entry}{Entry} - \node{anchor1}{Anchor} - \node{anchor2}{Anchor} - \nodesplit{if}{If} - \node{merge}{Merge} - \node{return}{Return} - \node{cmpnull}{NonNull} - \textnode{p}{p} - \textnode{const0}{0} - \nodeguard{guard1}{Guard} - \nodeguard{guard2}{Guard} - \nodetrisplit{store1}{MemStore 16 (4 bytes)} - \nodetrisplit{store2}{MemStore 20 (4 bytes)} - \nodeframestate{fs1}{FrameState} - \nodeframestate{fs2}{FrameState} - \data{store1:in1}{p} - \data{store2:in1}{p} - \data{store1:in2}{const0} - \data{store2:in2}{const0} - \data{store1:in3}{guard1} - \data{store2:in3}{guard2} - \data{guard1:in1}{anchor2} - \data{guard2:in1}{anchor1} - \data{guard1:in2}{cmpnull} - \data{guard2:in2}{cmpnull} - \control{entry}{anchor1} - \control{anchor1}{if} - \data{if}{cmpnull} - \controllabel{if:succ1}{merge} - \controllabel{if:succ2}{anchor2} - \control{anchor2}{store1} - \controllabel{store1:succ1}{merge} - \controllabel{store1:succ2}{fs1} - \control{merge}{store2} - \controllabel{store2:succ1}{return} - \controllabel{store2:succ2}{fs2} - \data{cmpnull}{p} -\end{digraphenv} - \caption{A load guarded by a null check guard.} - \label{fig:guard1} -\end{figure} - -The first guard can be easily removed, because it is guarded by an \texttt{If} node that checks the same condition. -Therefore we can remove the guard and the anchor from the graph and this gives us the graph shown in Figure \ref{fig:guard2}. - -There is another optimization for guard nodes: If two guards that are anchored to the true and false branch of the same \texttt{If} node have the same condition, they can be merged, so that the resulting guard is anchored at the most distant node of which the \texttt{If} node is a postdominator. - - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{guard2} - \textnode{entry}{Entry} - \node{anchor1}{Anchor} - \nodesplit{if}{If} - \node{merge}{Merge} - \node{return}{Return} - \node{cmpnull}{NonNull} - \textnode{p}{p} - \textnode{const0}{0} - \nodeguard{guard2}{Guard} - \nodetrisplit{store1}{MemStore 16 (4 bytes)} - \nodetrisplit{store2}{MemStore 20 (4 bytes)} - \nodeframestate{fs1}{FrameState} - \nodeframestate{fs2}{FrameState} - \data{store1:in1}{p} - \data{store2:in1}{p} - \data{store1:in2}{const0} - \data{store2:in2}{const0} - \data{store2:in3}{guard2} - \data{guard2:in1}{anchor1} - \data{guard2:in2}{cmpnull} - \control{entry}{anchor1} - \control{anchor1}{if} - \data{if}{cmpnull} - \controllabel{if:succ1}{merge} - \controllabel{if:succ2}{store1} - \controllabel{store1:succ1}{merge} - \controllabel{store1:succ2}{fs1} - \control{merge}{store2} - \controllabel{store2:succ1}{return} - \controllabel{store2:succ2}{fs2} - \data{cmpnull}{p} -\end{digraphenv} - \caption{After removing redundant guards.} - \label{fig:guard2} -\end{figure} - -The remaining guard can now be moved above the \texttt{If} condition and be used to eliminate the need for the \texttt{If} node. -From this point on, the guard can however no longer be moved below the first memory store. -We use a control dependency from the guard to the field store to express this condition. -The link between the second store and the guard and the control flow merge node is no longer necessary. - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{guard3} - \textnode{entry}{Entry} - \node{anchor1}{Anchor} - \node{return}{Return} - \node{cmpnull}{NonNull} - \textnode{p}{p} - \textnode{const0}{0} - \nodeguard{guard2}{Guard} - \nodetrisplit{store1}{MemStore 16 (4 bytes)} - \nodetrisplit{store2}{MemStore 20 (4 bytes)} - \nodeframestate{fs1}{FrameState} - \nodeframestate{fs2}{FrameState} - \data{store1:in1}{p} - \data{store2:in1}{p} - \data{store1:in2}{const0} - \data{store2:in2}{const0} - \data{store2:in3}{guard2} - \data{guard2:in1}{anchor1} - \data{guard2:in2}{cmpnull} - \control{guard2}{store1} - \control{entry}{anchor1} - \control{anchor1}{store1} - \controllabel{store1:succ2}{fs1} - \control{store1}{store2} - \controllabel{store2:succ1}{return} - \controllabel{store2:succ2}{fs2} - \data{cmpnull}{p} -\end{digraphenv} - \caption{After eliminating an if with a guard.} - \label{fig:guard3} -\end{figure} - -At some point during the compilation, guards need to be fixed, which means that appropriate data and control dependencies will be inserted so that they cannot move outside the scope of the associated frame state. -This will generate deoptimization-free zones that can be targeted by the most aggressive optimizations. -A simple algorithm for this removal of frame states would be to move all guards as far upwards as possible and then the guards are fixed using anchor nodes. -In our example, the guard is already fixed, so there is no deoptimization point that uses any of the memory store frame states. -Therefore we can delete the frame states from the graph (see Figure \ref{fig:guard4}). - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{guard4} - \textnode{entry}{Entry} - \node{anchor1}{Anchor} - \node{return}{Return} - \node{cmpnull}{NonNull} - \textnode{p}{p} - \textnode{const0}{0} - \nodeguard{guard2}{Guard} - \nodetrisplit{store1}{MemStore 16 (4 bytes)} - \nodetrisplit{store2}{MemStore 20 (4 bytes)} - \data{store1:in1}{p} - \data{store2:in1}{p} - \data{store1:in2}{const0} - \data{store2:in2}{const0} - \data{store2:in3}{guard2} - \data{guard2:in1}{anchor1} - \data{guard2:in2}{cmpnull} - \control{guard2}{store1} - \control{entry}{anchor1} - \control{anchor1}{store1} - \control{store1}{store2} - \controllabel{store2:succ1}{return} - \data{cmpnull}{p} -\end{digraphenv} - \caption{After removing the frame states.} - \label{fig:guard4} -\end{figure} - -Now we can use memory coalescing to combine the two stores without frame state to adjacent locations in the same object. -This is only possible if the first store does not have a frame state. -Figure \ref{fig:guard5} shows the resulting graph. - - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{guard5} - \textnode{entry}{Entry} - \node{anchor1}{Anchor} - \node{return}{Return} - \node{cmpnull}{NonNull} - \textnode{p}{p} - \textnode{const0}{0} - \nodeguard{guard2}{Guard} - \nodetrisplit{store1}{MemStore 16 (8 bytes)} - \data{store1:in1}{p} - \data{store1:in2}{const0} - \data{guard2:in1}{anchor1} - \data{guard2:in2}{cmpnull} - \control{guard2}{store1} - \control{entry}{anchor1} - \control{anchor1}{store1} - \controllabel{store1:succ1}{return} - \data{cmpnull}{p} -\end{digraphenv} - \caption{After coalescing the two memory stores.} - \label{fig:guard5} -\end{figure} - -A memory store that immediately follows a null check guard node on the same object, can be combined into a store with an implicit null check (that deoptimizes instead of throwing the exception). -Therefore, we can remove the guard again and also the anchor is no longer necessary. -Figure~\ref{fig:guard6} shows now that fully optimized graph that is generated for Listing~\ref{lst:guard1}. - -\begin{figure}[ht] - \centering -\begin{digraphenv}{scale=0.5}{guard6} - \textnode{entry}{Entry} - \node{return}{Return} - \textnode{p}{p} - \textnode{const0}{0} - \nodetrisplit{store1}{DeoptimizingMemStore 16 (8 bytes)} - \data{store1:in1}{p} - \data{store1:in2}{const0} - \control{entry}{store1} - \controllabel{store1:succ1}{return} -\end{digraphenv} - \caption{Fully optimized method.} - \label{fig:guard6} -\end{figure} - - -\section{Conclusions} -\label{sec:conclusions} -This document sketched the strategy for the Graph compiler. -We have the following plans for M1 to M4: -\begin{description} -\item[M1:] May 15th, 2011 -\item[M2:] June 30th, 2011 -\item[M3:] August 15th, 2011 -\item[M4:] September 30th, 2011 -\end{description} -After we reach M4, we want to create a new project road map that further improves the Graal compiler with respect to its two main goals: Modularity and peak performance. - -\end{document}
--- a/graal/com.oracle.max.graal.doc.initial/graph_test.tex Wed Aug 10 01:12:36 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,160 +0,0 @@ -\documentclass[twocolumn]{svjour3} -\usepackage[pdftex]{graphicx} -\usepackage{environ} -\usepackage{amsmath} -\usepackage{amsfonts} -\usepackage[english]{babel} -\usepackage[utf8]{inputenc} -\usepackage{lmodern} -\usepackage[T1]{fontenc} -\usepackage{color} - -\input{graphdrawing} - -\renewcommand*\descriptionlabel[1]{\hspace\labelsep\normalfont\bf #1} - -\newcommand{\Sa}{{\Large$^*$}} -\newcommand{\Sb}{{\Large$^\dag$}} -\newcommand{\Sc}{{\Large$^\S$}} - -\smartqed % flush right qed marks, e.g. at end of proof - -\journalname{Test} -\def\makeheadbox{{% -\hbox to0pt{\vbox{\baselineskip=10dd\hrule\hbox -to\hsize{\vrule\kern3pt\vbox{\kern3pt -\hbox{\bfseries Test} -\kern3pt}\hfil\kern3pt\vrule}\hrule}% -\hss}}} - -\begin{document} - -\author{} -\institute{} - -\date{Created: \today} - -\title{Test} -\subtitle{} - -\maketitle - -\begin{digraphenv}{scale=0.5}{layout1} - \nodestart - \nodeend - \data{a}{start} - \data{b}{start} - \node{a}{a} - \node{b}{b} - \nodesplit{if}{if} - \node{nop}{nop} - \nodebi{add}{+} - \controllabel{if:succ1}{nop} - \controllabel{if:succ2}{add} - \datalabel{add:in1}{a} - \datalabel{add:in2}{b} - \control{nop}{end} -\end{digraphenv} - -\begin{digraphenv}{scale=0.5}{layout2} - \node{node1}{nop} - \nodebi{node2}{+} - \nodetri{node3}{phi} - \nodesplit{node4}{if} -\end{digraphenv} - -\begin{digraphenv}{scale=0.5}{layout3} - \node{a}{a} - \node{b}{b} - \nodesplit{if}{if} - \node{nop}{nop} - \nodebi{add}{+} - \controllabel{if:succ1}{nop} - \controllabel{if:succ2}{add} - \datalabel{add:in1}{a} - \datalabel{add:in2}{b} -\end{digraphenv} - -\begin{digraphenv}{scale=0.5}{layout4} - \node{arr}{arr} - \node{i}{i} - \node{j}{j} - \node{v}{v} - \nodetri{astore1}{astore} - \datalabel{astore1:in1}{arr} - \datalabel{astore1:in2}{i} - \datalabel{astore1:in3}{v} - \nodebi{add}{+} - \datalabel{add:in1}{i} - \datalabel{add:in2}{j} - \nodetri{astore2}{astore} - \datalabel{astore2:in1}{arr} - \datalabel{astore2:in2}{add} - \datalabel{astore2:in3}{v} - \cnode{fs}{framestate}{lightblue} - \control{fs}{astore2} - \data{fs}{astore1} -% \data{fs}{arr} -% \data{fs}{i} -% \data{fs}{j} -% \data{fs}{v} - \control{astore1}{astore2} -\end{digraphenv} - -\begin{digraphenv}{scale=0.5}{layout5} - \nodestart - \nodeend - % input projections - \node{a}{proj:a} - \node{b}{proj:b} - \data{a}{start} - \data{b}{start} - % if - \nodebi{cmp1}{<} - \datalabel{cmp1:in1}{a} - \datalabel{cmp1:in2}{b} - \nodesplit{if}{if} - \data{if}{cmp1} - \control{start}{if} - % branches - \nodebi{add1}{+} - \datalabel{add1:in1}{a} - \datalabel{add1:in2}{b} - \nodebi{sub1}{-} - \datalabel{sub1:in1}{a} - \datalabel{sub1:in2}{b} - \controllabel{if:succ1}{add1} - \controllabel{if:succ2}{sub1} - % merge - \nodebi{merge}{merge} - \control{add1}{merge} - \control{sub1}{merge} - % phi - \nodebi{phi1}{phi} - \datalabel{phi1:in1}{add1} - \datalabel{phi1:in2}{sub1} - % ret - \node{ret}{ret} - \data{ret}{phi1} - \control{merge}{ret} - \control{ret}{end} -\end{digraphenv} - -\end{document} - - - - - - - - - - - - - - - - -
--- a/graal/com.oracle.max.graal.doc.initial/graphdrawing.tex Wed Aug 10 01:12:36 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,109 +0,0 @@ - -% graph drawing -\newwrite\dotfile -\newcommand{\digraph}[3][scale=1]{ - \immediate\openout\dotfile=dot_temp_#2.dot - \immediate\write\dotfile{digraph #2 { margin=0; pad=0; concentrate=false; \string#3}} - \immediate\closeout\dotfile - \immediate\write18{bash -c "dot -Tpdf dot_temp_#2.dot > dot_temp_#2.pdf"} - \IfFileExists{dot_temp_#2.pdf} - % the pdf exists: include it - { \includegraphics[#1]{dot_temp_#2} } - % the pdf was not created - show a hint - { \fbox{ \begin{tabular}{l} - The file \texttt{dot_temp_#2.pdf} hasn't been created from - \texttt{dot_temp_#2.dot} yet. \\ - We attempted to create it with:\\ - `\texttt{dot -Tpdf dot_temp_#2.dot > dot_temp_#2.pdf}' \\ - but that seems not to have worked. You need to execute `\texttt{pdflatex}' with \\ - the `\texttt{-shell-escape} option. - \end{tabular}} - } -} - -\NewEnviron{digraphenv}[2]{\digraph[#1]{#2}{ nodesep="0.1"; ranksep="0.08 equally"; \BODY }} - -\newcommand{\control}[2]{#1:successors:s -> #2:predecessors:n [color=red,style=solid];} -\newcommand{\controllabel}[2]{#1:s -> #2:predecessors:n [color=red,style=solid];} -\newcommand{\data}[2]{#2:usages:s -> #1:inputs [color=black,dir=back];} -\newcommand{\datalabel}[2]{#2:usages:s -> #1:n [color=black,dir=back];} -\newcommand{\datalabeltext}[3]{#2:usages:s -> #1:n [color=black,dir=back,label="#3"];} - -\newcommand{\textnode}[2]{#1 [shape=plaintext, label="#2"]} -\newcommand{\genericnodestart}[1]{#1 [shape=plaintext, label=< <TABLE BORDER="0" CELLSPACING="0"><TR><TD CELLPADDING="0"><TABLE BORDER="0" CELLSPACING="2" CELLPADDING="0"><TR><TD WIDTH="15" HEIGHT="5" PORT="predecessors" BGCOLOR="rosybrown1"></TD></TR></TABLE></TD><TD COLSPAN="2" CELLPADDING="0" ALIGN="RIGHT"><TABLE BORDER="0" CELLSPACING="2" CELLPADDING="0"><TR>} -\newcommand{\genericnodeend}[0]{</TR></TABLE></TD><TD CELLPADDING="0"><TABLE BORDER="0" CELLSPACING="2" CELLPADDING="0"><TR><TD WIDTH="15" HEIGHT="5" PORT="usages" BGCOLOR="lightgrey"></TD></TR></TABLE></TD></TR></TABLE>>]} -\newcommand{\portinput}[1]{<TD WIDTH="15" HEIGHT="5" PORT="#1" BGCOLOR="lightgrey"></TD>} -\newcommand{\portsuccessor}[1]{<TD WIDTH="15" HEIGHT="5" PORT="#1" BGCOLOR="rosybrown1"></TD>} -\newcommand{\portempty}[0]{<TD WIDTH="15" HEIGHT="5"></TD>} -\newcommand{\genericnodelabel}[2]{</TR></TABLE></TD></TR><TR><TD BORDER="1" COLSPAN="3" BGCOLOR="#2"><FONT POINT-SIZE="12">#1</FONT></TD></TR><TR><TD COLSPAN="2" CELLPADDING="0" ALIGN="RIGHT"><TABLE BORDER="0" CELLSPACING="2" CELLPADDING="0"><TR>} - -\newcommand{\nodestart}[0]{start [shape=plaintext, rank=source, label=< <TABLE BORDER="0" CELLSPACING="0"><TR><TD COLSPAN="3"><TABLE BORDER="0"><TR><TD></TD> \genericnodelabel{start}{lightyellow} \portsuccessor{successors} \portempty \genericnodeend } - -\newcommand{\nodeend}[0]{\genericnodestart{end} \portempty \portinput{inputs} \genericnodelabel{end}{lightyellow} <TD></TD></TR></TABLE></TD><TD></TD></TR></TABLE>>]} - -\newcommand{\nodeconst}[2]{#1 [margin="0.05, 0.05", shape=plaintext, label=< <TABLE BORDER="0" CELLSPACING="0"><TR><TD BORDER="1" BGCOLOR="white"><FONT POINT-SIZE="12">#2</FONT></TD></TR><TR><TD WIDTH="15" HEIGHT="5" PORT="usages" BGCOLOR="lightgrey"></TD></TR></TABLE>>]} -\newcommand{\nodeframestate}[2]{#1 [margin="0.05, 0.05", shape=plaintext, label=< <TABLE BORDER="0" CELLSPACING="0"><TR><TD WIDTH="15" HEIGHT="5" PORT="predecessors" BGCOLOR="rosybrown1"></TD><TD WIDTH="15" HEIGHT="5"></TD><TD HEIGHT="5" PORT="inputs" BGCOLOR="lightgrey"></TD></TR><TR><TD BORDER="1" COLSPAN="3" BGCOLOR="lightblue"><FONT POINT-SIZE="12">#2</FONT></TD></TR></TABLE>>]} - - -\newcommand{\node}[2]{\genericnodestart{#1} \portempty \portinput{inputs} \genericnodelabel{#2}{white} \portsuccessor{successors} \portempty \genericnodeend } -\newcommand{\nodebi}[2]{\genericnodestart{#1} \portinput{in1} \portinput{in2} \genericnodelabel{#2}{white} \portsuccessor{successors} \portempty \genericnodeend } -\newcommand{\nodetri}[2]{\genericnodestart{#1} \portinput{in1} \portinput{in2} \portinput{in3} \genericnodelabel{#2}{white} \portsuccessor{successors} \portempty \portempty \genericnodeend } -\newcommand{\nodequad}[2]{\genericnodestart{#1} \portinput{in1} \portinput{in2} \portinput{in3} \portinput{in4} \genericnodelabel{#2}{white} \portsuccessor{successors} \portempty \portempty \portempty \genericnodeend } -\newcommand{\nodesplit}[2]{\genericnodestart{#1} \portempty \portinput{inputs} \genericnodelabel{#2}{white} \portsuccessor{succ1} \portsuccessor{succ2} \genericnodeend } -\newcommand{\nodequadsplit}[2]{\genericnodestart{#1} \portinput{in1} \portinput{in2} \portinput{in3} \portinput{in4} \genericnodelabel{#2}{white} \portsuccessor{succ1} \portsuccessor{succ2} \portempty \portempty \genericnodeend } -\newcommand{\nodetrisplit}[2]{\genericnodestart{#1} \portinput{in1} \portinput{in2} \portinput{in3} \genericnodelabel{#2}{white} \portsuccessor{succ1} \portsuccessor{succ2} \portempty \genericnodeend } -\newcommand{\nodesplittri}[2]{\genericnodestart{#1} \portempty \portinput{inputs} \genericnodelabel{#2}{white} \portsuccessor{succ1} \portsuccessor{succ2} \portsuccessor{succ3} \genericnodeend } -\newcommand{\nodebisplit}[2]{\genericnodestart{#1} \portinput{in1} \portinput{in2} \genericnodelabel{#2}{white} \portsuccessor{succ1} \portsuccessor{succ2} \portempty \genericnodeend } - -\newcommand{\nodeguard}[2]{\cnodebi{#1}{#2}{rosybrown1}} - -\newcommand{\cnode}[3]{\genericnodestart{#1} \portempty \portinput{inputs} \genericnodelabel{#2}{#3} \portsuccessor{successors} \portempty \genericnodeend } -\newcommand{\cnodebi}[3]{\genericnodestart{#1} \portinput{in1} \portinput{in2} \genericnodelabel{#2}{#3} \portsuccessor{successors} \portempty \genericnodeend } -\newcommand{\cnodetri}[3]{\genericnodestart{#1} \portinput{in1} \portinput{in2} \portinput{in3} \genericnodelabel{#2}{#3} \portsuccessor{successors} \portempty \portempty \genericnodeend } -\newcommand{\cnodesplit}[3]{\genericnodestart{#1} \portempty \portinput{inputs} \genericnodelabel{#2}{#3} \portsuccessor{succ1} \portsuccessor{succ2} \genericnodeend } - -% this doesn't work: -%\newenvironment{graphfigure}[2]{\begin{figure}[h] \label{fig:#1} \centering \begin{digraphenv}{scale=0.5}{#1}}{\end{digraphenv} \caption{#2} \end{figure}} - -%%%%%%%%%%%%%% example: - -% \begin{digraphenv}{scale=0.5}{MyGraph} -% \node{start}{start} -% \node{end}{end} -% % input projections -% \node{a}{proj:a} -% \node{b}{proj:b} -% \data{a}{start} -% \data{b}{start} -% % if -% \nodebi{cmp1}{<} -% \datalabel{cmp1:in1}{a} -% \datalabel{cmp1:in2}{b} -% \nodesplit{if}{if} -% \data{if}{cmp1} -% \control{start}{if} -% % branches -% \nodebi{add1}{+} -% \datalabel{add1:in1}{a} -% \datalabel{add1:in2}{b} -% \nodebi{sub1}{-} -% \datalabel{sub1:in1}{a} -% \datalabel{sub1:in2}{b} -% \controllabel{if:succ1}{add1} -% \controllabel{if:succ2}{sub1} -% % merge -% \nodebi{merge}{merge} -% \control{add1}{merge} -% \control{sub1}{merge} -% % phi -% \nodebi{phi1}{phi} -% \datalabel{phi1:in1}{add1} -% \datalabel{phi1:in2}{sub1} -% % ret -% \node{ret}{ret} -% \data{ret}{phi1} -% \control{merge}{ret} -% \control{ret}{end} -% \end{digraphenv} - -%%%%%%%%%%%%%%%
--- a/graal/com.oracle.max.graal.doc.initial/svglov3.clo Wed Aug 10 01:12:36 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,101 +0,0 @@ -% SVJour3 DOCUMENT CLASS OPTION SVGLOV3 -- for standardised journals -% -% This is an enhancement for the LaTeX -% SVJour3 document class for Springer journals -% -%% -%% -%% \CharacterTable -%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z -%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z -%% Digits \0\1\2\3\4\5\6\7\8\9 -%% Exclamation \! Double quote \" Hash (number) \# -%% Dollar \$ Percent \% Ampersand \& -%% Acute accent \' Left paren \( Right paren \) -%% Asterisk \* Plus \+ Comma \, -%% Minus \- Point \. Solidus \/ -%% Colon \: Semicolon \; Less than \< -%% Equals \= Greater than \> Question mark \? -%% Commercial at \@ Left bracket \[ Backslash \\ -%% Right bracket \] Circumflex \^ Underscore \_ -%% Grave accent \` Left brace \{ Vertical bar \| -%% Right brace \} Tilde \~} -\ProvidesFile{svglov3.clo} - [2006/02/03 v3.1 - style option for standardised journals] -\typeout{SVJour Class option: svglov3.clo for standardised journals} -\def\validfor{svjour3} -\ExecuteOptions{final,10pt,runningheads} -% No size changing allowed, hence a "copy" of size10.clo is included -\renewcommand\normalsize{% -\if@twocolumn - \@setfontsize\normalsize\@xpt{12.5pt}% -\else - \if@smallext - \@setfontsize\normalsize\@xpt\@xiipt - \else - \@setfontsize\normalsize{9.5pt}{11.5pt}% - \fi -\fi - \abovedisplayskip=3 mm plus6pt minus 4pt - \belowdisplayskip=3 mm plus6pt minus 4pt - \abovedisplayshortskip=0.0 mm plus6pt - \belowdisplayshortskip=2 mm plus4pt minus 4pt - \let\@listi\@listI} -\normalsize -\newcommand\small{% -\if@twocolumn - \@setfontsize\small{8.5pt}\@xpt -\else - \if@smallext - \@setfontsize\small\@viiipt{9.5pt}% - \else - \@setfontsize\small\@viiipt{9.25pt}% - \fi -\fi - \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@ - \abovedisplayshortskip \z@ \@plus2\p@ - \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@ - \def\@listi{\leftmargin\leftmargini - \parsep 0\p@ \@plus1\p@ \@minus\p@ - \topsep 4\p@ \@plus2\p@ \@minus4\p@ - \itemsep0\p@}% - \belowdisplayskip \abovedisplayskip -} -\let\footnotesize\small -\newcommand\scriptsize{\@setfontsize\scriptsize\@viipt\@viiipt} -\newcommand\tiny{\@setfontsize\tiny\@vpt\@vipt} -\if@twocolumn - \newcommand\large{\@setfontsize\large\@xiipt\@xivpt} - \newcommand\LARGE{\@setfontsize\LARGE{16pt}{18pt}} -\else - \newcommand\large{\@setfontsize\large\@xipt\@xiipt} - \newcommand\LARGE{\@setfontsize\LARGE{13pt}{15pt}} -\fi -\newcommand\Large{\@setfontsize\Large\@xivpt{16dd}} -\newcommand\huge{\@setfontsize\huge\@xxpt{25}} -\newcommand\Huge{\@setfontsize\Huge\@xxvpt{30}} -% -\def\runheadhook{\rlap{\smash{\lower6.5pt\hbox to\textwidth{\hrulefill}}}} -\if@twocolumn -\setlength{\textwidth}{17.4cm} -\setlength{\textheight}{234mm} -\AtEndOfClass{\setlength\columnsep{6mm}} -\else - \if@smallext - \setlength{\textwidth}{11.9cm} - \setlength{\textheight}{19.4cm} - \else - \setlength{\textwidth}{12.2cm} - \setlength{\textheight}{19.8cm} - \fi -\fi -% -\AtBeginDocument{% -\@ifundefined{@journalname} - {\typeout{Unknown journal: specify \string\journalname\string{% -<name of your journal>\string} in preambel^^J}}{}} -% -\endinput -%% -%% End of file `svglov3.clo'.
--- a/graal/com.oracle.max.graal.doc.initial/svjour3.cls Wed Aug 10 01:12:36 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1431 +0,0 @@ -% SVJour3 DOCUMENT CLASS -- version 3.2 for LaTeX2e -% -% LaTeX document class for Springer journals -% -%% -%% -%% \CharacterTable -%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z -%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z -%% Digits \0\1\2\3\4\5\6\7\8\9 -%% Exclamation \! Double quote \" Hash (number) \# -%% Dollar \$ Percent \% Ampersand \& -%% Acute accent \' Left paren \( Right paren \) -%% Asterisk \* Plus \+ Comma \, -%% Minus \- Point \. Solidus \/ -%% Colon \: Semicolon \; Less than \< -%% Equals \= Greater than \> Question mark \? -%% Commercial at \@ Left bracket \[ Backslash \\ -%% Right bracket \] Circumflex \^ Underscore \_ -%% Grave accent \` Left brace \{ Vertical bar \| -%% Right brace \} Tilde \~} -\NeedsTeXFormat{LaTeX2e}[1995/12/01] -\ProvidesClass{svjour3}[2007/05/08 v3.2 -^^JLaTeX document class for Springer journals] -\newcommand\@ptsize{} -\newif\if@restonecol -\newif\if@titlepage -\@titlepagefalse -\DeclareOption{a4paper} - {\setlength\paperheight {297mm}% - \setlength\paperwidth {210mm}} -\DeclareOption{10pt}{\renewcommand\@ptsize{0}} -\DeclareOption{twoside}{\@twosidetrue \@mparswitchtrue} -\DeclareOption{draft}{\setlength\overfullrule{5pt}} -\DeclareOption{final}{\setlength\overfullrule{0pt}} -\DeclareOption{fleqn}{\input{fleqn.clo}\AtBeginDocument{\mathindent\z@}% -\AtBeginDocument{\@ifpackageloaded{amsmath}{\@mathmargin\z@}{}}% -\PassOptionsToPackage{fleqn}{amsmath}} -%%% -\DeclareOption{onecolumn}{} -\DeclareOption{smallcondensed}{} -\DeclareOption{twocolumn}{\@twocolumntrue\ExecuteOptions{fleqn}} -\newif\if@smallext\@smallextfalse -\DeclareOption{smallextended}{\@smallexttrue} -\let\if@mathematic\iftrue -\let\if@numbook\iffalse -\DeclareOption{numbook}{\let\if@envcntsect\iftrue - \AtEndOfPackage{% - \renewcommand\thefigure{\thesection.\@arabic\c@figure}% - \renewcommand\thetable{\thesection.\@arabic\c@table}% - \renewcommand\theequation{\thesection.\@arabic\c@equation}% - \@addtoreset{figure}{section}% - \@addtoreset{table}{section}% - \@addtoreset{equation}{section}% - }% -} -\DeclareOption{openbib}{% - \AtEndOfPackage{% - \renewcommand\@openbib@code{% - \advance\leftmargin\bibindent - \itemindent -\bibindent - \listparindent \itemindent - \parsep \z@ - }% - \renewcommand\newblock{\par}}% -} -\DeclareOption{natbib}{% -\AtEndOfClass{\RequirePackage{natbib}% -% Changing some parameters of NATBIB -\setlength{\bibhang}{\parindent}% -%\setlength{\bibsep}{0mm}% -\let\bibfont=\small -\def\@biblabel#1{#1.}% -\newcommand{\etal}{et al.}% -\bibpunct{(}{)}{;}{a}{}{,}}} -% -\let\if@runhead\iffalse -\DeclareOption{runningheads}{\let\if@runhead\iftrue} -\let\if@smartrunh\iffalse -\DeclareOption{smartrunhead}{\let\if@smartrunh\iftrue} -\DeclareOption{nosmartrunhead}{\let\if@smartrunh\iffalse} -\let\if@envcntreset\iffalse -\DeclareOption{envcountreset}{\let\if@envcntreset\iftrue} -\let\if@envcntsame\iffalse -\DeclareOption{envcountsame}{\let\if@envcntsame\iftrue} -\let\if@envcntsect\iffalse -\DeclareOption{envcountsect}{\let\if@envcntsect\iftrue} -\let\if@referee\iffalse -\DeclareOption{referee}{\let\if@referee\iftrue} -\def\makereferee{\def\baselinestretch{2}} -\let\if@instindent\iffalse -\DeclareOption{instindent}{\let\if@instindent\iftrue} -\let\if@smartand\iffalse -\DeclareOption{smartand}{\let\if@smartand\iftrue} -\let\if@spthms\iftrue -\DeclareOption{nospthms}{\let\if@spthms\iffalse} -% -% language and babel dependencies -\DeclareOption{deutsch}{\def\switcht@@therlang{\switcht@deutsch}% -\gdef\svlanginfo{\typeout{Man spricht deutsch.}\global\let\svlanginfo\relax}} -\DeclareOption{francais}{\def\switcht@@therlang{\switcht@francais}% -\gdef\svlanginfo{\typeout{On parle francais.}\global\let\svlanginfo\relax}} -\let\switcht@@therlang\relax -\let\svlanginfo\relax -% -\AtBeginDocument{\@ifpackageloaded{babel}{% -\@ifundefined{extrasenglish}{}{\addto\extrasenglish{\switcht@albion}}% -\@ifundefined{extrasUKenglish}{}{\addto\extrasUKenglish{\switcht@albion}}% -\@ifundefined{extrasfrenchb}{}{\addto\extrasfrenchb{\switcht@francais}}% -\@ifundefined{extrasgerman}{}{\addto\extrasgerman{\switcht@deutsch}}% -\@ifundefined{extrasngerman}{}{\addto\extrasngerman{\switcht@deutsch}}% -}{\switcht@@therlang}% -} -% -\def\ClassInfoNoLine#1#2{% - \ClassInfo{#1}{#2\@gobble}% -} -\let\journalopt\@empty -\DeclareOption*{% -\InputIfFileExists{sv\CurrentOption.clo}{% -\global\let\journalopt\CurrentOption}{% -\ClassWarning{Springer-SVJour3}{Specified option or subpackage -"\CurrentOption" not found -}\OptionNotUsed}} -\ExecuteOptions{a4paper,twoside,10pt,instindent} -\ProcessOptions -% -\ifx\journalopt\@empty\relax -\ClassInfoNoLine{Springer-SVJour3}{extra/valid Springer sub-package (-> *.clo) -\MessageBreak not found in option list of \string\documentclass -\MessageBreak - autoactivating "global" style}{} -\input{svglov3.clo} -\else -\@ifundefined{validfor}{% -\ClassError{Springer-SVJour3}{Possible option clash for sub-package -\MessageBreak "sv\journalopt.clo" - option file not valid -\MessageBreak for this class}{Perhaps you used an option of the old -Springer class SVJour!} -}{} -\fi -% -\if@smartrunh\AtEndDocument{\islastpageeven\getlastpagenumber}\fi -% -\newcommand{\twocoltest}[2]{\if@twocolumn\def\@gtempa{#2}\else\def\@gtempa{#1}\fi -\@gtempa\makeatother} -\newcommand{\columncase}{\makeatletter\twocoltest} -% -\DeclareMathSymbol{\Gamma}{\mathalpha}{letters}{"00} -\DeclareMathSymbol{\Delta}{\mathalpha}{letters}{"01} -\DeclareMathSymbol{\Theta}{\mathalpha}{letters}{"02} -\DeclareMathSymbol{\Lambda}{\mathalpha}{letters}{"03} -\DeclareMathSymbol{\Xi}{\mathalpha}{letters}{"04} -\DeclareMathSymbol{\Pi}{\mathalpha}{letters}{"05} -\DeclareMathSymbol{\Sigma}{\mathalpha}{letters}{"06} -\DeclareMathSymbol{\Upsilon}{\mathalpha}{letters}{"07} -\DeclareMathSymbol{\Phi}{\mathalpha}{letters}{"08} -\DeclareMathSymbol{\Psi}{\mathalpha}{letters}{"09} -\DeclareMathSymbol{\Omega}{\mathalpha}{letters}{"0A} -% -\setlength\parindent{15\p@} -\setlength\smallskipamount{3\p@ \@plus 1\p@ \@minus 1\p@} -\setlength\medskipamount{6\p@ \@plus 2\p@ \@minus 2\p@} -\setlength\bigskipamount{12\p@ \@plus 4\p@ \@minus 4\p@} -\setlength\headheight{12\p@} -\setlength\headsep {14.50dd} -\setlength\topskip {10\p@} -\setlength\footskip{30\p@} -\setlength\maxdepth{.5\topskip} -% -\@settopoint\textwidth -\setlength\marginparsep {10\p@} -\setlength\marginparpush{5\p@} -\setlength\topmargin{-10pt} -\if@twocolumn - \setlength\oddsidemargin {-30\p@} - \setlength\evensidemargin{-30\p@} -\else - \setlength\oddsidemargin {\z@} - \setlength\evensidemargin{\z@} -\fi -\setlength\marginparwidth {48\p@} -\setlength\footnotesep{8\p@} -\setlength{\skip\footins}{9\p@ \@plus 4\p@ \@minus 2\p@} -\setlength\floatsep {12\p@ \@plus 2\p@ \@minus 2\p@} -\setlength\textfloatsep{20\p@ \@plus 2\p@ \@minus 4\p@} -\setlength\intextsep {20\p@ \@plus 2\p@ \@minus 2\p@} -\setlength\dblfloatsep {12\p@ \@plus 2\p@ \@minus 2\p@} -\setlength\dbltextfloatsep{20\p@ \@plus 2\p@ \@minus 4\p@} -\setlength\@fptop{0\p@} -\setlength\@fpsep{12\p@ \@plus 2\p@ \@minus 2\p@} -\setlength\@fpbot{0\p@ \@plus 1fil} -\setlength\@dblfptop{0\p@} -\setlength\@dblfpsep{12\p@ \@plus 2\p@ \@minus 2\p@} -\setlength\@dblfpbot{0\p@ \@plus 1fil} -\setlength\partopsep{2\p@ \@plus 1\p@ \@minus 1\p@} -\def\@listi{\leftmargin\leftmargini - \parsep \z@ - \topsep 6\p@ \@plus2\p@ \@minus4\p@ - \itemsep\parsep} -\let\@listI\@listi -\@listi -\def\@listii {\leftmargin\leftmarginii - \labelwidth\leftmarginii - \advance\labelwidth-\labelsep - \topsep \z@ - \parsep \topsep - \itemsep \parsep} -\def\@listiii{\leftmargin\leftmarginiii - \labelwidth\leftmarginiii - \advance\labelwidth-\labelsep - \topsep \z@ - \parsep \topsep - \itemsep \parsep} -\def\@listiv {\leftmargin\leftmarginiv - \labelwidth\leftmarginiv - \advance\labelwidth-\labelsep} -\def\@listv {\leftmargin\leftmarginv - \labelwidth\leftmarginv - \advance\labelwidth-\labelsep} -\def\@listvi {\leftmargin\leftmarginvi - \labelwidth\leftmarginvi - \advance\labelwidth-\labelsep} -% -\setlength\lineskip{1\p@} -\setlength\normallineskip{1\p@} -\renewcommand\baselinestretch{} -\setlength\parskip{0\p@ \@plus \p@} -\@lowpenalty 51 -\@medpenalty 151 -\@highpenalty 301 -\setcounter{topnumber}{4} -\renewcommand\topfraction{.9} -\setcounter{bottomnumber}{2} -\renewcommand\bottomfraction{.7} -\setcounter{totalnumber}{6} -\renewcommand\textfraction{.1} -\renewcommand\floatpagefraction{.85} -\setcounter{dbltopnumber}{3} -\renewcommand\dbltopfraction{.85} -\renewcommand\dblfloatpagefraction{.85} -\def\ps@headings{% - \let\@oddfoot\@empty\let\@evenfoot\@empty - \def\@evenhead{\small\csname runheadhook\endcsname - \rlap{\thepage}\hfil\leftmark\unskip}% - \def\@oddhead{\small\csname runheadhook\endcsname - \ignorespaces\rightmark\hfil\llap{\thepage}}% - \let\@mkboth\@gobbletwo - \let\sectionmark\@gobble - \let\subsectionmark\@gobble - } -% make indentations changeable -\def\setitemindent#1{\settowidth{\labelwidth}{#1}% - \leftmargini\labelwidth - \advance\leftmargini\labelsep - \def\@listi{\leftmargin\leftmargini - \labelwidth\leftmargini\advance\labelwidth by -\labelsep - \parsep=\parskip - \topsep=\medskipamount - \itemsep=\parskip \advance\itemsep by -\parsep}} -\def\setitemitemindent#1{\settowidth{\labelwidth}{#1}% - \leftmarginii\labelwidth - \advance\leftmarginii\labelsep -\def\@listii{\leftmargin\leftmarginii - \labelwidth\leftmarginii\advance\labelwidth by -\labelsep - \parsep=\parskip - \topsep=\z@ - \itemsep=\parskip \advance\itemsep by -\parsep}} -% labels of description -\def\descriptionlabel#1{\hspace\labelsep #1\hfil} -% adjusted environment "description" -% if an optional parameter (at the first two levels of lists) -% is present, its width is considered to be the widest mark -% throughout the current list. -\def\description{\@ifnextchar[{\@describe}{\list{}{\labelwidth\z@ - \itemindent-\leftmargin \let\makelabel\descriptionlabel}}} -\let\enddescription\endlist -% -\def\describelabel#1{#1\hfil} -\def\@describe[#1]{\relax\ifnum\@listdepth=0 -\setitemindent{#1}\else\ifnum\@listdepth=1 -\setitemitemindent{#1}\fi\fi -\list{--}{\let\makelabel\describelabel}} -% -\newdimen\logodepth -\logodepth=1.2cm -\newdimen\headerboxheight -\headerboxheight=163pt % 18 10.5dd-lines - 2\baselineskip -\if@twocolumn\else\advance\headerboxheight by-14.5mm\fi -\newdimen\betweenumberspace % dimension for space between -\betweenumberspace=3.33pt % number and text of titles. -\newdimen\aftertext % dimension for space after -\aftertext=5pt % text of title. -\newdimen\headlineindent % dimension for space between -\headlineindent=1.166cm % number and text of headings. -\if@mathematic - \def\runinend{} % \enspace} - \def\floatcounterend{\enspace} - \def\sectcounterend{} -\else - \def\runinend{.} - \def\floatcounterend{.\ } - \def\sectcounterend{.} -\fi -\def\email#1{\emailname: #1} -\def\keywords#1{\par\addvspace\medskipamount{\rightskip=0pt plus1cm -\def\and{\ifhmode\unskip\nobreak\fi\ $\cdot$ -}\noindent\keywordname\enspace\ignorespaces#1\par}} -% -\def\subclassname{{\bfseries Mathematics Subject Classification -(2000)}\enspace} -\def\subclass#1{\par\addvspace\medskipamount{\rightskip=0pt plus1cm -\def\and{\ifhmode\unskip\nobreak\fi\ $\cdot$ -}\noindent\subclassname\ignorespaces#1\par}} -% -\def\PACSname{\textbf{PACS}\enspace} -\def\PACS#1{\par\addvspace\medskipamount{\rightskip=0pt plus1cm -\def\and{\ifhmode\unskip\nobreak\fi\ $\cdot$ -}\noindent\PACSname\ignorespaces#1\par}} -% -\def\CRclassname{{\bfseries CR Subject Classification}\enspace} -\def\CRclass#1{\par\addvspace\medskipamount{\rightskip=0pt plus1cm -\def\and{\ifhmode\unskip\nobreak\fi\ $\cdot$ -}\noindent\CRclassname\ignorespaces#1\par}} -% -\def\ESMname{\textbf{Electronic Supplementary Material}\enspace} -\def\ESM#1{\par\addvspace\medskipamount -\noindent\ESMname\ignorespaces#1\par} -% -\newcounter{inst} -\newcounter{auth} -\def\authdepth{2} -\newdimen\instindent -\newbox\authrun -\newtoks\authorrunning -\newbox\titrun -\newtoks\titlerunning -\def\authorfont{\bfseries} - -\def\combirunning#1{\gdef\@combi{#1}} -\def\@combi{} -\newbox\combirun -% -\def\ps@last{\def\@evenhead{\small\rlap{\thepage}\hfil -\lastevenhead}} -\newcounter{lastpage} -\def\islastpageeven{\@ifundefined{lastpagenumber} -{\setcounter{lastpage}{0}}{\setcounter{lastpage}{\lastpagenumber}} -\ifnum\value{lastpage}>0 - \ifodd\value{lastpage}% - \else - \if@smartrunh - \thispagestyle{last}% - \fi - \fi -\fi} -\def\getlastpagenumber{\clearpage -\addtocounter{page}{-1}% - \immediate\write\@auxout{\string\gdef\string\lastpagenumber{\thepage}}% - \immediate\write\@auxout{\string\newlabel{LastPage}{{}{\thepage}}}% - \addtocounter{page}{1}} - -\def\journalname#1{\gdef\@journalname{#1}} - -\def\dedication#1{\gdef\@dedic{#1}} -\def\@dedic{} - -\let\@date\undefined -\def\notused{~} - -\def\institute#1{\gdef\@institute{#1}} - -\def\offprints#1{\begingroup -\def\protect{\noexpand\protect\noexpand}\xdef\@thanks{\@thanks -\protect\footnotetext[0]{\unskip\hskip-15pt{\itshape Send offprint requests -to\/}: \ignorespaces#1}}\endgroup\ignorespaces} - -%\def\mail#1{\gdef\@mail{#1}} -%\def\@mail{} - -\def\@thanks{} - -\def\@fnsymbol#1{\ifcase#1\or\star\or{\star\star}\or{\star\star\star}% - \or \dagger\or \ddagger\or - \mathchar "278\or \mathchar "27B\or \|\or **\or \dagger\dagger - \or \ddagger\ddagger \else\@ctrerr\fi\relax} -% -%\def\invthanks#1{\footnotetext[0]{\kern-\bibindent#1}} -% -\def\nothanksmarks{\def\thanks##1{\protected@xdef\@thanks{\@thanks - \protect\footnotetext[0]{\kern-\bibindent##1}}}} -% -\def\subtitle#1{\gdef\@subtitle{#1}} -\def\@subtitle{} - -\def\headnote#1{\gdef\@headnote{#1}} -\def\@headnote{} - -\def\papertype#1{\gdef\paper@type{\MakeUppercase{#1}}} -\def\paper@type{} - -\def\ch@ckobl#1#2{\@ifundefined{@#1} - {\typeout{SVJour3 warning: Missing -\expandafter\string\csname#1\endcsname}% - \csname #1\endcsname{#2}} - {}} -% -\def\ProcessRunnHead{% - \def\\{\unskip\ \ignorespaces}% - \def\thanks##1{\unskip{}}% - \instindent=\textwidth - \advance\instindent by-\headlineindent - \if!\the\titlerunning!\else - \edef\@title{\the\titlerunning}% - \fi - \global\setbox\titrun=\hbox{\small\rmfamily\unboldmath\ignorespaces\@title - \unskip}% - \ifdim\wd\titrun>\instindent - \typeout{^^JSVJour3 Warning: Title too long for running head.}% - \typeout{Please supply a shorter form with \string\titlerunning - \space prior to \string\maketitle}% - \global\setbox\titrun=\hbox{\small\rmfamily - Title Suppressed Due to Excessive Length}% - \fi - \xdef\@title{\copy\titrun}% -% - \if!\the\authorrunning! - \else - \setcounter{auth}{1}% - \edef\@author{\the\authorrunning}% - \fi - \ifnum\value{inst}>\authdepth - \def\stripauthor##1\and##2\endauthor{% - \protected@xdef\@author{##1\unskip\unskip\if!##2!\else\ et al.\fi}}% - \expandafter\stripauthor\@author\and\endauthor - \else - \gdef\and{\unskip, \ignorespaces}% - {\def\and{\noexpand\protect\noexpand\and}% - \protected@xdef\@author{\@author}} - \fi - \global\setbox\authrun=\hbox{\small\rmfamily\unboldmath\ignorespaces - \@author\unskip}% - \ifdim\wd\authrun>\instindent - \typeout{^^JSVJour3 Warning: Author name(s) too long for running head. - ^^JPlease supply a shorter form with \string\authorrunning - \space prior to \string\maketitle}% - \global\setbox\authrun=\hbox{\small\rmfamily Please give a shorter version - with: {\tt\string\authorrunning\space and - \string\titlerunning\space prior to \string\maketitle}}% - \fi - \xdef\@author{\copy\authrun}% - \markboth{\@author}{\@title}% -} -% -\let\orithanks=\thanks -\def\thanks#1{\ClassWarning{SVJour3}{\string\thanks\space may only be -used inside of \string\title, \string\author,\MessageBreak -and \string\date\space prior to \string\maketitle}} -% -\def\maketitle{\par\let\thanks=\orithanks -\ch@ckobl{journalname}{Noname} -\ch@ckobl{date}{the date of receipt and acceptance should be inserted -later} -\ch@ckobl{title}{A title should be given} -\ch@ckobl{author}{Name(s) and initial(s) of author(s) should be given} -\ch@ckobl{institute}{Address(es) of author(s) should be given} -\begingroup -% - \renewcommand\thefootnote{\@fnsymbol\c@footnote}% - \def\@makefnmark{$^{\@thefnmark}$}% - \renewcommand\@makefntext[1]{% - \noindent - \hb@xt@\bibindent{\hss\@makefnmark\enspace}##1\vrule height0pt - width0pt depth8pt} -% - \def\lastand{\ifnum\value{inst}=2\relax - \unskip{} \andname\ - \else - \unskip, \andname\ - \fi}% - \def\and{\stepcounter{auth}\relax - \if@smartand - \ifnum\value{auth}=\value{inst}% - \lastand - \else - \unskip, - \fi - \else - \unskip, - \fi}% - \thispagestyle{empty} - \ifnum \col@number=\@ne - \@maketitle - \else - \twocolumn[\@maketitle]% - \fi -% - \global\@topnum\z@ - \if!\@thanks!\else - \@thanks -\insert\footins{\vskip-3pt\hrule\@width\if@twocolumn\columnwidth -\else 38mm\fi\vskip3pt}% - \fi - {\def\thanks##1{\unskip{}}% - \def\iand{\\[5pt]\let\and=\nand}% - \def\nand{\ifhmode\unskip\nobreak\fi\ $\cdot$ }% - \let\and=\nand - \def\at{\\\let\and=\iand}% - \footnotetext[0]{\kern-\bibindent - \ignorespaces\@institute}\vspace{5dd}}% -%\if!\@mail!\else -% \footnotetext[0]{\kern-\bibindent\mailname\ -% \ignorespaces\@mail}% -%\fi -% - \if@runhead - \ProcessRunnHead - \fi -% - \endgroup - \setcounter{footnote}{0} - \global\let\thanks\relax - \global\let\maketitle\relax - \global\let\@maketitle\relax - \global\let\@thanks\@empty - \global\let\@author\@empty - \global\let\@date\@empty - \global\let\@title\@empty - \global\let\@subtitle\@empty - \global\let\title\relax - \global\let\author\relax - \global\let\date\relax - \global\let\and\relax} - -\def\makeheadbox{{% -\hbox to0pt{\vbox{\baselineskip=10dd\hrule\hbox -to\hsize{\vrule\kern3pt\vbox{\kern3pt -\hbox{\bfseries\@journalname\ manuscript No.} -\hbox{(will be inserted by the editor)} -\kern3pt}\hfil\kern3pt\vrule}\hrule}% -\hss}}} -% -\def\rubric{\setbox0=\hbox{\small\strut}\@tempdima=\ht0\advance -\@tempdima\dp0\advance\@tempdima2\fboxsep\vrule\@height\@tempdima -\@width\z@} -\newdimen\rubricwidth -% -\def\@maketitle{\newpage -\normalfont -\vbox to0pt{\if@twocolumn\vskip-39pt\else\vskip-49pt\fi -\nointerlineskip -\makeheadbox\vss}\nointerlineskip -\vbox to 0pt{\offinterlineskip\rubricwidth=\columnwidth -%%%%\vskip-12.5pt % -12.5pt -\if@twocolumn\else % one column journal - \divide\rubricwidth by144\multiply\rubricwidth by89 % perform golden section - \vskip-\topskip -\fi -\hrule\@height0.35mm\noindent -\advance\fboxsep by.25mm -\global\advance\rubricwidth by0pt -\rubric -\vss}\vskip19.5pt % war 9pt -% -\if@twocolumn\else - \gdef\footnoterule{% - \kern-3\p@ - \hrule\@width38mm % \columnwidth \rubricwidth - \kern2.6\p@} -\fi -% - \setbox\authrun=\vbox\bgroup - \if@twocolumn - \hrule\@height10.5mm\@width0\p@ - \else - \hrule\@height 2mm\@width0\p@ - \fi - \pretolerance=10000 - \rightskip=0pt plus 4cm - \nothanksmarks -% \if!\@headnote!\else -% \noindent -% {\LARGE\normalfont\itshape\ignorespaces\@headnote\par}\vskip 3.5mm -% \fi - {\LARGE\bfseries - \noindent\ignorespaces - \@title \par}\vskip 17pt\relax - \if!\@subtitle!\else - {\large\bfseries - \pretolerance=10000 - \rightskip=0pt plus 3cm - \vskip-12pt -% \noindent\ignorespaces\@subtitle \par}\vskip 11.24pt\relax - \noindent\ignorespaces\@subtitle \par}\vskip 17pt\relax - \fi - {\authorfont - \setbox0=\vbox{\setcounter{auth}{1}\def\and{\stepcounter{auth} }% - \hfuzz=2\textwidth\def\thanks##1{}\@author}% - \setcounter{footnote}{0}% - \global\value{inst}=\value{auth}% - \setcounter{auth}{1}% - \if@twocolumn - \rightskip43mm plus 4cm minus 3mm - \else % one column journal - \rightskip=\linewidth - \advance\rightskip by-\rubricwidth - \advance\rightskip by0pt plus 4cm minus 3mm - \fi -% -\def\and{\unskip\nobreak\enskip{\boldmath$\cdot$}\enskip\ignorespaces}% - \noindent\ignorespaces\@author\vskip7.23pt} -% - \small - \if!\@dedic!\else - \par - \normalsize\it - \addvspace\baselineskip - \noindent\@dedic - \fi - \egroup % end of header box - \@tempdima=\headerboxheight - \advance\@tempdima by-\ht\authrun - \unvbox\authrun - \ifdim\@tempdima>0pt - \vrule width0pt height\@tempdima\par - \fi - \noindent{\small\@date\if@twocolumn\vskip 7.2mm\else\vskip 5.2mm\fi} - \global\@minipagetrue - \global\everypar{\global\@minipagefalse\global\everypar{}}% -%\vskip22.47pt -} -% -\if@mathematic - \def\vec#1{\ensuremath{\mathchoice - {\mbox{\boldmath$\displaystyle\mathbf{#1}$}} - {\mbox{\boldmath$\textstyle\mathbf{#1}$}} - {\mbox{\boldmath$\scriptstyle\mathbf{#1}$}} - {\mbox{\boldmath$\scriptscriptstyle\mathbf{#1}$}}}} -\else - \def\vec#1{\ensuremath{\mathchoice - {\mbox{\boldmath$\displaystyle#1$}} - {\mbox{\boldmath$\textstyle#1$}} - {\mbox{\boldmath$\scriptstyle#1$}} - {\mbox{\boldmath$\scriptscriptstyle#1$}}}} -\fi -% -\def\tens#1{\ensuremath{\mathsf{#1}}} -% -\setcounter{secnumdepth}{3} -\newcounter {section} -\newcounter {subsection}[section] -\newcounter {subsubsection}[subsection] -\newcounter {paragraph}[subsubsection] -\newcounter {subparagraph}[paragraph] -\renewcommand\thesection {\@arabic\c@section} -\renewcommand\thesubsection {\thesection.\@arabic\c@subsection} -\renewcommand\thesubsubsection{\thesubsection.\@arabic\c@subsubsection} -\renewcommand\theparagraph {\thesubsubsection.\@arabic\c@paragraph} -\renewcommand\thesubparagraph {\theparagraph.\@arabic\c@subparagraph} -% -\def\@hangfrom#1{\setbox\@tempboxa\hbox{#1}% - \hangindent \z@\noindent\box\@tempboxa} -% -\def\@seccntformat#1{\csname the#1\endcsname\sectcounterend -\hskip\betweenumberspace} -% -% \newif\if@sectrule -% \if@twocolumn\else\let\@sectruletrue=\relax\fi -% \if@avier\let\@sectruletrue=\relax\fi -% \def\makesectrule{\if@sectrule\global\@sectrulefalse\null\vglue-\topskip -% \hrule\nobreak\parskip=5pt\relax\fi} -% % -% \let\makesectruleori=\makesectrule -% \def\restoresectrule{\global\let\makesectrule=\makesectruleori\global\@sectrulefalse} -% \def\nosectrule{\let\makesectrule=\restoresectrule} -% -\def\@startsection#1#2#3#4#5#6{% - \if@noskipsec \leavevmode \fi - \par - \@tempskipa #4\relax - \@afterindenttrue - \ifdim \@tempskipa <\z@ - \@tempskipa -\@tempskipa \@afterindentfalse - \fi - \if@nobreak - \everypar{}% - \else - \addpenalty\@secpenalty\addvspace\@tempskipa - \fi -% \ifnum#2=1\relax\@sectruletrue\fi - \@ifstar - {\@ssect{#3}{#4}{#5}{#6}}% - {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}} -% -\def\@sect#1#2#3#4#5#6[#7]#8{% - \ifnum #2>\c@secnumdepth - \let\@svsec\@empty - \else - \refstepcounter{#1}% - \protected@edef\@svsec{\@seccntformat{#1}\relax}% - \fi - \@tempskipa #5\relax - \ifdim \@tempskipa>\z@ - \begingroup - #6{% \makesectrule - \@hangfrom{\hskip #3\relax\@svsec}% - \raggedright - \hyphenpenalty \@M% - \interlinepenalty \@M #8\@@par}% - \endgroup - \csname #1mark\endcsname{#7}% - \addcontentsline{toc}{#1}{% - \ifnum #2>\c@secnumdepth \else - \protect\numberline{\csname the#1\endcsname\sectcounterend}% - \fi - #7}% - \else - \def\@svsechd{% - #6{\hskip #3\relax - \@svsec #8\/\hskip\aftertext}% - \csname #1mark\endcsname{#7}% - \addcontentsline{toc}{#1}{% - \ifnum #2>\c@secnumdepth \else - \protect\numberline{\csname the#1\endcsname}% - \fi - #7}}% - \fi - \@xsect{#5}} -% -\def\@ssect#1#2#3#4#5{% - \@tempskipa #3\relax - \ifdim \@tempskipa>\z@ - \begingroup - #4{% \makesectrule - \@hangfrom{\hskip #1}% - \interlinepenalty \@M #5\@@par}% - \endgroup - \else - \def\@svsechd{#4{\hskip #1\relax #5}}% - \fi - \@xsect{#3}} - -% -% measures and setting of sections -% -\def\section{\@startsection{section}{1}{\z@}% - {-21dd plus-8pt minus-4pt}{10.5dd} - {\normalsize\bfseries\boldmath}} -\def\subsection{\@startsection{subsection}{2}{\z@}% - {-21dd plus-8pt minus-4pt}{10.5dd} - {\normalsize\upshape}} -\def\subsubsection{\@startsection{subsubsection}{3}{\z@}% - {-13dd plus-8pt minus-4pt}{10.5dd} - {\normalsize\itshape}} -\def\paragraph{\@startsection{paragraph}{4}{\z@}% - {-13pt plus-8pt minus-4pt}{\z@}{\normalsize\itshape}} - -\setlength\leftmargini {\parindent} -\leftmargin \leftmargini -\setlength\leftmarginii {\parindent} -\setlength\leftmarginiii {1.87em} -\setlength\leftmarginiv {1.7em} -\setlength\leftmarginv {.5em} -\setlength\leftmarginvi {.5em} -\setlength \labelsep {.5em} -\setlength \labelwidth{\leftmargini} -\addtolength\labelwidth{-\labelsep} -\@beginparpenalty -\@lowpenalty -\@endparpenalty -\@lowpenalty -\@itempenalty -\@lowpenalty -\renewcommand\theenumi{\@arabic\c@enumi} -\renewcommand\theenumii{\@alph\c@enumii} -\renewcommand\theenumiii{\@roman\c@enumiii} -\renewcommand\theenumiv{\@Alph\c@enumiv} -\newcommand\labelenumi{\theenumi.} -\newcommand\labelenumii{(\theenumii)} -\newcommand\labelenumiii{\theenumiii.} -\newcommand\labelenumiv{\theenumiv.} -\renewcommand\p@enumii{\theenumi} -\renewcommand\p@enumiii{\theenumi(\theenumii)} -\renewcommand\p@enumiv{\p@enumiii\theenumiii} -\newcommand\labelitemi{\normalfont\bfseries --} -\newcommand\labelitemii{\normalfont\bfseries --} -\newcommand\labelitemiii{$\m@th\bullet$} -\newcommand\labelitemiv{$\m@th\cdot$} - -\if@spthms -% definition of the "\spnewtheorem" command. -% -% Usage: -% -% \spnewtheorem{env_nam}{caption}[within]{cap_font}{body_font} -% or \spnewtheorem{env_nam}[numbered_like]{caption}{cap_font}{body_font} -% or \spnewtheorem*{env_nam}{caption}{cap_font}{body_font} -% -% New is "cap_font" and "body_font". It stands for -% fontdefinition of the caption and the text itself. -% -% "\spnewtheorem*" gives a theorem without number. -% -% A defined spnewthoerem environment is used as described -% by Lamport. -% -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -\def\@thmcountersep{} -\def\@thmcounterend{} -\newcommand\nocaption{\noexpand\@gobble} -\newdimen\spthmsep \spthmsep=5pt - -\def\spnewtheorem{\@ifstar{\@sthm}{\@Sthm}} - -% definition of \spnewtheorem with number - -\def\@spnthm#1#2{% - \@ifnextchar[{\@spxnthm{#1}{#2}}{\@spynthm{#1}{#2}}} -\def\@Sthm#1{\@ifnextchar[{\@spothm{#1}}{\@spnthm{#1}}} - -\def\@spxnthm#1#2[#3]#4#5{\expandafter\@ifdefinable\csname #1\endcsname - {\@definecounter{#1}\@addtoreset{#1}{#3}% - \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand - \csname the#3\endcsname \noexpand\@thmcountersep \@thmcounter{#1}}% - \expandafter\xdef\csname #1name\endcsname{#2}% - \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}% - \global\@namedef{end#1}{\@endtheorem}}} - -\def\@spynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname - {\@definecounter{#1}% - \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}% - \expandafter\xdef\csname #1name\endcsname{#2}% - \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#3}{#4}}% - \global\@namedef{end#1}{\@endtheorem}}} - -\def\@spothm#1[#2]#3#4#5{% - \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}% - {\expandafter\@ifdefinable\csname #1\endcsname - {\global\@namedef{the#1}{\@nameuse{the#2}}% - \expandafter\xdef\csname #1name\endcsname{#3}% - \global\@namedef{#1}{\@spthm{#2}{\csname #1name\endcsname}{#4}{#5}}% - \global\@namedef{end#1}{\@endtheorem}}}} - -\def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@ -\labelsep=\spthmsep\refstepcounter{#1}% -\@ifnextchar[{\@spythm{#1}{#2}{#3}{#4}}{\@spxthm{#1}{#2}{#3}{#4}}} - -\def\@spxthm#1#2#3#4{\@spbegintheorem{#2}{\csname the#1\endcsname}{#3}{#4}% - \ignorespaces} - -\def\@spythm#1#2#3#4[#5]{\@spopargbegintheorem{#2}{\csname - the#1\endcsname}{#5}{#3}{#4}\ignorespaces} - -\def\normalthmheadings{\def\@spbegintheorem##1##2##3##4{\trivlist\normalfont - \item[\hskip\labelsep{##3##1\ ##2\@thmcounterend}]##4} -\def\@spopargbegintheorem##1##2##3##4##5{\trivlist - \item[\hskip\labelsep{##4##1\ ##2}]{##4(##3)\@thmcounterend\ }##5}} -\normalthmheadings - -\def\reversethmheadings{\def\@spbegintheorem##1##2##3##4{\trivlist\normalfont - \item[\hskip\labelsep{##3##2\ ##1\@thmcounterend}]##4} -\def\@spopargbegintheorem##1##2##3##4##5{\trivlist - \item[\hskip\labelsep{##4##2\ ##1}]{##4(##3)\@thmcounterend\ }##5}} - -% definition of \spnewtheorem* without number - -\def\@sthm#1#2{\@Ynthm{#1}{#2}} - -\def\@Ynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname - {\global\@namedef{#1}{\@Thm{\csname #1name\endcsname}{#3}{#4}}% - \expandafter\xdef\csname #1name\endcsname{#2}% - \global\@namedef{end#1}{\@endtheorem}}} - -\def\@Thm#1#2#3{\topsep 7\p@ \@plus2\p@ \@minus4\p@ -\@ifnextchar[{\@Ythm{#1}{#2}{#3}}{\@Xthm{#1}{#2}{#3}}} - -\def\@Xthm#1#2#3{\@Begintheorem{#1}{#2}{#3}\ignorespaces} - -\def\@Ythm#1#2#3[#4]{\@Opargbegintheorem{#1} - {#4}{#2}{#3}\ignorespaces} - -\def\@Begintheorem#1#2#3{#3\trivlist - \item[\hskip\labelsep{#2#1\@thmcounterend}]} - -\def\@Opargbegintheorem#1#2#3#4{#4\trivlist - \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }} - -% initialize theorem environment - -\if@envcntsect - \def\@thmcountersep{.} - \spnewtheorem{theorem}{Theorem}[section]{\bfseries}{\itshape} -\else - \spnewtheorem{theorem}{Theorem}{\bfseries}{\itshape} - \if@envcntreset - \@addtoreset{theorem}{section} - \else - \@addtoreset{theorem}{chapter} - \fi -\fi - -%definition of divers theorem environments -\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily} -\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily} -\if@envcntsame % all environments like "Theorem" - using its counter - \def\spn@wtheorem#1#2#3#4{\@spothm{#1}[theorem]{#2}{#3}{#4}} -\else % all environments with their own counter - \if@envcntsect % show section counter - \def\spn@wtheorem#1#2#3#4{\@spxnthm{#1}{#2}[section]{#3}{#4}} - \else % not numbered with section - \if@envcntreset - \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4} - \@addtoreset{#1}{section}} - \else - \let\spn@wtheorem=\@spynthm - \fi - \fi -\fi -% -\let\spdefaulttheorem=\spn@wtheorem -% -\spn@wtheorem{case}{Case}{\itshape}{\rmfamily} -\spn@wtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily} -\spn@wtheorem{corollary}{Corollary}{\bfseries}{\itshape} -\spn@wtheorem{definition}{Definition}{\bfseries}{\rmfamily} -\spn@wtheorem{example}{Example}{\itshape}{\rmfamily} -\spn@wtheorem{exercise}{Exercise}{\bfseries}{\rmfamily} -\spn@wtheorem{lemma}{Lemma}{\bfseries}{\itshape} -\spn@wtheorem{note}{Note}{\itshape}{\rmfamily} -\spn@wtheorem{problem}{Problem}{\bfseries}{\rmfamily} -\spn@wtheorem{property}{Property}{\itshape}{\rmfamily} -\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape} -\spn@wtheorem{question}{Question}{\itshape}{\rmfamily} -\spn@wtheorem{solution}{Solution}{\bfseries}{\rmfamily} -\spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily} -% -\newenvironment{theopargself} - {\def\@spopargbegintheorem##1##2##3##4##5{\trivlist - \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5} - \def\@Opargbegintheorem##1##2##3##4{##4\trivlist - \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }}}{} -\newenvironment{theopargself*} - {\def\@spopargbegintheorem##1##2##3##4##5{\trivlist - \item[\hskip\labelsep{##4##1\ ##2}]{\hspace*{-\labelsep}##4##3\@thmcounterend}##5} - \def\@Opargbegintheorem##1##2##3##4{##4\trivlist - \item[\hskip\labelsep{##3##1}]{\hspace*{-\labelsep}##3##2\@thmcounterend}}}{} -% -\fi - -\def\@takefromreset#1#2{% - \def\@tempa{#1}% - \let\@tempd\@elt - \def\@elt##1{% - \def\@tempb{##1}% - \ifx\@tempa\@tempb\else - \@addtoreset{##1}{#2}% - \fi}% - \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname - \expandafter\def\csname cl@#2\endcsname{}% - \@tempc - \let\@elt\@tempd} - -\def\squareforqed{\hbox{\rlap{$\sqcap$}$\sqcup$}} -\def\qed{\ifmmode\else\unskip\quad\fi\squareforqed} -\def\smartqed{\def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfil -\penalty50\hskip1em\null\nobreak\hfil\squareforqed -\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}} - -% Define `abstract' environment -\def\abstract{\topsep=0pt\partopsep=0pt\parsep=0pt\itemsep=0pt\relax -\trivlist\item[\hskip\labelsep -{\bfseries\abstractname}]\if!\abstractname!\hskip-\labelsep\fi} -\if@twocolumn -% \if@avier -% \def\endabstract{\endtrivlist\addvspace{5mm}\strich} -% \def\strich{\hrule\vskip1ptplus12pt} -% \else - \def\endabstract{\endtrivlist\addvspace{3mm}} -% \fi -\else -\fi -% -\newenvironment{verse} - {\let\\\@centercr - \list{}{\itemsep \z@ - \itemindent -1.5em% - \listparindent\itemindent - \rightmargin \leftmargin - \advance\leftmargin 1.5em}% - \item\relax} - {\endlist} -\newenvironment{quotation} - {\list{}{\listparindent 1.5em% - \itemindent \listparindent - \rightmargin \leftmargin - \parsep \z@ \@plus\p@}% - \item\relax} - {\endlist} -\newenvironment{quote} - {\list{}{\rightmargin\leftmargin}% - \item\relax} - {\endlist} -\newcommand\appendix{\par\small - \setcounter{section}{0}% - \setcounter{subsection}{0}% - \renewcommand\thesection{\@Alph\c@section}} -\setlength\arraycolsep{1.5\p@} -\setlength\tabcolsep{6\p@} -\setlength\arrayrulewidth{.4\p@} -\setlength\doublerulesep{2\p@} -\setlength\tabbingsep{\labelsep} -\skip\@mpfootins = \skip\footins -\setlength\fboxsep{3\p@} -\setlength\fboxrule{.4\p@} -\renewcommand\theequation{\@arabic\c@equation} -\newcounter{figure} -\renewcommand\thefigure{\@arabic\c@figure} -\def\fps@figure{tbp} -\def\ftype@figure{1} -\def\ext@figure{lof} -\def\fnum@figure{\figurename~\thefigure} -\newenvironment{figure} - {\@float{figure}} - {\end@float} -\newenvironment{figure*} - {\@dblfloat{figure}} - {\end@dblfloat} -\newcounter{table} -\renewcommand\thetable{\@arabic\c@table} -\def\fps@table{tbp} -\def\ftype@table{2} -\def\ext@table{lot} -\def\fnum@table{\tablename~\thetable} -\newenvironment{table} - {\@float{table}} - {\end@float} -\newenvironment{table*} - {\@dblfloat{table}} - {\end@dblfloat} -% -\def \@floatboxreset {% - \reset@font - \small - \@setnobreak - \@setminipage -} -% -\newcommand{\tableheadseprule}{\noalign{\hrule height.375mm}} -% -\newlength\abovecaptionskip -\newlength\belowcaptionskip -\setlength\abovecaptionskip{10\p@} -\setlength\belowcaptionskip{0\p@} -\newcommand\leftlegendglue{} - -\def\fig@type{figure} - -\newdimen\figcapgap\figcapgap=3pt -\newdimen\tabcapgap\tabcapgap=5.5pt - -\@ifundefined{floatlegendstyle}{\def\floatlegendstyle{\bfseries}}{} - -\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname - ext@#1\endcsname}{#1}{\protect\numberline{\csname - the#1\endcsname}{\ignorespaces #2}}\begingroup - \@parboxrestore - \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par - \endgroup} - -\def\capstrut{\vrule\@width\z@\@height\topskip} - -\@ifundefined{captionstyle}{\def\captionstyle{\normalfont\small}}{} - -\long\def\@makecaption#1#2{% - \captionstyle - \ifx\@captype\fig@type - \vskip\figcapgap - \fi - \setbox\@tempboxa\hbox{{\floatlegendstyle #1\floatcounterend}% - \capstrut #2}% - \ifdim \wd\@tempboxa >\hsize - {\floatlegendstyle #1\floatcounterend}\capstrut #2\par - \else - \hbox to\hsize{\leftlegendglue\unhbox\@tempboxa\hfil}% - \fi - \ifx\@captype\fig@type\else - \vskip\tabcapgap - \fi} - -\newdimen\figgap\figgap=1cc -\long\def\@makesidecaption#1#2{% - \parbox[b]{\@tempdimb}{\captionstyle{\floatlegendstyle - #1\floatcounterend}#2}} -\def\sidecaption#1\caption{% -\setbox\@tempboxa=\hbox{#1\unskip}% -\if@twocolumn - \ifdim\hsize<\textwidth\else - \ifdim\wd\@tempboxa<\columnwidth - \typeout{Double column float fits into single column - - ^^Jyou'd better switch the environment. }% - \fi - \fi -\fi -\@tempdimb=\hsize -\advance\@tempdimb by-\figgap -\advance\@tempdimb by-\wd\@tempboxa -\ifdim\@tempdimb<3cm - \typeout{\string\sidecaption: No sufficient room for the legend; - using normal \string\caption. }% - \unhbox\@tempboxa - \let\@capcommand=\@caption -\else - \let\@capcommand=\@sidecaption - \leavevmode - \unhbox\@tempboxa - \hfill -\fi -\refstepcounter\@captype -\@dblarg{\@capcommand\@captype}} - -\long\def\@sidecaption#1[#2]#3{\addcontentsline{\csname - ext@#1\endcsname}{#1}{\protect\numberline{\csname - the#1\endcsname}{\ignorespaces #2}}\begingroup - \@parboxrestore - \@makesidecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par - \endgroup} - -% Define `acknowledgement' environment -\def\acknowledgement{\par\addvspace{17pt}\small\rmfamily -\trivlist\if!\ackname!\item[]\else -\item[\hskip\labelsep -{\bfseries\ackname}]\fi} -\def\endacknowledgement{\endtrivlist\addvspace{6pt}} -\newenvironment{acknowledgements}{\begin{acknowledgement}} -{\end{acknowledgement}} -% Define `noteadd' environment -\def\noteadd{\par\addvspace{17pt}\small\rmfamily -\trivlist\item[\hskip\labelsep -{\itshape\noteaddname}]} -\def\endnoteadd{\endtrivlist\addvspace{6pt}} - -\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm} -\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf} -\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt} -\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf} -\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit} -\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl} -\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc} -\DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal} -\DeclareRobustCommand*\mit{\@fontswitch\relax\mathnormal} -\newcommand\@pnumwidth{1.55em} -\newcommand\@tocrmarg{2.55em} -\newcommand\@dotsep{4.5} -\setcounter{tocdepth}{1} -\newcommand\tableofcontents{% - \section*{\contentsname}% - \@starttoc{toc}% - \addtocontents{toc}{\begingroup\protect\small}% - \AtEndDocument{\addtocontents{toc}{\endgroup}}% - } -\newcommand*\l@part[2]{% - \ifnum \c@tocdepth >-2\relax - \addpenalty\@secpenalty - \addvspace{2.25em \@plus\p@}% - \begingroup - \setlength\@tempdima{3em}% - \parindent \z@ \rightskip \@pnumwidth - \parfillskip -\@pnumwidth - {\leavevmode - \large \bfseries #1\hfil \hb@xt@\@pnumwidth{\hss #2}}\par - \nobreak - \if@compatibility - \global\@nobreaktrue - \everypar{\global\@nobreakfalse\everypar{}}% - \fi - \endgroup - \fi} -\newcommand*\l@section{\@dottedtocline{1}{0pt}{1.5em}} -\newcommand*\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}} -\newcommand*\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}} -\newcommand*\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}} -\newcommand*\l@subparagraph{\@dottedtocline{5}{10em}{5em}} -\newcommand\listoffigures{% - \section*{\listfigurename - \@mkboth{\listfigurename}% - {\listfigurename}}% - \@starttoc{lof}% - } -\newcommand*\l@figure{\@dottedtocline{1}{1.5em}{2.3em}} -\newcommand\listoftables{% - \section*{\listtablename - \@mkboth{\listtablename}{\listtablename}}% - \@starttoc{lot}% - } -\let\l@table\l@figure -\newdimen\bibindent -\setlength\bibindent{\parindent} -\def\@biblabel#1{#1.} -\def\@lbibitem[#1]#2{\item[{[#1]}\hfill]\if@filesw - {\let\protect\noexpand - \immediate - \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces} -\newenvironment{thebibliography}[1] - {\section*{\refname - \@mkboth{\refname}{\refname}}\small - \list{\@biblabel{\@arabic\c@enumiv}}% - {\settowidth\labelwidth{\@biblabel{#1}}% - \leftmargin\labelwidth - \advance\leftmargin\labelsep - \@openbib@code - \usecounter{enumiv}% - \let\p@enumiv\@empty - \renewcommand\theenumiv{\@arabic\c@enumiv}}% - \sloppy\clubpenalty4000\widowpenalty4000% - \sfcode`\.\@m} - {\def\@noitemerr - {\@latex@warning{Empty `thebibliography' environment}}% - \endlist} -% -\newcount\@tempcntc -\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi - \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do - {\@ifundefined - {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bfseries - ?}\@warning - {Citation `\@citeb' on page \thepage \space undefined}}% - {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}% - \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne - \@citea\def\@citea{,\hskip0.1em\ignorespaces}\hbox{\csname b@\@citeb\endcsname}% - \else - \advance\@tempcntb\@ne - \ifnum\@tempcntb=\@tempcntc - \else\advance\@tempcntb\m@ne\@citeo - \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}} -\def\@citeo{\ifnum\@tempcnta>\@tempcntb\else - \@citea\def\@citea{,\hskip0.1em\ignorespaces}% - \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else - {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else \def\@citea{--}\fi - \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi} -% -\newcommand\newblock{\hskip .11em\@plus.33em\@minus.07em} -\let\@openbib@code\@empty -\newenvironment{theindex} - {\if@twocolumn - \@restonecolfalse - \else - \@restonecoltrue - \fi - \columnseprule \z@ - \columnsep 35\p@ - \twocolumn[\section*{\indexname}]% - \@mkboth{\indexname}{\indexname}% - \thispagestyle{plain}\parindent\z@ - \parskip\z@ \@plus .3\p@\relax - \let\item\@idxitem} - {\if@restonecol\onecolumn\else\clearpage\fi} -\newcommand\@idxitem{\par\hangindent 40\p@} -\newcommand\subitem{\@idxitem \hspace*{20\p@}} -\newcommand\subsubitem{\@idxitem \hspace*{30\p@}} -\newcommand\indexspace{\par \vskip 10\p@ \@plus5\p@ \@minus3\p@\relax} - -\if@twocolumn - \renewcommand\footnoterule{% - \kern-3\p@ - \hrule\@width\columnwidth - \kern2.6\p@} -\else - \renewcommand\footnoterule{% - \kern-3\p@ - \hrule\@width.382\columnwidth - \kern2.6\p@} -\fi -\newcommand\@makefntext[1]{% - \noindent - \hb@xt@\bibindent{\hss\@makefnmark\enspace}#1} -% -\def\trans@english{\switcht@albion} -\def\trans@french{\switcht@francais} -\def\trans@german{\switcht@deutsch} -\newenvironment{translation}[1]{\if!#1!\else -\@ifundefined{selectlanguage}{\csname trans@#1\endcsname}{\selectlanguage{#1}}% -\fi}{} -% languages -% English section -\def\switcht@albion{%\typeout{English spoken.}% - \def\abstractname{Abstract}% - \def\ackname{Acknowledgements}% - \def\andname{and}% - \def\lastandname{, and}% - \def\appendixname{Appendix}% - \def\chaptername{Chapter}% - \def\claimname{Claim}% - \def\conjecturename{Conjecture}% - \def\contentsname{Contents}% - \def\corollaryname{Corollary}% - \def\definitionname{Definition}% - \def\emailname{E-mail}% - \def\examplename{Example}% - \def\exercisename{Exercise}% - \def\figurename{Fig.}% - \def\keywordname{{\bfseries Keywords}}% - \def\indexname{Index}% - \def\lemmaname{Lemma}% - \def\contriblistname{List of Contributors}% - \def\listfigurename{List of Figures}% - \def\listtablename{List of Tables}% - \def\mailname{{\itshape Correspondence to\/}:}% - \def\noteaddname{Note added in proof}% - \def\notename{Note}% - \def\partname{Part}% - \def\problemname{Problem}% - \def\proofname{Proof}% - \def\propertyname{Property}% - \def\questionname{Question}% - \def\refname{References}% - \def\remarkname{Remark}% - \def\seename{see}% - \def\solutionname{Solution}% - \def\tablename{Table}% - \def\theoremname{Theorem}% -}\switcht@albion % make English default -% -% French section -\def\switcht@francais{\svlanginfo -%\typeout{On parle francais.}% - \def\abstractname{R\'esum\'e\runinend}% - \def\ackname{Remerciements\runinend}% - \def\andname{et}% - \def\lastandname{ et}% - \def\appendixname{Appendice}% - \def\chaptername{Chapitre}% - \def\claimname{Pr\'etention}% - \def\conjecturename{Hypoth\`ese}% - \def\contentsname{Table des mati\`eres}% - \def\corollaryname{Corollaire}% - \def\definitionname{D\'efinition}% - \def\emailname{E-mail}% - \def\examplename{Exemple}% - \def\exercisename{Exercice}% - \def\figurename{Fig.}% - \def\keywordname{{\bfseries Mots-cl\'e\runinend}}% - \def\indexname{Index}% - \def\lemmaname{Lemme}% - \def\contriblistname{Liste des contributeurs}% - \def\listfigurename{Liste des figures}% - \def\listtablename{Liste des tables}% - \def\mailname{{\itshape Correspondence to\/}:}% - \def\noteaddname{Note ajout\'ee \`a l'\'epreuve}% - \def\notename{Remarque}% - \def\partname{Partie}% - \def\problemname{Probl\`eme}% - \def\proofname{Preuve}% - \def\propertyname{Caract\'eristique}% -%\def\propositionname{Proposition}% - \def\questionname{Question}% - \def\refname{Bibliographie}% - \def\remarkname{Remarque}% - \def\seename{voyez}% - \def\solutionname{Solution}% -%\def\subclassname{{\it Subject Classifications\/}:}% - \def\tablename{Tableau}% - \def\theoremname{Th\'eor\`eme}% -} -% -% German section -\def\switcht@deutsch{\svlanginfo -%\typeout{Man spricht deutsch.}% - \def\abstractname{Zusammenfassung\runinend}% - \def\ackname{Danksagung\runinend}% - \def\andname{und}% - \def\lastandname{ und}% - \def\appendixname{Anhang}% - \def\chaptername{Kapitel}% - \def\claimname{Behauptung}% - \def\conjecturename{Hypothese}% - \def\contentsname{Inhaltsverzeichnis}% - \def\corollaryname{Korollar}% -%\def\definitionname{Definition}% - \def\emailname{E-Mail}% - \def\examplename{Beispiel}% - \def\exercisename{\"Ubung}% - \def\figurename{Abb.}% - \def\keywordname{{\bfseries Schl\"usselw\"orter\runinend}}% - \def\indexname{Index}% -%\def\lemmaname{Lemma}% - \def\contriblistname{Mitarbeiter}% - \def\listfigurename{Abbildungsverzeichnis}% - \def\listtablename{Tabellenverzeichnis}% - \def\mailname{{\itshape Correspondence to\/}:}% - \def\noteaddname{Nachtrag}% - \def\notename{Anmerkung}% - \def\partname{Teil}% -%\def\problemname{Problem}% - \def\proofname{Beweis}% - \def\propertyname{Eigenschaft}% -%\def\propositionname{Proposition}% - \def\questionname{Frage}% - \def\refname{Literatur}% - \def\remarkname{Anmerkung}% - \def\seename{siehe}% - \def\solutionname{L\"osung}% -%\def\subclassname{{\it Subject Classifications\/}:}% - \def\tablename{Tabelle}% -%\def\theoremname{Theorem}% -} -\newcommand\today{} -\edef\today{\ifcase\month\or - January\or February\or March\or April\or May\or June\or - July\or August\or September\or October\or November\or December\fi - \space\number\day, \number\year} -\setlength\columnsep{1.5cc} -\setlength\columnseprule{0\p@} -% -\frenchspacing -\clubpenalty=10000 -\widowpenalty=10000 -\def\thisbottomragged{\def\@textbottom{\vskip\z@ plus.0001fil -\global\let\@textbottom\relax}} -\pagestyle{headings} -\pagenumbering{arabic} -\if@twocolumn - \twocolumn -\fi -%\if@avier -% \onecolumn -% \setlength{\textwidth}{156mm} -% \setlength{\textheight}{226mm} -%\fi -\if@referee - \makereferee -\fi -\flushbottom -\endinput -%% -%% End of file `svjour3.cls'.