大整数库实现(入门)路线及注意事项

大整数库实现(入门)路线及注意事项

实现路线的说明:

  1. 下图给出了一个基本的实现的层级依赖关系,下层函数的实现或运行基本需要依赖上层的方法,有的或许不存在直接调用,但可能会包含或需要理解上层函数的实现原理。
  2. t1是基本的入门方法实现,有些没有列入其中,如判零,判1,置零,置1这种很简单的方法,但少不了要用,包括可以使用memcpy替代的复制操作。
  3. t2是在理解并实现t1函数后很容易实现的,但会被下层的函数频繁使用,没必要拖到后期再实现。
  4. t1和t2中的函数在被下层函数使用时,在测试好正确性后,可以不使用函数调用,而是在外层函数中直接实现其功能,可提升一些效率。或者将某些函数改为inline调用。
  5. t3中的函数可以获得部分的效率提升,但对整体的提升有限,实现起来也相对复杂。且t3的功能都可以用其他的方式替代。不太建议前期花费大量精力实现,而是后期优化的时候再完成。前期可以先做一个套壳的接口。
  6. get Barrett const被单独拎出是因为后面Barrett modMontgomery R^2/N都会用到它,这里求 R 2 / N R^2/N R2/N​我没有找到太好的方法,有更好的方法希望可以评论区交流一下。get montgomery const的实现不依赖任何前面的函数,但后面的正确运行都需要它,所以也放在t5。
  7. montgomery REDCmontgomery mul实现起来没太大差。但因为使用较频繁还是需要注意下效率。
  8. exp是所有函数实现的关键,起到承上启下的作用,后面的函数基本上都要依赖它,同时也是整体的效率的关键点。
  9. t8,t9就不再赘述。

在这里插入图片描述

注意事项:

  1. 如果在实现某个算法时发现其中需要的某个函数还未实现,如A算法的实现依赖于B算法,可以先做一个B算法的接口,先不实现B算法的内部细节,待完成A之后再完成B,否则先实现B的话可能会发现B还依赖于C,C还依赖于D,这样就浪费很多时间。当然,这样做会有个缺点是,后面对接口有变化的情况需要有较多的改动。当然,根据上述的路线图实现基本上可以避免这种问题。
  2. 没必要一开始就要求每一个算法的最优实现,先考虑能运行起来就行,然后再一点点优化效率,对于可以优化的点可以先标注出来,一开始就求全责备会很影响实现效率。况且拥有多个版本的实现也可以方便对比结果查找bug。
  3. 优化的时候要从对全局影响最大的函数开始优化,例如幂运算等,否则可能花了很大力气优化了获得某个常数的快速算法,结果对整体性能提升不高。
  4. 实现函数时需要注意输出能否覆写输入的变量,即能否实现函数的原地更新。
  5. 要注意输出变量的控制范围内都需要进行更新,尤其是某些未用到的高位注意要置零。
  6. 模块化的函数有助于提升代码可读性,简化复杂模块的实现过程,并有助于bug调试,所以建议在初次实现时尽量使用函数调用。在后期优化时将部分小的函数设为inline或直接将代码放入复杂函数中避免函数调用,可提升性能,并提供更细粒度的操作,增加空间的复用程度。但对于较大的代码块还是建议使用函数调用,性能更优。
    但对于较大的代码块还是建议使用函数调用,性能更优。
  7. 不要使用变长数组,太长会爆栈!使用动态分配内存,同时注意内存对齐方便O3优化,避免段错误。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值