Subversion Repositories HelenOS-historic

Rev

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

Rev Author Line No. Line
1445 cejka 1
/*
2
 * Copyright (C) 2006 Josef Cejka
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
 */
1649 cejka 28
 
29
/** @defgroup console Console
30
 * @brief   HelenOS console.
31
 * @{
32
 */
33
/** @file
34
 */
35
 
1610 palkovsky 36
/* TODO: remove */
37
#include <stdio.h>
1445 cejka 38
 
39
 
40
#include <kbd.h>
1451 cejka 41
#include <fb.h>
1445 cejka 42
#include <ipc/ipc.h>
1451 cejka 43
#include <ipc/fb.h>
1445 cejka 44
#include <ipc/services.h>
45
#include <errno.h>
1451 cejka 46
#include <key_buffer.h>
47
#include <console.h>
1453 palkovsky 48
#include <unistd.h>
49
#include <async.h>
1481 cejka 50
#include <libadt/fifo.h>
1487 cejka 51
#include <screenbuffer.h>
1512 cejka 52
#include <sys/mman.h>
1445 cejka 53
 
1522 palkovsky 54
#include "gcons.h"
55
 
1481 cejka 56
#define MAX_KEYREQUESTS_BUFFERED 32
1451 cejka 57
 
1445 cejka 58
#define NAME "CONSOLE"
59
 
1526 cejka 60
/** Index of currently used virtual console.
61
 */
1512 cejka 62
int active_console = 0;
1453 palkovsky 63
 
1526 cejka 64
/** Information about framebuffer
65
 */
1487 cejka 66
struct {
67
    int phone;      /**< Framebuffer phone */
1506 cejka 68
    ipcarg_t rows;      /**< Framebuffer rows */
69
    ipcarg_t cols;      /**< Framebuffer columns */
1487 cejka 70
} fb_info;
71
 
1526 cejka 72
 
1451 cejka 73
typedef struct {
1526 cejka 74
    keybuffer_t keybuffer;      /**< Buffer for incoming keys. */
75
    FIFO_CREATE_STATIC(keyrequests, ipc_callid_t , MAX_KEYREQUESTS_BUFFERED);   /**< Buffer for unsatisfied request for keys. */
76
    int keyrequest_counter;     /**< Number of requests in buffer. */
77
    int client_phone;       /**< Phone to connected client. */
78
    int used;           /**< 1 if this virtual console is connected to some client.*/
79
    screenbuffer_t screenbuffer;    /**< Screenbuffer for saving screen contents and related settings. */
1451 cejka 80
} connection_t;
81
 
1552 palkovsky 82
static connection_t connections[CONSOLE_COUNT]; /**< Array of data for virtual consoles */
83
static keyfield_t *interbuffer = NULL;          /**< Pointer to memory shared with framebufer used for faster virt. console switching */
1506 cejka 84
 
1552 palkovsky 85
static int kernel_pixmap = -1;      /**< Number of fb pixmap, where kernel console is stored */
1506 cejka 86
 
1552 palkovsky 87
 
1526 cejka 88
/** Find unused virtual console.
89
 *
90
 */
1574 palkovsky 91
static int find_free_connection(void)
1451 cejka 92
{
93
    int i = 0;
94
 
1574 palkovsky 95
    for (i=0; i < CONSOLE_COUNT; i++) {
96
        if (!connections[i].used)
1451 cejka 97
            return i;
98
    }
1574 palkovsky 99
    return -1;
1451 cejka 100
}
101
 
1552 palkovsky 102
static void clrscr(void)
103
{
1610 palkovsky 104
    async_msg(fb_info.phone, FB_CLEAR, 0);
1552 palkovsky 105
}
106
 
107
static void curs_visibility(int v)
108
{
1610 palkovsky 109
    async_msg(fb_info.phone, FB_CURSOR_VISIBILITY, v);
1552 palkovsky 110
}
111
 
