Subversion Repositories HelenOS

Rev

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

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