Subversion Repositories HelenOS-historic

Rev

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

Rev Author Line No. Line
510 jermar 1
/*
2
 * Copyright (C) 2005 Jakub Jermar
3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
28
 
1264 jermar 29
/**
30
 * @file    kconsole.c
31
 * @brief   Kernel console.
32
 *
33
 * This file contains kernel thread managing the kernel console.
34
 */
35
 
518 jermar 36
#include <console/kconsole.h>
510 jermar 37
#include <console/console.h>
38
#include <console/chardev.h>
596 jermar 39
#include <console/cmd.h>
510 jermar 40
#include <print.h>
517 jermar 41
#include <panic.h>
510 jermar 42
#include <typedefs.h>
43
#include <arch/types.h>
788 jermar 44
#include <adt/list.h>
517 jermar 45
#include <arch.h>
46
#include <macros.h>
518 jermar 47
#include <debug.h>
596 jermar 48
#include <func.h>
582 palkovsky 49
#include <symtab.h>
609 palkovsky 50
#include <macros.h>
510 jermar 51
 
517 jermar 52
/** Simple kernel console.
53
 *
54
 * The console is realized by kernel thread kconsole.
518 jermar 55
 * It doesn't understand any useful command on its own,
56
 * but makes it possible for other kernel subsystems to
517 jermar 57
 * register their own commands.
58
 */
59
 
60
/** Locking.
61
 *
62
 * There is a list of cmd_info_t structures. This list
63
 * is protected by cmd_lock spinlock. Note that specially
64
 * the link elements of cmd_info_t are protected by
65
 * this lock.
66
 *
67
 * Each cmd_info_t also has its own lock, which protects
68
 * all elements thereof except the link element.
69
 *
70
 * cmd_lock must be acquired before any cmd_info lock.
71
 * When locking two cmd info structures, structure with
72
 * lower address must be locked first.
73
 */
74
 
623 jermar 75
SPINLOCK_INITIALIZE(cmd_lock);  /**< Lock protecting command list. */
624 jermar 76
LIST_INITIALIZE(cmd_head);  /**< Command list. */
517 jermar 77
 
78
static cmd_info_t *parse_cmdline(char *cmdline, size_t len);
518 jermar 79
static bool parse_argument(char *cmdline, size_t len, index_t *start, index_t *end);
601 palkovsky 80
static char history[KCONSOLE_HISTORY][MAX_CMDLINE] = {};
517 jermar 81
 
82
/** Initialize kconsole data structures. */
83
void kconsole_init(void)
84
{
601 palkovsky 85
    int i;
86
 
596 jermar 87
    cmd_init();
601 palkovsky 88
    for (i=0; i<KCONSOLE_HISTORY; i++)
89
        history[i][0] = '\0';
517 jermar 90
}
91
 
92
 
93
/** Register kconsole command.
94
 *
95
 * @param cmd Structure describing the command.
96
 *
97
 * @return 0 on failure, 1 on success.
98
 */
99
int cmd_register(cmd_info_t *cmd)
100
{
101
    link_t *cur;
102
 
103
    spinlock_lock(&cmd_lock);
104
 
105
    /*
106
     * Make sure the command is not already listed.
107
     */
108
    for (cur = cmd_head.next; cur != &cmd_head; cur = cur->next) {
109
        cmd_info_t *hlp;
110
 
111
        hlp = list_get_instance(cur, cmd_info_t, link);
112
 
113
        if (hlp == cmd) {
114
            /* The command is already there. */
115
            spinlock_unlock(&cmd_lock);
116
            return 0;
117
        }
118
 
119
        /* Avoid deadlock. */
120
        if (hlp < cmd) {
121
            spinlock_lock(&hlp->lock);
122
            spinlock_lock(&cmd->lock);
123
        } else {
124
            spinlock_lock(&cmd->lock);
125
            spinlock_lock(&hlp->lock);
126
        }
635 palkovsky 127
        if ((strncmp(hlp->name,
128
                 cmd->name, max(strlen(cmd->name),
129
                        strlen(hlp->name))) == 0)) {
517 jermar 130
            /* The command is already there. */
131
            spinlock_unlock(&hlp->lock);
132
            spinlock_unlock(&cmd->lock);
133
            spinlock_unlock(&cmd_lock);
134
            return 0;
135
        }
136
 
137
        spinlock_unlock(&hlp->lock);
138
        spinlock_unlock(&cmd->lock);
139
    }
140
 
141
    /*
142
     * Now the command can be added.
143
     */
144
    list_append(&cmd->link, &cmd_head);
145
 
146
    spinlock_unlock(&cmd_lock);
147
    return 1;
148
}
149
 