112
static void curs_goto(int row, int col)
113
{
1610 palkovsky 114
    async_msg_2(fb_info.phone, FB_CURSOR_GOTO, row, col);
1552 palkovsky 115
 
116
}
117
 
118
static void set_style(style_t *style)
119
{
1610 palkovsky 120
    async_msg_2(fb_info.phone, FB_SET_STYLE, style->fg_color, style->bg_color);
1552 palkovsky 121
}
122
 
123
static void set_style_col(int fgcolor, int bgcolor)
124
{
1610 palkovsky 125
    async_msg_2(fb_info.phone, FB_SET_STYLE, fgcolor, bgcolor);
1552 palkovsky 126
}
127
 
128
static void prtchr(char c, int row, int col)
129
{
1610 palkovsky 130
    async_msg_3(fb_info.phone, FB_PUTCHAR, c, row, col);
1552 palkovsky 131
 
132
}
133
 
1497 cejka 134
/** Check key and process special keys.
135
 *
136
 * */
137
static void write_char(int console, char key)
138
{
139
    screenbuffer_t *scr = &(connections[console].screenbuffer);
140
 
141
    switch (key) {
142
        case '\n':
143
            scr->position_y += 1;
144
            scr->position_x =  0;
145
            break;
146
        case '\r':
147
            break;
148
        case '\t':
149
            scr->position_x += 8;
150
            scr->position_x -= scr->position_x % 8;
151
            break;
152
        case '\b':
153
            if (scr->position_x == 0)
154
                break;
155
 
156
            scr->position_x--;
157
 
1552 palkovsky 158
            if (console == active_console)
159
                prtchr(' ', scr->position_y, scr->position_x);
1497 cejka 160
 
161
            screenbuffer_putchar(scr, ' ');
162
 
163
            break;
164
        default:   
1552 palkovsky 165
            if (console == active_console)
166
                prtchr(key, scr->position_y, scr->position_x);
1497 cejka 167
 
168
            screenbuffer_putchar(scr, key);
169
            scr->position_x++;
170
    }
171
 
172
    scr->position_y += (scr->position_x >= scr->size_x);
173
 
174
    if (scr->position_y >= scr->size_y) {
175
        scr->position_y = scr->size_y - 1;
176
        screenbuffer_clear_line(scr, scr->top_line++);
1518 palkovsky 177
        if (console == active_console)
1610 palkovsky 178
            async_msg(fb_info.phone, FB_SCROLL, 1);
1497 cejka 179
    }
180
 
181
    scr->position_x = scr->position_x % scr->size_x;
182
 
1552 palkovsky 183
    if (console == active_console)
184
        curs_goto(scr->position_y, scr->position_x);
1504 cejka 185
 
1497 cejka 186
}
187
 
1552 palkovsky 188
/** Save current screen to pixmap, draw old pixmap
189
 *
190
 * @param oldpixmap Old pixmap
191
 * @return ID of pixmap of current screen
192
 */
193
static int switch_screens(int oldpixmap)
194
{
195
    int newpmap;
196
 
197
    /* Save screen */
1610 palkovsky 198
    newpmap = async_req(fb_info.phone, FB_VP2PIXMAP, 0, NULL);
1552 palkovsky 199
    if (newpmap < 0)
200
        return -1;
1497 cejka 201
 
1552 palkovsky 202
    if (oldpixmap != -1) {
203
        /* Show old screen */
1610 palkovsky 204
        async_msg_2(fb_info.phone, FB_VP_DRAW_PIXMAP, 0, oldpixmap);
1552 palkovsky 205
        /* Drop old pixmap */
1610 palkovsky 206
        async_msg(fb_info.phone, FB_DROP_PIXMAP, oldpixmap);
1552 palkovsky 207
    }
208
 
209
    return newpmap;
210
}
211
 
