V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
推荐学习书目
Learn Python the Hard Way
Python Sites
PyPI - Python Package Index
http://diveintopython.org/toc/index.html
Pocoo
值得关注的项目
PyPy
Celery
Jinja2
Read the Docs
gevent
pyenv
virtualenv
Stackless Python
Beautiful Soup
结巴中文分词
Green Unicorn
Sentry
Shovel
Pyflakes
pytest
Python 编程
pep8 Checker
Styles
PEP 8
Google Python Style Guide
Code Style from The Hitchhiker's Guide
joeHuang
V2EX  ›  Python

Python 源码中 PyListObject 中的两个问题请教各位大神

  •  
  •   joeHuang · 2018-03-06 14:10:45 +08:00 · 2052 次点击
    这是一个创建于 2455 天前的主题,其中的信息可能已经有所发展或是发生改变。
    问题一:在创建包含 size 个 PyObject *的 PyListObject 时,内存数量计算,溢出检查。部分代码如下
    int size;
    size_t nbytes = size * sizeof(PyObject *)
    if( nbytes/sizeof(PyObject *) != (size_t) size){
    return 溢出
    }
    这段代码判断溢出的思路是什么?

    问题二:在插入元素时,判断是否需要申请新的内存
    if (allocated >= newsize >= (allocated>>1)) 不申请新的内存
    else new_allocated = (newsize >> 3) + (newsize < 9?3:6)+newsize 申请 new_allocated 个新的内存

    这里 new_allocated 的计算逻辑是什么?为什么是这样计算的
    7 条回复    2018-03-15 23:16:52 +08:00
    joeHuang
        1
    joeHuang  
    OP
       2018-03-06 15:03:06 +08:00
    wangxn
        2
    wangxn  
       2018-03-06 15:07:19 +08:00 via Android   ❤️ 1
    能不能直接复制源码而不要用奇怪的伪码……
    gnaggnoyil
        3
    gnaggnoyil  
       2018-03-06 15:47:40 +08:00   ❤️ 1
    1 中的代码的本意是认为`size * sizeof(PyObject *)`只有在不发生溢出的情况下其值才是数学意义上相乘的结果.不过我很怀疑这段代码可能不能保证 portable:一个`int`和一个`size_t`相乘的结果不保证一定是个无符号的(比如`int`的 rank 严格大于`size_t`的时候).而有符号数溢出是未定义行为.我没怎么读过 CPython 源码,如果 CPython 源码真的是这么写的话我只能说这代码质量还是有待改进……
    gnaggnoyil
        4
    gnaggnoyil  
       2018-03-06 15:51:32 +08:00   ❤️ 2
    哦不对我傻了.我忘了有个东西叫做 Integer promotion. Integer promotion 的存在导致`int`的 rank 必然小于等于`size_t`进行 Integer promotion 之后的类型,所以两者相乘的结果必然是严格无符号的,所以这段代码应该是严格没问题的……
    joeHuang
        5
    joeHuang  
    OP
       2018-03-14 10:03:07 +08:00
    @wangxn 帖子里写的就是源码。
    joeHuang
        6
    joeHuang  
    OP
       2018-03-14 13:49:10 +08:00
    wangxn
        7
    wangxn  
       2018-03-15 23:16:52 +08:00 via Android
    @joeHuang 连分号都没有,能编译通过?
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2924 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 23ms · UTC 14:49 · PVG 22:49 · LAX 06:49 · JFK 09:49
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.