草庐IT

java - 为什么这个方法打印 4？

coder 2023-04-27 原文

我想知道当您 try catch StackOverflowError 并想出以下方法时会发生什么:

class RandomNumberGenerator {

    static int cnt = 0;

    public static void main(String[] args) {
        try {
            main(args);
        } catch (StackOverflowError ignore) {
            System.out.println(cnt++);
        }
    }
}

现在我的问题:

为什么这个方法打印'4'？

我想可能是因为 System.out.println() 在调用堆栈上需要 3 个段，但我不知道数字 3 是从哪里来的。当您查看 System.out.println() 的源代码(和字节码)时，它通常会导致比 3 多得多的方法调用(因此调用堆栈上的 3 个段是不够的)。如果是因为 Hotspot VM 应用了优化(方法内联)，我想知道在另一个 VM 上结果是否会有所不同。

编辑:

由于输出似乎与 JVM 高度相关，我使用
得到结果 4 Java(TM) SE 运行时环境 (build 1.6.0_41-b02)
Java HotSpot(TM) 64 位服务器 VM(内部版本 20.14-b01，混合模式)


解释为什么我认为这个问题与 Understanding the Java stack 不同:

我的问题不是关于为什么存在 cnt > 0 (显然是因为 System.out.println() 需要堆栈大小并在打印某些内容之前抛出另一个 StackOverflowError )，但为什么它在其他系统上具有特定的值 4，分别为 0、3、8、55 或其他值。

最佳答案

我认为其他人在解释为什么 cnt > 0 方面做得很好，但是没有足够的细节来说明为什么 cnt = 4，以及为什么 cnt 在不同的设置中变化如此之大。我将尝试在这里填补这个空白。

让

  • X 是总堆栈大小
  • M是我们第一次进入main时使用的栈空间
  • R是每次进入main时增加的栈空间
  • P 是运行 System.out.println
    • 所需的堆栈空间

当我们第一次进入 main 时，剩下的空间是 X-M。每个递归调用占用 R 更多内存。所以对于 1 次递归调用(比原来多 1 次)，内存使用量为 M + R。假设 C 递归调用成功后抛出 StackOverflowError，即 M + C * R <= x="" 和="" m="" +="" c="" *="" (r="" +="" 1)=""> X。在第一个StackOverflowError的时候，还剩下X - M - C * R 内存。

为了能够运行 System.out.prinln，我们需要在堆栈上留下 P 量的空间。如果碰巧 X - M - C * R >= P，那么将打印 0。如果 P 需要更多空间，那么我们从堆栈中删除帧，以 cnt++ 为代价获得 R 内存。

当 println 最终能够运行时，X - M - (C - cnt) * R >= P。因此，如果 P 对于特定系统来说很大，那么 cnt 也会很大。

让我们用一些例子来看看这个。

示例1:假设

  • X = 100
  • M = 1
  • R = 2
  • P = 1

那么 C = floor((X-M)/R) = 49，cnt = ceiling((P - (X - M - C*R))/R) = 0。

示例 2: 假设

  • X = 100
  • M = 1
  • R = 5
  • P = 12

那么 C = 19，cnt = 2。

示例 3: 假设

  • X = 101
  • M = 1
  • R = 5
  • P = 12

那么 C = 20，cnt = 3。

示例 4: 假设

  • X = 101
  • M = 2
  • R = 5
  • P = 12

那么 C = 19，cnt = 2。

因此，我们看到系统(M、R 和 P)和堆栈大小 (X) 都会影响 cnt。

附带说明，启动 catch 需要多少空间并不重要。只要catch没有足够的空间，那么cnt就不会增加，所以没有外部影响。

编辑

我收回我所说的关于 catch 的话。它确实发挥了作用。假设它需要 T 量的空间来启动。当剩余空间大于 T 时，cnt 开始递增，当剩余空间大于 T + P 时运行 println。这为计算增加了一个额外的步骤，进一步混淆了已经很困惑的分析.

编辑

我终于有时间进行一些实验来支持我的理论。不幸的是，该理论似乎与实验不符。实际发生的情况非常不同。

实验设置: 具有默认 java 和 default-jdk 的 Ubuntu 12.04 服务器。 Xss 从 70,000 开始，以 1 个字节递增到 460,000。

结果见:https://www.google.com/fusiontables/DataSource?docid=1xkJhd4s8biLghe6gZbcfUs3vT5MpS_OnscjWDbM 我创建了另一个版本，其中删除了每个重复的数据点。换言之，仅显示与先前不同的点。这使得更容易看到异常。 https://www.google.com/fusiontables/DataSource?docid=1XG_SRzrrNasepwZoNHqEAKuZlHiAm9vbEdwfsUA

关于java - 为什么这个方法打印 4？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/17828584/

java为什么codelistrongjvmstack-overflow

有关java - 为什么这个方法打印 4？的更多相关文章

  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. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  4. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

  5. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  6. Ruby 方法() 方法 - 2

    我想了解Ruby方法methods()是如何工作的。我尝试使用“ruby方法”在Google上搜索，但这不是我需要的。我也看过ruby​​-doc.org，但我没有找到这种方法。你能详细解释一下它是如何工作的或者给我一个链接吗？更新我用methods()方法做了实验，得到了这样的结果:'labrat'代码classFirstdeffirst_instance_mymethodenddefself.first_class_mymethodendendclassSecond使用类#returnsavailablemethodslistforclassandancestorsputsSeco

  7. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  8. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  9. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  10. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

随机推荐