212
/** Switch to new console */
213
static void change_console(int newcons)
214
{
215
    connection_t *conn;
216
    static int console_pixmap = -1;
217
    int i, j;
1578 cejka 218
    keyfield_t *field;
219
    style_t *style;
1552 palkovsky 220
    char c;
221
 
222
    if (newcons == active_console)
223
        return;
224
 
1555 palkovsky 225
    if (newcons == KERNEL_CONSOLE) {
226
        if (active_console == KERNEL_CONSOLE)
1552 palkovsky 227
            return;
1555 palkovsky 228
        active_console = KERNEL_CONSOLE;
1552 palkovsky 229
        curs_visibility(0);
230
 
231
        if (kernel_pixmap == -1) {
232
            /* store/restore unsupported */
233
            set_style_col(DEFAULT_FOREGROUND, DEFAULT_BACKGROUND);
234
            clrscr();
235
        } else {
236
            gcons_in_kernel();
237
            console_pixmap = switch_screens(kernel_pixmap);
238
            kernel_pixmap = -1;
239
        }
240
 
241
        __SYSCALL0(SYS_DEBUG_ENABLE_CONSOLE);
242
        return;
243
    }
244
 
245
    if (console_pixmap != -1) {
246
        kernel_pixmap = switch_screens(console_pixmap);
247
        console_pixmap = -1;
248
    }
249
    active_console = newcons;
250
    gcons_change_console(newcons);
251
    conn = &connections[active_console];
252
 
1563 palkovsky 253
    set_style(&conn->screenbuffer.style);
1578 cejka 254
    curs_visibility(0);
1552 palkovsky 255
    if (interbuffer) {
256
        for (i = 0; i < conn->screenbuffer.size_x; i++)
257
            for (j = 0; j < conn->screenbuffer.size_y; j++)
258
                interbuffer[i + j*conn->screenbuffer.size_x] = *get_field_at(&(conn->screenbuffer),i, j);
1563 palkovsky 259
        /* This call can preempt, but we are already at the end */
1610 palkovsky 260
        j = async_req_2(fb_info.phone, FB_DRAW_TEXT_DATA, 0, 0, NULL, NULL);       
1578 cejka 261
    };
262
 
263
    if ((!interbuffer) || (j != 0)){
264
        set_style(&conn->screenbuffer.style);
1552 palkovsky 265
        clrscr();
1578 cejka 266
        style = &conn->screenbuffer.style;
267
 
268
        for (j = 0; j < conn->screenbuffer.size_y; j++)
269
            for (i = 0; i < conn->screenbuffer.size_x; i++) {
270
                field = get_field_at(&(conn->screenbuffer),i, j);
271
                if (!style_same(*style, field->style))
272
                    set_style(&field->style);
273
                style = &field->style;
274
                if ((field->character == ' ') && (style_same(field->style, conn->screenbuffer.style)))
275
                    continue;
276
 
277
                prtchr(field->character, j, i);
1552 palkovsky 278
            }
279
    }
1578 cejka 280
 
1630 palkovsky 281
    curs_goto(conn->screenbuffer.position_y, conn->screenbuffer.position_x);
1578 cejka 282
    curs_visibility(conn->screenbuffer.is_cursor_visible);
1552 palkovsky 283
}
284
 
