mirror of
https://github.com/asterisk/asterisk.git
synced 2025-11-09 11:28:25 +00:00
Multiple revisions 399887,400138,400178,400180-400181
........ r399887 | dlee | 2013-09-26 10:41:47 -0500 (Thu, 26 Sep 2013) | 1 line Minor performance bump by not allocate manager variable struct if we don't need it ........ r400138 | dlee | 2013-09-30 10:24:00 -0500 (Mon, 30 Sep 2013) | 23 lines Stasis performance improvements This patch addresses several performance problems that were found in the initial performance testing of Asterisk 12. The Stasis dispatch object was allocated as an AO2 object, even though it has a very confined lifecycle. This was replaced with a straight ast_malloc(). The Stasis message router was spending an inordinate amount of time searching hash tables. In this case, most of our routers had 6 or fewer routes in them to begin with. This was replaced with an array that's searched linearly for the route. We more heavily rely on AO2 objects in Asterisk 12, and the memset() in ao2_ref() actually became noticeable on the profile. This was #ifdef'ed to only run when AO2_DEBUG was enabled. After being misled by an erroneous comment in taskprocessor.c during profiling, the wrong comment was removed. Review: https://reviewboard.asterisk.org/r/2873/ ........ r400178 | dlee | 2013-09-30 13:26:27 -0500 (Mon, 30 Sep 2013) | 24 lines Taskprocessor optimization; switch Stasis to use taskprocessors This patch optimizes taskprocessor to use a semaphore for signaling, which the OS can do a better job at managing contention and waiting that we can with a mutex and condition. The taskprocessor execution was also slightly optimized to reduce the number of locks taken. The only observable difference in the taskprocessor implementation is that when the final reference to the taskprocessor goes away, it will execute all tasks to completion instead of discarding the unexecuted tasks. For systems where unnamed semaphores are not supported, a really simple semaphore implementation is provided. (Which gives identical performance as the original taskprocessor implementation). The way we ended up implementing Stasis caused the threadpool to be a burden instead of a boost to performance. This was switched to just use taskprocessors directly for subscriptions. Review: https://reviewboard.asterisk.org/r/2881/ ........ r400180 | dlee | 2013-09-30 13:39:34 -0500 (Mon, 30 Sep 2013) | 28 lines Optimize how Stasis forwards are dispatched This patch optimizes how forwards are dispatched in Stasis. Originally, forwards were dispatched as subscriptions that are invoked on the publishing thread. This did not account for the vast number of forwards we would end up having in the system, and the amount of work it would take to walk though the forward subscriptions. This patch modifies Stasis so that rather than walking the tree of forwards on every dispatch, when forwards and subscriptions are changed, the subscriber list for every topic in the tree is changed. This has a couple of benefits. First, this reduces the workload of dispatching messages. It also reduces contention when dispatching to different topics that happen to forward to the same aggregation topic (as happens with all of the channel, bridge and endpoint topics). Since forwards are no longer subscriptions, the bulk of this patch is simply changing stasis_subscription objects to stasis_forward objects (which, admittedly, I should have done in the first place.) Since this required me to yet again put in a growing array, I finally abstracted that out into a set of ast_vector macros in asterisk/vector.h. Review: https://reviewboard.asterisk.org/r/2883/ ........ r400181 | dlee | 2013-09-30 13:48:57 -0500 (Mon, 30 Sep 2013) | 28 lines Remove dispatch object allocation from Stasis publishing While looking for areas for performance improvement, I realized that an unused feature in Stasis was negatively impacting performance. When a message is sent to a subscriber, a dispatch object is allocated for the dispatch, containing the topic the message was published to, the subscriber the message is being sent to, and the message itself. The topic is actually unused by any subscriber in Asterisk today. And the subscriber is associated with the taskprocessor the message is being dispatched to. First, this patch removes the unused topic parameter from Stasis subscription callbacks. Second, this patch introduces the concept of taskprocessor local data, data that may be set on a taskprocessor and provided along with the data pointer when a task is pushed using the ast_taskprocessor_push_local() call. This allows the task to have both data specific to that taskprocessor, in addition to data specific to that invocation. With those two changes, the dispatch object can be removed completely, and the message is simply refcounted and sent directly to the taskprocessor. Review: https://reviewboard.asterisk.org/r/2884/ ........ Merged revisions 399887,400138,400178,400180-400181 from http://svn.asterisk.org/svn/asterisk/branches/12 git-svn-id: https://origsvn.digium.com/svn/asterisk/trunk@400186 65c4cc65-6c06-0410-ace0-fbb531ad65f3
This commit is contained in:
193
include/asterisk/vector.h
Normal file
193
include/asterisk/vector.h
Normal file
@@ -0,0 +1,193 @@
|
||||
/*
|
||||
* Asterisk -- An open source telephony toolkit.
|
||||
*
|
||||
* Copyright (C) 2013, Digium, Inc.
|
||||
*
|
||||
* David M. Lee, II <dlee@digium.com>
|
||||
*
|
||||
* See http://www.asterisk.org for more information about
|
||||
* the Asterisk project. Please do not directly contact
|
||||
* any of the maintainers of this project for assistance;
|
||||
* the project provides a web site, mailing lists and IRC
|
||||
* channels for your use.
|
||||
*
|
||||
* This program is free software, distributed under the terms of
|
||||
* the GNU General Public License Version 2. See the LICENSE file
|
||||
* at the top of the source tree.
|
||||
*/
|
||||
|
||||
#ifndef _ASTERISK_VECTOR_H
|
||||
#define _ASTERISK_VECTOR_H
|
||||
|
||||
/*! \file
|
||||
*
|
||||
* \brief Vector container support.
|
||||
*
|
||||
* A vector is a variable length array, with properties that can be useful when
|
||||
* order doesn't matter.
|
||||
* - Appends are asymptotically constant time.
|
||||
* - Unordered removes are constant time.
|
||||
* - Search is linear time
|
||||
*
|
||||
* \author David M. Lee, II <dlee@digium.com>
|
||||
* \since 12
|
||||
*/
|
||||
|
||||
/*! \brief Define a vector structure */
|
||||
#define ast_vector(type) \
|
||||
struct { \
|
||||
type *elems; \
|
||||
size_t max; \
|
||||
size_t current; \
|
||||
}
|
||||
|
||||
/*!
|
||||
* \brief Initialize a vector
|
||||
*
|
||||
* If \a size is 0, then no space will be allocated until the vector is
|
||||
* appended to.
|
||||
*
|
||||
* \param vec Vector to initialize.
|
||||
* \param size Initial size of the vector.
|
||||
*
|
||||
* \return 0 on success.
|
||||
* \return Non-zero on failure.
|
||||
*/
|
||||
#define ast_vector_init(vec, size) ({ \
|
||||
size_t __size = (size); \
|
||||
size_t alloc_size = __size * sizeof(*(vec).elems); \
|
||||
(vec).elems = alloc_size ? ast_malloc(alloc_size) : NULL; \
|
||||
(vec).current = 0; \
|
||||
if ((vec).elems) { \
|
||||
(vec).max = __size; \
|
||||
} else { \
|
||||
(vec).max = 0; \
|
||||
} \
|
||||
alloc_size == 0 || (vec).elems != NULL ? 0 : -1; \
|
||||
})
|
||||
|
||||
/*!
|
||||
* \brief Deallocates this vector.
|
||||
*
|
||||
* If any code to free the elements of this vector need to be run, that should
|
||||
* be done prior to this call.
|
||||
*
|
||||
* \param vec Vector to deallocate.
|
||||
*/
|
||||
#define ast_vector_free(vec) do { \
|
||||
ast_free((vec).elems); \
|
||||
(vec).elems = NULL; \
|
||||
(vec).max = 0; \
|
||||
(vec).current = 0; \
|
||||
} while (0)
|
||||
|
||||
/*!
|
||||
* \brief Append an element to a vector, growing the vector if needed.
|
||||
*
|
||||
* \param vec Vector to append to.
|
||||
* \param elem Element to append.
|
||||
*
|
||||
* \return 0 on success.
|
||||
* \return Non-zero on failure.
|
||||
*/
|
||||
#define ast_vector_append(vec, elem) ({ \
|
||||
int res = 0; \
|
||||
\
|
||||
if ((vec).current + 1 > (vec).max) { \
|
||||
size_t new_max = (vec).max ? 2 * (vec).max : 1; \
|
||||
typeof((vec).elems) new_elems = ast_realloc( \
|
||||
(vec).elems, new_max * sizeof(*new_elems)); \
|
||||
if (new_elems) { \
|
||||
(vec).elems = new_elems; \
|
||||
(vec).max = new_max; \
|
||||
} else { \
|
||||
res = -1; \
|
||||
} \
|
||||
} \
|
||||
\
|
||||
if (res == 0) { \
|
||||
(vec).elems[(vec).current++] = (elem); \
|
||||
} \
|
||||
res; \
|
||||
})
|
||||
|
||||
/*!
|
||||
* \brief Remove an element from a vector by index.
|
||||
*
|
||||
* Note that elements in the vector may be reordered, so that the remove can
|
||||
* happen in constant time.
|
||||
*
|
||||
* \param vec Vector to remove from.
|
||||
* \param idx Index of the element to remove.
|
||||
* \return The element that was removed.
|
||||
*/
|
||||
#define ast_vector_remove_unordered(vec, idx) ({ \
|
||||
typeof((vec).elems[0]) res; \
|
||||
size_t __idx = (idx); \
|
||||
ast_assert(__idx < (vec).current); \
|
||||
res = (vec).elems[__idx]; \
|
||||
(vec).elems[__idx] = (vec).elems[--(vec).current]; \
|
||||
res; \
|
||||
})
|
||||
|
||||
|
||||
/*!
|
||||
* \brief Remove an element from a vector that matches the given comparison
|
||||
*
|
||||
* \param vec Vector to remove from.
|
||||
* \param value Value to pass into comparator.
|
||||
* \param cmp Comparator function/macros (called as \c cmp(elem, value))
|
||||
* \return 0 if element was removed.
|
||||
* \return Non-zero if element was not in the vector.
|
||||
*/
|
||||
#define ast_vector_remove_cmp_unordered(vec, value, cmp) ({ \
|
||||
int res = -1; \
|
||||
size_t idx; \
|
||||
typeof(value) __value = (value); \
|
||||
for (idx = 0; idx < (vec).current; ++idx) { \
|
||||
if (cmp((vec).elems[idx], __value)) { \
|
||||
ast_vector_remove_unordered((vec), idx); \
|
||||
res = 0; \
|
||||
break; \
|
||||
} \
|
||||
} \
|
||||
res; \
|
||||
})
|
||||
|
||||
/*! \brief Default comparator for ast_vector_remove_elem_unordered() */
|
||||
#define AST_VECTOR_DEFAULT_CMP(a, b) ((a) == (b))
|
||||
|
||||
/*!
|
||||
* \brief Remove an element from a vector.
|
||||
*
|
||||
* \param vec Vector to remove from.
|
||||
* \param elem Element to remove
|
||||
* \return 0 if element was removed.
|
||||
* \return Non-zero if element was not in the vector.
|
||||
*/
|
||||
#define ast_vector_remove_elem_unordered(vec, elem) ({ \
|
||||
ast_vector_remove_cmp_unordered((vec), (elem), \
|
||||
AST_VECTOR_DEFAULT_CMP); \
|
||||
})
|
||||
|
||||
/*!
|
||||
* \brief Get the number of elements in a vector.
|
||||
*
|
||||
* \param vec Vector to query.
|
||||
* \return Number of elements in the vector.
|
||||
*/
|
||||
#define ast_vector_size(vec) (vec).current
|
||||
|
||||
/*!
|
||||
* \brief Get an element from a vector.
|
||||
*
|
||||
* \param vec Vector to query.
|
||||
* \param idx Index of the element to get.
|
||||
*/
|
||||
#define ast_vector_get(vec, idx) ({ \
|
||||
size_t __idx = (idx); \
|
||||
ast_assert(__idx < (vec).current); \
|
||||
(vec).elems[__idx]; \
|
||||
})
|
||||
|
||||
#endif /* _ASTERISK_VECTOR_H */
|
||||
Reference in New Issue
Block a user