njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 1 | |
| 2 | /*--------------------------------------------------------------------*/ |
| 3 | /*--- The scheduler. pub_core_scheduler.h ---*/ |
| 4 | /*--------------------------------------------------------------------*/ |
| 5 | |
| 6 | /* |
| 7 | This file is part of Valgrind, a dynamic binary instrumentation |
| 8 | framework. |
| 9 | |
sewardj | 9eecbbb | 2010-05-03 21:37:12 +0000 | [diff] [blame] | 10 | Copyright (C) 2000-2010 Julian Seward |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 11 | jseward@acm.org |
| 12 | |
| 13 | This program is free software; you can redistribute it and/or |
| 14 | modify it under the terms of the GNU General Public License as |
| 15 | published by the Free Software Foundation; either version 2 of the |
| 16 | License, or (at your option) any later version. |
| 17 | |
| 18 | This program is distributed in the hope that it will be useful, but |
| 19 | WITHOUT ANY WARRANTY; without even the implied warranty of |
| 20 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 21 | General Public License for more details. |
| 22 | |
| 23 | You should have received a copy of the GNU General Public License |
| 24 | along with this program; if not, write to the Free Software |
| 25 | Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 26 | 02111-1307, USA. |
| 27 | |
| 28 | The GNU General Public License is contained in the file COPYING. |
| 29 | */ |
| 30 | |
| 31 | #ifndef __PUB_CORE_SCHEDULER_H |
| 32 | #define __PUB_CORE_SCHEDULER_H |
| 33 | |
| 34 | //-------------------------------------------------------------------- |
| 35 | // PURPOSE: This module is the scheduler, which is the main loop |
| 36 | // controlling the running of all the program's threads. |
| 37 | // It's at the centre of everything. |
| 38 | //-------------------------------------------------------------------- |
| 39 | |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 40 | /* Allocate a new ThreadState */ |
| 41 | extern ThreadId VG_(alloc_ThreadState)(void); |
| 42 | |
| 43 | /* A thread exits. tid must currently be running. */ |
| 44 | extern void VG_(exit_thread)(ThreadId tid); |
| 45 | |
sewardj | f54342a | 2006-10-17 01:51:24 +0000 | [diff] [blame] | 46 | /* If 'tid' is blocked in a syscall, send it SIGVGKILL so as to get it |
| 47 | out of the syscall and onto doing the next thing, whatever that is. |
| 48 | If it isn't blocked in a syscall, has no effect on the thread. */ |
| 49 | extern void VG_(get_thread_out_of_syscall)(ThreadId tid); |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 50 | |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 51 | /* Nuke all threads except tid. */ |
| 52 | extern void VG_(nuke_all_threads_except) ( ThreadId me, |
| 53 | VgSchedReturnCode reason ); |
| 54 | |
| 55 | /* Make a thread the running thread. The thread must previously been |
sewardj | f54342a | 2006-10-17 01:51:24 +0000 | [diff] [blame] | 56 | sleeping, and not holding the CPU lock. This will set the |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 57 | thread state to VgTs_Runnable, and the thread will attempt to take |
sewardj | f54342a | 2006-10-17 01:51:24 +0000 | [diff] [blame] | 58 | the CPU lock. By the time it returns, tid will be the running |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 59 | thread. */ |
sewardj | ad0a3a8 | 2006-12-17 18:58:55 +0000 | [diff] [blame] | 60 | extern void VG_(acquire_BigLock) ( ThreadId tid, HChar* who ); |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 61 | |
njn | f76d27a | 2009-05-28 01:53:07 +0000 | [diff] [blame] | 62 | /* Simple version, which simply acquires the lock, but does not mess |
| 63 | with the guest state in the same way as the non _LL version |
| 64 | does. */ |
| 65 | extern void VG_(acquire_BigLock_LL) ( HChar* who ); |
| 66 | |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 67 | /* Set a thread into a sleeping state. Before the call, the thread |
sewardj | f54342a | 2006-10-17 01:51:24 +0000 | [diff] [blame] | 68 | must be runnable, and holding the CPU lock. When this call |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 69 | returns, the thread will be set to the specified sleeping state, |
sewardj | f54342a | 2006-10-17 01:51:24 +0000 | [diff] [blame] | 70 | and will not be holding the CPU lock. Note that another |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 71 | thread could be running by the time this call returns, so the |
| 72 | caller must be careful not to touch any shared state. It is also |
| 73 | the caller's responsibility to actually block until the thread is |
| 74 | ready to run again. */ |
njn | f76d27a | 2009-05-28 01:53:07 +0000 | [diff] [blame] | 75 | extern void VG_(release_BigLock) ( ThreadId tid, |
| 76 | ThreadStatus state, HChar* who ); |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 77 | |
njn | f76d27a | 2009-05-28 01:53:07 +0000 | [diff] [blame] | 78 | /* Matching function to acquire_BigLock_LL. */ |
| 79 | extern void VG_(release_BigLock_LL) ( HChar* who ); |
| 80 | |
| 81 | /* Yield the CPU for a while. Drops/acquires the lock using the |
| 82 | normal (non _LL) functions. */ |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 83 | extern void VG_(vg_yield)(void); |
| 84 | |
| 85 | // The scheduler. |
| 86 | extern VgSchedReturnCode VG_(scheduler) ( ThreadId tid ); |
| 87 | |
sewardj | de764e8 | 2007-11-09 23:13:22 +0000 | [diff] [blame] | 88 | // Initialise, phase 1. Zero out VG_(threads), decide on the root |
| 89 | // ThreadId and initialise the bigLock. |
| 90 | extern ThreadId VG_(scheduler_init_phase1) ( void ); |
| 91 | |
| 92 | // Initialise, phase 2. Is passed the extent of the root thread's |
| 93 | // client stack and the root ThreadId decided on by phase 1. |
| 94 | extern void VG_(scheduler_init_phase2) ( ThreadId main_tid, |
| 95 | Addr clstack_end, |
| 96 | SizeT clstack_size ); |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 97 | |
sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 98 | // Allows to disable the polling done to detect vgdb input |
| 99 | // or to force a poll at next scheduler call. |
| 100 | extern void VG_(disable_vgdb_poll) (void ); |
| 101 | extern void VG_(force_vgdb_poll) ( void ); |
| 102 | |
njn | 04e1698 | 2005-05-31 00:23:43 +0000 | [diff] [blame] | 103 | /* Stats ... */ |
| 104 | extern void VG_(print_scheduler_stats) ( void ); |
| 105 | |
sewardj | 0ec07f3 | 2006-01-12 12:32:32 +0000 | [diff] [blame] | 106 | /* If False, a fault is Valgrind-internal (ie, a bug) */ |
| 107 | extern Bool VG_(in_generated_code); |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 108 | |
njn | 6676d5b | 2005-06-19 18:49:19 +0000 | [diff] [blame] | 109 | /* Sanity checks which may be done at any time. The scheduler decides when. */ |
| 110 | extern void VG_(sanity_check_general) ( Bool force_expensive ); |
| 111 | |
njn | 278b3d6 | 2005-05-30 23:20:51 +0000 | [diff] [blame] | 112 | #endif // __PUB_CORE_SCHEDULER_H |
| 113 | |
| 114 | /*--------------------------------------------------------------------*/ |
| 115 | /*--- end ---*/ |
| 116 | /*--------------------------------------------------------------------*/ |