Subversion Repositories HelenOS

Rev

Rev 3149 | Rev 4337 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3149 Rev 3153
Line 33... Line 33...
33 
/** @file
 33 
/** @file
34 
 */
 34 
 */
35 
 
 35 
 
36 
#include <console/console.h>
 36 
#include <console/console.h>
37 
#include <console/chardev.h>
 37 
#include <console/chardev.h>
- 
 
 38 
#include <sysinfo/sysinfo.h>
38 
#include <synch/waitq.h>
 39 
#include <synch/waitq.h>
39 
#include <synch/spinlock.h>
 40 
#include <synch/spinlock.h>
40 
#include <arch/types.h>
 41 
#include <arch/types.h>
- 
 
 42 
#include <ddi/device.h>
- 
 
 43 
#include <ddi/irq.h>
- 
 
 44 
#include <ddi/ddi.h>
- 
 
 45 
#include <ipc/irq.h>
41 
#include <arch.h>
 46 
#include <arch.h>
42 
#include <func.h>
 47 
#include <func.h>
43 
#include <print.h>
 48 
#include <print.h>
44 
#include <atomic.h>
 49 
#include <atomic.h>
45 
 
 50 
 
- 
 
 51 
#define KLOG_SIZE PAGE_SIZE
46 
#define KLOG_SIZE 4096
 52 
#define KLOG_LATENCY 8
47 
 
 53 
 
48 
/**< Kernel log cyclic buffer */
 54 
/**< Kernel log cyclic buffer */
49 
static char klog[KLOG_SIZE];
 55 
static char klog[KLOG_SIZE] __attribute__ ((aligned (PAGE_SIZE)));
50 
 
 56 
 
- 
 
 57 
/**< Kernel log initialized */
- 
 
 58 
static bool klog_inited = false;
51 
/**< First kernel log characters */
 59 
/**< First kernel log characters */
52 
static index_t klog_start = 0;
 60 
static index_t klog_start = 0;
53 
/**< Number of valid kernel log characters */
 61 
/**< Number of valid kernel log characters */
54 
static size_t klog_len = 0;
 62 
static size_t klog_len = 0;
55 
/**< Number of stored (not printed) kernel log characters */
 63 
/**< Number of stored (not printed) kernel log characters */
56 
static size_t klog_stored = 0;
 64 
static size_t klog_stored = 0;
- 
 
 65 
/**< Number of stored kernel log characters for uspace */
- 
 
 66 
static size_t klog_uspace = 0;
- 
 
 67 
 
- 
 
 68 
/**< Kernel log spinlock */
- 
 
 69 
SPINLOCK_INITIALIZE(klog_lock);
- 
 
 70 
 
- 
 
 71 
/** Physical memory area used for klog buffer */
- 
 
 72 
static parea_t klog_parea;
- 
 
 73 
   
- 
 
 74 
/*
- 
 
 75 
 * For now, we use 0 as INR.
- 
 
 76 
 * However, it is therefore desirable to have architecture specific
- 
 
 77 
 * definition of KLOG_VIRT_INR in the future.
- 
 
 78 
 */
- 
 
 79 
#define KLOG_VIRT_INR   0
- 
 
 80 
 
- 
 
 81 
static irq_t klog_irq;
57 
 
 82 
 
