Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Истории из жизни одного Null Guard
Содержание
- 1. Истории из жизни одного Null Guard
- 2. О себеЗарабатываю на жизнь программированием с 2005 годаПрограммировал еще на .net framework 1.0Помню С# без Generics
- 3. О докладеNull GuardЗачемКакПроизводительность
- 4. NullReferenceException
- 5. NullReferenceException
- 6. Null references: The Billion-dollar mistakeSir Charles Antony Richard Hoare, 2009
- 7. Наш герой: две (четыре) строчки кода
- 8. FAIL FAST
- 9. “У меня всё обмазано NotNullAttribute. За меня Resharper всё проверит!”
- 10. R#: value and nullability analysis modesOptimistic / Pessimistic
- 11. “Это же мой код, я всегда знаю, где и что передаю!”
- 12. “Есть же стек-трейс!”
- 13. Стек-трейса не всегда достаточно
- 14. Стек-трейс. Пример #1.Object reference not set to
- 15. Слайд 15
- 16. System.ArgumentNullException: Value cannot be null.Parameter name: fooProgram.Sample1(Foo foo, Boo boo) Program.Main(String[] args)
- 17. Стек-трейс. Пример #2Object reference not set to an instance of an object Samples.Sample2(IReadOnlyList`1 collection) Program.Main(String[] args)
- 18. Стек-трейс. Пример #3Samples.Sample3(Foo foo) Program.Main(String[] args)
- 19. Стек-трейс. Пример #3. DebugBoo.Net(Foo foo) Boo.Dot(Foo foo)
- 20. “А как так-то?”
- 21. Компиляция и исполнение в среде .NET
- 22. Компилятор C# (Roslyn)C# → Common Intermediate Language (CIL)Никаких оптимизаций
- 23. JIT-компилятор (JIT-x86, JIT-x64, RyuJIT)CIL → native codeВ runtimeОптимизации (Release)Method In-liningRange-check eliminationLoop unrollingetc.
- 24. В примерах используется RyuJIT x64
- 25. “Ну давай, расскажи мне, как ты будешь везде писать эти две строчки кода...”
- 26. Эволюция. Выделяем метод
- 27. “Поменяется стек!И вообще всё будет тормозить!”
- 28. CALL внутри тела метода - CIL
- 29. CALL внутри тела метода - ASM
- 30. MethodImplAttributeAggressiveInliningNoInliningNoOptimizationForwardRefInternalCallPreserveSigSynchronizedUnmanaged
- 31. Эволюция. Переименуем и размножимThrowIf.Argument.IsNullThrowIf.Variable.IsNullThrowIf.Field.IsNull
- 32. Слайд 32
- 33. “Метод стал больше, теперь-то точно будет тормозить!”
- 34. Упс! А инлайнинга-то не случилось
- 35. Inlining Analizer
- 36. Нет инлайнинга. Причины
- 37. Слайд 37
- 38. ThrowHelper
- 39. Слайд 39
- 40. Эволюция. Guard в Generic-контейнере
- 41. where T : class
- 42. Value Types vs. Reference Types
- 43. Слайд 43
- 44. “Boxing же!”
- 45. BoxingSTACKHEAPi123int i = 123;oint123i boxedobject o = i;
- 46. Boxing - CIL
- 47. Boxing - asm
- 48. No Boxing!
- 49. “Покажи asm c Guard’ом!”
- 50. Generic контейнер
- 51. Guard отсутствует
- 52. Guard присутствует
- 53. Слайд 53
- 54. “А как так-то?”
- 55. JIT и Generics
- 56. Generics: Reference Type Одна общая реализациявсе ссылки
- 57. Generics: Value TypeДля каждого Value Type отдельная
- 58. “А что, если переопределен оператор ==?”
- 59. А что, если переопределен оператор ==?НИЧЕГО
- 60. “Покажи мне цифры!”
- 61. Цифры
- 62. Пустой метод vs. метод с Guard`ом
- 63. // * Warnings *ZeroMeasurementWith: The method duration
- 64. Методы с установкой поля
- 65. Слайд 65
- 66. “А как так-то?”
- 67. CPU: Branch Prediction
- 68. Слайд 68
- 69. Любопытные факты
- 70. JIT x86не всегда оптимизирует boxing
- 71. Слайд 71
- 72. Слайд 72
- 73. Слайд 73
- 74. Слайд 74
- 75. /dotnet/coreclr: Faster null checks #21736== null → is null!= null → is object
- 76. Защищайся! Проверяй! Не доверяй никому! Даже себе!
- 77. Константин Рудниченкотехнический директор Cadwiserudnichenko.k@gmail.comhttps://t.me/krudnichenkohttps://twitter.com/KRudnichenkohttp://cadwise.ru
- 78. Скачать презентанцию
О себеЗарабатываю на жизнь программированием с 2005 годаПрограммировал еще на .net framework 1.0Помню С# без Generics
- ВКонтакте
- РћРТвЂВВВВВВВВнокласснРСвЂВВВВВВВВРєРСвЂВВВВВВВВ
- РњРѕР№ Р В Р’В Р РЋРЎв„ўР В Р’В Р РЋРІР‚ВВВВВВВВРЎР‚
Слайды и текст этой презентации
Слайд 2О себе
Зарабатываю на жизнь программированием с 2005 года
Программировал еще на
.net framework 1.0
Слайд 14Стек-трейс. Пример #1.
Object reference not set to an instance of
an object
Program.Sample1(Foo foo, Boo boo) Program.Main(String[] args)
![Стек-трейс. Пример #1.Object reference not set to an instance of an objectProgram.Sample1(Foo foo, Boo boo) Program.Main(String[] args)](/img/thumbs/53ea1a0b71167d0856f76c35d2c3b3ba-800x.jpg "Истории из жизни
одного Null Guard Стек-трейс. Пример #1.Object reference not set to an instance of an")
Слайд 16System.ArgumentNullException: Value cannot be null.
Parameter name: foo
Program.Sample1(Foo foo, Boo boo)
Program.Main(String[] args)
![System.ArgumentNullException: Value cannot be null.Parameter name: fooProgram.Sample1(Foo foo, Boo boo) Program.Main(String[] args)](/img/thumbs/eec65e9fc1607bbe2b3f63a207d04b71-800x.jpg "Истории из жизни
одного Null Guard System.ArgumentNullException: Value cannot be null.Parameter name: fooProgram.Sample1(Foo foo, Boo boo) Program.Main(String[] args)")
Слайд 17Стек-трейс. Пример #2
Object reference not set to an instance of
an object Samples.Sample2(IReadOnlyList`1 collection) Program.Main(String[] args)
![Стек-трейс. Пример #2Object reference not set to an instance of an object Samples.Sample2(IReadOnlyList`1 collection) Program.Main(String[] args)](/img/tmb/4/323084/cb17a1417bcea7345ac4e3b07b0fa1aa-800x.jpg "Истории из жизни
одного Null Guard Стек-трейс. Пример #2Object reference not set to an instance of an object Samples.Sample2(IReadOnlyList`1 collection) Program.Main(String[] args)")
![Стек-трейс. Пример #3Samples.Sample3(Foo foo) Program.Main(String[] args)](/img/thumbs/c9d2a4a43c4c5118500d204ca60d4733-800x.jpg "Истории из жизни
одного Null Guard Стек-трейс. Пример #3Samples.Sample3(Foo foo) Program.Main(String[] args)")
Слайд 19Стек-трейс. Пример #3. Debug
Boo.Net(Foo foo) Boo.Dot(Foo foo) Boo.Nsk(Foo foo) Boo.Hello(Foo
foo) Boo.DoSmth(Foo foo) Samples.Sample3(Foo foo) Program.Main(String[] args)
![Стек-трейс. Пример #3. DebugBoo.Net(Foo foo) Boo.Dot(Foo foo) Boo.Nsk(Foo foo) Boo.Hello(Foo foo) Boo.DoSmth(Foo foo) Samples.Sample3(Foo foo) Program.Main(String[] args)](/img/thumbs/8f5ec6f7c45cb7dd0de8dc12a1904075-800x.jpg "Истории из жизни
одного Null Guard Стек-трейс. Пример #3. DebugBoo.Net(Foo foo) Boo.Dot(Foo foo) Boo.Nsk(Foo foo) Boo.Hello(Foo foo)")
Слайд 23JIT-компилятор (JIT-x86, JIT-x64, RyuJIT)
CIL → native code
В runtime
Оптимизации (Release)
Method In-lining
Range-check
elimination
Loop unrolling
etc.
Слайд 30MethodImplAttribute
AggressiveInlining
NoInlining
NoOptimization
ForwardRef
InternalCall
PreserveSig
Synchronized
Unmanaged
Слайд 31Эволюция. Переименуем и размножим
ThrowIf.Argument.IsNull
ThrowIf.Variable.IsNull
ThrowIf.Field.IsNull
Слайд 56Generics: Reference Type
Одна общая реализация
все ссылки имеют одинаковый размер
- размер указателя
какими бы ни были объекты, все операции над
указателями на них - одинаковые
Слайд 57Generics: Value Type
Для каждого Value Type отдельная реализация
int и
double имеют разный размер (4 и 8 байт). Невозможно выделить
одинаковый объем памяти на стекев зависимости от платформы могут использоваться разные регистры и команды
специальные оптимизации
Слайд 63// * Warnings *
ZeroMeasurement
With: The method duration is indistinguishable from
the empty method duration
Without: The method duration is indistinguishable from
the empty method duration
Слайд 77Константин Рудниченко
технический директор Cadwise
rudnichenko.k@gmail.com
https://t.me/krudnichenko
https://twitter.com/KRudnichenko
http://cadwise.ru
