Андрей Михайлов «Оптимизация Generics, которая не работает»

Поглядим внутренности Generics: посмотрим оптимизации CLR и узнаем что может пойти не так. Разберем интересный случай сломавшейся оптимизации, который был поднят на Github.

Transcript

3. class BaseClass<T> { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
4. class BaseClass<T> { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } } class DerivedClass : BaseClass<object> { }
5. new BaseClass<object>().Run() new DerivedClass().Run()
6. new BaseClass<object>().Run() new DerivedClass().Run()
7. new BaseClass<object>().Run() new DerivedClass().Run()
9. class GenericClass<T> { private T _value; public T GetValue() { return _value; } }
10. class GenericClass<int> { private int _value; public int GetValue() { return _value; } } class GenericClass<long> { private long _value; public long GetValue() { return _value; } }
11. class GenericClass<int> { private int _value; public int GetValue() { return _value; } } class GenericClass<long> { private long _value; public long GetValue() { return _value; } }
12. class GenericClass<int> { private int _value; public int GetValue() { return _value; } } class GenericClass<long> { private long _value; public long GetValue() { return _value; } }
13. int GetValue() { return _value; } long GetValue() { return _value; } class GenericClass<int> { private int _value; public int GetValue() { return _value; } } class GenericClass<long> { private long _value; public long GetValue() { return _value; } }
14. class GenericClass<string> { private string _value; public string GetValue() { return _value; } } class GenericClass<object> { private object _value; public object GetValue() { return _value; } }
15. class GenericClass<string> { private string _value; public string GetValue() { return _value; } } class GenericClass<object> { private object _value; public object GetValue() { return _value; } }
16. class GenericClass<string> { private string _value; public string GetValue() { return _value; } } class GenericClass<object> { private object _value; public object GetValue() { return _value; } }
17. __Canon GetValue() { return _value; } class GenericClass<string> { private string _value; public string GetValue() { return _value; } } class GenericClass<object> { private object _value; public object GetValue() { return _value; } }
19. class GenericClass<T> { void Foo() { } }
20. class GenericClass<T> { void Foo() { Enumerable.Empty<T>(); } }
21. class GenericClass<T> { void Foo() { Enumerable.Empty<T>(); } } lass GenericClass<__Canon> { void Foo() { Enumerable.Empty<__Canon>(); } }
22. class GenericClass<T> { void Foo() { Enumerable.Empty<T>(); } } lass GenericClass<__Canon> { void Foo() { Enumerable.Empty<__Canon>(); } }
23. class GenericClass<T> { void Foo() { Enumerable.Empty<T>(); } } lass GenericClass<__Canon> { void Foo() { Enumerable.Empty<__Canon>(); } }
27. 30 clocks
28. 30 clocks 60 clocks
29. 30 clocks 60 clocks 300 clocks
31. void Method1() { } void Method2() { } void Method3() { }
32. class BaseClass<T> { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
33. class BaseClass<T> { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
34. class BaseClass<T> { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
35. class BaseClass<T> { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
36. class BaseClass<T> DerviedClass { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
37. class BaseClass<T> DerviedClass { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
40. class BaseClass<T> DerviedClass { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
41. class BaseClass<T> DerviedClass { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
42. class BaseClass<T> { ... public void Foo1() { } public void Foo2() { } }
43. class BaseClass<T> DerviedClass { private List<T> _list = new List<T>(); public BaseClass() { Enumerable.Empty<T>(); } public void Run() { for (var i = 0; i < 8000000; i++) { if (_list.Any()) { return; } } } }
44. new BaseClass<object>().Run() new DerivedClass().Run()
45. new BaseClass<object>().Run() new DerivedClass().Run()
46. new BaseClass<object>().Run() new DerivedClass().Run()