Subversion Repositories HelenOS-historic

Rev

Rev 1674 | Rev 1694 | 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;
1674 palkovsky 176
        screenbuffer_clear_line(scr, scr->top_line);
177
        scr->top_line = (scr->top_line+1) % scr->size_y;
1518 palkovsky 178
        if (console == active_console)
1610 palkovsky 179
            async_msg(fb_info.phone, FB_SCROLL, 1);
1497 cejka 180
    }
181
 
182
    scr->position_x = scr->position_x % scr->size_x;
183
 
1552 palkovsky 184
    if (console == active_console)
185
        curs_goto(scr->position_y, scr->position_x);
1504 cejka 186
 
1497 cejka 187
}
188
 
1552 palkovsky 189
/** Save current screen to pixmap, draw old pixmap
190
 *
191
 * @param oldpixmap Old pixmap
192
 * @return ID of pixmap of current screen
193
 */
194
static int switch_screens(int oldpixmap)
195
{
196
    int newpmap;
197
 
198
    /* Save screen */
1610 palkovsky 199
    newpmap = async_req(fb_info.phone, FB_VP2PIXMAP, 0, NULL);
1552 palkovsky 200
    if (newpmap < 0)
201
        return -1;
1497 cejka 202
 
1552 palkovsky 203
    if (oldpixmap != -1) {
204
        /* Show old screen */
1610 palkovsky 205
        async_msg_2(fb_info.phone, FB_VP_DRAW_PIXMAP, 0, oldpixmap);
1552 palkovsky 206
        /* Drop old pixmap */
1610 palkovsky 207
        async_msg(fb_info.phone, FB_DROP_PIXMAP, oldpixmap);
1552 palkovsky 208
    }
209
 
210
    return newpmap;
211
}
212
 
213
/** Switch to new console */
214
static void change_console(int newcons)
215
{
216
    connection_t *conn;
217
    static int console_pixmap = -1;
1673 palkovsky 218
    int i, j, rc;
1578 cejka 219
    keyfield_t *field;
220
    style_t *style;
1552 palkovsky 221
    char c;
222
 
223
    if (newcons == active_console)
224
        return;
225
 
1555 palkovsky 226
    if (newcons == KERNEL_CONSOLE) {
227
        if (active_console == KERNEL_CONSOLE)
1552 palkovsky 228
            return;
1555 palkovsky 229
        active_console = KERNEL_CONSOLE;
1552 palkovsky 230
        curs_visibility(0);
231
 
232
        if (kernel_pixmap == -1) {
233
            /* store/restore unsupported */
234
            set_style_col(DEFAULT_FOREGROUND, DEFAULT_BACKGROUND);
235
            clrscr();
236
        } else {
237
            gcons_in_kernel();
238
            console_pixmap = switch_screens(kernel_pixmap);
239
            kernel_pixmap = -1;
240
        }
241
 
242
        __SYSCALL0(SYS_DEBUG_ENABLE_CONSOLE);
243
        return;
244
    }
245
 
246
    if (console_pixmap != -1) {
247
        kernel_pixmap = switch_screens(console_pixmap);
248
        console_pixmap = -1;
249
    }
250
    active_console = newcons;
251
    gcons_change_console(newcons);
252
    conn = &connections[active_console];
253
 
1563 palkovsky 254
    set_style(&conn->screenbuffer.style);
1578 cejka 255
    curs_visibility(0);
1552 palkovsky 256
    if (interbuffer) {
257
        for (i = 0; i < conn->screenbuffer.size_x; i++)
258
            for (j = 0; j < conn->screenbuffer.size_y; j++)
259
                interbuffer[i + j*conn->screenbuffer.size_x] = *get_field_at(&(conn->screenbuffer),i, j);
1563 palkovsky 260
        /* This call can preempt, but we are already at the end */
1673 palkovsky 261
        rc = async_req_2(fb_info.phone, FB_DRAW_TEXT_DATA, 0, 0, NULL, NULL);      
1578 cejka 262
    };
263
 
1674 palkovsky 264
    if ((!interbuffer) || (rc != 0)) {
1578 cejka 265
        set_style(&conn->screenbuffer.style);
1552 palkovsky 266
        clrscr();
1578 cejka 267
        style = &conn->screenbuffer.style;
268
 
269
        for (j = 0; j < conn->screenbuffer.size_y; j++)
270
            for (i = 0; i < conn->screenbuffer.size_x; i++) {
271
                field = get_field_at(&(conn->screenbuffer),i, j);
272
                if (!style_same(*style, field->style))
273
                    set_style(&field->style);
274
                style = &field->style;
275
                if ((field->character == ' ') && (style_same(field->style, conn->screenbuffer.style)))
276
                    continue;
277
 
278
                prtchr(field->character, j, i);
1552 palkovsky 279
            }
280
    }
1578 cejka 281
 
1630 palkovsky 282
    curs_goto(conn->screenbuffer.position_y, conn->screenbuffer.position_x);
1578 cejka 283
    curs_visibility(conn->screenbuffer.is_cursor_visible);
1552 palkovsky 284
}
285
 
