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
 */