X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=queue%2Ftags;fp=queue%2Ftags;h=0000000000000000000000000000000000000000;hp=8c5c88d5d660e39c33297518d34be47a87280313;hb=819715e1278ec7efecc81cf1d62c298eb396c730;hpb=69d1985b2a13f7f53fd717c094641a795b9c0410 diff --git a/queue/tags b/queue/tags deleted file mode 100644 index 8c5c88d..0000000 --- a/queue/tags +++ /dev/null @@ -1,89 +0,0 @@ -!_TAG_FILE_FORMAT 2 /extended format; --format=1 will not append ;" to lines/ -!_TAG_FILE_SORTED 1 /0=unsorted, 1=sorted, 2=foldcase/ -!_TAG_PROGRAM_AUTHOR Darren Hiebert /dhiebert@users.sourceforge.net/ -!_TAG_PROGRAM_NAME Exuberant Ctags // -!_TAG_PROGRAM_URL http://ctags.sourceforge.net /official site/ -!_TAG_PROGRAM_VERSION 5.9~svn20110310 // -ARRAY_LOCK_FREE_Q_DEFAULT_SIZE array_lock_free_queue.h 45;" d -ARRAY_LOCK_FREE_Q_DEFAULT_SIZE array_lock_free_queue_single_producer.h 49;" d -ARRAY_LOCK_FREE_Q_KEEP_REAL_SIZE array_lock_free_queue.h 50;" d -ARRAY_LOCK_FREE_Q_KEEP_REAL_SIZE array_lock_free_queue_single_producer.h 54;" d -ArrayLockFreeQueue array_lock_free_queue.h /^class ArrayLockFreeQueue$/;" c -ArrayLockFreeQueue array_lock_free_queue_impl.h /^ArrayLockFreeQueue::ArrayLockFreeQueue() :$/;" f class:ArrayLockFreeQueue -ArrayLockFreeQueueSingleProducer array_lock_free_queue_single_producer.h /^class ArrayLockFreeQueueSingleProducer$/;" c -ArrayLockFreeQueueSingleProducer array_lock_free_queue_single_producer_impl.h /^ArrayLockFreeQueueSingleProducer::ArrayLockFreeQueueSingleProducer() :$/;" f class:ArrayLockFreeQueueSingleProducer -AtomicAdd atomic_ops.h 51;" d -AtomicAdd atomic_ops.h 87;" d -AtomicSub atomic_ops.h 55;" d -AtomicSub atomic_ops.h 91;" d -BLOCKING_QUEUE_DEFAULT_MAX_SIZE g_blocking_queue.h 49;" d -BLOCKING_Q_INCLUDE makefile /^BLOCKING_Q_INCLUDE = \\$/;" m -BlockingQueue g_blocking_queue.h /^class BlockingQueue$/;" c -BlockingQueue g_blocking_queue_impl.h /^BlockingQueue::BlockingQueue(std::size_t a_maxSize) :$/;" f class:BlockingQueue -CAS atomic_ops.h 60;" d -CAS atomic_ops.h 96;" d -CASVal atomic_ops.h 101;" d -CASVal atomic_ops.h 65;" d -CC makefile /^CC = g++$/;" m -CFLAGS_GTHREAD makefile /^CFLAGS_GTHREAD = `pkg-config gthread-2.0`$/;" m -IsEmpty g_blocking_queue_impl.h /^bool BlockingQueue::IsEmpty()$/;" f class:BlockingQueue -LDFLAGS_GTHREAD makefile /^LDFLAGS_GTHREAD = `pkg-config --libs gthread-2.0`$/;" m -LOCK_FREE_Q_INCLUDE makefile /^LOCK_FREE_Q_INCLUDE = \\$/;" m -LOCK_FREE_SINGLE_PRODUCER_Q_INCLUDE makefile /^LOCK_FREE_SINGLE_PRODUCER_Q_INCLUDE = \\$/;" m -NANOSECONDS_PER_SECOND g_blocking_queue_impl.h 47;" d -N_CONSUMERS test_blocking_q.cpp 17;" d file: -N_CONSUMERS test_lock_free_q.cpp 17;" d file: -N_CONSUMERS test_lock_free_single_producer_q.cpp 13;" d file: -N_ITERATIONS test_blocking_q.cpp 21;" d file: -N_ITERATIONS test_lock_free_q.cpp 21;" d file: -N_ITERATIONS test_lock_free_single_producer_q.cpp 17;" d file: -N_PRODUCERS test_blocking_q.cpp 13;" d file: -N_PRODUCERS test_lock_free_q.cpp 13;" d file: -Pop g_blocking_queue_impl.h /^void BlockingQueue::Pop(T &out_data)$/;" f class:BlockingQueue -Push g_blocking_queue_impl.h /^bool BlockingQueue::Push(const T &a_elem)$/;" f class:BlockingQueue -QUEUE_SIZE test_blocking_q.cpp 25;" d file: -QUEUE_SIZE test_lock_free_q.cpp 25;" d file: -QUEUE_SIZE test_lock_free_single_producer_q.cpp 21;" d file: -SHARED_INCLUDE makefile /^SHARED_INCLUDE = \\$/;" m -TestBlockingQueue test_blocking_q.cpp /^void TestBlockingQueue()$/;" f -TestLockFreeQueue test_lock_free_q.cpp /^void TestLockFreeQueue()$/;" f -TestLockFreeQueue test_lock_free_single_producer_q.cpp /^void TestLockFreeQueue()$/;" f -TimedWaitPop g_blocking_queue_impl.h /^bool BlockingQueue::TimedWaitPop(T &data, glong microsecs)$/;" f class:BlockingQueue -TryPop g_blocking_queue_impl.h /^bool BlockingQueue::TryPop(T &out_data)$/;" f class:BlockingQueue -TryPush g_blocking_queue_impl.h /^bool BlockingQueue::TryPush(const T &a_elem)$/;" f class:BlockingQueue -_GBLOCKINGQUEUEIMPL_H_ g_blocking_queue_impl.h 43;" d -_GBLOCKINGQUEUE_H_ g_blocking_queue.h 43;" d -__ARRAY_LOCK_FREE_QUEUE_H__ array_lock_free_queue.h 40;" d -__ARRAY_LOCK_FREE_QUEUE_IMPL_H__ array_lock_free_queue_impl.h 40;" d -__ARRAY_LOCK_FREE_QUEUE_SINGLE_PRODUCER_H__ array_lock_free_queue_single_producer.h 44;" d -__ARRAY_LOCK_FREE_QUEUE_SINGLE_PRODUCER_IMPL_H__ array_lock_free_queue_single_producer_impl.h 40;" d -__ATOMIC_OPS_H atomic_ops.h 41;" d -atomic32 atomic_ops.h /^typedef atomic_uint atomic32;$/;" t -atomic32 atomic_ops.h /^typedef volatile uint32 atomic32;$/;" t -countToIndex array_lock_free_queue_impl.h /^uint32_t ArrayLockFreeQueue::countToIndex(uint32_t a_count)$/;" f class:ArrayLockFreeQueue -countToIndex array_lock_free_queue_single_producer_impl.h /^uint32_t ArrayLockFreeQueueSingleProducer::countToIndex(uint32_t a_count)$/;" f class:ArrayLockFreeQueueSingleProducer -m_cond g_blocking_queue.h /^ GCond* m_cond;$/;" m class:BlockingQueue -m_count array_lock_free_queue.h /^ atomic32 m_count;$/;" m class:ArrayLockFreeQueue -m_count array_lock_free_queue_single_producer.h /^ atomic32 m_count;$/;" m class:ArrayLockFreeQueueSingleProducer -m_maximumReadIndex array_lock_free_queue.h /^ atomic32 m_maximumReadIndex;$/;" m class:ArrayLockFreeQueue -m_maximumSize g_blocking_queue.h /^ std::size_t m_maximumSize;$/;" m class:BlockingQueue -m_mutex g_blocking_queue.h /^ GMutex* m_mutex;$/;" m class:BlockingQueue -m_readIndex array_lock_free_queue.h /^ atomic32 m_readIndex;$/;" m class:ArrayLockFreeQueue -m_readIndex array_lock_free_queue_single_producer.h /^ atomic32 m_readIndex;$/;" m class:ArrayLockFreeQueueSingleProducer -m_theQueue array_lock_free_queue.h /^ ELEM_T m_theQueue[Q_SIZE];$/;" m class:ArrayLockFreeQueue -m_theQueue array_lock_free_queue_single_producer.h /^ ELEM_T m_theQueue[Q_SIZE];$/;" m class:ArrayLockFreeQueueSingleProducer -m_theQueue g_blocking_queue.h /^ std::queue m_theQueue;$/;" m class:BlockingQueue -m_writeIndex array_lock_free_queue.h /^ atomic32 m_writeIndex;$/;" m class:ArrayLockFreeQueue -m_writeIndex array_lock_free_queue_single_producer.h /^ atomic32 m_writeIndex;$/;" m class:ArrayLockFreeQueueSingleProducer -main test_blocking_q.cpp /^int main(int \/*argc*\/, char** \/*argv*\/)$/;" f -main test_lock_free_q.cpp /^int main(int \/*argc*\/, char** \/*argv*\/)$/;" f -main test_lock_free_single_producer_q.cpp /^int main(int \/*argc*\/, char** \/*argv*\/)$/;" f -pop array_lock_free_queue_impl.h /^bool ArrayLockFreeQueue::pop(ELEM_T &a_data)$/;" f class:ArrayLockFreeQueue -pop array_lock_free_queue_single_producer_impl.h /^bool ArrayLockFreeQueueSingleProducer::pop(ELEM_T &a_data)$/;" f class:ArrayLockFreeQueueSingleProducer -push array_lock_free_queue_impl.h /^bool ArrayLockFreeQueue::push(const ELEM_T &a_data)$/;" f class:ArrayLockFreeQueue -push array_lock_free_queue_single_producer_impl.h /^bool ArrayLockFreeQueueSingleProducer::push(const ELEM_T &a_data)$/;" f class:ArrayLockFreeQueueSingleProducer -size array_lock_free_queue_impl.h /^uint32_t ArrayLockFreeQueue::size()$/;" f class:ArrayLockFreeQueue -size array_lock_free_queue_single_producer_impl.h /^uint32_t ArrayLockFreeQueueSingleProducer::size()$/;" f class:ArrayLockFreeQueueSingleProducer -~ArrayLockFreeQueue array_lock_free_queue_impl.h /^ArrayLockFreeQueue::~ArrayLockFreeQueue()$/;" f class:ArrayLockFreeQueue -~ArrayLockFreeQueueSingleProducer array_lock_free_queue_single_producer_impl.h /^ArrayLockFreeQueueSingleProducer::~ArrayLockFreeQueueSingleProducer()$/;" f class:ArrayLockFreeQueueSingleProducer -~BlockingQueue g_blocking_queue_impl.h /^BlockingQueue::~BlockingQueue()$/;" f class:BlockingQueue