ThreadLocal源码深度解读，为什么要注意内存泄漏？，2024年最新c程序设计 方法与实践

// java.lang.ThreadLocal#set

public void set(T value) {

Thread t = Thread.currentThread();

// 获取当前线程的ThreadLocalMap

// ThreadLocalMap是ThreadLocal的内部类，作为每个线程的一个变量

ThreadLocalMap map = getMap(t);

if (map != null)

// ThreadLocal当前实例对象引用作为ThreadLocalMap的key（弱引用）

map.set(this, value);

else

// map=null，第一次设置，则初始化

createMap(t, value);

}

ThreadLocalMap getMap(Thread t) {

return t.threadLocals;

}

1、初始化ThreadLocalMap

若map=null，第一次设置，则先初始化，初始容量为16，且不能从外部更改，扩容因子为2/3。

void createMap(Thread t, T firstValue) {

t.threadLocals = new ThreadLocalMap(this, firstValue);

}

ThreadLocalMap(ThreadLocal<?> firstKey, Object firstValue) {

table = new Entry[INITIAL_CAPACITY];

int i = firstKey.threadLocalHashCode & (INITIAL_CAPACITY - 1);

table[i] = new Entry(firstKey, firstValue);

size = 1;

setThreshold(INITIAL_CAPACITY);

}

private void setThreshold(int len) {

threshold = len * 2 / 3;

}

2、设置值

当前线程的map，不为null，则调用map#set(ThreadLocal<?> key, Object value)，ThreadLocal实例对象引用作为key：

private void set(ThreadLocal<?> key, Object value) {

Entry[] tab = table;

int len = tab.length;

// 哈希映射

int i = key.threadLocalHashCode & (len-1);

for (Entry e = tab[i];

e != null;

// 解决哈希冲突的办法：开放寻址

e = tab[i = nextIndex(i, len)]) {

// i位置e!=null 哈希冲突

ThreadLocal<?> k = e.get();

if (k == key) {

// key相等，替换

e.value = value;

return;

}

// k=null，

if (k == null) {

// 替换旧的entry，可防止内存泄漏

// 清理过时数据的过程比较乐观，但又想方设法的去清理过时数据

// 为何乐观和按比例扫描，应该是怕太耗时，影响set的性能吧

replaceStaleEntry(key, value, i);

return;

}

}

// 没有发生hash冲突，在i位置新建新entry

tab[i] = new Entry(key, value);

int sz = ++size;

// cleanSomeSlots按比例扫描，返回结果是boolean，true为清理了过时数据，false没有

// 若没有清理旧数据!false 且 数量达到扩容阈值，则扩容

// 若有清理旧数据!true，（也是为了避免不必要的扩容）

if (!cleanSomeSlots(i, sz) && sz >= threshold)

// 扩容

rehash();

}

（1）首先获取key的hash值，并与Entry[]做映射，找到需要设置的位置i。计算key的哈希值也贼简单，维护一个AtomicInteger变量，每次哈希都加HASH_INCREMENT。因为数组容量是2的整数次，所以可以用高效的&运算来代替模运算。

private final int threadLocalHashCode = nextHashCode();

private static final int HASH_INCREMENT = 0x61c88647;

private static int nextHashCode() {

// AtomicInteger 每次加HASH_INCREMENT

return nextHashCode.getAndAdd(HASH_INCREMENT);

}

（2）找到i了，就看看i位置是否是空的，不为空则说明发生哈希冲突了，开放寻址，向后遍历寻找空闲的位置。

private static int nextIndex(int i, int len) {

return ((i + 1 < len) ? i + 1 : 0);

}

倘若遍历到key相等的位置，则新值替换旧值，若遍历到位置k=null，说明弱引用k被gc回收了，value还被强引用着（一定是代码不规范，忘记调用remove了），这就有可能造成内存泄漏，所以替换（replaceStaleEntry）掉过时的entry（k=null，entry!=null则为过时entry）。

replaceStaleEntry：

这个替换也不是简单的替换，还会扫描替换位置staleSlot的前面是否还有位置（slotToExpunge）是过时的entry需要清理，同时也会扫描staleSlot后的位置（i）是否有旧k和新key相等的位置，若有则交换，同时判断是否需要更新slotToExpunge。

