Python在計(jì)算內(nèi)存時(shí)應(yīng)該注意哪些問題

本篇內(nèi)容介紹了“Python在計(jì)算內(nèi)存時(shí)應(yīng)該注意哪些問題”的有關(guān)知識，在實(shí)際案例的操作過程中，不少人都會遇到這樣的困境，接下來就讓小編帶領(lǐng)大家學(xué)習(xí)一下如何處理這些情況吧！希望大家仔細(xì)閱讀，能夠?qū)W有所成！

1、計(jì)算的是什么?

我們先來看看列表對象的情況：

如圖所示，單獨(dú)計(jì)算 a 和 b 列表的結(jié)果是 36 和 48，然后把它們作為 c 列表的子元素時(shí)，該列表的計(jì)算結(jié)果卻僅僅才 36。(PS：我用的是 32  位解釋器)

如果不使用引用方式，而是直接把子列表寫進(jìn)去，例如 “d = [[1,2],[1,2,3,4,5]]”，這樣計(jì)算 d 列表的結(jié)果也還是  36，因?yàn)樽恿斜硎仟?dú)立的對象，在 d 列表中存儲的是它們的 id。

也就是說：getsizeof() 方法在計(jì)算列表大小時(shí)，其結(jié)果跟元素個(gè)數(shù)相關(guān)，但跟元素本身的大小無關(guān)。

下面再看看字典的例子：

明顯可以看出，三個(gè)字典實(shí)際占用的全部內(nèi)存不可能相等，但是 getsizeof()  方法給出的結(jié)果卻相同，這意味著它只關(guān)心鍵的數(shù)量，而不關(guān)心實(shí)際的鍵值對是什么內(nèi)容，情況跟列表相似。

2、“淺計(jì)算”與其它問題

有個(gè)概念叫“淺拷貝”，指的是 copy() 方法只拷貝引用對象的內(nèi)存地址，而非實(shí)際的引用對象。類比于這個(gè)概念，我們可以認(rèn)為  getsizeof() 是一種“淺計(jì)算”。

“淺計(jì)算”不關(guān)心真實(shí)的對象，所以其計(jì)算結(jié)果只是一個(gè)假象。這是一個(gè)值得注意的問題，但是注意到這點(diǎn)還不夠，我們還可以發(fā)散地思考如下的問題：

• “淺計(jì)算”方法的底層實(shí)現(xiàn)是怎樣的?

• 為什么 getsizeof() 會采用“淺計(jì)算”的方法?

關(guān)于第一個(gè)問題，getsizeof(x) 方法實(shí)際會調(diào)用 x 對象的__sizeof__() 魔術(shù)方法，對于內(nèi)置對象來說，這個(gè)方法是通過 CPython  解釋器實(shí)現(xiàn)的。

我查到這篇文章《Python中對象的內(nèi)存使用(一)》，它分析了 CPython 源碼，最終定位到的核心代碼是這一段：

/*longobject.c*/  static Py_ssize_t int___sizeof___impl(PyObject *self) {     Py_ssize_t res;      res = offsetof(PyLongObject, ob_digit) + Py_ABS(Py_SIZE(self))*sizeof(digit);     return res; }

我看不懂這段代碼，但是可以知道的是，它在計(jì)算 Python 對象的大小時(shí)，只跟該對象的結(jié)構(gòu)體的屬性相關(guān)，而沒有進(jìn)一步作“深度計(jì)算”。

對于 CPython 的這種實(shí)現(xiàn)，我們可以注意到兩個(gè)層面上的區(qū)別：

• 字節(jié)增大：int 類型在 C 語言中只占到 4 個(gè)字節(jié)，但是在 Python 中，int  其實(shí)是被封裝成了一個(gè)對象，所以在計(jì)算其大小時(shí)，會包含對象結(jié)構(gòu)體的大小。在 32 位解釋器中，getsizeof(1) 的結(jié)果是 14 個(gè)字節(jié)，比數(shù)字本身的 4  字節(jié)增大了。

• 字節(jié)減少：對于相對復(fù)雜的對象，例如列表和字典，這套計(jì)算機(jī)制由于沒有累加內(nèi)部元素的占用量，就會出現(xiàn)比真實(shí)占用內(nèi)存小的結(jié)果。

由此，我有一個(gè)不成熟的猜測：基于“一切皆是對象”的設(shè)計(jì)原則，int 及其它基礎(chǔ)的 C 數(shù)據(jù)類型在 Python  中被套上了一層“殼”，所以需要一個(gè)方法來計(jì)算它們的大小，也即是 getsizeof()。