1526 cejka 285
/** Handler for keyboard */
1453 palkovsky 286
static void keyboard_events(ipc_callid_t iid, ipc_call_t *icall)
1445 cejka 287
{
1453 palkovsky 288
    ipc_callid_t callid;
1445 cejka 289
    ipc_call_t call;
1453 palkovsky 290
    int retval;
1560 vana 291
    int c;
1489 palkovsky 292
    connection_t *conn;
1506 cejka 293
 
1453 palkovsky 294
    /* Ignore parameters, the connection is alread opened */
295
    while (1) {
296
        callid = async_get_call(&call);
297
        switch (IPC_GET_METHOD(call)) {
298
        case IPC_M_PHONE_HUNGUP:
299
            /* TODO: Handle hangup */
300
            return;
301
        case KBD_PUSHCHAR:
302
            /* got key from keyboard driver */
1465 cejka 303
 
1453 palkovsky 304
            retval = 0;
1520 cejka 305
            c = IPC_GET_ARG1(call);
1453 palkovsky 306
            /* switch to another virtual console */
1481 cejka 307
 
1489 palkovsky 308
            conn = &connections[active_console];
1490 palkovsky 309
//          if ((c >= KBD_KEY_F1) && (c < KBD_KEY_F1 + CONSOLE_COUNT)) {
1560 vana 310
            if ((c >= 0x101) && (c < 0x101 + CONSOLE_COUNT)) {
1610 palkovsky 311
                async_serialize_start();
1560 vana 312
                if (c == 0x112)
1555 palkovsky 313
                    change_console(KERNEL_CONSOLE);
1552 palkovsky 314
                else
1560 vana 315
                    change_console(c - 0x101);
1610 palkovsky 316
                async_serialize_end();
1453 palkovsky 317
                break;
318
            }
1481 cejka 319
 
320
            /* if client is awaiting key, send it */
1489 palkovsky 321
            if (conn->keyrequest_counter > 0) {    
322
                conn->keyrequest_counter--;
323
                ipc_answer_fast(fifo_pop(conn->keyrequests), 0, c, 0);
1481 cejka 324
                break;
325
            }
326
 
327
            /*FIXME: else store key to its buffer */
1489 palkovsky 328
            keybuffer_push(&conn->keybuffer, c);
1476 cejka 329
 
1453 palkovsky 330
            break;
331
        default:
1459 palkovsky 332
            retval = ENOENT;
1610 palkovsky 333
        }
1459 palkovsky 334
        ipc_answer_fast(callid, retval, 0, 0);
1453 palkovsky 335
    }
336
}
337
 
