Rev 154 | 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 |
||
166 | jermar | 7 | drivers and tasks take over the console as soon as the start-up activities are finished. |
8 | When kernel tests are compiled in, the userspace layer is not started. |
||
143 | palkovsky | 9 | |
166 | jermar | 10 | The console driver provides 12 virtual consoles, 11 are used |
143 | palkovsky | 11 | for applications, console 12 is reserved for kernel console. Pressing |
12 | function keys F1-F12 switches between the consoles. |
||
13 | |||
166 | jermar | 14 | If the architecture supports framebuffer device with |
15 | at least 800x600 resolution, a nice graphical console is shown. At the top |
||
16 | of the screen, a row of buttons for the virtual console is drawn. If |
||
154 | palkovsky | 17 | the button contains console number, an application is connected to it. |
166 | jermar | 18 | The red button means that there was an activity on the terminal |
154 | palkovsky | 19 | since it was last shown to the user. |
20 | |||
166 | jermar | 21 | \section{Kernel Console} |
22 | {\em kconsole} is a kernel thread operating completely in priviledged mode. |
||
23 | It allows the user to interact directly with the kernel and even start directly |
||
143 | palkovsky | 24 | functions inside the kernel. |
25 | |||
166 | jermar | 26 | The kernel console is shown by switching to console number 12. On some platforms |
143 | palkovsky | 27 | the kconsole screen is not restored to its previous contents. Press |
166 | jermar | 28 | enter to see {\em kconsole}'s prompt. The function keys for switching terminals |
29 | do not work in the console. In order to switch back to other consoles, use |
||
143 | palkovsky | 30 | the {\em continue} command. After executing the command, press a function key |
166 | jermar | 31 | to switch to the console of your choice. |
143 | palkovsky | 32 | |
33 | The basic editing facilities are very similar to {\em readline} conventions. |
||
166 | jermar | 34 | The left and right arrows, backspace and delete keys allow convenient |
35 | editing of text. The history of last ten commands can be retrieved |
||
36 | using up and down arrows. The kernel console supports tab completion, double tab |
||
37 | shows a list of available commands. |
||
143 | palkovsky | 38 | |
39 | The first class of commands prints useful statistics from the running |
||
40 | operating systems. The commands are: |
||
144 | palkovsky | 41 | \begin{description} |
166 | jermar | 42 | \item[zones] --- Prints a list of memory zones. |
43 | \item[zone $<$zone number$>$] --- Prints a detailed statistics about the frame allocator. |
||
44 | \item[slabs] --- Prints detailed statistics about the slab allocator. |
||
45 | \item[scheduler] --- Prints out the contents of scheduler run queues for all cpus. |
||
144 | palkovsky | 46 | \item[threads] --- Prints list of existing threads, including information about |
166 | jermar | 47 | their state. |
48 | \item[tasks] --- Prints list of tasks along with some basic IPC information. |
||
144 | palkovsky | 49 | \item[ipc\_task $<$taskid$>$] --- Prints detailed information about IPC queues of a particular task. |
166 | jermar | 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. |
||
144 | palkovsky | 52 | \end{description} |
143 | palkovsky | 53 | |
166 | jermar | 54 | The kernel contains a searchable version of its symbol table. This is used |
55 | in error processing as well as for extending functionality of the kernel console. |
||
143 | palkovsky | 56 | The following commands are supported: |
144 | palkovsky | 57 | \begin{description} |
166 | jermar | 58 | \item[symaddr $<$address$>$] --- Finds an address in symbol table and prints the appropriate |
143 | palkovsky | 59 | symbol name. |
166 | jermar | 60 | \item[call0, call1... $<$function$>$ $<$args...$>$] --- Calls a C function {\em function(args...)}. |
61 | Note that the tab-completion also works for function names. Because |
||
143 | palkovsky | 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" |
||
166 | jermar | 67 | \item as a hexadecimal number preceeded by '*'. The argument is then read from |
143 | palkovsky | 68 | the given address: call2 printf "%X" *0x8000000 |
166 | jermar | 69 | \item as a symbol name. In such case, the value located in the memory |
70 | location corresponding to the symbol name is used: call2 printf "%d" task_counter |
||
71 | \item as a symbol name preceeded by '\&'. The address is used. |
||
72 | \item as a symbol name preceeded by '*'. In such case, the symbol is dereferenced. |
||
144 | palkovsky | 73 | \end{itemize} |
166 | jermar | 74 | \item[set4 <address|symbol name>] --- Stores a 4-byte value into a given address. |
144 | palkovsky | 75 | \end{description} |
143 | palkovsky | 76 | |
166 | jermar | 77 | The mips32, ia32 and amd64 platforms provide additional commands regarding |
143 | palkovsky | 78 | debugging facility - set and clear hardware breakpoints and watchpoints. |
79 | |||
166 | jermar | 80 | \section{Kernel Console Task Control} |
81 | The kconsole {\em call} commands can be used to start and kill tasks. |
||
82 | To repeatably start a task, the following procedure should be used: |
||
154 | palkovsky | 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 | |||
166 | jermar | 92 | To kill a task, use of the function {\em task\_kill} is appropriate. The {\em taskid} |
154 | palkovsky | 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} |
166 | jermar | 102 | It may happen that the IPC communication dies or that some |
103 | problems arise in the communication chain |
||
143 | palkovsky | 104 | {\em keboard driver} - {\em console} - {\em output driver}. |
166 | jermar | 105 | As long as at least the keyboard driver works, pressing Escape key three |
106 | times transfers control to the kernel console 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 |
||
166 | jermar | 117 | simulate it, the kernel console contains proper commands. For example, the following |
152 | palkovsky | 118 | command simulates a write to the unmapped address 0x4: |
119 | \begin{verbatim} |
||
120 | kconsole> set4 4 0 |
||
121 | \end{verbatim} |
||
122 | |||
166 | jermar | 123 | To test the autodebugging possibilities of the ia32 platform, the following |
152 | palkovsky | 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} |
||
166 | jermar | 138 | In order to avoid disturbing the framebuffer driver with kernel messages, a circular |
139 | buffer communication between the kernel and the userspace area is established. |
||
140 | Non-critical messages are sent to the KLog application. The user can see messages about |
||
141 | task faults and task cleanup completion. |
||
152 | palkovsky | 142 | |
154 | palkovsky | 143 | \section{IPCC - testing application} |
166 | jermar | 144 | For the sake of thourough testing of some aspects of task activities, IPCC application |
145 | allows the user to generate faulting behaviour such as page faults and unaligned references\footnote{Some architectures |
||
146 | do not fault on an unaligned memory reference.}. |
||
152 | palkovsky | 147 |