12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061 |
- /* Copyright (C) 2014 Stony Brook University
- This file is part of Graphene Library OS.
- Graphene Library OS is free software: you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public License
- as published by the Free Software Foundation, either version 3 of the
- License, or (at your option) any later version.
- Graphene Library OS is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU Lesser General Public License for more details.
- You should have received a copy of the GNU Lesser General Public License
- along with this program. If not, see <http://www.gnu.org/licenses/>. */
- /*
- * db_threading.c
- *
- * This file contain APIs to create, exit and yield a thread.
- */
- #include "api.h"
- #include "pal.h"
- #include "pal_debug.h"
- #include "pal_defs.h"
- #include "pal_error.h"
- #include "pal_internal.h"
- /* _DkThreadCreate for internal use. Create an internal thread
- inside the current process. The arguments callback and param
- specify the starting function and parameters */
- int _DkThreadCreate(PAL_HANDLE* handle, int (*callback)(void*), const void* param) {
- return -PAL_ERROR_NOTIMPLEMENTED;
- }
- int _DkThreadDelayExecution(unsigned long* duration) {
- return -PAL_ERROR_NOTIMPLEMENTED;
- }
- /* PAL call DkThreadYieldExecution. Yield the execution
- of the current thread. */
- void _DkThreadYieldExecution(void) {
- /* needs to be implemented */
- }
- /* _DkThreadExit for internal use: Thread exiting */
- noreturn void _DkThreadExit(int* clear_child_tid) {
- /* needs to be implemented */
- while (true) {
- /* nothing */
- }
- }
- int _DkThreadResume(PAL_HANDLE threadHandle) {
- return -PAL_ERROR_NOTIMPLEMENTED;
- }
- struct handle_ops thread_ops = {
- /* nothing */
- };
|