1526 cejka 286
/** Handler for keyboard */
1453 palkovsky 287
static void keyboard_events(ipc_callid_t iid, ipc_call_t *icall)
1445 cejka 288
{
1453 palkovsky 289
    ipc_callid_t callid;
1445 cejka 290
    ipc_call_t call;
1453 palkovsky 291
    int retval;
1560 vana 292
    int c;
1489 palkovsky 293
    connection_t *conn;
1506 cejka 294
 
1453 palkovsky 295
    /* Ignore parameters, the connection is alread opened */
296
    while (1) {
297
        callid = async_get_call(&call);
298
        switch (IPC_GET_METHOD(call)) {
299
        case IPC_M_PHONE_HUNGUP:
300
            /* TODO: Handle hangup */
301
            return;
302
        case KBD_PUSHCHAR:
303
            /* got key from keyboard driver */
1465 cejka 304
 
1453 palkovsky 305
            retval = 0;
1520 cejka 306
            c = IPC_GET_ARG1(call);
1453 palkovsky 307
            /* switch to another virtual console */
1481 cejka 308
 
1489 palkovsky 309
            conn = &connections[active_console];
1490 palkovsky 310
//          if ((c >= KBD_KEY_F1) && (c < KBD_KEY_F1 + CONSOLE_COUNT)) {
1560 vana 311
            if ((c >= 0x101) && (c < 0x101 + CONSOLE_COUNT)) {
1610 palkovsky 312
                async_serialize_start();
1560 vana 313
                if (c == 0x112)
1555 palkovsky 314
                    change_console(KERNEL_CONSOLE);
1552 palkovsky 315
                else
1560 vana 316
                    change_console(c - 0x101);
1610 palkovsky 317
                async_serialize_end();
1453 palkovsky 318
                break;
319
            }
1481 cejka 320
 
321
            /* if client is awaiting key, send it */
1489 palkovsky 322
            if (conn->keyrequest_counter > 0) {    
323
                conn->keyrequest_counter--;
324
                ipc_answer_fast(fifo_pop(conn->keyrequests), 0, c, 0);
1481 cejka 325
                break;
326
            }
327
 
328
            /*FIXME: else store key to its buffer */
1489 palkovsky 329
            keybuffer_push(&conn->keybuffer, c);
1476 cejka 330
 
1453 palkovsky 331
            break;
332
        default:
1459 palkovsky 333
            retval = ENOENT;
1610 palkovsky 334
        }
1459 palkovsky 335
        ipc_answer_fast(callid, retval, 0, 0);
1453 palkovsky 336
    }
337
}
338
 
