Laboratory 4 (LEX vs C)
作者:
Jorge Adrian Padilla Velasco
最近上传:
6 年前
许可:
Creative Commons CC BY 4.0
摘要:
Laboratory where LEX is compared to C
\begin
Discover why over 20 million people worldwide trust Overleaf with their work.
Laboratory where LEX is compared to C
\begin
Discover why over 20 million people worldwide trust Overleaf with their work.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%2345678901234567890123456789012345678901234567890123456789012345678901234567890
% 1 2 3 4 5 6 7 8
\documentclass[letterpaper, 10 pt, conference]{ieeeconf} % Comment this line out
% if you need a4paper
%\documentclass[a4paper, 10pt, conference]{ieeeconf} % Use this line for a4
% paper
\IEEEoverridecommandlockouts % This command is only
% needed if you want to
% use the \thanks command
\overrideIEEEmargins
% See the \addtolength command later in the file to balance the column lengths
% on the last page of the document
% The following packages can be found on http:\\www.ctan.org
%\usepackage{graphics} % for pdf, bitmapped graphics files
%\usepackage{epsfig} % for postscript graphics files
%\usepackage{mathptmx} % assumes new font selection scheme installed
%\usepackage{times} % assumes new font selection scheme installed
%\usepackage{amsmath} % assumes amsmath package installed
%\usepackage{amssymb} % assumes amsmath package installed
\usepackage{hyperref}
\usepackage{graphicx}
\graphicspath{ {/home/yorchpave/pictures/} }
\title{\LARGE \bf
Laboratory 4
}
%\author{ \parbox{3 in}{\centering Huibert Kwakernaak*
% \thanks{*Use the $\backslash$thanks command to put information here}\\
% Faculty of Electrical Engineering, Mathematics and Computer Science\\
% University of Twente\\
% 7500 AE Enschede, The Netherlands\\
% {\tt\small h.kwakernaak@autsubmit.com}}
% \hspace*{ 0.5 in}
% \parbox{3 in}{ \centering Pradeep Misra**
% \thanks{**The footnote marks may be inserted manually}\\
% Department of Electrical Engineering \\
% Wright State University\\
% Dayton, OH 45435, USA\\
% {\tt\small pmisra@cs.wright.edu}}
%}
\author{Jorge Adrian Padilla Velasco}% <-this % stops a space
\begin{document}
\maketitle
\thispagestyle{empty}
\pagestyle{empty}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{abstract}
The objective of this laboratory is to understand the power of the LEX language. To do so, we compared two files (lex.c and compiler.l) that do a lexical analysis of a third file (random\textunderscore code.ac).
\end{abstract}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{INTRODUCTION}
LEX is a program designed to generate scanners, also known as tokenizers, which recognize lexical patterns in text. Lex is an acronym that stands for "lexical analyzer generator." It is intended primarily for Unix-based systems. The code for Lex was originally developed by Eric Schmidt and Mike Lesk.
Lex can perform simple transformations by itself but its main purpose is to facilitate lexical analysis, the processing of character sequences such as source code to produce symbol sequences called tokens for use as input to other programs such as parsers. Lex can be used with a parser generator to perform lexical analysis. It is easy, for example, to interface Lex and Yacc, an open source program that generates code for the parser in the C programming language.
Lex is proprietary but versions based on the original code are available as open source. These include a streamlined version called Flex, an acronym for "fast lexical analyzer generator," as well as components of OpenSolaris and Plan 9.
\section{PROBLEM DESCRIPTION}
We have to generate a LEX code (compiler.l) to parse an ac file (example.ac). For example, the ac file could be something like:
\begin{verbatim}
//basic code
//float b
f b
// integer a
i a
// a = 5
a = 5
// b = a + 3.2
b = a + 3.2
//print 8.5
p b
\end{verbatim}
And the output should be something like:
\begin{verbatim}
COMMENT
COMMENT
floatdcl id
COMMENT
intdcl id
COMMENT
id assign inum
COMMENT
id assign id plus fnum
COMMENT
print id
\end{verbatim}
The LEX code should compile with a Makefile as follows:
\begin{verbatim}
make
lex compiler.l
gcc lex.yy.c -o compiler -ll
\end{verbatim}
In order to generate the ac file, we have to add --stress as a parameter when executing the python script that was given to us so it generates stress examples for us to try:
\begin{verbatim}
python3 code_generator.py --stress
\end{verbatim}
This will generate a huge ac random code (random\textunderscore code.ac). Now we have to run our solution (compiler.l) and check how much time it takes to do the LEX part of the compiler.
Once we have done that, now we have to compare that time with the time it takes for the code we generated (lex.c) for the previous laboratory (lab 3) to run, using the same random\textunderscore code.ac file.
\section{SOLUTION}
First, we try our LEX file with the huge random ac code generated by running:
\begin{verbatim}
make
time ./compiler random_code.ac
\end{verbatim}
The code can be checked out on: \href{https://github.com/yorchpave/Compilers/tree/master/04}{GitHub}.\newline
Now, we do the same thing with our C code (lex.c) we created for laboratory 3:
\begin{verbatim}
make
time ./lex random_code.ac
\end{verbatim}
The code can be checked out on: \href{https://github.com/yorchpave/Compilers/tree/master/03}{GitHub}.
\section{RESULTS}
After executing our LEX code (compiler.l), we get the following output regarding the execution time taken:
\begin{verbatim}
real 0m3.218s
user 0m0.382s
sys 0m0.838s
\end{verbatim}
After executing our C code (lex.c), we get the following output regarding the execution time taken:
\begin{verbatim}
real 0m2.753s
user 0m0.232s
sys 0m0.716s
\end{verbatim}
To visualize better these outputs, we compared them using a graph:
\begin{figure}[h]
\includegraphics[width=\linewidth]{graph.png}
\caption{C vs LEX execution time.}
\label{fig:graph}
\end{figure}
\section{CONCLUSIONS}
The token descriptions that LEX uses are known as regular expressions, extended versions of the familiar patterns used by the grep and egrep commands. LEX turns these regular expressions into a form that the lexer can use to scan the input text extremely fast, independent of the number of expressions that it is trying to match. A LEX lexer is almost always faster than a lexer that we might write in C. An example where this is not the case, is the one presented on this paper. As we can see in Fig. 1, on the RESULTS section, the C compiler written for laboratory 3 was a tiny bit faster than the LEX compiler written for laboratory 4.
As the input is divided into tokens, a program often needs to establish the relationship among the tokens. A C compiler needs to find the expressions, statements, declarations, blocks, and procedures in the program. This task is known as parsing and the list of rules that define the relationships that the program understands is a grammar. Yacc takes a concise description of a grammar and produces a C routine that can parse that grammar, a parser. The yacc parser automatically detects whenever a sequence of input tokens matches one of the rules in the grammar and also detects a syntax error whenever its input does not match any of the rules. A yacc parser is generally not as fast as a parser you could write by hand, but the ease in writing and modifying the parser is invariably worth any speed loss. The amount of time a program spends in a parser is rarely enough to be an issue anyway.
\addtolength{\textheight}{-12cm} % This command serves to balance the column lengths
% on the last page of the document manually. It shortens
% the textheight of the last page by a suitable amount.
% This command does not take effect until the next page
% so it should come on the page before the last. Make
% sure that you do not shorten the textheight too much.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{thebibliography}{99}
\bibitem{c1} T. Mason, D. Brown, J. Levine, Lex \& Yacc, 2nd edition.
\bibitem{c2} M. Rose, Lex (lexical analyzer generator). Recovered from: \href{https://whatis.techtarget.com/definition/Lex-lexical-analyzer-generator}{https://whatis.techtarget.com/definition/Lex-lexical-analyzer-generator}
\end{thebibliography}
\end{document}