635 palkovsky 150
/** Print count times a character */
601 palkovsky 151
static void rdln_print_c(char ch, int count)
152
{
153
    int i;
154
    for (i=0;i<count;i++)
155
        putchar(ch);
156
}
157
 
635 palkovsky 158
/** Insert character to string */
601 palkovsky 159
static void insert_char(char *str, char ch, int pos)
160
{
161
    int i;
162
 
163
    for (i=strlen(str);i > pos; i--)
164
        str[i] = str[i-1];
165
    str[pos] = ch;
166
}
167
 
640 jermar 168
/** Try to find a command beginning with prefix */
601 palkovsky 169
static const char * cmdtab_search_one(const char *name,link_t **startpos)
170
{
171
    int namelen = strlen(name);
172
    const char *curname;
173
 
174
    spinlock_lock(&cmd_lock);
175
 
176
    if (!*startpos)
177
        *startpos = cmd_head.next;
178
 
179
    for (;*startpos != &cmd_head;*startpos = (*startpos)->next) {
180
        cmd_info_t *hlp;
181
        hlp = list_get_instance(*startpos, cmd_info_t, link);
182
 
183
        curname = hlp->name;
184
        if (strlen(curname) < namelen)
185
            continue;
186
        if (strncmp(curname, name, namelen) == 0) {
187
            spinlock_unlock(&cmd_lock);
188
            return curname+namelen;
189
        }
190
    }
191
    spinlock_unlock(&cmd_lock);
192
    return NULL;
193
}
194
 
195
 
196
/** Command completion of the commands
197
 *
198
 * @param name - string to match, changed to hint on exit
199
 * @return number of found matches
200
 */
201
static int cmdtab_compl(char *name)
202
{
203
    char output[MAX_SYMBOL_NAME+1];
204
    link_t *startpos = NULL;
205
    const char *foundtxt;
206
    int found = 0;
207
    int i;
208
 
209
    output[0] = '\0';
210
    while ((foundtxt = cmdtab_search_one(name, &startpos))) {
211
        startpos = startpos->next;
212
        if (!found)
213
            strncpy(output, foundtxt, strlen(foundtxt)+1);
214
        else {
215
            for (i=0; output[i] && foundtxt[i] && output[i]==foundtxt[i]; i++)
216
                ;
217
            output[i] = '\0';
218
        }
219
        found++;
220
    }
221
    if (!found)
222
        return 0;
223
 
602 palkovsky 224
    if (found > 1 && !strlen(output)) {
601 palkovsky 225
        printf("\n");
226
        startpos = NULL;
227
        while ((foundtxt = cmdtab_search_one(name, &startpos))) {
228
            cmd_info_t *hlp;
229
            hlp = list_get_instance(startpos, cmd_info_t, link);
230
            printf("%s - %s\n", hlp->name, hlp->description);
231
            startpos = startpos->next;
232
        }
233
    }
234
    strncpy(name, output, MAX_SYMBOL_NAME);
235
    return found;
236
 
237
}
238
 
