Subversion Repositories HelenOS

Rev

Rev 3495 | Rev 3620 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3495 Rev 3496
1
/*
1
/*
2
 * Copyright (c) 2008 Jiri Svoboda
2
 * Copyright (c) 2008 Jiri Svoboda
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
8
 *
8
 *
9
 * - Redistributions of source code must retain the above copyright
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
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
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.
15
 *   derived from this software without specific prior written permission.
16
 *
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
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
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
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
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
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
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.
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
27
 */
28
 
28
 
29
/** @addtogroup genericipc
29
/** @addtogroup genericipc
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
33
 */
33
 */
34
 
34
 
35
#include <synch/synch.h>
35
#include <synch/synch.h>
36
#include <synch/spinlock.h>
36
#include <synch/spinlock.h>
37
#include <synch/mutex.h>
37
#include <synch/mutex.h>
38
#include <ipc/ipc.h>
38
#include <ipc/ipc.h>
39
#include <ipc/ipcrsc.h>
39
#include <ipc/ipcrsc.h>
40
#include <arch.h>
40
#include <arch.h>
41
#include <errno.h>
41
#include <errno.h>
42
#include <debug.h>
42
#include <debug.h>
43
#include <udebug/udebug_ipc.h>
43
#include <udebug/udebug_ipc.h>
44
#include <ipc/kbox.h>
44
#include <ipc/kbox.h>
45
 
45
 
46
void ipc_kbox_cleanup(void)
46
void ipc_kbox_cleanup(void)
47
{
47
{
48
    ipl_t ipl;
48
    ipl_t ipl;
49
    bool have_kb_thread;
49
    bool have_kb_thread;
50
 
50
 
51
    /* Only hold kb_cleanup_lock while setting kb_finished - this is enough */
51
    /* Only hold kb_cleanup_lock while setting kb_finished - this is enough */
52
    mutex_lock(&TASK->kb_cleanup_lock);
52
    mutex_lock(&TASK->kb_cleanup_lock);
53
    TASK->kb_finished = true;
53
    TASK->kb_finished = true;
54
    mutex_unlock(&TASK->kb_cleanup_lock);
54
    mutex_unlock(&TASK->kb_cleanup_lock);
55
 
55
 
56
    have_kb_thread = (TASK->kb_thread != NULL);
56
    have_kb_thread = (TASK->kb_thread != NULL);
57
 
57
 
58
    /* From now on nobody will try to connect phones or attach kbox threads */
58
    /* From now on nobody will try to connect phones or attach kbox threads */
59
 
59
 
60
    /*
60
    /*
61
     * Disconnect all phones connected to our kbox. Passing true for
61
     * Disconnect all phones connected to our kbox. Passing true for
62
     * notify_box causes a HANGUP message to be inserted for each
62
     * notify_box causes a HANGUP message to be inserted for each
63
     * disconnected phone. This ensures the kbox thread is going to
63
     * disconnected phone. This ensures the kbox thread is going to
64
     * wake up and terminate.
64
     * wake up and terminate.
65
     */
65
     */
66
    ipc_answerbox_slam_phones(&TASK->kernel_box, have_kb_thread);
66
    ipc_answerbox_slam_phones(&TASK->kernel_box, have_kb_thread);
67
 
67
 
68
    /*
68
    /*
69
     * If the task was being debugged, clean up debugging session.
69
     * If the task was being debugged, clean up debugging session.
70
     * This is necessarry as slamming the phones won't force
70
     * This is necessarry as slamming the phones won't force
71
     * kbox thread to clean it up since sender != debugger.
71
     * kbox thread to clean it up since sender != debugger.
72
     */
72
     */
73
    ipl = interrupts_disable();
73
    ipl = interrupts_disable();
74
    spinlock_lock(&TASK->lock);
74
    spinlock_lock(&TASK->lock);
75
    udebug_task_cleanup(TASK);
75
    udebug_task_cleanup(TASK);
76
    spinlock_unlock(&TASK->lock);
76
    spinlock_unlock(&TASK->lock);
77
    interrupts_restore(ipl);
77
    interrupts_restore(ipl);
78
   
78
   
79
    if (have_kb_thread) {
79
    if (have_kb_thread) {
80
        LOG("join kb_thread..\n");
80
        LOG("join kb_thread..\n");
81
        thread_join(TASK->kb_thread);
81
        thread_join(TASK->kb_thread);
82
        thread_detach(TASK->kb_thread);
82
        thread_detach(TASK->kb_thread);
83
        LOG("join done\n");
83
        LOG("join done\n");
84
        TASK->kb_thread = NULL;
84
        TASK->kb_thread = NULL;
85
    }
85
    }
86
 
86
 
87
    /* Answer all messages in 'calls' and 'dispatched_calls' queues */
87
    /* Answer all messages in 'calls' and 'dispatched_calls' queues */
88
    spinlock_lock(&TASK->kernel_box.lock);
88
    spinlock_lock(&TASK->kernel_box.lock);
89
    ipc_cleanup_call_list(&TASK->kernel_box.dispatched_calls);
89
    ipc_cleanup_call_list(&TASK->kernel_box.dispatched_calls);
90
    ipc_cleanup_call_list(&TASK->kernel_box.calls);
90
    ipc_cleanup_call_list(&TASK->kernel_box.calls);
91
    spinlock_unlock(&TASK->kernel_box.lock);
91
    spinlock_unlock(&TASK->kernel_box.lock);
92
}
92
}
93
 
