boost :: multiprecision :: gmp_float :: operator =?中的神秘stackoverflow异常?

时间:2019-05-21 20:25:51

标签: c++ boost gmp mpfr boost-multiprecision

我正在尝试使用Ramanujan's公式为浮点后的任意位数计算我的大学项目之一的pi。为此,我使用boost::multiprecision库,该库只是我已经安装在计算机上的mpfr和mpir的包装。

到目前为止还不错,但是由于我的计算功能(计算公式中总和的每个迭代的函数)不时抛出StackOverflow exception,所以我要么错过了什么,要么做错了什么。 (启动时保持一致)

这是它的样子

boost::multiprecision::mpf_float calculatePi(int start, int end)
{
    boost::multiprecision::mpf_float partition = 0;
    for (; start < end; ++start)
    {
        boost::multiprecision::mpf_float n = 
            factorial(4 * start) * boost::multiprecision::mpf_float(1103 + 26390 * start);
        boost::multiprecision::mpf_float d = 
            boost::multiprecision::pow(factorial(start), 4) * pow((boost::multiprecision::mpf_float)396, 4 * start); <-- this is where stackoverflow exception is thrown

        partition += (n / d);
    }

    return (2 * boost::multiprecision::sqrt((boost::multiprecision::mpf_float)2) / 9801) * partition;
}

我承认我对整个任意精度的计算/转换和库都太绿了,所以我可能会遗漏一些东西。

我无法显示完整的调用堆栈,因为它太长了,但是在

之后
ParallelPi.exe!boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>::**do_multiplies**<boost::multiprecision::detail::expression<boost::multiprecision::detail::function,boost::multiprecision::detail::number_kind_floating_pointpow_funct<boost::multiprecision::backends::gmp_float<0> >,boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>,int,void>,boost::multiprecision::detail::function>(const boost::multiprecision::detail::expression<boost::multiprecision::detail::function,boost::multiprecision::detail::number_kind_floating_pointpow_funct<boost::multiprecision::backends::gmp_float<0> >,boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>,int,void> & e, const boost::multiprecision::detail::function & __formal) Line 1754    C++

然后有 3603 个后续呼叫

ParallelPi.exe!boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>::**operator=**<boost::multiprecision::detail::function,boost::multiprecision::detail::number_kind_floating_pointpow_funct<boost::multiprecision::backends::gmp_float<0> >,boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>,int,void>(const boost::multiprecision::detail::expression<boost::multiprecision::detail::function,boost::multiprecision::detail::number_kind_floating_pointpow_funct<boost::multiprecision::backends::gmp_float<0> >,boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>,int,void> & e) Line 216  C++
ParallelPi.exe!boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>::number<boost::multiprecision::backends::gmp_float<0>,1><boost::multiprecision::detail::function,boost::multiprecision::detail::number_kind_floating_pointpow_funct<boost::multiprecision::backends::gmp_float<0> >,boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>,int,void>(const boost::multiprecision::detail::expression<boost::multiprecision::detail::function,boost::multiprecision::detail::number_kind_floating_pointpow_funct<boost::multiprecision::backends::gmp_float<0> >,boost::multiprecision::number<boost::multiprecision::backends::gmp_float<0>,1>,int,void> & e, void * __formal) Line 324   C++

只会导致堆栈溢出异常,稍后会在其中调用

ParallelPi.exe!boost::multiprecision::backends::gmp_float<0>::precision() Line 630  C++

听起来很有趣,我不记得在calculatePi函数开始工作之前就对其进行了更改。

你们能帮助我解释由于我似乎迷路了怎么回事吗?

我对boost::multiprecision::mpf_float的默认精度是浮点数之后的150位,这以前是没有问题的(我记得我以10000浮点数的精度计算了一些数字,而不是SO或其他值)


请求

1。我的阶乘代号

boost::multiprecision::mpf_float factorial(int n)
{
    boost::multiprecision::mpf_float fact = 1;
    for (int i = 1; i <= n; ++i)
        fact *= i;

    return fact;
}

1 个答案:

答案 0 :(得分:0)

这是Boost.Multiprecision的最新版本中的一个错误-我正在尝试解决这个问题,但请参阅https://github.com/boostorg/multiprecision/issues/164

请注意,使用mpfr而不是mpf可以解决此问题。