【学到一个新名词】String interning(字符串驻留/字符串内部化)

作者:张富春(ahfuzhang),转载时请注明作者和引用链接,谢谢!


在阅读 VictoriaMetrics v1.95.1 的命令行手册的时候,发现这样一段:

  -internStringCacheExpireDuration duration
     The expiry duration for caches for interned strings. See https://en.wikipedia.org/wiki/String_interning . See also -internStringMaxLen and -internStringDisableCache (default 6m0s)

什么是 String interning 呢?我通过了 wiki 链接学习了一下。
并且,我还找到了一个使用 String interning 技术的 golang 项目:https://github.com/josharian/intern . 作者还写了 blog: Interning strings in Go 来进一步介绍细节。

String interning 可以翻译为 字符串驻留 或者 字符串内部化。这个技巧用于节约频繁出现的字符串的空间占用,还可以用于频繁出现的字符串的比较的加速。
它的处理思路如下:

  1. 首先有一个全局的线程安全的键值对的字符串池;
类似于: map[string]string

然后把出现频率超级高的字符串存储在其中。

  1. 当出现新的字符串的时候,要先去字符串池中匹配。
    匹配到以后,程序就可以引用字符串池中的对象,而把当前引用的对象释放掉。
    当存在大量的这样内容相同的字符串的时候,这样做无疑是可以节省空间的。
    在这样的场景下,相当于时间换空间。

  2. 当字符串都来自字符串池,且需要频繁比较的时候,直接比较指针就可以确定是否是同一个字符串,而无需逐个字符比较。
    在这样的场景下,相当于空间换时间。

让我们再看看那个简单的 golang 实现的字符串内部化的源码:
see: https://github.com/josharian/intern/blob/master/intern.go

package intern

import "sync"

var (
	pool sync.Pool = sync.Pool{   // 作者想用 sync.Pool 来解决不引用时候的释放问题。但是并发环境下可能导致分配了多个键值对的字符串池。
		New: func() interface{} {    // sync.Pool 能够在并发环境下工作,不管怎么说,并发情况下使用不会出错。
			return make(map[string]string)
		},
	}
)

// String returns s, interned.
func String(s string) string {
	m := pool.Get().(map[string]string)
	c, ok := m[s]  // 这里要经过  1.计算字符串 hashcode; 2.hash 查找; 3.字符串内容比较。时间换空间的成本还是挺高的。
	if ok {
		pool.Put(m)
		return c  // 如果字符串池中存在,就置换为字符串池中的对象
	}
	m[s] = s  // 这里不会发生并发问题
	pool.Put(m)
	return s
}

// Bytes returns b converted to a string, interned.
func Bytes(b []byte) string {
	m := pool.Get().(map[string]string)
	c, ok := m[string(b)]  // string(b) 这里有个隐含的知识点:这种情况下编译器不会分配新的字符串对象。
	if ok {
		pool.Put(m)
		return c
	}
	s := string(b)
	m[s] = s
	pool.Put(m)
	return s
}

// todo: 这里还缺乏一个内容:当字符串都来自字符串池的时候,可以提供按照指针比较的方法
// 类似于:
//  isSmae := &str1==&str2 || str1==str2

看完了源码,这个字符串内部化似乎也没有很复杂很高深。或许某个存在大量重复字符串的场景中,我们很能用上这个技术。

最后,ChatGPT 还给了我一段 VictoriaMetrics 中使用 String interning 技术的讲解:

// 以下内容由  ChatGPT 4.0 产生:
VictoriaMetrics采用了字符串内部化技术来优化其时间序列数据库的性能,尤其在处理度量指标的元数据时。这些元数据通常由标签-值对组成,并且在VictoriaMetrics中以字符串的形式表示。下面是VictoriaMetrics中字符串内部化实现的详细信息:

1. 字符串内部化的目的和效果:在VictoriaMetrics中,由于元数据字符串在实践中变化不大,因此在数据收集过程中会产生大量重复。例如,`go_info` 度量指标的元数据包含Go版本的标签-值对。这些版本并不经常变化,但每次从应用程序中收集此度量时,都需要解析其元数据并在内存中分配,直到它被垃圾回收。为了避免多次存储相同的字符串,VictoriaMetrics通过内部化每个独特字符串一次,并在需要时引用它,从而显著节省内存​​​​。

2. 实现方法:在单线程应用中,字符串内部化的一种简单实现方式是使用Go的map类型。但在vmagent这样的多线程应用中,这种方法由于多核系统上访问此映射时可能产生大量争用,因此不太适合。为了在多线程环境下实现内部化,VictoriaMetrics使用了Go标准库中的sync.Map,这是一个线程安全的实现​​。

3. sync.Map的优化用途:sync.Map特别适用于以下两种情况:
  * 当一个给定的键只被写入一次但多次使用时,即缓存命中率高的情况。
  * 当多个goroutine为不同的键集合读取、写入和覆盖条目时,即每个goroutine使用不同的键集​​。

4. 内部化的注意事项:
  * 内存增长问题:随着时间的推移,map会逐渐增长,无限制的内存增长是危险的。为了防止map无限增长,需要定期旋转map,通过删除并重建它,或为键实现某种形式的生存时间(TTL)逻辑。
  * 参数检查:intern函数在处理常规字符串时表现良好,但除非锁定接口,否则可能会有人尝试传递可能破坏函数的内容。例如,在Go中,字节切片是可变的,不适合作为映射中的键使用​​。

5. 内部化的通用建议:在实现字符串内部化时,克隆传递给函数的字符串是一个好主意。这可以帮助消除一些微妙的错误。VictoriaMetrics使用字符串内部化来减少解析度量元数据时的内存使用。这是一种对于读取密集型工作负载效果最佳的强大技术,尤其适用于潜在字符串变体较少的情况​​。

总的来说,VictoriaMetrics通过字符串内部化有效地优化了内存使用和性能,特别是在处理大量重复且不经常变化的度量元数据时。这一技术不仅提高了性能,还降低了对垃圾收集器的负担,是处理大规模时间序列数据的有效方法。

Have fun. 😃

热门相关:离婚合约:前妻的秘密   跟总裁假结婚的日子   跟总裁假结婚的日子   龙印战神   龙印战神