93
 
-
 
94
/** Handle hangup message in kbox.
-
 
95
 *
-
 
96
 * @param call  The IPC_M_PHONE_HUNGUP call structure.
-
 
97
 * @param last  Output, the function stores @c true here if
-
 
98
 *      this was the last phone, @c false otherwise.
-
 
99
 **/
-
 
100
static void kbox_proc_phone_hungup(call_t *call, bool *last)
-
 
101
{
-
 
102
    ipl_t ipl;
94
 
103
 
-
 
104
    LOG("kbox_proc_phone_hungup()\n");
-
 
105
 
-
 
106
    /* Was it our debugger, who hung up? */
-
 
107
    if (call->sender == TASK->udebug.debugger) {
-
 
108
        /* Terminate debugging session (if any) */
-
 
109
        LOG("kbox: terminate debug session\n");
-
 
110
        ipl = interrupts_disable();
-
 
111
        spinlock_lock(&TASK->lock);
-
 
112
        udebug_task_cleanup(TASK);
-
 
113
        spinlock_unlock(&TASK->lock);
-
 
114
        interrupts_restore(ipl);
-
 
115
    } else {
-
 
116
        LOG("kbox: was not debugger\n");
-
 
117
    }
-
 
118
 
-
 
119
    LOG("kbox: continue with hangup message\n");
-
 
120
    IPC_SET_RETVAL(call->data, 0);
-
 
121
    ipc_answer(&TASK->kernel_box, call);
-
 
122
 
-
 
123
    ipl = interrupts_disable();
-
 
124
    spinlock_lock(&TASK->lock);
-
 
125
    spinlock_lock(&TASK->answerbox.lock);
-
 
126
    if (list_empty(&TASK->answerbox.connected_phones)) {
-
 
127
        /*
-
 
128
         * Last phone has been disconnected. Detach this thread so it
-
 
129
         * gets freed and signal to the caller.
-
 
130
         */
-
 
131
 
-
 
132
        /* Only detach kbox thread unless already terminating. */
-
 
133
        mutex_lock(&TASK->kb_cleanup_lock);
-
 
134
        if (&TASK->kb_finished == false) {
-
 
135
            /* Detach kbox thread so it gets freed from memory. */
-
 
136
            thread_detach(TASK->kb_thread);
-
 
137
            TASK->kb_thread = NULL;
-
 
138
        }
-
 
139
        mutex_unlock(&TASK->kb_cleanup_lock);
-
 
140
 
-
 
141
        LOG("phone list is empty\n");
-
 
142
        *last = true;
-
 
143
    } else {
-
 
144
        *last = false;
-
 
145
    }
-
 
146
 
-
 
147
    spinlock_unlock(&TASK->answerbox.lock);
-
 
148
    spinlock_unlock(&TASK->lock);
-
 
149
    interrupts_restore(ipl);
-
 
150
}
-
 
151
 
-
 
152
/** Implementing function for the kbox thread.
-
 
153
 *
-
 
154
 * This function listens for debug requests. It terminates
-
 
155
 * when all phones are disconnected from the kbox.
-
 
156
 *
-
 
157
 * @param arg   Ignored.
-
 
158
 */
