从系统性能优化谈对象相等性

公司系统中有一接口访问量大，内部计算逻辑较为复杂。在优化时打算把Request中的参数作为Key，Response作为Value放到进程内缓存中，以下降服务器压力，提升接口响应速度。由于Response中一些数据时效性要求较高，因此缓存设置一个较短的过时时间（好比10s）。

但这里牵涉到一个问题，如何有效的判断两次请求的参数是相等的。C#中自定义类型会从Object类继承Equals和GetHashCode两个方法，能够根据实际需求来重写这两个方法实现对象相等性比较。

Object.Equals(Object)

.NET 中不一样类型对于Equals方法的默认实现以下：

Type category	Equality defined by	Comments
Class derived directly from Object	Object.Equals(Object)	Reference equality; equivalent to calling Object.ReferenceEquals.
Structure	ValueType.Equals	Value equality; either direct byte-by-byte comparison or field-by-field comparison using reflection.
Enumeration	Enum.Equals	Values must have the same enumeration type and the same underlying value.
Delegate	MulticastDelegate.Equals	Delegates must have the same type with identical invocation lists.
Interface	Object.Equals(Object)	Reference equality.

Object

经过源码，能够看到Object中Equals方法的实现，即.NET中全部类型的默认实现：

 

ValueType

反编译以后，能够看到ValueType中Equals方法的实现，即值类型的默认实现，它重写了Object.Equals方法：

 

上面能够看到，ValueType中Equals实现思路以下：

• obj==null返回false

• 若this和obj的运行时类型不一样则返回false

• 若是值类型中包含的字段均是值类型则逐字节比较字段值

• 若含有引用类型字段，则使用使用反射获取字段信息，而后调用字段的Equals方法来逐字段比较相等性

重写Equals

Object的Equals仅经过引用来比较相等性。应该说是identity而非equality，与Python中的is、== 操做符相似;ValueType的Equals中使用了反射性能较差。这种默认实现一般不能知足需求，自定义实现Equals思路以下：

• obj为null，返回false，由于Equals是实例方法，this不会为null

• 对于引用类型，this和obj引用同一个对象返回true

• 调用GetType方法来判断this和obj在运行时是不是相同类型

• 必要时调用基类的Equals方法来比较基类中字段的相等性（一般不调用Object类的Equals）

• 调用Equals方法逐字段进行比较

根据上述思路，实现自定义类型的Equals方法：

 

public class Entity
{
    public Entity(string tag, int count, IDictionary<string, string> descriptioins)
    {
        this.Tag = tag;
        this.Count = count;
        this.Descriptions = descriptioins;
    }

    public string Tag { private set; get; }

    public int Count { private set; get; }

    public IDictionary<string, string> Descriptions { private set; get; }
    /// <summary>
    /// 逐字段比较相等性
    /// </summary>
    public override bool Equals(object obj)
    {
        if (obj == null)
        {
            return false;
        }

        if (object.ReferenceEquals(this, obj))
        {
            return true;
        }

        // 这里判断this与obj在运行时类型是否同样
        // 使用is关键字进行类型判断的话，若是obj是Entity的子类也会返回true
        // 若是类型被标记为sealed，可使用is来判断
        if (this.GetType().Equals(obj.GetType()) == false)
        {
            return false;
        }

        var other = obj as Entity;
        if (other == null)
        {
            return false;
        }
        if (this.Tag != other.Tag)
        {
            return false;
        }
        if (this.Count != other.Count)
        {
            return false;
        }
        if (this.Descriptions.FieldsEquales(other.Descriptions) == false)
        {
            return false;
        }

        return true;
    }
    /// <summary>
    /// 获得的哈希值应在对象生命周期中保持不变
    /// </summary>
    public override int GetHashCode() => this.ToString().GetHashCode();
    /// <summary>
    /// 含义同Equals(object obj)
    /// </summary>
    public static bool operator ==(Entity left, Entity right)
    {
        // The null keyword is a literal that represents a null reference, one that does not refer to any object. 
        // null is the default value of reference - type variables.Ordinary value types cannot be null, except for nullable value types.
        if (object.ReferenceEquals(null, left))
        {
            return false;
        }
        return left.Equals(right);
    }
    /// <summary>
    /// 含义与==相反
    /// </summary>
    public static bool operator !=(Entity left, Entity right) => !(left == right);

