aboutsummaryrefslogtreecommitdiff
path: root/src/kernel/core
diff options
context:
space:
mode:
authorAlex Auvolat <alex@adnab.me>2015-03-14 14:17:03 +0100
committerAlex Auvolat <alex@adnab.me>2015-03-14 14:17:03 +0100
commit4672f514591f0f7110103c4cd898909aef95b635 (patch)
tree59a7edc5fd7b1c9c567ada4ec74afe1ed30d5d15 /src/kernel/core
parentf811e0126639c3cc14c285f2e2093d0df1b556af (diff)
downloadkogata-4672f514591f0f7110103c4cd898909aef95b635.tar.gz
kogata-4672f514591f0f7110103c4cd898909aef95b635.zip
Fix region allocator (see changes in region.c!) ; debug spam control.
Diffstat (limited to 'src/kernel/core')
-rw-r--r--src/kernel/core/frame.c1
-rw-r--r--src/kernel/core/region.c14
-rw-r--r--src/kernel/core/thread.c27
3 files changed, 28 insertions, 14 deletions
diff --git a/src/kernel/core/frame.c b/src/kernel/core/frame.c
index 255abb6..e74f9ad 100644
--- a/src/kernel/core/frame.c
+++ b/src/kernel/core/frame.c
@@ -54,6 +54,7 @@ uint32_t frame_alloc(size_t n) {
mutex_unlock(&frame_allocator_mutex);
/*dbg_printf("AF 0x%p\n", i * 32 + j);*/
+
return i * 32 + j;
}
}
diff --git a/src/kernel/core/region.c b/src/kernel/core/region.c
index 886c9fc..6a4c7b4 100644
--- a/src/kernel/core/region.c
+++ b/src/kernel/core/region.c
@@ -55,6 +55,9 @@ void remove_free_region(descriptor_t *d) {
first_free_region_by_size = d->free.next_by_size;
} else {
for (descriptor_t *i = first_free_region_by_size; i != 0; i = i->free.next_by_size) {
+ if (i->free.first_bigger == d) {
+ i->free.first_bigger = d->free.next_by_size;
+ }
if (i->free.next_by_size == d) {
i->free.next_by_size = d->free.next_by_size;
break;
@@ -382,7 +385,9 @@ void dbg_print_region_info() {
}
dbg_printf("- Free kernel regions, by size:\n");
for (descriptor_t *d = first_free_region_by_size; d != 0; d = d->free.next_by_size) {
- dbg_printf("| 0x%p - 0x%p\n", d->free.addr, d->free.addr + d->free.size);
+ dbg_printf("| 0x%p - 0x%p ", d->free.addr, d->free.addr + d->free.size);
+ dbg_printf("(0x%p, next in size: 0x%p)\n", d->free.size,
+ (d->free.first_bigger == 0 ? 0 : d->free.first_bigger->free.addr));
ASSERT(d != d->free.next_by_size);
}
dbg_printf("- Used kernel regions:\n");
@@ -390,7 +395,12 @@ void dbg_print_region_info() {
dbg_printf("| 0x%p - 0x%p %s\n", d->used.i.addr, d->used.i.addr + d->used.i.size, d->used.i.type);
ASSERT(d != d->used.next_by_addr);
}
- dbg_printf("\\\n");
+
+ int nfreerd = 0;
+ for (descriptor_t *i = first_unused_descriptor; i != 0; i = i->unused_descriptor.next)
+ nfreerd++;
+
+ dbg_printf("\\ Free region descriptors: %d (%d)\n", nfreerd, n_unused_descriptors);
mutex_unlock(&ra_mutex);
}
diff --git a/src/kernel/core/thread.c b/src/kernel/core/thread.c
index c4d4f93..4a3722d 100644
--- a/src/kernel/core/thread.c
+++ b/src/kernel/core/thread.c
@@ -129,7 +129,7 @@ void run_scheduler() {
}
current_thread = dequeue_thread();
- if (current_thread != prev_thread) dbg_printf("[0x%p]\n", current_thread);
+ if (current_thread != prev_thread && SPAM_CONTEXT_SWITCH) dbg_printf("[0x%p]\n", current_thread);
if (current_thread != 0) {
thread_t *ptr = current_thread;
@@ -149,7 +149,7 @@ void run_scheduler() {
void run_thread(void (*entry)(void*), void* data) {
ASSERT(current_thread->state == T_STATE_RUNNING);
- dbg_printf("Begin thread 0x%p (in process %d)\n",
+ if (SPAM_BEGIN_EXIT) dbg_printf("Begin thread 0x%p (in process %d)\n",
current_thread, (current_thread->proc ? current_thread->proc->pid : 0));
switch_pagedir(get_kernel_pagedir());
@@ -176,6 +176,7 @@ thread_t *new_thread(entry_t entry, void* data) {
uint32_t f;
int tries = 0;
while ((f = frame_alloc(1)) == 0 && (tries++) < 3) {
+ dbg_printf("thread stack alloc OOM\n");
free_some_memory();
}
if (f == 0) {
@@ -220,7 +221,7 @@ thread_t *new_thread(entry_t entry, void* data) {
void delete_thread(thread_t *t) {
ASSERT(t->state == T_STATE_FINISHED);
- dbg_printf("Deleting thread 0x%p\n", t);
+ if (SPAM_BEGIN_EXIT) dbg_printf("Deleting thread 0x%p\n", t);
region_free_unmap_free(t->stack_region->addr);
free(t);
@@ -289,11 +290,13 @@ bool wait_on_many(void** x, size_t n) {
// ---- Set ourselves as the waiting thread for all the requested objets
- /*dbg_printf("Wait on many:");*/
- /*for (size_t i = 0; i < n; i++) {*/
- /*dbg_printf(" 0x%p", x[i]);*/
- /*}*/
- /*dbg_printf("\n");*/
+ if (SPAM_WAIT_RESUME_ON) {
+ dbg_printf("Wait on many:");
+ for (size_t i = 0; i < n; i++) {
+ dbg_printf(" 0x%p", x[i]);
+ }
+ dbg_printf("\n");
+ }
current_thread->waiting_on = x;
current_thread->n_waiting_on = n;
@@ -363,7 +366,7 @@ void exit() {
// (it may switch before adding the delete_thread task), but once the task is added
// no other switch may happen, therefore this thread will not get re-enqueued
- dbg_printf("Thread 0x%p exiting.\n", current_thread);
+ if (SPAM_BEGIN_EXIT) dbg_printf("Thread 0x%p exiting.\n", current_thread);
worker_push(exit_cleanup_task, current_thread);
@@ -379,12 +382,12 @@ bool resume_on(void* x) {
int st = enter_critical(CL_NOINT);
- /*dbg_printf("Resume on 0x%p:", x);*/
+ if (SPAM_WAIT_RESUME_ON) dbg_printf("Resume on 0x%p:", x);
for (thread_t *t = waiters; t != 0; t = t->next_waiter) {
for (int i = 0; i < t->n_waiting_on; i++) {
if (t->waiting_on[i] == x) {
- /*dbg_printf(" 0x%p", t);*/
+ if (SPAM_WAIT_RESUME_ON) dbg_printf(" 0x%p", t);
if (t->state == T_STATE_PAUSED) {
t->state = T_STATE_RUNNING;
@@ -397,7 +400,7 @@ bool resume_on(void* x) {
}
}
}
- /*dbg_printf("\n");*/
+ if (SPAM_WAIT_RESUME_ON) dbg_printf("\n");
exit_critical(st);