-
-
Notifications
You must be signed in to change notification settings - Fork 18.5k
BUG: hashing datetime64 objects #50960
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
Changes from 28 commits
7761ecd
610b0c6
0e140ae
919383c
ae8c0bb
92a39eb
2f67805
0635f86
229ab72
6e96805
24fda82
058b666
7398991
3fdf564
6e4836e
f55337a
a97dfc9
1338ca2
9fb1987
818682c
74ab540
037ba05
7a4b1ab
47e5247
dcd09dd
32d479b
d47cfd8
c091317
1ce791e
704fb69
6d962b0
f838953
0d8500a
58a29b6
95069e0
7362f3e
dd08670
998a4cc
b75730b
5c57a5e
6b4460f
c94609b
afe9493
4fecc97
b4cc41e
c620339
3633653
c55f182
6e2bbf0
23c2826
143b3a3
ffb8365
1fdfd64
5513721
875d6af
a29a56a
40e6e17
15a701c
af25f40
9d5cb46
d5a031d
bd7d432
394d86e
1766bc3
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
@@ -7,7 +7,10 @@ | |||||||||||||||||
typedef npy_complex64 khcomplex64_t; | ||||||||||||||||||
typedef npy_complex128 khcomplex128_t; | ||||||||||||||||||
|
||||||||||||||||||
// get pandas_datetime_to_datetimestruct | ||||||||||||||||||
#include <../../tslibs/src/datetime/np_datetime.h> | ||||||||||||||||||
jbrockmendel marked this conversation as resolved.
Show resolved
Hide resolved
|
||||||||||||||||||
|
||||||||||||||||||
#include "datetime.h" | ||||||||||||||||||
|
||||||||||||||||||
// khash should report usage to tracemalloc | ||||||||||||||||||
#if PY_VERSION_HEX >= 0x03060000 | ||||||||||||||||||
|
@@ -305,6 +308,7 @@ khuint32_t PANDAS_INLINE kh_python_hash_func(PyObject* key); | |||||||||||||||||
#define _PandasHASH_XXROTATE(x) ((x << 13) | (x >> 19)) /* Rotate left 13 bits */ | ||||||||||||||||||
#endif | ||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
Py_hash_t PANDAS_INLINE tupleobject_hash(PyTupleObject* key) { | ||||||||||||||||||
Py_ssize_t i, len = Py_SIZE(key); | ||||||||||||||||||
PyObject **item = key->ob_item; | ||||||||||||||||||
|
@@ -315,9 +319,7 @@ Py_hash_t PANDAS_INLINE tupleobject_hash(PyTupleObject* key) { | |||||||||||||||||
if (lane == (Py_uhash_t)-1) { | ||||||||||||||||||
return -1; | ||||||||||||||||||
} | ||||||||||||||||||
acc += lane * _PandasHASH_XXPRIME_2; | ||||||||||||||||||
acc = _PandasHASH_XXROTATE(acc); | ||||||||||||||||||
acc *= _PandasHASH_XXPRIME_1; | ||||||||||||||||||
acc = tuple_update_uhash(acc, lane); | ||||||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Ah, missed that you removed this here. If we duplicate the code, maybe just don't change it here? |
||||||||||||||||||
} | ||||||||||||||||||
|
||||||||||||||||||
/* Add input length, mangled to keep the historical value of hash(()). */ | ||||||||||||||||||
|
@@ -330,6 +332,46 @@ Py_hash_t PANDAS_INLINE tupleobject_hash(PyTupleObject* key) { | |||||||||||||||||
} | ||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
// TODO: same thing for timedelta64 objects | ||||||||||||||||||
Py_hash_t np_datetime64_object_hash(PyDatetimeScalarObject* key) { | ||||||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I think you can move this to the capsule. It would fit much more naturally there than the khash header There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. The capsule also already does the PyDateTime_IMPORT, which I think will help your remaining issue |
||||||||||||||||||
// GH#50690 numpy's hash implementation does not preserve comparabity | ||||||||||||||||||
// either across resolutions or with standard library objects. | ||||||||||||||||||
// See also Timestamp.__hash__ | ||||||||||||||||||
|
||||||||||||||||||
NPY_DATETIMEUNIT unit = (NPY_DATETIMEUNIT)key->obmeta.base; | ||||||||||||||||||
npy_datetime value = key->obval; | ||||||||||||||||||
npy_datetimestruct dts; | ||||||||||||||||||
|
||||||||||||||||||
if (value == NPY_DATETIME_NAT) { | ||||||||||||||||||
// np.datetime64("NaT") in any reso | ||||||||||||||||||
return NPY_DATETIME_NAT; | ||||||||||||||||||
} | ||||||||||||||||||
|
||||||||||||||||||
pandas_datetime_to_datetimestruct(value, unit, &dts); | ||||||||||||||||||
|
||||||||||||||||||
if ((dts.year > 0) && (dts.year <= 9999) && (dts.ps == 0) && (dts.as == 0)) { | ||||||||||||||||||
// we CAN cast to pydatetime, so use that hash to ensure we compare | ||||||||||||||||||
// as matching standard library datetimes (and pd.Timestamps) | ||||||||||||||||||
PyDateTime_IMPORT; | ||||||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Is there a way to move this out of the function body? Maybe it can go into the global hashtable code instead? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. that causes a complaint at build time. there is another use of PyDateTime_IMPORT in the json code that is also runtime There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. That does not seem clean to be honest. You are effectively doing a lookup This being in a header makes things a bit tricky maybe. The import can be on the top level of the cython file, but not of a C-file and thus even less of a header. If this is only used in Cython, then you could just put it there (if it gets used without the import you get a segfault, which should be relatively clean to read in gdb/lldb, but of course not super easy, maybe a comment on the If this was in a C file, you would need to add a Long story short: This is used once, so probably move There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. So does this not work to move to the global hashtable code in the cython file? Also agree with @seberg would like to avoid using the macro here There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. ill defer to you guys on this, but im uncomfortable with having this c file have an implicit dependency on the higher-level cython file There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. note there's also a coment in np_datetime.c saying it would be helpful to get PyDateTime_IMPORT to work in that file. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Yes, the implicit dependency is not nice, but I think that is just something to live with. You need some initialization, which needs to be a function call and that cannot happen in a header file. I would just say: If you forget, you get a clean segfault pointing at the first use of Datetime code in gdb/lldb. We put a comment there explaining things. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Just some (hopefully helpful) context - the header file never gets "executed" in any sense, so just putting the macro in a header file doesn't by itself just run the code you've inserted. The entry point for C extensions is a module initialization function like you see in the Python documentation - this gets executed when the Python interpreter loads the extension: I am assuming that the global namespace of the Cython file is akin to the module initialization; if that is true then it would be natural for the import to go there rather than the header. With that said the workaround suggested here is fine, but I don't think the dependency problem you were worried about is too big of a deal There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
Suggested change
I think this is decent. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Ops had, added an error check, although There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. pushed commit with this (but not the NULL check) and it failed on the CI, so reverted it for now There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I had misspelled |
||||||||||||||||||
|
||||||||||||||||||
PyObject* dt; | ||||||||||||||||||
Py_hash_t hash; | ||||||||||||||||||
|
||||||||||||||||||
dt = PyDateTime_FromDateAndTime( | ||||||||||||||||||
dts.year, dts.month, dts.day, dts.hour, dts.min, dts.sec, dts.us | ||||||||||||||||||
WillAyd marked this conversation as resolved.
Show resolved
Hide resolved
|
||||||||||||||||||
); | ||||||||||||||||||
if (dt == NULL) { | ||||||||||||||||||
return -1; | ||||||||||||||||||
} | ||||||||||||||||||
hash = PyObject_Hash(dt); | ||||||||||||||||||
Py_DECREF(dt); | ||||||||||||||||||
return hash; | ||||||||||||||||||
} | ||||||||||||||||||
|
||||||||||||||||||
return hash_datetime_from_struct(&dts); | ||||||||||||||||||
} | ||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
khuint32_t PANDAS_INLINE kh_python_hash_func(PyObject* key) { | ||||||||||||||||||
Py_hash_t hash; | ||||||||||||||||||
// For PyObject_Hash holds: | ||||||||||||||||||
|
@@ -351,6 +393,10 @@ khuint32_t PANDAS_INLINE kh_python_hash_func(PyObject* key) { | |||||||||||||||||
else if (PyTuple_CheckExact(key)) { | ||||||||||||||||||
hash = tupleobject_hash((PyTupleObject*)key); | ||||||||||||||||||
} | ||||||||||||||||||
else if (PyObject_TypeCheck(key, &PyDatetimeArrType_Type)) { | ||||||||||||||||||
// GH#50690 | ||||||||||||||||||
hash = np_datetime64_object_hash((PyDatetimeScalarObject *)key); | ||||||||||||||||||
} | ||||||||||||||||||
else { | ||||||||||||||||||
hash = PyObject_Hash(key); | ||||||||||||||||||
} | ||||||||||||||||||
|
Original file line number | Diff line number | Diff line change | ||||
---|---|---|---|---|---|---|
|
@@ -1091,3 +1091,56 @@ PyArray_DatetimeMetaData | |||||
get_datetime_metadata_from_dtype(PyArray_Descr *dtype) { | ||||||
return (((PyArray_DatetimeDTypeMetaData *)dtype->c_metadata)->meta); | ||||||
} | ||||||
|
||||||
|
||||||
// we could use any hashing algorithm, this is the original CPython's for tuples | ||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. We have these same defines in There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Yah I moved some of it rather than duplicating, likely could go further down that path. I'd like to get this in soonish so prefer to do bigger refactors separately There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I think with C its generally really hard to track down the effects of copy/pasting defines across headers and implementations though. Maybe we just create a There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Moving it into its own file seems nice probably. I wouldn't care too much, since this is only a problem if you would include the other header here (even then it might not be since it matches). On a general note, it might be good to add include guards to your headers:
(some pattern there, google style suggests full paths and at least a partial path would make sense I think) |
||||||
|
||||||
#if SIZEOF_PY_UHASH_T > 4 | ||||||
#define _PandasHASH_XXPRIME_1 ((Py_uhash_t)11400714785074694791ULL) | ||||||
#define _PandasHASH_XXPRIME_2 ((Py_uhash_t)14029467366897019727ULL) | ||||||
#define _PandasHASH_XXPRIME_5 ((Py_uhash_t)2870177450012600261ULL) | ||||||
#define _PandasHASH_XXROTATE(x) ((x << 31) | (x >> 33)) /* Rotate left 31 bits */ | ||||||
#else | ||||||
#define _PandasHASH_XXPRIME_1 ((Py_uhash_t)2654435761UL) | ||||||
#define _PandasHASH_XXPRIME_2 ((Py_uhash_t)2246822519UL) | ||||||
#define _PandasHASH_XXPRIME_5 ((Py_uhash_t)374761393UL) | ||||||
#define _PandasHASH_XXROTATE(x) ((x << 13) | (x >> 19)) /* Rotate left 13 bits */ | ||||||
#endif | ||||||
|
||||||
|
||||||
Py_uhash_t tuple_update_uhash(Py_uhash_t acc, Py_uhash_t lane) { | ||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
Suggested change
The static inline should be the same as pandas inline. However, you can of course also just use There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. In other PRs I've asked us to move away from specifying inline explicitly instead allowing the compiler to choose for us. Is that the wrong approach? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. IIRC its a compiler hint mainly but I am not sure where it matters in many places. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Yea on second read this might be a place where it actually could inline. Thought it was using the Python runtime at first but I see it doesn't now, so it might have a chance gcc has |
||||||
acc += lane * _PandasHASH_XXPRIME_2; | ||||||
acc = _PandasHASH_XXROTATE(acc); | ||||||
acc *= _PandasHASH_XXPRIME_1; | ||||||
return acc; | ||||||
} | ||||||
|
||||||
// https://github.com/pandas-dev/pandas/pull/50960 | ||||||
Py_hash_t | ||||||
hash_datetime_from_struct(npy_datetimestruct* dts) { | ||||||
/* | ||||||
* If we cannot cast to datetime, use the datetime struct values directly | ||||||
* and mix them similar to a tuple. | ||||||
*/ | ||||||
|
||||||
Py_uhash_t acc = _PandasHASH_XXPRIME_5; | ||||||
#if 64 <= SIZEOF_PY_UHASH_T | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->year); | ||||||
#else | ||||||
/* Mix lower and uper bits of the year if int64 is larger */ | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->year); | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)(dts->year >> SIZEOF_PY_UHASH_T)); | ||||||
#endif | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->month); | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->day); | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->min); | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->sec); | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->us); | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->ps); | ||||||
acc = tuple_update_uhash(acc, (Py_uhash_t)dts->as); | ||||||
Comment on lines
+1080
to
+1083
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. We could bunch everything below second (or even minute or more?) into a single 64bit number (then unfortunately the same trick to split it up if necessary on the platform). Not sure that is worthwhile, probably a tiny bit faster, but I am mainly wondering if it might generalize a bit nicer if we use a simpler scheme that doesn't require the full datetime struct in principle. |
||||||
/* should be a need to mix length, as it is fixed anyway? */ | ||||||
if (acc == (Py_uhash_t)-1) { | ||||||
acc = (Py_uhash_t)-2; | ||||||
} | ||||||
return acc; | ||||||
} |
Original file line number | Diff line number | Diff line change | ||
---|---|---|---|---|
|
@@ -99,4 +99,7 @@ PyArray_DatetimeMetaData get_datetime_metadata_from_dtype( | |||
PyArray_Descr *dtype); | ||||
|
||||
|
||||
Py_hash_t hash_datetime_from_struct(npy_datetimestruct* dts); | ||||
Py_uhash_t tuple_update_uhash(Py_uhash_t acc, Py_uhash_t lane); | ||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
Suggested change
no need to make this public. |
||||
|
||||
#endif // PANDAS__LIBS_TSLIBS_SRC_DATETIME_NP_DATETIME_H_ |
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -442,7 +442,8 @@ def srcpath(name=None, suffix=".pyx", subdir="src"): | |
"_libs.algos": { | ||
"pyxfile": "_libs/algos", | ||
"include": klib_include, | ||
"depends": _pxi_dep["algos"], | ||
"depends": _pxi_dep["algos"] + tseries_depends, | ||
jbrockmendel marked this conversation as resolved.
Show resolved
Hide resolved
|
||
"sources": ["pandas/_libs/tslibs/src/datetime/np_datetime.c"], | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. So the point of the capsule is you don't specify There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I’m still struggling here with builds failures I cant reproduce. Any other thoughts? |
||
}, | ||
"_libs.arrays": {"pyxfile": "_libs/arrays"}, | ||
"_libs.groupby": {"pyxfile": "_libs/groupby"}, | ||
|
@@ -453,21 +454,30 @@ def srcpath(name=None, suffix=".pyx", subdir="src"): | |
"depends": ( | ||
["pandas/_libs/src/klib/khash_python.h", "pandas/_libs/src/klib/khash.h"] | ||
+ _pxi_dep["hashtable"] | ||
+ tseries_depends | ||
), | ||
"sources": ["pandas/_libs/tslibs/src/datetime/np_datetime.c"], | ||
}, | ||
"_libs.index": { | ||
"pyxfile": "_libs/index", | ||
"include": klib_include, | ||
"depends": _pxi_dep["index"], | ||
"depends": _pxi_dep["index"] + tseries_depends, | ||
"sources": ["pandas/_libs/tslibs/src/datetime/np_datetime.c"], | ||
}, | ||
"_libs.indexing": {"pyxfile": "_libs/indexing"}, | ||
"_libs.internals": {"pyxfile": "_libs/internals"}, | ||
"_libs.interval": { | ||
"pyxfile": "_libs/interval", | ||
"include": klib_include, | ||
"depends": _pxi_dep["interval"], | ||
"depends": _pxi_dep["interval"] + tseries_depends, | ||
"sources": ["pandas/_libs/tslibs/src/datetime/np_datetime.c"], | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. You shouldn't add any new sources arguments to setup.py - this is what causes undefined symbols during parallel compilation with setuptools There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. reverted that and now im getting a different failure There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Yea I think you also need to move the implementation out of the header file into the capsule to resolve that |
||
}, | ||
"_libs.join": { | ||
"pyxfile": "_libs/join", | ||
"depends": tseries_depends, | ||
"include": klib_include, | ||
"sources": ["pandas/_libs/tslibs/src/datetime/np_datetime.c"], | ||
}, | ||
"_libs.join": {"pyxfile": "_libs/join", "include": klib_include}, | ||
"_libs.lib": { | ||
"pyxfile": "_libs/lib", | ||
"depends": lib_depends + tseries_depends, | ||
|
@@ -481,10 +491,12 @@ def srcpath(name=None, suffix=".pyx", subdir="src"): | |
"depends": [ | ||
"pandas/_libs/src/parser/tokenizer.h", | ||
"pandas/_libs/src/parser/io.h", | ||
], | ||
] | ||
+ tseries_depends, | ||
"sources": [ | ||
"pandas/_libs/src/parser/tokenizer.c", | ||
"pandas/_libs/src/parser/io.c", | ||
"pandas/_libs/tslibs/src/datetime/np_datetime.c", | ||
], | ||
}, | ||
"_libs.reduction": {"pyxfile": "_libs/reduction"}, | ||
|
Uh oh!
There was an error while loading. Please reload this page.