338
/** Default thread for new connections */
1518 palkovsky 339
static void client_connection(ipc_callid_t iid, ipc_call_t *icall)
1453 palkovsky 340
{
1445 cejka 341
    ipc_callid_t callid;
1453 palkovsky 342
    ipc_call_t call;
343
    int consnum;
1521 cejka 344
    ipcarg_t arg1, arg2;
1592 palkovsky 345
    connection_t *conn;
1453 palkovsky 346
 
1574 palkovsky 347
    if ((consnum = find_free_connection()) == -1) {
1453 palkovsky 348
        ipc_answer_fast(iid,ELIMIT,0,0);
349
        return;
350
    }
1592 palkovsky 351
    conn = &connections[consnum];
1610 palkovsky 352
    conn->used = 1;
1555 palkovsky 353
 
1610 palkovsky 354
    async_serialize_start();
1555 palkovsky 355
    gcons_notify_connect(consnum);
1592 palkovsky 356
    conn->client_phone = IPC_GET_ARG3(call);
357
    screenbuffer_clear(&conn->screenbuffer);
1497 cejka 358
 
1453 palkovsky 359
    /* Accept the connection */
360
    ipc_answer_fast(iid,0,0,0);
1610 palkovsky 361
 
1453 palkovsky 362
    while (1) {
1610 palkovsky 363
        async_serialize_end();
1453 palkovsky 364
        callid = async_get_call(&call);
1610 palkovsky 365
        async_serialize_start();
366
 
1521 cejka 367
        arg1 = arg2 = 0;
1453 palkovsky 368
        switch (IPC_GET_METHOD(call)) {
369
        case IPC_M_PHONE_HUNGUP:
1592 palkovsky 370
            gcons_notify_disconnect(consnum);
1610 palkovsky 371
 
1592 palkovsky 372
            /* Answer all pending requests */
373
            while (conn->keyrequest_counter > 0) {     
374
                conn->keyrequest_counter--;
375
                ipc_answer_fast(fifo_pop(conn->keyrequests), ENOENT, 0, 0);
376
                break;
377
            }
1616 palkovsky 378
            conn->used = 0;
1453 palkovsky 379
            return;
380
        case CONSOLE_PUTCHAR:
1497 cejka 381
            write_char(consnum, IPC_GET_ARG1(call));
1528 palkovsky 382
            gcons_notify_char(consnum);
1453 palkovsky 383
            break;
1476 cejka 384
        case CONSOLE_CLEAR:
1487 cejka 385
            /* Send message to fb */
386
            if (consnum == active_console) {
1610 palkovsky 387
                async_msg(fb_info.phone, FB_CLEAR, 0);
1487 cejka 388
            }
389
 
1592 palkovsky 390
            screenbuffer_clear(&conn->screenbuffer);
1487 cejka 391
 
1476 cejka 392
            break;
393
        case CONSOLE_GOTO:
1487 cejka 394
 
1592 palkovsky 395
            screenbuffer_goto(&conn->screenbuffer, IPC_GET_ARG2(call), IPC_GET_ARG1(call));
1567 palkovsky 396
            if (consnum == active_console)
397
                curs_goto(IPC_GET_ARG1(call),IPC_GET_ARG2(call));
1487 cejka 398
 
1476 cejka 399
            break;
1523 cejka 400
 
1521 cejka 401
        case CONSOLE_GETSIZE:
1528 palkovsky 402
            arg1 = fb_info.rows;
403
            arg2 = fb_info.cols;
1521 cejka 404
            break;
1523 cejka 405
        case CONSOLE_FLUSH:
1610 palkovsky 406
            async_req_2(fb_info.phone, FB_FLUSH, 0, 0, NULL, NULL);    
1523 cejka 407
            break;
1525 cejka 408
        case CONSOLE_SET_STYLE:
409
 
410
            arg1 = IPC_GET_ARG1(call);
411
            arg2 = IPC_GET_ARG2(call);
1592 palkovsky 412
            screenbuffer_set_style(&conn->screenbuffer,arg1, arg2);
1525 cejka 413
            if (consnum == active_console)
1552 palkovsky 414
                set_style_col(arg1, arg2);
1525 cejka 415
 
416
            break;
1575 cejka 417
        case CONSOLE_CURSOR_VISIBILITY:
418
            arg1 = IPC_GET_ARG1(call);
1592 palkovsky 419
            conn->screenbuffer.is_cursor_visible = arg1;
1575 cejka 420
            if (consnum == active_console)
421
                curs_visibility(arg1);
422
            break;
1453 palkovsky 423
        case CONSOLE_GETCHAR:
1592 palkovsky 424
            if (keybuffer_empty(&conn->keybuffer)) {
1481 cejka 425
                /* buffer is empty -> store request */
1592 palkovsky 426
                if (conn->keyrequest_counter < MAX_KEYREQUESTS_BUFFERED) {     
427
                    fifo_push(conn->keyrequests, callid);
428
                    conn->keyrequest_counter++;
1481 cejka 429
                } else {
430
                    /* no key available and too many requests => fail */
431
                    ipc_answer_fast(callid, ELIMIT, 0, 0);
432
                }
433
                continue;
1453 palkovsky 434
            };
1592 palkovsky 435
            keybuffer_pop(&conn->keybuffer, (int *)&arg1);
1465 cejka 436
 
1453 palkovsky 437
            break;
438
        }
1521 cejka 439
        ipc_answer_fast(callid, 0, arg1, arg2);
1453 palkovsky 440
    }
441
}
442
 