239
static char * clever_readline(const char *prompt, chardev_t *input)
240
{
241
    static int histposition = 0;
242
 
243
    char tmp[MAX_CMDLINE+1];
244
    int curlen = 0, position = 0;
245
    char *current = history[histposition];
246
    int i;
606 palkovsky 247
    char mod; /* Command Modifier */
601 palkovsky 248
    char c;
249
 
250
    printf("%s> ", prompt);
251
    while (1) {
252
        c = _getc(input);
253
        if (c == '\n') {
254
            putchar(c);
255
            break;
607 palkovsky 256
        } if (c == '\b') { /* Backspace */
601 palkovsky 257
            if (position == 0)
258
                continue;
259
            for (i=position; i<curlen;i++)
260
                current[i-1] = current[i];
261
            curlen--;
262
            position--;
263
            putchar('\b');
264
            for (i=position;i<curlen;i++)
265
                putchar(current[i]);
266
            putchar(' ');
267
            rdln_print_c('\b',curlen-position+1);
268
            continue;
269
        }
607 palkovsky 270
        if (c == '\t') { /* Tabulator */
601 palkovsky 271
            int found;
272
 
273
            /* Move to the end of the word */
274
            for (;position<curlen && current[position]!=' ';position++)
275
                putchar(current[position]);
276
            /* Copy to tmp last word */
277
            for (i=position-1;i >= 0 && current[i]!=' ' ;i--)
278
                ;
279
            /* If word begins with * or &, skip it */
280
            if (tmp[0] == '*' || tmp[0] == '&')
281
                for (i=1;tmp[i];i++)
282
                    tmp[i-1] = tmp[i];
283
            i++; /* I is at the start of the word */
284
            strncpy(tmp, current+i, position-i+1);
285
 
286
            if (i==0) { /* Command completion */
287
                found = cmdtab_compl(tmp);
288
            } else { /* Symtab completion */
289
                found = symtab_compl(tmp);
290
            }
291
 
292
            if (found == 0)
293
                continue;
294
            for (i=0;tmp[i] && curlen < MAX_CMDLINE;i++,curlen++)
295
                insert_char(current, tmp[i], i+position);
602 palkovsky 296
 
297
            if (strlen(tmp) || found==1) { /* If we have a hint */
298
                for (i=position;i<curlen;i++)
601 palkovsky 299
                    putchar(current[i]);
300
                position += strlen(tmp);
301
                /* Add space to end */
602 palkovsky 302
                if (found == 1 && position == curlen && \
303
                    curlen < MAX_CMDLINE) {
601 palkovsky 304
                    current[position] = ' ';
305
                    curlen++;
306
                    position++;
307
                    putchar(' ');
308
                }
602 palkovsky 309
            } else { /* No hint, table was printed */
601 palkovsky 310
                printf("%s> ", prompt);
311
                for (i=0; i<curlen;i++)
312
                    putchar(current[i]);
313
                position += strlen(tmp);
314
            }
315
            rdln_print_c('\b', curlen-position);
316
            continue;
317
        }
607 palkovsky 318
        if (c == 0x1b) { /* Special command */
606 palkovsky 319
            mod = _getc(input);
601 palkovsky 320
            c = _getc(input);
606 palkovsky 321
 
322
            if (mod != 0x5b && mod != 0x4f)
601 palkovsky 323
                continue;
606 palkovsky 324
 
325
            if (c == 0x33 && _getc(input) == 0x7e) {
607 palkovsky 326
                /* Delete */
606 palkovsky 327
                if (position == curlen)
328
                    continue;
329
                for (i=position+1; i<curlen;i++) {
330
                    putchar(current[i]);
331
                    current[i-1] = current[i];
332
                }
333
                putchar(' ');
334
                rdln_print_c('\b',curlen-position);
335
                curlen--;
336
            }
337
            else if (c == 0x48) { /* Home */
338
                rdln_print_c('\b',position);
339
                position = 0;
340
            }
607 palkovsky 341
            else if (c == 0x46) {  /* End */
606 palkovsky 342
                for (i=position;i<curlen;i++)
343
                    putchar(current[i]);
344
                position = curlen;
345
            }
346
            else if (c == 0x44) { /* Left */
601 palkovsky 347
                if (position > 0) {
348
                    putchar('\b');
349
                    position--;
350
                }
351
                continue;
352
            }
606 palkovsky 353
            else if (c == 0x43) { /* Right */
601 palkovsky 354
                if (position < curlen) {
355
                    putchar(current[position]);
356
                    position++;
357
                }
358
                continue;
359
            }
606 palkovsky 360
            else if (c == 0x41 || c == 0x42) {
361
                                /* Up,down */
601 palkovsky 362
                rdln_print_c('\b',position);
363
                rdln_print_c(' ',curlen);
364
                rdln_print_c('\b',curlen);
607 palkovsky 365
                if (c == 0x41) /* Up */
601 palkovsky 366
                    histposition--;
367
                else
368
                    histposition++;
369
                if (histposition < 0)
370
                    histposition = KCONSOLE_HISTORY -1 ;
371
                else
372
                    histposition =  histposition % KCONSOLE_HISTORY;
373
                current = history[histposition];
374
                printf("%s", current);
375
                curlen = strlen(current);
376
                position = curlen;
377
                continue;
378
            }
379
            continue;
380
        }
381
        if (curlen >= MAX_CMDLINE)
382
            continue;
383
 
384
        insert_char(current, c, position);
385
 
386
        curlen++;
387
        for (i=position;i<curlen;i++)
388
            putchar(current[i]);
389
        position++;
390
        rdln_print_c('\b',curlen-position);
391
    }
603 palkovsky 392
    if (curlen) {
393
        histposition++;
394
        histposition = histposition % KCONSOLE_HISTORY;
395
    }
601 palkovsky 396
    current[curlen] = '\0';
397
    return current;
398
}
399
 
