Subversion Repositories HelenOS

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
}