官方文檔中說“All built-in objects will return correct results”  [1]，指的應(yīng)該是數(shù)字、字符串和布爾值之類的簡單對象。但是不包括列表、元組和字典等在內(nèi)部存在引用關(guān)系的類型。

為什么不推廣到所有內(nèi)置類型上呢?我未查到這方面的解釋，若有知情的同學(xué)，煩請告知。

3、“深計(jì)算”與其它問題

與“淺計(jì)算”相對應(yīng)，我們可以定義出一種“深計(jì)算”。對于前面的兩個(gè)例子，“深計(jì)算”應(yīng)該遍歷每個(gè)內(nèi)部元素以及可能的子元素，累加計(jì)算它們的字節(jié)，最后算出總的內(nèi)存大小。

那么，我們應(yīng)該注意的問題有：

• 是否存在“深計(jì)算”的方法/實(shí)現(xiàn)方案?

• 實(shí)現(xiàn)“深計(jì)算”時(shí)應(yīng)該注意什么?

Stackoverflow 網(wǎng)站上有個(gè)年代久遠(yuǎn)的問題“How do I determine the size of an object in  Python?” [2]，實(shí)際上問的就是如何實(shí)現(xiàn)“深計(jì)算”的問題。

有不同的開發(fā)者貢獻(xiàn)了兩個(gè)項(xiàng)目：pympler 和 pysize ：第一個(gè)項(xiàng)目已發(fā)布在 Pypi 上，可以“pip install  pympler”安裝;第二個(gè)項(xiàng)目爛尾了，作者也沒發(fā)布到 Pypi 上(注：Pypi 上已有個(gè) pysize 庫，是用來做格式轉(zhuǎn)化的，不要混淆)，但是可以在  Github 上獲取到其源碼。

對于前面的兩個(gè)例子，我們可以拿這兩個(gè)項(xiàng)目分別測試一下：

單看數(shù)值的話，pympler 似乎確實(shí)比 getsizeof() 合理多了。

再看看 pysize，直接看測試結(jié)果是(獲取其源碼過程略)：

64 118 190 206 300281 30281

可以看出，它比 pympler 計(jì)算的結(jié)果略小。就兩個(gè)項(xiàng)目的完整度、使用量與社區(qū)貢獻(xiàn)者規(guī)模來看，pympler 的結(jié)果似乎更為可信。

那么，它們分別是怎么實(shí)現(xiàn)的呢?那微小的差異是怎么導(dǎo)致的?從它們的實(shí)現(xiàn)方案中，我們可以學(xué)習(xí)到什么呢?

pysize 項(xiàng)目很簡單，只有一個(gè)核心方法：

def get_size(obj, seen=None):     """Recursively finds size of objects in bytes"""     size = sys.getsizeof(obj)     if seen is None:         seen = set()     obj_id = id(obj)     if obj_id in seen:         return 0     # Important mark as seen *before* entering recursion to gracefully handle     # self-referential objects     seen.add(obj_id)     if hasattr(obj, '__dict__'):         for cls in obj.__class__.__mro__:             if '__dict__' in cls.__dict__:                 d = cls.__dict__['__dict__']                 if inspect.isgetsetdescriptor(d) or inspect.ismemberdescriptor(d):                     size += get_size(obj.__dict__, seen)                 break     if isinstance(obj, dict):         size += sum((get_size(v, seen) for v in obj.values()))         size += sum((get_size(k, seen) for k in obj.keys()))     elif hasattr(obj, '__iter__') and not isinstance(obj, (str, bytes, bytearray)):         size += sum((get_size(i, seen) for i in obj))      if hasattr(obj, '__slots__'): # can have __slots__ with __dict__         size += sum(get_size(getattr(obj, s), seen) for s in obj.__slots__ if hasattr(obj, s))      return size

除去判斷__dict__和  __slots__屬性的部分(針對類對象)，它主要是對字典類型及可迭代對象(除字符串、bytes、bytearray)作遞歸的計(jì)算，邏輯并不復(fù)雜。

以 [1,2] 這個(gè)列表為例，它先用 sys.getsizeof() 算出 36 字節(jié)，再計(jì)算內(nèi)部的兩個(gè)元素得 14*2=28 字節(jié)，最后相加得到 64  字節(jié)。

相比之下，pympler 所考慮的內(nèi)容要多很多，入口在這：

def asizeof(self, *objs, **opts):       '''Return the combined size of the given objects          (with modified options, see method **set**).       '''       if opts:           self.set(**opts)       self.exclude_refs(*objs)  # skip refs to objs       return sum(self._sizer(o, 0, 0, None) for o in objs)

它可以接受多個(gè)參數(shù)，再用 sum() 方法合并。所以核心的計(jì)算方法其實(shí)是 _sizer()。但代碼很復(fù)雜，繞來繞去像一座迷宮：