58 
static chardev_operations_t null_stdout_ops = {
 83 
static chardev_operations_t null_stdout_ops = {
59 
    .suspend = NULL,
 84 
    .suspend = NULL,
60 
    .resume = NULL,
 85 
    .resume = NULL,
61 
    .write = NULL,
 86 
    .write = NULL,
Line 65... Line 90...
65 
chardev_t null_stdout = {
 90 
chardev_t null_stdout = {
66 
    .name = "null",
 91 
    .name = "null",
67 
    .op = &null_stdout_ops
 92 
    .op = &null_stdout_ops
68 
};
 93 
};
69 
 
 94 
 
- 
 
 95 
/** Allways refuse IRQ ownership.
- 
 
 96 
 *
- 
 
 97 
 * This is not a real IRQ, so we always decline.
- 
 
 98 
 *
- 
 
 99 
 * @return Always returns IRQ_DECLINE.
- 
 
 100 
 */
- 
 
 101 
static irq_ownership_t klog_claim(void)
- 
 
 102 
{
- 
 
 103 
    return IRQ_DECLINE;
- 
 
 104 
}
- 
 
 105 
 
70 
/** Standard input character device. */
 106 
/** Standard input character device */
71 
chardev_t *stdin = NULL;
 107 
chardev_t *stdin = NULL;
72 
chardev_t *stdout = &null_stdout;
 108 
chardev_t *stdout = &null_stdout;
73 
 
 109 
 
- 
 
 110 
/** Initialize kernel logging facility
- 
 
 111 
 *
- 
 
 112 
 * The shared area contains kernel cyclic buffer. Userspace application may
- 
 
 113 
 * be notified on new data with indication of position and size
- 
 
 114 
 * of the data within the circular buffer.
- 
 
 115 
 */
- 
 
 116 
void klog_init(void)
- 
 
 117 
{
- 
 
 118 
    void *faddr = (void *) KA2PA(klog);
- 
 
 119 
   
- 
 
 120 
    ASSERT((uintptr_t) faddr % FRAME_SIZE == 0);
- 
 
 121 
    ASSERT(KLOG_SIZE % FRAME_SIZE == 0);
- 
 
 122 
 
- 
 
 123 
    devno_t devno = device_assign_devno();
- 
 
 124 
   
- 
 
 125 
    klog_parea.pbase = (uintptr_t) faddr;
- 
 
 126 
    klog_parea.vbase = (uintptr_t) klog;
- 
 
 127 
    klog_parea.frames = SIZE2FRAMES(KLOG_SIZE);
- 
 
 128 
    klog_parea.cacheable = true;
- 
 
 129 
    ddi_parea_register(&klog_parea);
- 
 
 130 
 
- 
 
 131 
    sysinfo_set_item_val("klog.faddr", NULL, (unative_t) faddr);
- 
 
 132 
    sysinfo_set_item_val("klog.pages", NULL, SIZE2FRAMES(KLOG_SIZE));
- 
 
 133 
    sysinfo_set_item_val("klog.devno", NULL, devno);
- 
 
 134 
    sysinfo_set_item_val("klog.inr", NULL, KLOG_VIRT_INR);
- 
 
 135 
 
- 
 
 136 
    irq_initialize(&klog_irq);
- 
 
 137 
    klog_irq.devno = devno;
- 
 
 138 
    klog_irq.inr = KLOG_VIRT_INR;
- 
 
 139 
    klog_irq.claim = klog_claim;
- 
 
 140 
    irq_register(&klog_irq);
- 
 
 141 
   
- 
 
 142 
    spinlock_lock(&klog_lock);
- 
 
 143 
    klog_inited = true;
- 
 
 144 
    spinlock_unlock(&klog_lock);
- 
 
 145 
}
- 
 
 146 
 
74 
/** Get character from character device. Do not echo character.
 147 
/** Get character from character device. Do not echo character.
75 
 *
 148 
 *
76 
 * @param chardev Character device.
 149 
 * @param chardev Character device.
77 
 *
 150 
 *
78 
 * @return Character read.
 151 
 * @return Character read.
Line 158... Line 231...
158 
    ch = _getc(chardev);
 231 
    ch = _getc(chardev);
159 
    putchar(ch);
 232 
    putchar(ch);
160 
    return ch;
 233 
    return ch;
161 
}
 234 
}
162 
 
 235 
 
- 
 
 236 
void klog_update(void)
- 
 
 237 
{
- 
 
 238 
    spinlock_lock(&klog_lock);
- 
 
 239 
   
- 
 
 240 
    if ((klog_inited) && (klog_irq.notif_cfg.notify) && (klog_uspace > 0)) {
- 
 
 241 
        ipc_irq_send_msg_3(&klog_irq, klog_start, klog_len, klog_uspace);
- 
 
 242 
        klog_uspace = 0;
- 
 
 243 
    }
- 
 
 244 
   
- 
 
 245 
    spinlock_unlock(&klog_lock);
- 
 
 246 
}
- 
 
 247 
 
163 
void putchar(char c)
 248 
void putchar(char c)
164 
{
 249 
{
- 
 
 250 
    spinlock_lock(&klog_lock);
- 
 
 251 
   
165 
    if ((klog_stored > 0) && (stdout->op->write)) {
 252 
    if ((klog_stored > 0) && (stdout->op->write)) {
166 
        /* Print charaters stored in kernel log */
 253 
        /* Print charaters stored in kernel log */
167 
        index_t i;
 254 
        index_t i;
168 
        for (i = klog_len - klog_stored; i < klog_len; i++)
 255 
        for (i = klog_len - klog_stored; i < klog_len; i++)
169 
            stdout->op->write(stdout, klog[(klog_start + i) % KLOG_SIZE]);
 256 
            stdout->op->write(stdout, klog[(klog_start + i) % KLOG_SIZE]);
Line 182... Line 269...
182 
    else {
 269 
    else {
183 
        /* The character is just in the kernel log */
 270 
        /* The character is just in the kernel log */
184 
        if (klog_stored < klog_len)
 271 
        if (klog_stored < klog_len)
185 
            klog_stored++;
 272 
            klog_stored++;
186 
    }
 273 
    }
- 
 
 274 
   
- 
 
 275 
    /* The character is stored for uspace */
- 
 
 276 
    if (klog_uspace < klog_len)
- 
 
 277 
        klog_uspace++;
- 
 
 278 
   
- 
 
 279 
    /* Check notify uspace to update */
- 
 
 280 
    bool update;
- 
 
 281 
    if ((klog_uspace > KLOG_LATENCY) || (c == '\n'))
- 
 
 282 
        update = true;
- 
 
 283 
    else
- 
 
 284 
        update = false;
- 
 
 285 
   
- 
 
 286 
    spinlock_unlock(&klog_lock);
- 
 
 287 
   
- 
 
 288 
    if (update)
- 
 
 289 
        klog_update();
187 
}
 290 
}
188 
 
 291 
 
189 
/** @}
 292 
/** @}
190 
 */
 293 
 */