草庐IT

java - Java 的 ThreadLocal 是如何在底层实现的？

coder 2023-04-27 原文

ThreadLocal 是如何实现的？它是在 Java 中实现的(使用一些从 ThreadID 到对象的并发映射)，还是使用一些 JVM 钩子(Hook)来更有效地完成它？

最佳答案

这里的所有答案都是正确的，但有点令人失望，因为它们在某种程度上掩盖了 ThreadLocal 的实现是多么聪明。我只是看着 source code for ThreadLocal ，它的实现方式给我留下了深刻的印象。

天真的实现

如果我让你根据 javadoc 中描述的 API 实现一个 ThreadLocal<T> 类，你会怎么做？初始实现可能是使用 ConcurrentHashMap<Thread,T> 作为其键的 Thread.currentThread()。这将工作得相当好，但确实有一些缺点。

  • 线程争用 - ConcurrentHashMap 是一个非常聪明的类，但它最终仍然需要处理防止多个线程以任何方式破坏它，如果不同的线程定期访问它，就会出现减速。
  • 永久保持一个指向线程和对象的指针，即使在线程完成并且可以被 GC 处理之后。

    • GC 友好的实现

    好的，再试一次，让我们使用 weak references 来处理垃圾收集问题。处理 WeakReferences 可能会令人困惑，但使用像这样构建的 map 应该就足够了:
     Collections.synchronizedMap(new WeakHashMap<Thread, T>())

    或者，如果我们使用的是 Guava(我们应该是!):
    new MapMaker().weakKeys().makeMap()

    这意味着一旦没有其他人持有线程(暗示它已完成)，键/值可以被垃圾收集，这是一个改进，但仍然没有解决线程争用问题，这意味着到目前为止我们的 ThreadLocal 还不是全部这么棒的一个类。此外，如果有人决定在 Thread 对象完成后保留它们，它们将永远不会被 GC 处理，因此我们的对象也不会，即使它们现在在技术上无法访问。

    聪明的实现

    我们一直将 ThreadLocal 视为线程到值的映射，但也许这实际上并不是正确的思考方式。与其将其视为从 Threads 到每个 ThreadLocal 对象中的值的映射，不如将其视为 ThreadLocal 对象到每个 Thread 中的值的映射呢？如果每个线程都存储映射，而 ThreadLocal 只为该映射提供一个很好的接口(interface)，我们就可以避免之前实现的所有问题。

    一个实现看起来像这样:
    // called for each thread, and updated by the ThreadLocal instance
new WeakHashMap<ThreadLocal,T>()

    这里没有必要担心并发性，因为只有一个线程会访问这个映射。

    Java 开发人员在这里比我们有一个主要优势 - 他们可以直接开发 Thread 类并向其添加字段和操作，而这正是他们所做的。

    在 java.lang.Thread 中有以下几行:

    /* ThreadLocal values pertaining to this thread. This map is maintained
 * by the ThreadLocal class. */
ThreadLocal.ThreadLocalMap threadLocals = null;


    正如评论所暗示的那样，这确实是 ThreadLocal 对象为此 Thread 跟踪的所有值的包私有(private)映射。 ThreadLocalMap 的实现不是 WeakHashMap ，但它遵循相同的基本契约，包括通过弱引用保持其 key 。
    ThreadLocal.get() 然后像这样实现:

    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();
}


    和 ThreadLocal.setInitialValue() 像这样:

    private T setInitialValue() {
    T value = initialValue();
    Thread t = Thread.currentThread();
    ThreadLocalMap map = getMap(t);
    if (map != null)
        map.set(this, value);
    else
        createMap(t, value);
    return value;
}


    本质上，在这个线程中使用一个映射来保存我们所有的 ThreadLocal 对象。这样，我们永远不需要担心其他线程中的值(ThreadLocal 字面上只能访问当前线程中的值)，因此没有并发问题。此外，一旦 Thread 完成，其映射将自动被 GC 处理，所有本地对象将被清理。即使 Thread 被保留，ThreadLocal 对象也被弱引用保留，并且可以在 ThreadLocal 对象超出范围时立即清除。

    不用说，这个实现给我留下了深刻的印象，它非常优雅地解决了许多并发问题(诚然，通过利用核心 Java 的一部分，但这是可以原谅的，因为它是一个如此聪明的类)并允许快速和对一次只需要由一个线程访问的对象的线程安全访问。

    tl;dr ThreadLocal 的实现非常酷，而且比乍一看可能更快/更聪明。

    如果您喜欢这个答案，您可能还会欣赏我的(不太详细的) discussion of ThreadLocalRandom 。
    Thread/ThreadLocal 代码片段取自 Oracle/OpenJDK's implementation of Java 8 。

    关于java - Java 的 ThreadLocal 是如何在底层实现的？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/1202444/

    ThreadLocaljavacodebrmultithreadingthread-localthread-static

    有关java - Java 的 ThreadLocal 是如何在底层实现的？的更多相关文章

    1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

      我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

    2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

      总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

    3. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2

      关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。

    4. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

      给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

    5. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

      我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t

    6. ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

      我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

    7. ruby - 如何指定 Rack 处理程序 - 2

      Rackup通过Rack的默认处理程序成功运行任何Rack应用程序。例如:classRackAppdefcall(environment)['200',{'Content-Type'=>'text/html'},["Helloworld"]]endendrunRackApp.new但是当最后一行更改为使用Rack的内置CGI处理程序时，rackup给出“NoMethodErrorat/undefinedmethod`call'fornil:NilClass”:Rack::Handler::CGI.runRackApp.newRack的其他内置处理程序也提出了同样的反对意见。例如Rack

    8. ruby - 如何每月在 Heroku 运行一次 Scheduler 插件？ - 2

      在选择我想要运行操作的频率时，唯一的选项是“每天”、“每小时”和“每10分钟”。谢谢!我想为我的Rails3.1应用程序运行调度程序。 最佳答案 这不是一个优雅的解决方案，但您可以安排它每天运行，并在实际开始工作之前检查日期是否为当月的第一天。 关于ruby-如何每月在Heroku运行一次Scheduler插件？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/8692687/

    9. ruby-on-rails - 如何从 format.xml 中删除 <hash></hash> - 2

      我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据，就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理？我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题；这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML，但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中，将我的XML代码修改为

    10. ruby - 如何使用文字标量样式在 YAML 中转储字符串？ - 2

      我有一大串格式化数据(例如JSON)，我想使用Psychinruby​​同时保留格式转储到YAML。基本上，我希望JSON使用literalstyle出现在YAML中:---json:|{"page":1,"results":["item","another"],"total_pages":0}但是，当我使用YAML.dump时，它不使用文字样式。我得到这样的东西:---json:!"{\n\"page\":1,\n\"results\":[\n\"item\",\"another\"\n],\n\"total_pages\":0\n}\n"我如何告诉Psych以想要的样式转储标量？解

    随机推荐