    public override string ToString() => JsonConvert.SerializeObject(this);
}

override Equals

 

public static class DictionaryExtension
{
    /// <summary>
    /// 调用Object.Equals(Object)方法逐个字段进行相等性比较
    /// <para>双方均为null时返回true，一方为null是返回false</para>
    /// </summary>
    public static bool FieldsEquals<TKey, TValue>(this IDictionary<TKey, TValue> source, IDictionary<TKey, TValue> target)
    {
        if (source == null && target == null)
        {
            return true;
        }
        if ((source == null && target != null) ||
             (source != null && target == null))
        {
            return false;
        }
        if (object.ReferenceEquals(source, target))
        {
            return true;
        }
        if (source.Keys.Count != target.Keys.Count)
        {
            return false;
        }
        foreach (var key in source.Keys)
        {
            if (target.ContainsKey(key) == false)
            {
                return false;
            }

            var targetValue = target[key];
            var sourceValue = source[key];
            if (object.ReferenceEquals(targetValue, null) &&
                 object.ReferenceEquals(sourceValue, null))
            {
                continue;
            }

            if (object.ReferenceEquals(targetValue, null) &&
                 sourceValue.Equals(targetValue) == false)
            {
                return false;
            }
            else if (targetValue.Equals(sourceValue) == false)
            {
                return false;
            }

        }
        return true;
    }
}

Directory FieldsEquals

 

 

⚠️ 要调用GetType方法来判断this与obj在运行时类型是否相同。若使用is关键字进行类型判断的话，若是obj是Entity的子类也会返回true。当类型不能作为基类时，如被标记为sealed或值类型（struct、enum），可使用is来判断。

重写Equals方法应知足如下几点：

• 自反：x.Equals(x)返回true

• 对称：x.Equals(y)==y.Equals(x)

• 可传递：若x.Equals(y)==true且y.Equals(z)==true，则x.Equals(z)==true

• 一致性：x,y的值不发生变化，则x.Equals(y)的结果也不变

• x.Equals(null) 返回false

• x.Equals(y)返回true，若是x,y都是NaN的话

• Equals方法不要抛出异常

有关String及StringBuilder对于Equals的实现，或更多重写Equals方法的细节可参考：Object.Equals。

Object.GetHashCode()

Object

默认实现根据对象在内存中的地址，即引用来计算哈希码。换言之， ReferenceEquals方法返回true的两个对象的哈希码也相同。

ValueType

默认实现经过反射基于字段的值来计算哈希码。换言之，两个值类型实例的全部字段值都相等，那么它们的哈希码也相等。

重写GetHashCode

重写Equals方法后，一般也须要重写GetHashCode方法，反之亦然。由于在哈希结构（如字典）中，存取数据时须要用到键的哈希码。以下图是Github上Dictionary根据key获取value的一段源码，代码中先比较了hashCode是否相等，而后再调用Enquals方法对key作相等性判断：

 

重写GetHashCode方法应注意如下事项：

• 算法至少使用对象的一个实例字段，不要使用静态字段

  保证哈希码和实例对象相关

• 算法使用的实例字段应尽量保持不变

  尽量保证在对象生命周期中哈希码保持不变

• 两个相等的对象（使用Equals方法判断）应返回相同的哈希码，但反过来则不成立

• 若是影响到Euqals方法的字段值未发生变化，GetHashCode返回的哈希码也不该变化

• 生成的哈希值随机均匀分布