510 jermar 400
/** Kernel console managing thread.
401
 *
402
 * @param arg Not used.
403
 */
609 palkovsky 404
void kconsole(void *prompt)
510 jermar 405
{
517 jermar 406
    cmd_info_t *cmd_info;
407
    count_t len;
601 palkovsky 408
    char *cmdline;
510 jermar 409
 
410
    if (!stdin) {
411
        printf("%s: no stdin\n", __FUNCTION__);
412
        return;
413
    }
414
 
415
    while (true) {
609 palkovsky 416
        cmdline = clever_readline(prompt, stdin);
601 palkovsky 417
        len = strlen(cmdline);
418
        if (!len)
518 jermar 419
            continue;
517 jermar 420
        cmd_info = parse_cmdline(cmdline, len);
518 jermar 421
        if (!cmd_info)
517 jermar 422
            continue;
609 palkovsky 423
        if (strncmp(cmd_info->name,"exit", \
424
                min(strlen(cmd_info->name),5)) == 0)
425
            break;
517 jermar 426
        (void) cmd_info->func(cmd_info->argv);
510 jermar 427
    }
428
}
517 jermar 429
 
585 palkovsky 430
static int parse_int_arg(char *text, size_t len, __native *result)
431
{
432
    char symname[MAX_SYMBOL_NAME];
433
    __address symaddr;
434
    bool isaddr = false;
589 palkovsky 435
    bool isptr = false;
585 palkovsky 436
 
437
    /* If we get a name, try to find it in symbol table */
931 palkovsky 438
    if (text[0] == '&') {
439
        isaddr = true;
440
        text++;len--;
441
    } else if (text[0] == '*') {
442
        isptr = true;
443
        text++;len--;
444
    }
614 palkovsky 445
    if (text[0] < '0' || text[0] > '9') {
585 palkovsky 446
        strncpy(symname, text, min(len+1, MAX_SYMBOL_NAME));
447
        symaddr = get_symbol_addr(symname);
448
        if (!symaddr) {
449
            printf("Symbol %s not found.\n",symname);
450
            return -1;
451
        }
452
        if (symaddr == (__address) -1) {
453
            printf("Duplicate symbol %s.\n",symname);
454
            symtab_print_search(symname);
455
            return -1;
456
        }
932 palkovsky 457
        if (isaddr)
458
            *result = (__native)symaddr;
459
        else if (isptr)
460
            *result = **((__native **)symaddr);
461
        else
462
            *result = *((__native *)symaddr);
463
    } else { /* It's a number - convert it */
585 palkovsky 464
        *result = atoi(text);
932 palkovsky 465
        if (isptr)
466
            *result = *((__native *)*result);
467
    }
931 palkovsky 468
 
585 palkovsky 469
    return 0;
470
}
471
 
517 jermar 472
/** Parse command line.
473
 *
474
 * @param cmdline Command line as read from input device.
475
 * @param len Command line length.
476
 *
477
 * @return Structure describing the command.
478
 */
