thread.hpp
Go to the documentation of this file.00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 00002 /* 00003 * Main authors: 00004 * Christian Schulte <schulte@gecode.org> 00005 * 00006 * Copyright: 00007 * Christian Schulte, 2009 00008 * 00009 * This file is part of Gecode, the generic constraint 00010 * development environment: 00011 * http://www.gecode.org 00012 * 00013 * Permission is hereby granted, free of charge, to any person obtaining 00014 * a copy of this software and associated documentation files (the 00015 * "Software"), to deal in the Software without restriction, including 00016 * without limitation the rights to use, copy, modify, merge, publish, 00017 * distribute, sublicense, and/or sell copies of the Software, and to 00018 * permit persons to whom the Software is furnished to do so, subject to 00019 * the following conditions: 00020 * 00021 * The above copyright notice and this permission notice shall be 00022 * included in all copies or substantial portions of the Software. 00023 * 00024 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 00025 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 00026 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 00027 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE 00028 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION 00029 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION 00030 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 00031 * 00032 */ 00033 00034 namespace Gecode { namespace Support { 00035 00036 /* 00037 * Runnable objects 00038 */ 00039 forceinline 00040 Runnable::Runnable(bool d0) 00041 : d(d0) {} 00042 forceinline void 00043 Runnable::todelete(bool d0) { 00044 d=d0; 00045 } 00046 forceinline bool 00047 Runnable::todelete(void) const { 00048 return d; 00049 } 00050 forceinline void 00051 Runnable::operator delete(void* p) { 00052 heap.rfree(p); 00053 } 00054 forceinline void* 00055 Runnable::operator new(size_t s) { 00056 return heap.ralloc(s); 00057 } 00058 00059 /* 00060 * Mutexes 00061 * 00062 */ 00063 forceinline void* 00064 Mutex::operator new(size_t s) { 00065 return Gecode::heap.ralloc(s); 00066 } 00067 00068 forceinline void 00069 Mutex::operator delete(void* p) { 00070 Gecode::heap.rfree(p); 00071 } 00072 00073 #if ! ( defined(GECODE_THREADS_WINDOWS) || defined(GECODE_THREADS_OSX_UNFAIR) || !defined(GECODE_THREADS_PTHREADS_SPINLOCK) ) 00074 00075 /* 00076 * Fast mutexes 00077 * 00078 */ 00079 forceinline void* 00080 FastMutex::operator new(size_t s) { 00081 return Gecode::heap.ralloc(s); 00082 } 00083 00084 forceinline void 00085 FastMutex::operator delete(void* p) { 00086 Gecode::heap.rfree(p); 00087 } 00088 00089 #endif 00090 00091 /* 00092 * Locks 00093 */ 00094 forceinline 00095 Lock::Lock(Mutex& m0) : m(m0) { 00096 m.acquire(); 00097 } 00098 forceinline 00099 Lock::~Lock(void) { 00100 m.release(); 00101 } 00102 00103 00104 /* 00105 * Threads 00106 */ 00107 inline void 00108 Thread::Run::run(Runnable* r0) { 00109 m.acquire(); 00110 r = r0; 00111 m.release(); 00112 e.signal(); 00113 } 00114 inline void 00115 Thread::run(Runnable* r) { 00116 m()->acquire(); 00117 if (idle != NULL) { 00118 Run* i = idle; 00119 idle = idle->n; 00120 m()->release(); 00121 i->run(r); 00122 } else { 00123 m()->release(); 00124 (void) new Run(r); 00125 } 00126 } 00127 forceinline void 00128 Thread::Run::operator delete(void* p) { 00129 heap.rfree(p); 00130 } 00131 forceinline void* 00132 Thread::Run::operator new(size_t s) { 00133 return heap.ralloc(s); 00134 } 00135 00136 }} 00137 00138 // STATISTICS: support-any