Если кто-то не знал, на C# написана настоящая NoSQL база данных - RavenDB.
Я ей никогда не пользовался, но очень много и вдумчиво читал их код. Для человека, который интересуется скоростью и аллокациями, их кодовая база просто клад.
Множество мелких фишек, не очень очевидных оптимизаций и даже реализаций целых look-free словарей. Кстати первоначальная реализация concurrent lock-free принадлежит некому VSadov - туда тоже рекомендую сходить. Но я так понимаю, что в RavenDB это ещё и обработали напильником под свои нужды.
Короче говоря, если вас спросят, а применяются ли микрооптимизации в реальных работающих приложениях? Можете смело отвечать "да" и называть RavenDB. Они это делают.
Если кто-то не знал, на C# написана настоящая NoSQL база данных - RavenDB.
Я ей никогда не пользовался, но очень много и вдумчиво читал их код. Для человека, который интересуется скоростью и аллокациями, их кодовая база просто клад.
Множество мелких фишек, не очень очевидных оптимизаций и даже реализаций целых look-free словарей. Кстати первоначальная реализация concurrent lock-free принадлежит некому VSadov - туда тоже рекомендую сходить. Но я так понимаю, что в RavenDB это ещё и обработали напильником под свои нужды.
Короче говоря, если вас спросят, а применяются ли микрооптимизации в реальных работающих приложениях? Можете смело отвечать "да" и называть RavenDB. Они это делают.
Telegram channels fall into two types: How to create a business channel on Telegram? (Tutorial) Telegram Channels requirements & features A few years ago, you had to use a special bot to run a poll on Telegram. Now you can easily do that yourself in two clicks. Hit the Menu icon and select “Create Poll.” Write your question and add up to 10 options. Running polls is a powerful strategy for getting feedback from your audience. If you’re considering the possibility of modifying your channel in any way, be sure to ask your subscribers’ opinions first. Private channels are only accessible to subscribers and don’t appear in public searches. To join a private channel, you need to receive a link from the owner (administrator). A private channel is an excellent solution for companies and teams. You can also use this type of channel to write down personal notes, reflections, etc. By the way, you can make your private channel public at any moment.
from us
