source: mainline/kernel/generic/src/ipc/kbox.c@ 1871118

ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 1871118 was 1871118, checked in by Jiří Zárevúcky <zarevucky.jiri@…>, 2 years ago

Make thread_t reference counted

This simplifies interaction between various locks and thread
lifespan, which simplifies things. For example, threads_lock can
now simply be a mutex protecting the global it was made for, and
nothing more.

  • Property mode set to 100644
File size: 7.3 KB
RevLine 
[9a1b20c]1/*
2 * Copyright (c) 2008 Jiri Svoboda
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 */
28
[174156fd]29/** @addtogroup kernel_generic_ipc
[9a1b20c]30 * @{
31 */
32/** @file
33 */
34
35#include <synch/spinlock.h>
36#include <synch/mutex.h>
37#include <ipc/ipc.h>
[c0699467]38#include <abi/ipc/methods.h>
[9a1b20c]39#include <ipc/ipcrsc.h>
40#include <arch.h>
41#include <errno.h>
[0108984a]42#include <debug.h>
[9a1b20c]43#include <udebug/udebug_ipc.h>
[e028660]44#include <ipc/kbox.h>
[1066041]45#include <proc/thread.h>
[9a1b20c]46
47void ipc_kbox_cleanup(void)
48{
[c33f39f]49 /*
50 * Not really needed, just to be consistent with the meaning of
51 * answerbox_t.active.
52 */
53 irq_spinlock_lock(&TASK->kb.box.lock, true);
54 TASK->kb.box.active = false;
55 irq_spinlock_unlock(&TASK->kb.box.lock, true);
56
[da1bafb]57 /*
[31696b4f]58 * Only hold kb.cleanup_lock while setting kb.finished -
59 * this is enough.
60 */
61 mutex_lock(&TASK->kb.cleanup_lock);
62 TASK->kb.finished = true;
63 mutex_unlock(&TASK->kb.cleanup_lock);
[a35b458]64
[da1bafb]65 bool have_kb_thread = (TASK->kb.thread != NULL);
[a35b458]66
[31696b4f]67 /*
68 * From now on nobody will try to connect phones or attach
69 * kbox threads
70 */
[a35b458]71
[9a1b20c]72 /*
73 * Disconnect all phones connected to our kbox. Passing true for
74 * notify_box causes a HANGUP message to be inserted for each
75 * disconnected phone. This ensures the kbox thread is going to
76 * wake up and terminate.
77 */
[31696b4f]78 ipc_answerbox_slam_phones(&TASK->kb.box, have_kb_thread);
[a35b458]79
[da1bafb]80 /*
[94f8e3c1]81 * If the task was being debugged, clean up debugging session.
82 * This is necessarry as slamming the phones won't force
83 * kbox thread to clean it up since sender != debugger.
84 */
[f173404]85 mutex_lock(&TASK->udebug.lock);
[94f8e3c1]86 udebug_task_cleanup(TASK);
[f173404]87 mutex_unlock(&TASK->udebug.lock);
[a35b458]88
[9a1b20c]89 if (have_kb_thread) {
[ae5aa90]90 LOG("Join kb.thread.");
[31696b4f]91 thread_join(TASK->kb.thread);
[1871118]92 thread_put(TASK->kb.thread);
[ae5aa90]93 LOG("...join done.");
[31696b4f]94 TASK->kb.thread = NULL;
[9a1b20c]95 }
[a35b458]96
[31696b4f]97 /* Answer all messages in 'calls' and 'dispatched_calls' queues. */
[5d3ed34]98 ipc_cleanup_call_list(&TASK->kb.box, &TASK->kb.box.calls);
[716185d]99 ipc_cleanup_call_list(&TASK->kb.box, &TASK->kb.box.dispatched_calls);
[9a1b20c]100}
101
[05e69c5]102/** Handle hangup message in kbox.
103 *
[da1bafb]104 * @param call The IPC_M_PHONE_HUNGUP call structure.
105 * @param last Output, the function stores @c true here if
106 * this was the last phone, @c false otherwise.
107 *
108 */
[05e69c5]109static void kbox_proc_phone_hungup(call_t *call, bool *last)
110{
111 /* Was it our debugger, who hung up? */
112 if (call->sender == TASK->udebug.debugger) {
[31696b4f]113 /* Terminate debugging session (if any). */
[ae5aa90]114 LOG("Terminate debugging session.");
[5c088975]115 mutex_lock(&TASK->udebug.lock);
[05e69c5]116 udebug_task_cleanup(TASK);
[5c088975]117 mutex_unlock(&TASK->udebug.lock);
[05e69c5]118 } else {
[ae5aa90]119 LOG("Was not debugger.");
[05e69c5]120 }
[a35b458]121
[ae5aa90]122 LOG("Continue with hangup message.");
[fafb8e5]123 ipc_set_retval(&call->data, 0);
[31696b4f]124 ipc_answer(&TASK->kb.box, call);
[a35b458]125
[c6f0e3a2]126 mutex_lock(&TASK->kb.cleanup_lock);
[a35b458]127
[da1bafb]128 irq_spinlock_lock(&TASK->lock, true);
129 irq_spinlock_lock(&TASK->kb.box.lock, false);
[fd72312]130 if (list_empty(&TASK->kb.box.connected_phones)) {
[05e69c5]131 /*
132 * Last phone has been disconnected. Detach this thread so it
133 * gets freed and signal to the caller.
134 */
[a35b458]135
[05e69c5]136 /* Only detach kbox thread unless already terminating. */
[14ecd6c]137 if (TASK->kb.finished == false) {
[1871118]138 /* Release kbox thread so it gets freed from memory. */
139 thread_put(TASK->kb.thread);
[31696b4f]140 TASK->kb.thread = NULL;
[05e69c5]141 }
[a35b458]142
[ae5aa90]143 LOG("Phone list is empty.");
[05e69c5]144 *last = true;
[da1bafb]145 } else
[05e69c5]146 *last = false;
[a35b458]147
[4acaa7c0]148 irq_spinlock_unlock(&TASK->kb.box.lock, false);
149 irq_spinlock_unlock(&TASK->lock, true);
[a35b458]150
[c6f0e3a2]151 mutex_unlock(&TASK->kb.cleanup_lock);
[05e69c5]152}
153
154/** Implementing function for the kbox thread.
155 *
156 * This function listens for debug requests. It terminates
157 * when all phones are disconnected from the kbox.
158 *
[da1bafb]159 * @param arg Ignored.
160 *
[05e69c5]161 */
[9a1b20c]162static void kbox_thread_proc(void *arg)
163{
[da1bafb]164 (void) arg;
[ae5aa90]165 LOG("Starting.");
[da1bafb]166 bool done = false;
[a35b458]167
[9a1b20c]168 while (!done) {
[acf6b55]169 call_t *call = NULL;
170 (void) ipc_wait_for_call(&TASK->kb.box, SYNCH_NO_TIMEOUT,
171 SYNCH_FLAGS_NONE, &call);
[a35b458]172
[05e69c5]173 if (call == NULL)
[da1bafb]174 continue; /* Try again. */
[a35b458]175
[fafb8e5]176 switch (ipc_get_imethod(&call->data)) {
[a35b458]177
[79ae36dd]178 case IPC_M_DEBUG:
[05e69c5]179 /* Handle debug call. */
180 udebug_call_receive(call);
181 break;
[a35b458]182
[05e69c5]183 case IPC_M_PHONE_HUNGUP:
184 /*
185 * Process the hangup call. If this was the last
186 * phone, done will be set to true and the
187 * while loop will terminate.
188 */
189 kbox_proc_phone_hungup(call, &done);
190 break;
[a35b458]191
[05e69c5]192 default:
193 /* Ignore */
194 break;
[9a1b20c]195 }
196 }
[a35b458]197
[ae5aa90]198 LOG("Exiting.");
[9a1b20c]199}
200
[da1bafb]201/** Connect phone to a task kernel-box specified by id.
[9a1b20c]202 *
[31696b4f]203 * Note that this is not completely atomic. For optimisation reasons, the task
204 * might start cleaning up kbox after the phone has been connected and before
205 * a kbox thread has been created. This must be taken into account in the
206 * cleanup code.
[9a1b20c]207 *
[569a51a]208 * @param[out] out_phone Phone capability handle on success.
209 * @return Error code.
[da1bafb]210 *
[9a1b20c]211 */
[eadaeae8]212errno_t ipc_connect_kbox(task_id_t taskid, cap_phone_handle_t *out_phone)
[9a1b20c]213{
[da1bafb]214 irq_spinlock_lock(&tasks_lock, true);
[a35b458]215
[da1bafb]216 task_t *task = task_find_by_id(taskid);
217 if (task == NULL) {
218 irq_spinlock_unlock(&tasks_lock, true);
[9a1b20c]219 return ENOENT;
220 }
[a35b458]221
[da1bafb]222 atomic_inc(&task->refcount);
[a35b458]223
[da1bafb]224 irq_spinlock_unlock(&tasks_lock, true);
[a35b458]225
[da1bafb]226 mutex_lock(&task->kb.cleanup_lock);
[a35b458]227
[da1bafb]228 if (atomic_predec(&task->refcount) == 0) {
229 mutex_unlock(&task->kb.cleanup_lock);
230 task_destroy(task);
[9a1b20c]231 return ENOENT;
232 }
[a35b458]233
[0016674]234 if (task->kb.finished) {
[da1bafb]235 mutex_unlock(&task->kb.cleanup_lock);
[9a1b20c]236 return EINVAL;
237 }
[a35b458]238
[0016674]239 /* Create a kbox thread if necessary. */
240 if (task->kb.thread == NULL) {
241 thread_t *kb_thread = thread_create(kbox_thread_proc, NULL, task,
242 THREAD_FLAG_NONE, "kbox");
[a35b458]243
[0016674]244 if (!kb_thread) {
245 mutex_unlock(&task->kb.cleanup_lock);
246 return ENOMEM;
247 }
[a35b458]248
[1871118]249 task->kb.thread = thread_ref(kb_thread);
[0016674]250 thread_ready(kb_thread);
251 }
[a35b458]252
[0016674]253 /* Allocate a new phone. */
[eadaeae8]254 cap_phone_handle_t phone_handle;
[334c103]255 errno_t rc = phone_alloc(TASK, true, &phone_handle, NULL);
[09d01f2]256 if (rc != EOK) {
[da1bafb]257 mutex_unlock(&task->kb.cleanup_lock);
[09d01f2]258 return rc;
[9a1b20c]259 }
[a35b458]260
[48bcf49]261 kobject_t *phone_obj = kobject_get(TASK, phone_handle,
262 KOBJECT_TYPE_PHONE);
[9a1b20c]263 /* Connect the newly allocated phone to the kbox */
[48bcf49]264 /* Hand over phone_obj's reference to ipc_phone_connect() */
265 (void) ipc_phone_connect(phone_obj->phone, &task->kb.box);
[a35b458]266
[da1bafb]267 mutex_unlock(&task->kb.cleanup_lock);
[569a51a]268 *out_phone = phone_handle;
269 return EOK;
[9a1b20c]270}
271
272/** @}
273 */
Note: See TracBrowser for help on using the repository browser.