Subversion Repositories HelenOS

Rev

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

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