def _sizer(self, obj, pid, deep, sized):  # MCCABE 19         '''Size an object, recursively.         '''         s, f, i = 0, 0, id(obj)         if i not in self._seen:             self._seen[i] = 1         elif deep or self._seen[i]:             # skip obj if seen before             # or if ref of a given obj             self._seen.again(i)             if sized:                 s = sized(s, f, name=self._nameof(obj))                 self.exclude_objs(s)             return s  # zero         else:  # deep == seen[i] == 0             self._seen.again(i)         try:             k, rs = _objkey(obj), []             if k in self._excl_d:                 self._excl_d[k] += 1             else:                 v = _typedefs.get(k, None)                 if not v:  # new typedef                     _typedefs[k] = v = _typedef(obj, derive=self._derive_,                                                      frames=self._frames_,                                                       infer=self._infer_)                 if (v.both or self._code_) and v.kind is not self._ign_d:                     # 貓注：這里計(jì)算 flat size                     s = f = v.flat(obj, self._mask)  # flat size                     if self._profile:                         # profile based on *flat* size                         self._prof(k).update(obj, s)                     # recurse, but not for nested modules                     if v.refs and deep < self._limit_ \                               and not (deep and ismodule(obj)):                         # add sizes of referents                         z, d = self._sizer, deep + 1                         if sized and deep < self._detail_:                             # use named referents                             self.exclude_objs(rs)                             for o in v.refs(obj, True):                                 if isinstance(o, _NamedRef):                                     r = z(o.ref, i, d, sized)                                     r.name = o.name                                 else:                                     r = z(o, i, d, sized)                                     r.name = self._nameof(o)                                 rs.append(r)                                 s += r.size                         else:  # just size and accumulate                             for o in v.refs(obj, False):                                 # 貓注：這里遞歸計(jì)算 item size                                 s += z(o, i, d, None)                         # deepest recursion reached                         if self._depth < d:                             self._depth = d                 if self._stats_ and s > self._above_ > 0:                     # rank based on *total* size                     self._rank(k, obj, s, deep, pid)         except RuntimeError:  # XXX RecursionLimitExceeded:             self._missed += 1         if not deep:             self._total += s  # accumulate         if sized:             s = sized(s, f, name=self._nameof(obj), refs=rs)             self.exclude_objs(s)         return s

它的核心邏輯是把每個(gè)對象的 size 分為兩部分：flat size 和 item size。

計(jì)算 flat size 的邏輯在：

def flat(self, obj, mask=0):         '''Return the aligned flat size.         '''         s = self.base         if self.leng and self.item > 0:  # include items             s += self.leng(obj) * self.item         # workaround sys.getsizeof (and numpy?) bug ... some         # types are incorrectly sized in some Python versions         # (note, isinstance(obj, ()) == False)         # 貓注：不可 sys.getsizeof 的，則用上面邏輯，可以的，則用下面邏輯         if not isinstance(obj, _getsizeof_excls):             s = _getsizeof(obj, s)         if mask:  # align             s = (s + mask) & ~mask         return s

這里出現(xiàn)的 mask 是為了作字節(jié)對齊，默認(rèn)值是 7，該計(jì)算公式表示按 8 個(gè)字節(jié)對齊。對于 [1,2] 列表，會算出 (36+7)&~7=40  字節(jié)。同理，對于單個(gè)的 item，比如列表中的數(shù)字 1，sys.getsizeof(1) 等于 14，而 pympler 會算成對齊的數(shù)值 16，所以匯總起來是  40+16+16=72 字節(jié)。這就解釋了為什么 pympler 算的結(jié)果比 pysize 大。

字節(jié)對齊一般由具體的編譯器實(shí)現(xiàn)，而且不同的編譯器還會有不同的策略，理論上 Python 不應(yīng)關(guān)心這么底層的細(xì)節(jié)，內(nèi)置的 getsizeof()  方法就沒有考慮字節(jié)對齊。

在不考慮其它 edge cases 的情況下，可以認(rèn)為 pympler 是在 getsizeof() 的基礎(chǔ)上，既考慮了遍歷取引用對象的  size，又考慮到了實(shí)際存儲時(shí)的字節(jié)對齊問題，所以它會顯得更加貼近現(xiàn)實(shí)。

“Python在計(jì)算內(nèi)存時(shí)應(yīng)該注意哪些問題”的內(nèi)容就介紹到這里了，感謝大家的閱讀。如果想了解更多行業(yè)相關(guān)的知識可以關(guān)注億速云網(wǎng)站，小編將為大家輸出更多高質(zhì)量的實(shí)用文章！