diff options
author | Koichi Sasada <[email protected]> | 2019-01-17 16:53:10 +0000 |
---|---|---|
committer | Koichi Sasada <[email protected]> | 2019-07-31 09:52:03 +0900 |
commit | 72825c35b0d8b9d566663de961fddbf4f010fff7 () | |
tree | 1547f1df314a9568dd31f4eed098ef10347b9645 /internal.h | |
parent | ebd398ac5a4147a1e652d6943c39a29a62f12e66 (diff) |
Use 1 byte hint for ar_table [Feature #15602]
On ar_table, Do not keep a full-length hash value (FLHV, 8 bytes) but keep a 1 byte hint from a FLHV (lowest byte of FLHV). An ar_table only contains at least 8 entries, so hints consumes 8 bytes at most. We can store hints in RHash::ar_hint. On 32bit CPU, we use 4 entries ar_table. The advantages: * We don't need to keep FLHV so ar_table only consumes 16 bytes (VALUEs of key and value) * 8 entries = 128 bytes. * We don't need to scan ar_table, but only need to check hints in many cases. Especially we don't need to access ar_table if there is no match entries (in many cases). It will increase memory cache locality. The disadvantages: * This technique can increase `#eql?` time because hints can conflicts (in theory, it conflicts once in 256 times). It can introduce incompatibility if there is a object x where x.eql? returns true even if hash values are different. I believe we don't need to care such irregular case. * We need to re-calculate FLHV if we need to switch from ar_table to st_table (e.g. exceeds 8 entries). It also can introduce incompatibility, on mutating key objects. I believe we don't need to care such irregular case too. Add new debug counters to measure the performance: * artable_hint_hit - hint is matched and eql?#=>true * artable_hint_miss - hint is not matched but eql?#=>false * artable_hint_notfound - lookup counts
-rw-r--r-- | internal.h | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -815,6 +815,7 @@ struct RComplex { #define RCOMPLEX_SET_IMAG(cmp, i) RB_OBJ_WRITE((cmp), &((struct RComplex *)(cmp))->imag,(i)) enum ruby_rhash_flags { RHASH_ST_TABLE_FLAG = FL_USER3, /* FL 3 */ RHASH_AR_TABLE_MAX_SIZE = 8, RHASH_AR_TABLE_SIZE_MASK = (FL_USER4|FL_USER5|FL_USER6|FL_USER7), /* FL 4..7 */ @@ -834,8 +835,6 @@ enum ruby_rhash_flags { RHASH_ENUM_END }; -#define HASH_PROC_DEFAULT FL_USER2 - #define RHASH_AR_TABLE_SIZE_RAW(h) \ ((unsigned int)((RBASIC(h)->flags & RHASH_AR_TABLE_SIZE_MASK) >> RHASH_AR_TABLE_SIZE_SHIFT)) @@ -881,7 +880,10 @@ struct RHash { struct ar_table_struct *ar; /* possibly 0 */ } as; const VALUE ifnone; - const VALUE reserved; }; #ifdef RHASH_IFNONE @@ -890,7 +892,7 @@ struct RHash { # define RHASH_IFNONE(h) (RHASH(h)->ifnone) # define RHASH_SIZE(h) (RHASH_AR_TABLE_P(h) ? RHASH_AR_TABLE_SIZE_RAW(h) : RHASH_ST_SIZE(h)) -#endif /* #ifdef RHASH_ITER_LEV */ struct RMoved { VALUE flags; |