Skip to content

PERF: BlockManager.equals blockwise #35357

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 13 commits into from
Aug 7, 2020
Merged
Show file tree
Hide file tree
Changes from 10 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 4 additions & 23 deletions pandas/core/internals/managers.py
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,6 @@
from pandas.core.dtypes.common import (
DT64NS_DTYPE,
is_datetimelike_v_numeric,
is_dtype_equal,
is_extension_array_dtype,
is_list_like,
is_numeric_v_string_like,
Expand All @@ -28,10 +27,9 @@
from pandas.core.dtypes.concat import concat_compat
from pandas.core.dtypes.dtypes import ExtensionDtype
from pandas.core.dtypes.generic import ABCDataFrame, ABCSeries
from pandas.core.dtypes.missing import array_equivalent, isna
from pandas.core.dtypes.missing import isna

import pandas.core.algorithms as algos
from pandas.core.arrays import ExtensionArray
from pandas.core.arrays.sparse import SparseDtype
from pandas.core.base import PandasObject
import pandas.core.common as com
Expand All @@ -49,7 +47,7 @@
get_block_type,
make_block,
)
from pandas.core.internals.ops import operate_blockwise
from pandas.core.internals.ops import array_equals, blockwise_all, operate_blockwise

# TODO: flexible with index=None and/or items=None

Expand Down Expand Up @@ -1428,26 +1426,9 @@ def equals(self, other: "BlockManager") -> bool:
return False
left = self.blocks[0].values
right = other.blocks[0].values
if not is_dtype_equal(left.dtype, right.dtype):
return False
elif isinstance(left, ExtensionArray):
return left.equals(right)
else:
return array_equivalent(left, right)
return array_equals(left, right)

for i in range(len(self.items)):
# Check column-wise, return False if any column doesn't match
left = self.iget_values(i)
right = other.iget_values(i)
if not is_dtype_equal(left.dtype, right.dtype):
return False
elif isinstance(left, ExtensionArray):
if not left.equals(right):
return False
else:
if not array_equivalent(left, right, dtype_equal=True):
return False
return True
return blockwise_all(self, other, array_equals)

def unstack(self, unstacker, fill_value) -> "BlockManager":
"""
Expand Down
80 changes: 63 additions & 17 deletions pandas/core/internals/ops.py
Original file line number Diff line number Diff line change
@@ -1,21 +1,31 @@
from typing import TYPE_CHECKING, List, Tuple
from collections import namedtuple
from typing import TYPE_CHECKING, Generator, List, Tuple

import numpy as np

from pandas._typing import ArrayLike

from pandas.core.dtypes.common import is_dtype_equal
from pandas.core.dtypes.missing import array_equivalent

from pandas.core.arrays import ExtensionArray

if TYPE_CHECKING:
from pandas.core.internals.blocks import Block # noqa:F401
from pandas.core.internals.managers import BlockManager # noqa:F401


def operate_blockwise(
left: "BlockManager", right: "BlockManager", array_op
) -> "BlockManager":
BlockPairInfo = namedtuple(
"BlockPairInfo", ["lvals", "rvals", "locs", "left_ea", "right_ea", "rblk"],
)


def _iter_block_pairs(
left: "BlockManager", right: "BlockManager"
) -> Generator[BlockPairInfo, None, None]:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Iterable (or Iterator) is adequate.

from https://mypy.readthedocs.io/en/stable/kinds_of_types.html#generators

A basic generator that only yields values can be annotated as having a return type of either Iterator[YieldType] or Iterable[YieldType].

# At this point we have already checked the parent DataFrames for
# assert rframe._indexed_same(lframe)

res_blks: List["Block"] = []
for n, blk in enumerate(left.blocks):
locs = blk.mgr_locs
blk_vals = blk.values
Expand All @@ -34,21 +44,32 @@ def operate_blockwise(
right_ea = not isinstance(rblk.values, np.ndarray)

lvals, rvals = _get_same_shape_values(blk, rblk, left_ea, right_ea)
info = BlockPairInfo(lvals, rvals, locs, left_ea, right_ea, rblk)
yield info


def operate_blockwise(
left: "BlockManager", right: "BlockManager", array_op
) -> "BlockManager":
# At this point we have already checked the parent DataFrames for
# assert rframe._indexed_same(lframe)

res_values = array_op(lvals, rvals)
if left_ea and not right_ea and hasattr(res_values, "reshape"):
res_values = res_values.reshape(1, -1)
nbs = rblk._split_op_result(res_values)
res_blks: List["Block"] = []
for lvals, rvals, locs, left_ea, right_ea, rblk in _iter_block_pairs(left, right):
res_values = array_op(lvals, rvals)
if left_ea and not right_ea and hasattr(res_values, "reshape"):
res_values = res_values.reshape(1, -1)
nbs = rblk._split_op_result(res_values)

# Assertions are disabled for performance, but should hold:
# if right_ea or left_ea:
# assert len(nbs) == 1
# else:
# assert res_values.shape == lvals.shape, (res_values.shape, lvals.shape)
# Assertions are disabled for performance, but should hold:
# if right_ea or left_ea:
# assert len(nbs) == 1
# else:
# assert res_values.shape == lvals.shape, (res_values.shape, lvals.shape)

_reset_block_mgr_locs(nbs, locs)
_reset_block_mgr_locs(nbs, locs)

res_blks.extend(nbs)
res_blks.extend(nbs)

# Assertions are disabled for performance, but should hold:
# slocs = {y for nb in res_blks for y in nb.mgr_locs.as_array}
Expand Down Expand Up @@ -85,7 +106,7 @@ def _get_same_shape_values(
# Require that the indexing into lvals be slice-like
assert rblk.mgr_locs.is_slice_like, rblk.mgr_locs

# TODO(EA2D): with 2D EAs pnly this first clause would be needed
# TODO(EA2D): with 2D EAs only this first clause would be needed
if not (left_ea or right_ea):
lvals = lvals[rblk.mgr_locs.indexer, :]
assert lvals.shape == rvals.shape, (lvals.shape, rvals.shape)
Expand All @@ -102,3 +123,28 @@ def _get_same_shape_values(
rvals = rvals[0, :]

return lvals, rvals


def blockwise_all(left: "BlockManager", right: "BlockManager", op) -> bool:
"""
Blockwise `all` reduction.
"""
for info in _iter_block_pairs(left, right):
res = op(info.lvals, info.rvals)
if not res:
return False
return True


def array_equals(left: ArrayLike, right: ArrayLike) -> bool:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

since the inputs are ArrayLike and not block related, would it make sense to co-locate this with array_equivalent in core\dtypes\missing.py

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

good idea

"""
ExtensionArray-compatible implementation of array_equivalent.
"""
if not is_dtype_equal(left.dtype, right.dtype):
return False
elif isinstance(left, ExtensionArray):
return left.equals(right)
elif isinstance(right, ExtensionArray):
return False
else:
return array_equivalent(left, right, dtype_equal=True)