From: Michael Niedermayer <michael@niedermayer.cc>
To: FFmpeg development discussions and patches <ffmpeg-devel@ffmpeg.org>
Subject: [FFmpeg-devel] [PATCH 1/3] avutil/tree: av_tree_find2() to also find the first and last elements comparing equal
Date: Mon, 14 Apr 2025 13:05:13 +0200
Message-ID: <20250414110515.893360-1-michael@niedermayer.cc> (raw)
This patch also improves the worst case of O(n) (with n equal elements) to O(log n)
This may be used by AVDictionary2 And AVSet for iterating over identical
keys
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
---
libavutil/tree.c | 33 ++++++++++++++++++++++++++++-----
libavutil/tree.h | 6 ++++++
2 files changed, 34 insertions(+), 5 deletions(-)
diff --git a/libavutil/tree.c b/libavutil/tree.c
index 7b57b2d39a7..a084ecab08c 100644
--- a/libavutil/tree.c
+++ b/libavutil/tree.c
@@ -18,6 +18,7 @@
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
+#include "avassert.h"
#include "error.h"
#include "log.h"
#include "mem.h"
@@ -36,19 +37,35 @@ struct AVTreeNode *av_tree_node_alloc(void)
return av_mallocz(sizeof(struct AVTreeNode));
}
-void *av_tree_find(const AVTreeNode *t, void *key,
- int (*cmp)(const void *key, const void *b), void *next[2])
+static void tree_find_next(const AVTreeNode *t, const void *key,
+ int (*cmp)(const void *key, const void *b), void *next[4], int nextlen, int direction)
+{
+ if (t) {
+ unsigned int v = cmp(key, t->elem);
+ if (v) {
+ next[direction] = t->elem;
+ av_assert2((v >> 31) == direction);
+ tree_find_next(t->child[!direction], key, cmp, next, nextlen, direction);
+ } else {
+ next[2+direction] = t->elem;
+ tree_find_next(t->child[direction], key, cmp, next, nextlen, direction);
+ }
+ }
+}
+
+void *av_tree_find2(const AVTreeNode *t, const void *key,
+ int (*cmp)(const void *key, const void *b), void *next[4], int nextlen)
{
if (t) {
unsigned int v = cmp(key, t->elem);
if (v) {
if (next)
next[v >> 31] = t->elem;
- return av_tree_find(t->child[(v >> 31) ^ 1], key, cmp, next);
+ return av_tree_find2(t->child[(v >> 31) ^ 1], key, cmp, next, nextlen);
} else {
if (next) {
- av_tree_find(t->child[0], key, cmp, next);
- av_tree_find(t->child[1], key, cmp, next);
+ tree_find_next(t->child[0], key, cmp, next, nextlen, 0);
+ tree_find_next(t->child[1], key, cmp, next, nextlen, 1);
}
return t->elem;
}
@@ -56,6 +73,12 @@ void *av_tree_find(const AVTreeNode *t, void *key,
return NULL;
}
+void *av_tree_find(const AVTreeNode *t, void *key,
+ int (*cmp)(const void *key, const void *b), void *next[2])
+{
+ return av_tree_find2(t, key, cmp, next, 2);
+}
+
void *av_tree_insert(AVTreeNode **tp, void *key,
int (*cmp)(const void *key, const void *b), AVTreeNode **next)
{
diff --git a/libavutil/tree.h b/libavutil/tree.h
index bbb8fbb1262..6bafd47e593 100644
--- a/libavutil/tree.h
+++ b/libavutil/tree.h
@@ -55,6 +55,9 @@ struct AVTreeNode *av_tree_node_alloc(void);
* @param next If next is not NULL, then next[0] will contain the previous
* element and next[1] the next element. If either does not exist,
* then the corresponding entry in next is unchanged.
+ * if nextlen is 4 then next[2] will contain the first element comparing
+ * equal that is smaller than the returned. Similarly next[3] will
+ * contain the last element comparing equal that is larger than the returned
* @param cmp compare function used to compare elements in the tree,
* API identical to that of Standard C's qsort
* It is guaranteed that the first and only the first argument to cmp()
@@ -63,6 +66,9 @@ struct AVTreeNode *av_tree_node_alloc(void);
* @return An element with cmp(key, elem) == 0 or NULL if no such element
* exists in the tree.
*/
+void *av_tree_find2(const struct AVTreeNode *root, const void *key,
+ int (*cmp)(const void *key, const void *b), void *next[4], int nextlen);
+
void *av_tree_find(const struct AVTreeNode *root, void *key,
int (*cmp)(const void *key, const void *b), void *next[2]);
--
2.49.0
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
To unsubscribe, visit link above, or email
ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".
next reply other threads:[~2025-04-14 11:05 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-04-14 11:05 Michael Niedermayer [this message]
2025-04-14 11:05 ` [FFmpeg-devel] [PATCH 2/3] avutil/tree: Add av_tree_move Michael Niedermayer
2025-04-14 11:05 ` [FFmpeg-devel] [PATCH 3/3] libavutil: Add AVSet Michael Niedermayer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20250414110515.893360-1-michael@niedermayer.cc \
--to=michael@niedermayer.cc \
--cc=ffmpeg-devel@ffmpeg.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Git Inbox Mirror of the ffmpeg-devel mailing list - see https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
This inbox may be cloned and mirrored by anyone:
git clone --mirror https://master.gitmailbox.com/ffmpegdev/0 ffmpegdev/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 ffmpegdev ffmpegdev/ https://master.gitmailbox.com/ffmpegdev \
ffmpegdev@gitmailbox.com
public-inbox-index ffmpegdev
Example config snippet for mirrors.
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git