95
static void kbox_thread_proc(void *arg)
159
static void kbox_thread_proc(void *arg)
96
{
160
{
97
    call_t *call;
161
    call_t *call;
98
    int method;
-
 
99
    bool done;
162
    bool done;
100
    ipl_t ipl;
-
 
101
 
163
 
102
    (void)arg;
164
    (void)arg;
103
    LOG("kbox_thread_proc()\n");
165
    LOG("kbox_thread_proc()\n");
104
    done = false;
166
    done = false;
105
 
167
 
106
    while (!done) {
168
    while (!done) {
107
        call = ipc_wait_for_call(&TASK->kernel_box, SYNCH_NO_TIMEOUT,
169
        call = ipc_wait_for_call(&TASK->kernel_box, SYNCH_NO_TIMEOUT,
108
            SYNCH_FLAGS_NONE);
170
            SYNCH_FLAGS_NONE);
109
 
171
 
110
        if (call != NULL) {
172
        if (call == NULL)
-
 
173
            continue;   /* Try again. */
-
 
174
 
111
            method = IPC_GET_METHOD(call->data);
175
        switch (IPC_GET_METHOD(call->data)) {
112
 
176
 
113
            if (method == IPC_M_DEBUG_ALL) {
177
        case IPC_M_DEBUG_ALL:
-
 
178
            /* Handle debug call. */
114
                udebug_call_receive(call);
179
            udebug_call_receive(call);
115
            }
180
            break;
116
 
181
 
117
            if (method == IPC_M_PHONE_HUNGUP) {
182
        case IPC_M_PHONE_HUNGUP:
118
                LOG("kbox: handle hangup message\n");
-
 
119
 
-
 
120
                /* Was it our debugger, who hung up? */
-
 
121
                if (call->sender == TASK->udebug.debugger) {
-
 
122
                    /* Terminate debugging session (if any) */
-
 
123
                    LOG("kbox: terminate debug session\n");
-
 
124
                    ipl = interrupts_disable();
-
 
125
                    spinlock_lock(&TASK->lock);
-
 
126
                    udebug_task_cleanup(TASK);
-
 
127
                    spinlock_unlock(&TASK->lock);
-
 
128
                    interrupts_restore(ipl);
-
 
129
                } else {
-
 
130
                    LOG("kbox: was not debugger\n");
-
 
131
                }
183
            /*
132
 
-
 
133
                LOG("kbox: continue with hangup message\n");
184
             * Process the hangup call. If this was the last
134
                IPC_SET_RETVAL(call->data, 0);
-
 
135
                ipc_answer(&TASK->kernel_box, call);
185
             * phone, done will be set to true and the
136
 
-
 
137
                ipl = interrupts_disable();
186
             * while loop will terminate.
138
                spinlock_lock(&TASK->lock);
-
 
139
                spinlock_lock(&TASK->answerbox.lock);
-
 
140
                if (list_empty(&TASK->answerbox.connected_phones)) {
-
 
141
                    /*
187
             */
142
                     * Last phone has been disconnected.
188
            kbox_proc_phone_hungup(call, &done);
143
                     * Detach this thread so it gets
-
 
144
                     * freed and terminate.
-
 
145
                     */
189
            break;
146
 
190
 
147
                    /* Only need to detach thread unless already terminating. */
-
 
148
                    mutex_lock(&TASK->kb_cleanup_lock);
-
 
149
                    if (&TASK->kb_finished == false) {
-
 
150
                        /* Detach thread so it gets freed. */
-
 
151
                        thread_detach(TASK->kb_thread);
-
 
152
                        TASK->kb_thread = NULL;
-
 
153
                    }
191
        default:
154
                    mutex_unlock(&TASK->kb_cleanup_lock);
-
 
155
                    done = true;
192
            /* Ignore */
156
                    LOG("phone list is empty\n");
-
 
157
                }
193
            break;
158
                spinlock_unlock(&TASK->answerbox.lock);
-
 
159
                spinlock_unlock(&TASK->lock);
-
 
160
                interrupts_restore(ipl);
-
 
161
            }
-
 
162
        }
194
        }
163
    }
195
    }
164
 
196
 
165
    LOG("kbox: finished\n");
197
    LOG("kbox: finished\n");
166
}
198
}
167
 
199
 
168
 
200
 
169
/**
201
/**
170
 * Connect phone to a task kernel-box specified by id.
202
 * Connect phone to a task kernel-box specified by id.
171
 *
203
 *
172
 * Note that this is not completely atomic. For optimisation reasons,
204
 * Note that this is not completely atomic. For optimisation reasons,
173
 * The task might start cleaning up kbox after the phone has been connected
205
 * The task might start cleaning up kbox after the phone has been connected
174
 * and before a kbox thread has been created. This must be taken into account
206
 * and before a kbox thread has been created. This must be taken into account
175
 * in the cleanup code.
207
 * in the cleanup code.
176
 *
208
 *
177
 * @return      Phone id on success, or negative error code.
209
 * @return      Phone id on success, or negative error code.
178
 */
