diff options
| author | manuel <manuel@mausz.at> | 2012-03-26 12:54:45 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2012-03-26 12:54:45 +0200 |
| commit | b5f0874cd96ee2a62aabc645b9626c2749cb6a01 (patch) | |
| tree | 1262e4bbe0634de6650be130c36e0538240f4cbf /doc/pintos_9.html | |
| download | progos-b5f0874cd96ee2a62aabc645b9626c2749cb6a01.tar.gz progos-b5f0874cd96ee2a62aabc645b9626c2749cb6a01.tar.bz2 progos-b5f0874cd96ee2a62aabc645b9626c2749cb6a01.zip | |
initial pintos checkin
Diffstat (limited to 'doc/pintos_9.html')
| -rw-r--r-- | doc/pintos_9.html | 143 |
1 files changed, 143 insertions, 0 deletions
diff --git a/doc/pintos_9.html b/doc/pintos_9.html new file mode 100644 index 0000000..b63a0ba --- /dev/null +++ b/doc/pintos_9.html | |||
| @@ -0,0 +1,143 @@ | |||
| 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" | ||
| 2 | "http://www.w3.org/TR/html40/loose.dtd"> | ||
| 3 | <HTML> | ||
| 4 | <!-- Created on March, 6 2012 by texi2html 1.66 --> | ||
| 5 | <!-- | ||
| 6 | Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author) | ||
| 7 | Karl Berry <karl@freefriends.org> | ||
| 8 | Olaf Bachmann <obachman@mathematik.uni-kl.de> | ||
| 9 | and many others. | ||
| 10 | Maintained by: Many creative people <dev@texi2html.cvshome.org> | ||
| 11 | Send bugs and suggestions to <users@texi2html.cvshome.org> | ||
| 12 | |||
| 13 | --> | ||
| 14 | <HEAD> | ||
| 15 | <TITLE>Pintos Projects: Development Tools</TITLE> | ||
| 16 | |||
| 17 | <META NAME="description" CONTENT="Pintos Projects: Development Tools"> | ||
| 18 | <META NAME="keywords" CONTENT="Pintos Projects: Development Tools"> | ||
| 19 | <META NAME="resource-type" CONTENT="document"> | ||
| 20 | <META NAME="distribution" CONTENT="global"> | ||
| 21 | <META NAME="Generator" CONTENT="texi2html 1.66"> | ||
| 22 | <LINK REL="stylesheet" HREF="pintos.css"> | ||
| 23 | </HEAD> | ||
| 24 | |||
| 25 | <BODY > | ||
| 26 | |||
| 27 | <A NAME="SEC109"></A> | ||
| 28 | <TABLE CELLPADDING=1 CELLSPACING=1 BORDER=0> | ||
| 29 | <TR><TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos_8.html#SEC96"> << </A>]</TD> | ||
| 30 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos_9.html#SEC110"> >> </A>]</TD> | ||
| 31 | <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos.html#SEC_Top">Top</A>]</TD> | ||
| 32 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos.html#SEC_Contents">Contents</A>]</TD> | ||
| 33 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[Index]</TD> | ||
| 34 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos_abt.html#SEC_About"> ? </A>]</TD> | ||
| 35 | </TR></TABLE> | ||
| 36 | |||
| 37 | <HR SIZE=2> | ||
| 38 | <H1> E. Development Tools </H1> | ||
| 39 | <!--docid::SEC109::--> | ||
| 40 | <P> | ||
| 41 | |||
| 42 | Here are some tools that you might find useful while developing code. | ||
| 43 | </P> | ||
| 44 | <P> | ||
| 45 | |||
| 46 | <A NAME="Tags"></A> | ||
| 47 | <HR SIZE="6"> | ||
| 48 | <A NAME="SEC110"></A> | ||
| 49 | <H2> E.1 Tags </H2> | ||
| 50 | <!--docid::SEC110::--> | ||
| 51 | <P> | ||
| 52 | |||
| 53 | Tags are an index to the functions and global variables declared in a | ||
| 54 | program. Many editors, including Emacs and <CODE>vi</CODE>, can use | ||
| 55 | them. The <Q><TT>Makefile</TT></Q> in <Q><TT>pintos/src</TT></Q> produces Emacs-style | ||
| 56 | tags with the command <CODE>make TAGS</CODE> or <CODE>vi</CODE>-style tags with | ||
| 57 | <CODE>make tags</CODE>. | ||
| 58 | </P> | ||
| 59 | <P> | ||
| 60 | |||
| 61 | In Emacs, use <KBD>M-.</KBD> to follow a tag in the current window, | ||
| 62 | <KBD>C-x 4 .</KBD> in a new window, or <KBD>C-x 5 .</KBD> in a new frame. If | ||
| 63 | your cursor is on a symbol name for any of those commands, it becomes | ||
| 64 | the default target. If a tag name has multiple definitions, <KBD>M-0 | ||
| 65 | M-.</KBD> jumps to the next one. To jump back to where you were before | ||
| 66 | you followed the last tag, use <KBD>M-*</KBD>. | ||
| 67 | </P> | ||
| 68 | <P> | ||
| 69 | |||
| 70 | <A NAME="cscope"></A> | ||
| 71 | <HR SIZE="6"> | ||
| 72 | <A NAME="SEC111"></A> | ||
| 73 | <H2> E.2 cscope </H2> | ||
| 74 | <!--docid::SEC111::--> | ||
| 75 | <P> | ||
| 76 | |||
| 77 | The <CODE>cscope</CODE> program also provides an index to functions and | ||
| 78 | variables declared in a program. It has some features that tag | ||
| 79 | facilities lack. Most notably, it can find all the points in a | ||
| 80 | program at which a given function is called. | ||
| 81 | </P> | ||
| 82 | <P> | ||
| 83 | |||
| 84 | The <Q><TT>Makefile</TT></Q> in <Q><TT>pintos/src</TT></Q> produces <CODE>cscope</CODE> | ||
| 85 | indexes when it is invoked as <CODE>make cscope</CODE>. Once the index has | ||
| 86 | been generated, run <CODE>cscope</CODE> from a shell command line; no | ||
| 87 | command-line arguments are normally necessary. Then use the arrow | ||
| 88 | keys to choose one of the search criteria listed near the bottom of | ||
| 89 | the terminal, type in an identifier, and hit <KBD>Enter</KBD>. | ||
| 90 | <CODE>cscope</CODE> will then display the matches in the upper part of | ||
| 91 | the terminal. You may use the arrow keys to choose a particular | ||
| 92 | match; if you then hit <KBD>Enter</KBD>, <CODE>cscope</CODE> will invoke the | ||
| 93 | default system editor<A NAME="DOCF7" HREF="pintos_fot.html#FOOT7">(7)</A> and position the | ||
| 94 | cursor on that match. To start a new search, type <KBD>Tab</KBD>. To exit | ||
| 95 | <CODE>cscope</CODE>, type <KBD>Ctrl-d</KBD>. | ||
| 96 | </P> | ||
| 97 | <P> | ||
| 98 | |||
| 99 | Emacs and some versions of <CODE>vi</CODE> have their own interfaces to | ||
| 100 | <CODE>cscope</CODE>. For information on how to use these interface, | ||
| 101 | visit <A HREF="http://cscope.sourceforge.net, the <CODE>cscope</CODE> home | ||
| 102 | page">http://cscope.sourceforge.net, the <CODE>cscope</CODE> home | ||
| 103 | page</A>. | ||
| 104 | </P> | ||
| 105 | <P> | ||
| 106 | |||
| 107 | <A NAME="git"></A> | ||
| 108 | <HR SIZE="6"> | ||
| 109 | <A NAME="SEC112"></A> | ||
| 110 | <H2> E.3 git </H2> | ||
| 111 | <!--docid::SEC112::--> | ||
| 112 | <P> | ||
| 113 | |||
| 114 | git is a version-control system. That is, you can use it to keep | ||
| 115 | track of multiple versions of files. The idea is that you do some | ||
| 116 | work on your code and test it, then check it into the version-control | ||
| 117 | system. If you decide that the work you've done since your last | ||
| 118 | check-in is no good, you can easily revert to the last checked-in | ||
| 119 | version. Furthermore, you can retrieve any old version of your code | ||
| 120 | as of some given day and time. The version control logs tell you who | ||
| 121 | made changes and when. | ||
| 122 | </P> | ||
| 123 | <P> | ||
| 124 | |||
| 125 | <A NAME="Bibliography"></A> | ||
| 126 | <HR SIZE="6"> | ||
| 127 | <TABLE CELLPADDING=1 CELLSPACING=1 BORDER=0> | ||
| 128 | <TR><TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos_9.html#SEC109"> << </A>]</TD> | ||
| 129 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos_10.html#SEC113"> >> </A>]</TD> | ||
| 130 | <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos.html#SEC_Top">Top</A>]</TD> | ||
| 131 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos.html#SEC_Contents">Contents</A>]</TD> | ||
| 132 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[Index]</TD> | ||
| 133 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos_abt.html#SEC_About"> ? </A>]</TD> | ||
| 134 | </TR></TABLE> | ||
| 135 | <BR> | ||
| 136 | <FONT SIZE="-1"> | ||
| 137 | This document was generated | ||
| 138 | by on <I>March, 6 2012</I> | ||
| 139 | using <A HREF="http://texi2html.cvshome.org"><I>texi2html</I></A> | ||
| 140 | </FONT> | ||
| 141 | |||
| 142 | </BODY> | ||
| 143 | </HTML> | ||