private void replaceStaleEntry(ThreadLocal<?> key, Object value,

int staleSlot) {

Entry[] tab = table;

int len = tab.length;

Entry e;

// staleSlot位置，key=null，就是一个应该被替换和删除的旧值

// 扫描staleSlot前面是否有需要删除的位置slotToExpunge

// 直到遇到一个位置是空的停止扫描，也是一种比较乐观的扫描，认为后面没有可清除的entry

int slotToExpunge = staleSlot;

for (int i = prevIndex(staleSlot, len);

(e = tab[i]) != null;

i = prevIndex(i, len))

// 上一个e的key为null，

if (e.get() == null)

slotToExpunge = i;

// 这个循环为的是扫描staleSlot后面是否存在key相等的槽，有则staleSlot和i交换

for (int i = nextIndex(staleSlot, len);

(e = tab[i]) != null;

i = nextIndex(i, len)) {

ThreadLocal<?> k = e.get();

if (k == key) {

// 找到key相等，新旧交换

e.value = value;

tab[i] = tab[staleSlot];

tab[staleSlot] = e;

// 删除slotToExpunge位置的值

// Start expunge at preceding stale entry if it exists

if (slotToExpunge == staleSlot)

slotToExpunge = i;

// 删除slotToExpunge位置的值，并扫描清理其他过时entry

cleanSomeSlots(expungeStaleEntry(slotToExpunge), len);

return;

}

// 这里也可以看出slotToExpunge的作用就是想找到除staleSlot外是否还有其他位置需求清理

if (k == null && slotToExpunge == staleSlot)

slotToExpunge = i;

}

// If key not found, put new entry in stale slot

// 没有找到相等的key，则staleSlot位置put new entry

tab[staleSlot].value = null;

tab[staleSlot] = new Entry(key, value);

// If there are any other stale entries in run, expunge them

// 如果有其他需要清除的entry，则清理

if (slotToExpunge != staleSlot)

cleanSomeSlots(expungeStaleEntry(slotToExpunge), len);

}

最后slotToExpunge != staleSlot，说明还有其他位置过时了，需要清理，则调用cleanSomeSlots。

调用cleanSomeSlots会先调用expungeStaleEntry，这两个函数的关系是expungeStaleEntry是删除指定位置的entry，而cleanSomeSlots是按比例扫描其他位置是否还有需要清理的过时entry。

expungeStaleEntry：

删除指定位置的entry，同时还会向后遍历是否还有其他过时的entry，同时还会对未过时的entry再哈希，使得数组中的位置比较连贯整齐。返回值是被删除位置下一个空位置的索引。

private int expungeStaleEntry(int staleSlot) {

Entry[] tab = table;

int len = tab.length;

// expunge entry at staleSlot

tab[staleSlot].value = null;

tab[staleSlot] = null;

size–;

// Rehash until we encounter null

Entry e;

int i;

// 从staleSlot开始向后遍历，不为空的位置检查是否k==null

for (i = nextIndex(staleSlot, len);

(e = tab[i]) != null;

i = nextIndex(i, len)) {

// 遍历数组，key为null，清除，防止内存泄漏

ThreadLocal<?> k = e.get();

if (k == null) {

e.value = null;

tab[i] = null;

size–;

} else {

// key不为null，重新hash，整理一下数组中剩余的元素

int h = k.threadLocalHashCode & (len - 1);

if (h != i) {

tab[i] = null;

// Unlike Knuth 6.4 Algorithm R, we must scan until

// null because multiple entries could have been stale.

while (tab[h] != null)

h = nextIndex(h, len);

tab[h] = e;

}

}

}

// the index of the next null slot after staleSlot

// all between staleSlot and this slot will have been checked

// for expunging

return i;

}

cleanSomeSlots：

cleanSomeSlots的目的还是想尽可能多的清理过时的entry，第一个参数i一定不是需要清理的位置，开放寻址i后面是否还有其他位置是过时需要清理的。但是这个过程可能会影响set的性能，时间复杂度为O(n)，所以不太可能全表扫描，而是按比例扫描。

private boolean cleanSomeSlots(int i, int n) {

boolean removed = false;

Entry[] tab = table;

int len = tab.length;

// cleanSomeSlots目的是想清除所有过时的entry，

// 但是这个过程可能会导致set比较耗时，O(n)的时间复杂度

// 所以按比例扫描，清除过时entry，

// len=16,16/2=8,8/2=4,4/2=2,2/2=1,1/2=0,扫描5次

// 这个比例并不是均匀的

do {

i = nextIndex(i, len);

Entry e = tab[i];

if (e != null && e.get() == null) {

// 重置n为 len

n = len;

removed = true;

i = expungeStaleEntry(i);

}

} while ( (n >>>= 1) != 0);

return removed;

}

（3）找到i位置是空的说明没有发生哈希冲突。i位置新建Entry，并size+1。

tab[i] = new Entry(key, value);

int sz = ++size;

（4）判断是否需要扩容