• 良好的性能

一般，对于可变引用对象，应重写GetHashCode方法，除非能保证如下两点：

• 用于计算哈希码的字段不可变

• 对象存储在依赖哈希码的集合中，对象的哈希码不变

若是要重写可变对象的GetHashCode方法，尽量在文档中指出：若是对象要用做哈希结构的key，尽量不要修改该对象，不然，在读取数据时可能会引起KeyNotFoundException。

⚠️ 不一样的.NET版本、不一样的平台（32位、64位系统）对于GetHashCode的默认实现可能会有差别。所以，若使用默认的GetHashCode方法，须注意如下两点:

• 不能仅经过哈希码来判断对象是否相等

• 由于对象能够在应用程序域、进程、平台间传递，不要持久化或在生成哈希码的应用程序域以外使用哈希码

下面是微软官方文档中对于GetHashCode的一段总结，人太懒水平又差，就不翻译了，抄录在这里备之后查询：

A hash function must have the following properties:

• If two objects compare as equal, the GetHashCode() method for each object must return the same value. However, if two objects do not compare as equal, the GetHashCode() methods for the two objects do not have to return different values.

• The GetHashCode() method for an object must consistently return the same hash code as long as there is no modification to the object state that determines the return value of the object's System.Object.Equals method. Note that this is true only for the current execution of an application, and that a different hash code can be returned if the application is run again.

• For the best performance, a hash function should generate an even distribution for all input, including input that is heavily clustered. An implication is that small modifications to object state should result in large modifications to the resulting hash code for best hash table performance. - Hash functions should be inexpensive to compute.

• The GetHashCode() method should not throw exceptions.

For example, the implementation of the GetHashCode() method provided by the String class returns identical hash codes for identical string values. Therefore, two String objects return the same hash code if they represent the same string value. Also, the method uses all the characters in the string to generate reasonably randomly distributed output, even when the input is clustered in certain ranges (for example, many users might have strings that contain only the lower 128 ASCII characters, even though a string can contain any of the 65,535 Unicode characters).

Providing a good hash function on a class can significantly affect the performance of adding those objects to a hash table. In a hash table with keys that provide a good implementation of a hash function, searching for an element takes constant time (for example, an O(1) operation).

In a hash table with a poor implementation of a hash function, the performance of a search depends on the number of items in the hash table (for example, an O(n) operation, where n is the number of items in the hash table).

A malicious user can input data that increases the number of collisions, which can significantly degrade the performance of applications that depend on hash tables, under the following conditions:

• When hash functions produce frequent collisions.

• When a large proportion of objects in a hash table produce hash codes that are equal or approximately equal to one another.

• When users input the data from which the hash code is computed.

Derived classes that override GetHashCode() must also override Equals(Object) to guarantee that two objects considered equal have the same hash code; otherwise, the Hashtable type might not work correctly.

系统优化思路

• 性能知足当前需求就好，莫要追求极致性能

• 性能与代码可读性之间要有一个权衡，丧失了可读性也就增长了维护成本

• 减小I/0（磁盘、网络）

  优化数据库查询，只查询必要的字段，便可减小磁盘I/O又能节省带宽资源；

  合理使用缓存；

  适当拆分一次返回大量数据的请求为多个请求（如，分页查询）。适当合并屡次结果集较小的查询（如，Redis中的Pipline）；

• 避免计算机作无用功

  使用合理的数据结构；

  尽量减小循环次数；

• 充分利用CPU（多线程、并行运算）

  将一次运算拆分为多个独立的运算单元，但要注意，不是全部的运算任务都能拆分。同时，也要在单线程的简单安全运行较慢和多线程的复杂较为高效之间作适当取舍。

• 异步替换同步，避免线程阻塞

• 适当重构代码，尽量下降代码的混乱程度以保持系统的简洁

推荐阅读

RuntimeHelpers.GetHashCode(Object) Method