Changeset cfffb290 in mainline for kernel/generic/src/proc

Timestamp:

2006-08-05T16:05:25Z (19 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

e2882a7

Parents:

b006a2c8

Message:

finish security context isolation

Location:

kernel/generic/src/proc

Files:

• task.c (modified) (2 diffs)
• the.c (modified) (1 diff)
• thread.c (modified) (2 diffs)

kernel/generic/src/proc/task.c

@@ -116 +116 @@
         ta->main_thread = NULL;
         ta->refcount = 0;
-        ta->context = THE->context;
+        ta->context = CONTEXT;
 
         ta->capabilities = 0;
@@ -122 +122 @@
         
         ipc_answerbox_init(&ta->answerbox);
-        for (i=0; i < IPC_MAX_PHONES;i++)
+        for (i = 0; i < IPC_MAX_PHONES; i++)
                 ipc_phone_init(&ta->phones[i]);
-        if (ipc_phone_0)
+        if ((ipc_phone_0) && (context_check(ipc_phone_0->task->context, ta->context)))
                 ipc_phone_connect(&ta->phones[0], ipc_phone_0);
         atomic_set(&ta->active_calls, 0);

kernel/generic/src/proc/the.c

@@ -59 +59 @@
         the->task = NULL;
         the->as = NULL;
-        the->context = 0;
 }
 

kernel/generic/src/proc/thread.c

@@ -319 +319 @@
         memcpy(t->name, name, THREAD_NAME_BUFLEN);
         
-        t->context = THE->context;
         t->thread_code = func;
         t->thread_arg = arg;
@@ -535 +534 @@
                 
                         t = (thread_t *) node->value[i];
-                        printf("%s: address=%#zx, tid=%zd, context=%ld, state=%s, task=%#zx, code=%#zx, stack=%#zx, cpu=",
-                                t->name, t, t->tid, t->context, thread_states[t->state], t->task, t->thread_code, t->kstack);
+                        printf("%s: address=%#zx, tid=%zd, state=%s, task=%#zx, context=%ld, code=%#zx, stack=%#zx, cpu=",
+                                t->name, t, t->tid, thread_states[t->state], t->task, t->task->context, t->thread_code, t->kstack);
                         if (t->cpu)
                                 printf("cpu%zd", t->cpu->id);