扩容需要满足两个条件，元素数量size达到扩容阈值threshold，cleanSomeSlots过程没有清理数据，这也是为了避免不必要的扩容。

一次只能加一个元素，前面++size之后，刚好达到threshold，即size+1 >=threshold满足，若cleanSomeSlots有清理过时数据，则size+1-x 一定是小于threshold的，所以不需要扩容。

if (!cleanSomeSlots(i, sz) && sz >= threshold)

// 扩容

rehash();

若需要扩容，则调用rehash()，扩容前还需要全表扫描一遍清理过时数据，如果这样都不能使空闲位置增多，则扩容resize，

private void rehash() {

// 扩容前清除过时数据

expungeStaleEntries();

// Use lower threshold for doubling to avoid hysteresis

// 2/3 - 2/3*1/4= 1/2 到最后扩容阈值成了1/2,为了编码滞后？没看懂。。。

if (size >= threshold - threshold / 4)

resize();

}

resize扩容，新建一个数组，长度为旧数组的2倍，然后遍历旧数组再哈希复制到新数组。

/**

• Double the capacity of the table.

• copy on write，只能保证最终一致性

*/

private void resize() {

Entry[] oldTab = table;

int oldLen = oldTab.length;

int newLen = oldLen * 2;

Entry[] newTab = new Entry[newLen];

int count = 0;

for (int j = 0; j < oldLen; ++j) {

Entry e = oldTab[j];

if (e != null) {

ThreadLocal<?> k = e.get();

if (k == null) {

e.value = null; // Help the GC

} else {

int h = k.threadLocalHashCode & (newLen - 1);

while (newTab[h] != null)

h = nextIndex(h, newLen);

newTab[h] = e;

count++;

}

}

}

// 设置新阈值

setThreshold(newLen);

size = count;

table = newTab;

}

四、get

---

分析完set，get就简单很多了。既然解决哈希冲突用的开放寻址，若哈希映射找到的i位置不是要找的值，则需要向后寻址查找，若在这个遍历的过程中有遇到过时的数据，则调用expungeStaleEntry清除，在一定程度上可避免内存泄漏。

public T get() {

Thread t = Thread.currentThread();

ThreadLocalMap map = getMap(t);

if (map != null) {

ThreadLocalMap.Entry e = map.getEntry(this);

if (e != null) {

@SuppressWarnings(“unchecked”)

T result = (T)e.value;

return result;

}

}

// 没有找到，做初始化操作

return setInitialValue();

}

private Entry getEntry(ThreadLocal<?> key) {

// hash映射，找到i，若i位置不是要找的元素，则需要开放寻址

int i = key.threadLocalHashCode & (table.length - 1);

Entry e = table[i];

if (e != null && e.get() == key)

return e;

自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数同学面临毕业设计项目选题时，很多人都会感到无从下手，尤其是对于计算机专业的学生来说，选择一个合适的题目尤为重要。因为毕业设计不仅是我们在大学四年学习的一个总结，更是展示自己能力的重要机会。

因此收集整理了一份《2024年计算机毕业设计项目大全》，初衷也很简单，就是希望能够帮助提高效率，同时减轻大家的负担。

既有Java、Web、PHP、也有C、小程序、Python等项目供你选择，真正体系化！

由于项目比较多，这里只是将部分目录截图出来，每个节点里面都包含素材文档、项目源码、讲解视频

如果你觉得这些内容对你有帮助，可以添加VX：vip1024c （备注项目大全获取）

ey) {

// hash映射，找到i，若i位置不是要找的元素，则需要开放寻址

int i = key.threadLocalHashCode & (table.length - 1);

Entry e = table[i];

if (e != null && e.get() == key)

return e;

自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数同学面临毕业设计项目选题时，很多人都会感到无从下手，尤其是对于计算机专业的学生来说，选择一个合适的题目尤为重要。因为毕业设计不仅是我们在大学四年学习的一个总结，更是展示自己能力的重要机会。

因此收集整理了一份《2024年计算机毕业设计项目大全》，初衷也很简单，就是希望能够帮助提高效率，同时减轻大家的负担。
[外链图片转存中…(img-vrFbxB3g-1712537444205)]
[外链图片转存中…(img-xUqhg7k5-1712537444205)]
[外链图片转存中…(img-vgf3PJuu-1712537444206)]

既有Java、Web、PHP、也有C、小程序、Python等项目供你选择，真正体系化！

由于项目比较多，这里只是将部分目录截图出来，每个节点里面都包含素材文档、项目源码、讲解视频

如果你觉得这些内容对你有帮助，可以添加VX：vip1024c （备注项目大全获取）
[外链图片转存中…(img-TOU2o2cx-1712537444206)]