339
/** Default thread for new connections */
1518 palkovsky 340
static void client_connection(ipc_callid_t iid, ipc_call_t *icall)
1453 palkovsky 341
{
1445 cejka 342
    ipc_callid_t callid;
1453 palkovsky 343
    ipc_call_t call;
344
    int consnum;
1521 cejka 345
    ipcarg_t arg1, arg2;
1592 palkovsky 346
    connection_t *conn;
1453 palkovsky 347
 
1574 palkovsky 348
    if ((consnum = find_free_connection()) == -1) {
1453 palkovsky 349
        ipc_answer_fast(iid,ELIMIT,0,0);
350
        return;
351
    }
1592 palkovsky 352
    conn = &connections[consnum];
1610 palkovsky 353
    conn->used = 1;
1555 palkovsky 354
 
1610 palkovsky 355
    async_serialize_start();
1555 palkovsky 356
    gcons_notify_connect(consnum);
1592 palkovsky 357
    conn->client_phone = IPC_GET_ARG3(call);
358
    screenbuffer_clear(&conn->screenbuffer);
1497 cejka 359
 
1453 palkovsky 360
    /* Accept the connection */
361
    ipc_answer_fast(iid,0,0,0);
1610 palkovsky 362
 
1453 palkovsky 363
    while (1) {
1610 palkovsky 364
        async_serialize_end();
1453 palkovsky 365
        callid = async_get_call(&call);
1610 palkovsky 366
        async_serialize_start();
367
 
1521 cejka 368
        arg1 = arg2 = 0;
1453 palkovsky 369
        switch (IPC_GET_METHOD(call)) {
370
        case IPC_M_PHONE_HUNGUP:
1592 palkovsky 371
            gcons_notify_disconnect(consnum);
1610 palkovsky 372
 
1592 palkovsky 373
            /* Answer all pending requests */
374
            while (conn->keyrequest_counter > 0) {     
375
                conn->keyrequest_counter--;
376
                ipc_answer_fast(fifo_pop(conn->keyrequests), ENOENT, 0, 0);
377
                break;
378
            }
1616 palkovsky 379
            conn->used = 0;
1453 palkovsky 380
            return;
381
        case CONSOLE_PUTCHAR:
1497 cejka 382
            write_char(consnum, IPC_GET_ARG1(call));
1528 palkovsky 383
            gcons_notify_char(consnum);
1453 palkovsky 384
            break;
1476 cejka 385
        case CONSOLE_CLEAR:
1487 cejka 386
            /* Send message to fb */
387
            if (consnum == active_console) {
1610 palkovsky 388
                async_msg(fb_info.phone, FB_CLEAR, 0);
1487 cejka 389
            }
390
 
1592 palkovsky 391
            screenbuffer_clear(&conn->screenbuffer);
1487 cejka 392
 
1476 cejka 393
            break;
394
        case CONSOLE_GOTO:
1487 cejka 395
 
1592 palkovsky 396
            screenbuffer_goto(&conn->screenbuffer, IPC_GET_ARG2(call), IPC_GET_ARG1(call));
1567 palkovsky 397
            if (consnum == active_console)
398
                curs_goto(IPC_GET_ARG1(call),IPC_GET_ARG2(call));
1487 cejka 399
 
1476 cejka 400
            break;
1523 cejka 401
 
1521 cejka 402
        case CONSOLE_GETSIZE:
1528 palkovsky 403
            arg1 = fb_info.rows;
404
            arg2 = fb_info.cols;
1521 cejka 405
            break;
1523 cejka 406
        case CONSOLE_FLUSH:
1610 palkovsky 407
            async_req_2(fb_info.phone, FB_FLUSH, 0, 0, NULL, NULL);    
1523 cejka 408
            break;
1525 cejka 409
        case CONSOLE_SET_STYLE:
410
 
411
            arg1 = IPC_GET_ARG1(call);
412
            arg2 = IPC_GET_ARG2(call);
1592 palkovsky 413
            screenbuffer_set_style(&conn->screenbuffer,arg1, arg2);
1525 cejka 414
            if (consnum == active_console)
1552 palkovsky 415
                set_style_col(arg1, arg2);
1525 cejka 416
 
417
            break;
1575 cejka 418
        case CONSOLE_CURSOR_VISIBILITY:
419
            arg1 = IPC_GET_ARG1(call);
1592 palkovsky 420
            conn->screenbuffer.is_cursor_visible = arg1;
1575 cejka 421
            if (consnum == active_console)
422
                curs_visibility(arg1);
423
            break;
1453 palkovsky 424
        case CONSOLE_GETCHAR:
1592 palkovsky 425
            if (keybuffer_empty(&conn->keybuffer)) {
1481 cejka 426
                /* buffer is empty -> store request */
1592 palkovsky 427
                if (conn->keyrequest_counter < MAX_KEYREQUESTS_BUFFERED) {     
428
                    fifo_push(conn->keyrequests, callid);
429
                    conn->keyrequest_counter++;
1481 cejka 430
                } else {
431
                    /* no key available and too many requests => fail */
432
                    ipc_answer_fast(callid, ELIMIT, 0, 0);
433
                }
434
                continue;
1453 palkovsky 435
            };
1592 palkovsky 436
            keybuffer_pop(&conn->keybuffer, (int *)&arg1);
1465 cejka 437
 
1453 palkovsky 438
            break;
439
        }
1521 cejka 440
        ipc_answer_fast(callid, 0, arg1, arg2);
1453 palkovsky 441
    }
442
}
443
 
