Subversion Repositories HelenOS-doc

Rev

Rev 152 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
125 decky 1
\chapter{Running HelenOS}
2
 
143 palkovsky 3
\section{Kernel Start}
4
When the HelenOS kernel starts up, it configures its output device
5
and starts booting. During the boot process it writes out some some
6
lines regarding memory size and available CPUs. The userspace
7
drivers and tasks take over the console as soon as the start-up activity
8
and developer kernel tests are finished.
9
 
10
The console driver provides 12 virtual consoles, 11 reserved
11
for applications, console 12 is reserved for kernel console. Pressing 
12
function keys F1-F12 switches between the consoles. 
13
 
154 palkovsky 14
If the architecture supports framebuffer device larger with 
15
resolution at least 800x600, nice graphical console is shown. At the top
16
of the screen a row of buttons for the virtual console is drawn. If
17
the button contains console number, an application is connected to it.
18
The red button signifies that there was an activity on the terminal
19
since it was last shown to the user.
20
 
143 palkovsky 21
\section{KConsole}
22
KConsole is a kernel thread operating completely in priviledged mode.
144 palkovsky 23
It allows user to interact directly with the kernel and even start directly
143 palkovsky 24
functions inside the kernel. 
25
 
26
The KConsole is shown by switching to console number 12. On some platforms
27
the kconsole screen is not restored to its previous contents. Press
28
enter to see a KConsole prompt. The function keys for switching terminals
144 palkovsky 29
do not work in KConsole, to switch back to other console, use
143 palkovsky 30
the {\em continue} command. After executing the command, press a function key
31
to switch to other consoles. 
32
 
33
The basic editing facilities are very similar to {\em readline} conventions. 
34
The left and right arrows, backspace and delete keys allow for convenient
35
editing of the text. The history of last ten commands can be retrieved
36
using up and down arrows. KConsole supports tab completion, double tab
37
shows a list of available commands. 
38
 
39
The first class of commands prints useful statistics from the running
40
operating systems. The commands are:
144 palkovsky 41
\begin{description}
42
\item[zones] --- Prints a list of memory zones. 
43
\item[zone $<$zone number$>$] --- Prints a detailed statistics about frame allocator.
44
\item[slabs] --- Prints a details statistics about slab allocator.
45
\item[scheduler] --- Prints scheduler queues on all cpus.
46
\item[threads] --- Prints list of existing threads, including information about 
47
the thread state
48
\item[tasks] --- Prints list of tasks along with some basic IPC informations.
49
\item[ipc\_task $<$taskid$>$] --- Prints detailed information about IPC queues of a particular task.
50
\item[tlb] --- Prints contents of the Translation Lookaside Buffer on a processor (supported only on some platforms)
51
\item[exc] --- Prints table of registered exception handlers
52
\end{description}
143 palkovsky 53
 
54
Kernel contains a searchable version of its symbol table. This is used
55
in error processing as well as for extending functionality of KConsole.
56
The following commands are supported:
144 palkovsky 57
\begin{description}
58
\item[symaddr $<$address$>$] --- Finds an address in symbol table and prints appropriate 
143 palkovsky 59
symbol name.
144 palkovsky 60
\item[call0, call1... $<$function$>$ $<$args...$>$] --- Calls a C function function(args...).
143 palkovsky 61
Note that the tab-completion works for the function names. Because
62
of architecture calling convention, this command does not work correctly
63
on the ia64 platform. The arguments can be specified 
144 palkovsky 64
 \begin{itemize}
65
  \item as a number or hexadecimal number: call1 task\_kill 8
66
  \item as a string: call1 printf "Hello world"
67
  \item as a hexadecimal number preceded by '*'. The argument is then read from
143 palkovsky 68
the given address: call2 printf "%X" *0x8000000
144 palkovsky 69
  \item as a symbol name. In such case the value located in the memory
143 palkovsky 70
    in the symbols address is used: call2 printf "%d" task_counter
144 palkovsky 71
  \item as a symbol name preceded by '\&'. The address is used.
72
  \item as a symbol name preceded by '*'. In such a case the symbol is dereferenced.
73
 \end{itemize}
74
\item[set4 <address|symbol name>] --- Saves 4-byte value on a given address.
75
\end{description}
143 palkovsky 76
 
77
The mips, ia32 and amd64 platforms provide additional commands regarding
78
debugging facility - set and clear hardware breakpoints and watchpoints.
79
 
154 palkovsky 80
\section{KConsole Task Control}
81
KConsole {\em call} commands can be used to start and kill the tasks.
82
To repeatably start the task, the following procedure should be used:
83
\begin{verbatim}
84
.... kernel boot data ....
85
init[8].addr=0x8027b000, init[8].size=86016
86
.... rest of boot data ...
87
kconsole> call2 task_run_program 0x8027b000 0
88
Calling f(0x8027b000,0): 0x80119283: generic/src/proc/task.o:task_run_program
89
Result: 0x80086500
90
\end{verbatim}
91
 
92
To kill a task, the function {\em task\_kill} is appropriate. The {\em taskid}
93
parameter is a 64-bit number on all platforms, thus on the 32-bit platforms
94
call2 should be used with 2 32-bit parameters instead.
95
\begin{verbatim}
96
kconsole> call2 task_kill 8 0
97
Calling f(0x8,0x0): 0x801197e8: generic/src/proc/task.o:task_kill
98
Result: 0x0
99
\end{verbatim}
100
 
143 palkovsky 101
\section{Emergency Functions}
152 palkovsky 102
It may happen that the IPC communication dies or that there appear some
143 palkovsky 103
problems in the communication chain 
104
{\em keboard driver} - {\em console} - {\em output driver}.
105
As long that at least the keyboard driver works, pressing Escape key three
152 palkovsky 106
times transfers control to the KConsole immediately. Because the screen is not 
150 palkovsky 107
updated, the user should press Enter to see the kconsole prompt.
143 palkovsky 108
 
109
If a kernel panic occurs, the error handling automatially switches control
110
to the KConsole and allows users to inspect the failed kernel online.
111
On the SMP system the other processors are halted immediately. The kernel
112
contains its symbol table, so you can probably read some useful information
144 palkovsky 113
about the exact place where the panic occured.
152 palkovsky 114
 
115
\section{How to Do a Kernel Panic}
116
Kernel panic is extremely rare in HelenOS. However, if the user wishes to
117
simulate it, KConsole contains proper commands. For example the following
118
command simulates a write to the unmapped address 0x4:
119
\begin{verbatim}
120
kconsole> set4 4 0
121
\end{verbatim}
122
 
123
To test the autodebugging possibilities of the IA32 platform, the following
124
sequence can be executed:
125
\begin{verbatim}
126
kconsole> bkpts
127
0. 0x80032010 in (NULL)
128
    Count(0)
129
kconsole> set4 0x80032010 0
130
**** Found ZERO on address 0x0 ****
131
Reached breakpoint 0:0x8011552a(generic/src/console/cmd.o:cmd_set4)
132
***Type 'exit' to exit kconsole.
133
debug> 
134
\end{verbatim}
135
 
136
 
137
\section{KLog}
138
To avoid disturbing the framebuffer driver with kernel messages, a circular
139
buffer communication between kernel and userspace area is established. 
140
Non-critical messages are sent to the
141
KLog application. User can see messages about task faults
142
and task cleanup completion.
143
 
154 palkovsky 144
\section{IPCC - testing application}
145
To test thouroughly some aspects of the task activities, IPCC application
146
allows user to generate page faults
152 palkovsky 147
 
148
\section{Tetris}