210
 */
179
int ipc_connect_kbox(task_id_t taskid)
211
int ipc_connect_kbox(task_id_t taskid)
180
{
212
{
181
    int newphid;
213
    int newphid;
182
    task_t *ta;
214
    task_t *ta;
183
    thread_t *kb_thread;
215
    thread_t *kb_thread;
184
    ipl_t ipl;
216
    ipl_t ipl;
185
 
217
 
186
    ipl = interrupts_disable();
218
    ipl = interrupts_disable();
187
    spinlock_lock(&tasks_lock);
219
    spinlock_lock(&tasks_lock);
188
 
220
 
189
    ta = task_find_by_id(taskid);
221
    ta = task_find_by_id(taskid);
190
    if (ta == NULL) {
222
    if (ta == NULL) {
191
        spinlock_unlock(&tasks_lock);
223
        spinlock_unlock(&tasks_lock);
192
        interrupts_restore(ipl);
224
        interrupts_restore(ipl);
193
        return ENOENT;
225
        return ENOENT;
194
    }
226
    }
195
 
227
 
196
    atomic_inc(&ta->refcount);
228
    atomic_inc(&ta->refcount);
197
 
229
 
198
    spinlock_unlock(&tasks_lock);
230
    spinlock_unlock(&tasks_lock);
199
    interrupts_restore(ipl);
231
    interrupts_restore(ipl);
200
 
232
 
201
    mutex_lock(&ta->kb_cleanup_lock);
233
    mutex_lock(&ta->kb_cleanup_lock);
202
 
234
 
203
    if (atomic_predec(&ta->refcount) == 0) {
235
    if (atomic_predec(&ta->refcount) == 0) {
204
        mutex_unlock(&ta->kb_cleanup_lock);
236
        mutex_unlock(&ta->kb_cleanup_lock);
205
        task_destroy(ta);
237
        task_destroy(ta);
206
        return ENOENT;
238
        return ENOENT;
207
    }
239
    }
208
 
240
 
209
    if (ta->kb_finished != false) {
241
    if (ta->kb_finished != false) {
210
        mutex_unlock(&ta->kb_cleanup_lock);
242
        mutex_unlock(&ta->kb_cleanup_lock);
211
        return EINVAL;
243
        return EINVAL;
212
    }
244
    }
213
 
245
 
214
    newphid = phone_alloc();
246
    newphid = phone_alloc();
215
    if (newphid < 0) {
247
    if (newphid < 0) {
216
        mutex_unlock(&ta->kb_cleanup_lock);
248
        mutex_unlock(&ta->kb_cleanup_lock);
217
        return ELIMIT;
249
        return ELIMIT;
218
    }
250
    }
219
 
251
 
220
    /* Connect the newly allocated phone to the kbox */
252
    /* Connect the newly allocated phone to the kbox */
221
    ipc_phone_connect(&TASK->phones[newphid], &ta->kernel_box);
253
    ipc_phone_connect(&TASK->phones[newphid], &ta->kernel_box);
222
 
254
 
223
    if (ta->kb_thread != NULL) {
255
    if (ta->kb_thread != NULL) {
224
        mutex_unlock(&ta->kb_cleanup_lock);
256
        mutex_unlock(&ta->kb_cleanup_lock);
225
        return newphid;
257
        return newphid;
226
    }
258
    }
227
 
259
 
228
    /* Create a kbox thread */
260
    /* Create a kbox thread */
229
    kb_thread = thread_create(kbox_thread_proc, NULL, ta, 0, "kbox", false);
261
    kb_thread = thread_create(kbox_thread_proc, NULL, ta, 0, "kbox", false);
230
    if (!kb_thread) {
262
    if (!kb_thread) {
231
        mutex_unlock(&ta->kb_cleanup_lock);
263
        mutex_unlock(&ta->kb_cleanup_lock);
232
        return ENOMEM;
264
        return ENOMEM;
233
    }
265
    }
234
 
266
 
235
    ta->kb_thread = kb_thread;
267
    ta->kb_thread = kb_thread;
236
    thread_ready(kb_thread);
268
    thread_ready(kb_thread);
237
 
269
 
238
    mutex_unlock(&ta->kb_cleanup_lock);
270
    mutex_unlock(&ta->kb_cleanup_lock);
239
 
271
 
240
    return newphid;
272
    return newphid;
241
}
273
}
242
 
274
 
243
/** @}
275
/** @}
244
 */
276
 */
245
 
277