443
int main(int argc, char *argv[])
444
{
445
    ipcarg_t phonehash;
1451 cejka 446
    int kbd_phone, fb_phone;
1445 cejka 447
    ipcarg_t retval, arg1 = 0xdead, arg2 = 0xbeef;
1451 cejka 448
    int i;
1490 palkovsky 449
 
450
    async_set_client_connection(client_connection);
1445 cejka 451
 
452
    /* Connect to keyboard driver */
453
 
1451 cejka 454
    while ((kbd_phone = ipc_connect_me_to(PHONE_NS, SERVICE_KEYBOARD, 0)) < 0) {
1453 palkovsky 455
        usleep(10000);
1445 cejka 456
    };
457
 
1453 palkovsky 458
    if (ipc_connect_to_me(kbd_phone, SERVICE_CONSOLE, 0, &phonehash) != 0) {
1445 cejka 459
        return -1;
460
    };
461
 
462
    /* Connect to framebuffer driver */
463
 
1487 cejka 464
    while ((fb_info.phone = ipc_connect_me_to(PHONE_NS, SERVICE_VIDEO, 0)) < 0) {
465
        usleep(10000);
466
    }
1552 palkovsky 467
 
468
    /* Save old kernel screen */
469
    kernel_pixmap = switch_screens(-1);
1522 palkovsky 470
 
471
    /* Initialize gcons */
472
    gcons_init(fb_info.phone);
473
    /* Synchronize, the gcons can have something in queue */
1610 palkovsky 474
    async_req(fb_info.phone, FB_FLUSH, 0, NULL);
1522 palkovsky 475
 
1487 cejka 476
 
1640 palkovsky 477
    async_req_2(fb_info.phone, FB_GET_CSIZE, 0, 0, &(fb_info.rows), &(fb_info.cols));
1552 palkovsky 478
    set_style_col(DEFAULT_FOREGROUND, DEFAULT_BACKGROUND);
479
    clrscr();
1487 cejka 480
 
481
    /* Init virtual consoles */
1451 cejka 482
    for (i = 0; i < CONSOLE_COUNT; i++) {
483
        connections[i].used = 0;
484
        keybuffer_init(&(connections[i].keybuffer));
1481 cejka 485
 
486
        connections[i].keyrequests.head = connections[i].keyrequests.tail = 0;
487
        connections[i].keyrequests.items = MAX_KEYREQUESTS_BUFFERED;
488
        connections[i].keyrequest_counter = 0;
1487 cejka 489
 
490
        if (screenbuffer_init(&(connections[i].screenbuffer), fb_info.cols, fb_info.rows ) == NULL) {
491
            /*FIXME: handle error */
492
            return -1;
493
        }
1451 cejka 494
    }
1574 palkovsky 495
    connections[KERNEL_CONSOLE].used = 1;
1445 cejka 496
 
1512 cejka 497
    if ((interbuffer = mmap(NULL, sizeof(keyfield_t) * fb_info.cols * fb_info.rows , PROTO_READ|PROTO_WRITE, MAP_ANONYMOUS|MAP_PRIVATE, 0 ,0 )) != NULL) {
1640 palkovsky 498
        if (async_req_3(fb_info.phone, IPC_M_AS_AREA_SEND, (ipcarg_t)interbuffer, 0, AS_AREA_READ, NULL, NULL, NULL) != 0) {
1512 cejka 499
            munmap(interbuffer, sizeof(keyfield_t) * fb_info.cols * fb_info.rows);
500
            interbuffer = NULL;
501
        }
502
    }
1520 cejka 503
 
1506 cejka 504
    async_new_connection(phonehash, 0, NULL, keyboard_events);
505
 
1575 cejka 506
    curs_goto(0,0);
507
    curs_visibility(connections[active_console].screenbuffer.is_cursor_visible);
1497 cejka 508
 
1518 palkovsky 509
    /* Register at NS */
1453 palkovsky 510
    if (ipc_connect_to_me(PHONE_NS, SERVICE_CONSOLE, 0, &phonehash) != 0) {
1445 cejka 511
        return -1;
512
    };
513
 
1453 palkovsky 514
    async_manager();
1451 cejka 515
 
1445 cejka 516
    return 0;  
517
}
1649 cejka 518
 
519
/** @}
520
 */
1520 cejka 521