444
int main(int argc, char *argv[])
445
{
446
    ipcarg_t phonehash;
1451 cejka 447
    int kbd_phone, fb_phone;
1445 cejka 448
    ipcarg_t retval, arg1 = 0xdead, arg2 = 0xbeef;
1451 cejka 449
    int i;
1490 palkovsky 450
 
451
    async_set_client_connection(client_connection);
1445 cejka 452
 
453
    /* Connect to keyboard driver */
454
 
1451 cejka 455
    while ((kbd_phone = ipc_connect_me_to(PHONE_NS, SERVICE_KEYBOARD, 0)) < 0) {
1453 palkovsky 456
        usleep(10000);
1445 cejka 457
    };
458
 
1453 palkovsky 459
    if (ipc_connect_to_me(kbd_phone, SERVICE_CONSOLE, 0, &phonehash) != 0) {
1445 cejka 460
        return -1;
461
    };
1689 palkovsky 462
    async_new_connection(phonehash, 0, NULL, keyboard_events);
463
 
1445 cejka 464
    /* Connect to framebuffer driver */
465
 
1487 cejka 466
    while ((fb_info.phone = ipc_connect_me_to(PHONE_NS, SERVICE_VIDEO, 0)) < 0) {
467
        usleep(10000);
468
    }
1552 palkovsky 469
 
470
    /* Save old kernel screen */
471
    kernel_pixmap = switch_screens(-1);
1522 palkovsky 472
 
473
    /* Initialize gcons */
474
    gcons_init(fb_info.phone);
475
    /* Synchronize, the gcons can have something in queue */
1610 palkovsky 476
    async_req(fb_info.phone, FB_FLUSH, 0, NULL);
1672 palkovsky 477
    /* Enable double buffering */
478
    async_msg_2(fb_info.phone, FB_VIEWPORT_DB, (sysarg_t)-1, 1);
1487 cejka 479
 
1640 palkovsky 480
    async_req_2(fb_info.phone, FB_GET_CSIZE, 0, 0, &(fb_info.rows), &(fb_info.cols));
1552 palkovsky 481
    set_style_col(DEFAULT_FOREGROUND, DEFAULT_BACKGROUND);
482
    clrscr();
1487 cejka 483
 
484
    /* Init virtual consoles */
1451 cejka 485
    for (i = 0; i < CONSOLE_COUNT; i++) {
486
        connections[i].used = 0;
487
        keybuffer_init(&(connections[i].keybuffer));
1481 cejka 488
 
489
        connections[i].keyrequests.head = connections[i].keyrequests.tail = 0;
490
        connections[i].keyrequests.items = MAX_KEYREQUESTS_BUFFERED;
491
        connections[i].keyrequest_counter = 0;
1487 cejka 492
 
493
        if (screenbuffer_init(&(connections[i].screenbuffer), fb_info.cols, fb_info.rows ) == NULL) {
494
            /*FIXME: handle error */
495
            return -1;
496
        }
1451 cejka 497
    }
1574 palkovsky 498
    connections[KERNEL_CONSOLE].used = 1;
1445 cejka 499
 
1512 cejka 500
    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 501
        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 502
            munmap(interbuffer, sizeof(keyfield_t) * fb_info.cols * fb_info.rows);
503
            interbuffer = NULL;
504
        }
505
    }
1520 cejka 506
 
1575 cejka 507
    curs_goto(0,0);
508
    curs_visibility(connections[active_console].screenbuffer.is_cursor_visible);
1497 cejka 509
 
1518 palkovsky 510
    /* Register at NS */
1453 palkovsky 511
    if (ipc_connect_to_me(PHONE_NS, SERVICE_CONSOLE, 0, &phonehash) != 0) {
1445 cejka 512
        return -1;
513
    };
514
 
1453 palkovsky 515
    async_manager();
1451 cejka 516
 
1445 cejka 517
    return 0;  
518
}
1649 cejka 519
 
520
/** @}
521
 */
1520 cejka 522