479
cmd_info_t *parse_cmdline(char *cmdline, size_t len)
480
{
481
    index_t start = 0, end = 0;
482
    cmd_info_t *cmd = NULL;
483
    link_t *cur;
484
    int i;
668 bondari 485
    int error = 0;
517 jermar 486
 
518 jermar 487
    if (!parse_argument(cmdline, len, &start, &end)) {
517 jermar 488
        /* Command line did not contain alphanumeric word. */
489
        return NULL;
490
    }
491
 
492
    spinlock_lock(&cmd_lock);
493
 
494
    for (cur = cmd_head.next; cur != &cmd_head; cur = cur->next) {
495
        cmd_info_t *hlp;
496
 
497
        hlp = list_get_instance(cur, cmd_info_t, link);
498
        spinlock_lock(&hlp->lock);
499
 
635 palkovsky 500
        if (strncmp(hlp->name, &cmdline[start], max(strlen(hlp->name),
501
                                end-start+1)) == 0) {
517 jermar 502
            cmd = hlp;
503
            break;
504
        }
505
 
506
        spinlock_unlock(&hlp->lock);
507
    }
508
 
509
    spinlock_unlock(&cmd_lock);
510
 
511
    if (!cmd) {
512
        /* Unknown command. */
518 jermar 513
        printf("Unknown command.\n");
517 jermar 514
        return NULL;
515
    }
516
 
517
    /* cmd == hlp is locked */
518
 
519
    /*
520
     * The command line must be further analyzed and
521
     * the parameters therefrom must be matched and
522
     * converted to those specified in the cmd info
523
     * structure.
524
     */
518 jermar 525
 
526
    for (i = 0; i < cmd->argc; i++) {
527
        char *buf;
528
        start = end + 1;
529
        if (!parse_argument(cmdline, len, &start, &end)) {
530
            printf("Too few arguments.\n");
531
            spinlock_unlock(&cmd->lock);
532
            return NULL;
533
        }
534
 
668 bondari 535
        error = 0;
518 jermar 536
        switch (cmd->argv[i].type) {
582 palkovsky 537
        case ARG_TYPE_STRING:
518 jermar 538
                buf = cmd->argv[i].buffer;
585 palkovsky 539
                strncpy(buf, (const char *) &cmdline[start], min((end - start) + 2, cmd->argv[i].len));
518 jermar 540
            buf[min((end - start) + 1, cmd->argv[i].len - 1)] = '\0';
541
            break;
585 palkovsky 542
        case ARG_TYPE_INT:
543
            if (parse_int_arg(cmdline+start, end-start+1,
544
                      &cmd->argv[i].intval))
668 bondari 545
                error = 1;
518 jermar 546
            break;
585 palkovsky 547
        case ARG_TYPE_VAR:
548
            if (start != end && cmdline[start] == '"' && cmdline[end] == '"') {
549
                buf = cmd->argv[i].buffer;
550
                strncpy(buf, (const char *) &cmdline[start+1],
551
                    min((end-start), cmd->argv[i].len));
552
                buf[min((end - start), cmd->argv[i].len - 1)] = '\0';
553
                cmd->argv[i].intval = (__native) buf;
554
                cmd->argv[i].vartype = ARG_TYPE_STRING;
555
            } else if (!parse_int_arg(cmdline+start, end-start+1,
556
                         &cmd->argv[i].intval))
557
                cmd->argv[i].vartype = ARG_TYPE_INT;
558
            else {
559
                printf("Unrecognized variable argument.\n");
668 bondari 560
                error = 1;
582 palkovsky 561
            }
585 palkovsky 562
            break;
582 palkovsky 563
        case ARG_TYPE_INVALID:
564
        default:
565
            printf("invalid argument type\n");
668 bondari 566
            error = 1;
582 palkovsky 567
            break;
518 jermar 568
        }
569
    }
517 jermar 570
 
668 bondari 571
    if (error) {
572
        spinlock_unlock(&cmd->lock);
573
        return NULL;
574
    }
575
 
518 jermar 576
    start = end + 1;
577
    if (parse_argument(cmdline, len, &start, &end)) {
578
        printf("Too many arguments.\n");
579
        spinlock_unlock(&cmd->lock);
580
        return NULL;
581
    }
582
 
517 jermar 583
    spinlock_unlock(&cmd->lock);
584
    return cmd;
585
}
586
 
518 jermar 587
/** Parse argument.
588
 *
589
 * Find start and end positions of command line argument.
590
 *
591
 * @param cmdline Command line as read from the input device.
592
 * @param len Number of characters in cmdline.
593
 * @param start On entry, 'start' contains pointer to the index
594
 *        of first unprocessed character of cmdline.
595
 *        On successful exit, it marks beginning of the next argument.
596
 * @param end Undefined on entry. On exit, 'end' points to the last character
597
 *        of the next argument.
598
 *
599
 * @return false on failure, true on success.
600
 */
601
bool parse_argument(char *cmdline, size_t len, index_t *start, index_t *end)
602
{
603
    int i;
604
    bool found_start = false;
605
 
606
    ASSERT(start != NULL);
607
    ASSERT(end != NULL);
608
 
609
    for (i = *start; i < len; i++) {
610
        if (!found_start) {
611
            if (is_white(cmdline[i]))
612
                (*start)++;
613
            else
614
                found_start = true;
615
        } else {
616
            if (is_white(cmdline[i]))
617
                break;
618
        }
619
    }
620
    *end = i - 1;
621
 
622
    return found_start;
623
}