TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

Намери подобно съдържание

Изходен канал @clockstackwheels · Post #948 · 19.01

Вдогонку к Миру Полудня послушал "Попытку к бегству". Спойлерить не буду, но Стругацкие здесь поднимают идею, которую позже развивают в "Трудно быть богом", и которая несколько в другом виде встречается, например, в "Этическом инженере" Гарри Гаррисона. И вот на этой теме, как мне кажется, жёстко ломается гуманизм и вообще современная классическая гуманистическая идеология, сейчас поясню. В теории радикальный гуманизм очень устойчив к контраргументам, потому что все вменяемые люди хотят жить и хотят, чтобы были живы их близкие. Идея, которая ставит во главу угла ценность человеческой жизни, проста, понятна и выглядит той самой максимой, к которой должно стремиться любое общество. Из-за этого другие идеи, являющиеся производными от неё, сложно отбивать какой-либо риторикой. Например, представление о полной недопустимости физического насилия, кроме как в ответ на другое физическое насилие — на уровне практического понимания работы общества мы знаем, что эта идея нежизнеспособна, но формально спорить с ней означает атаковать частичку гуманизма, который в некотором смысле непоколебим. Вот и герои "Попытки к бегству" добрую половину произведения мучаются, тупят и совершают ошибки из-за своего гуманизма, а в какой-то момент даже начинают сильно раздражать этим (уверен, именно такова была задумка авторов). Однако, гуманизм не может предложить вообще никакое нормальное решение в следующей ситуации (и об этом вообще всё произведение): вы развитая гуманистическая цивилизация натыкаетесь на неразвитую варварскую, в которой часть людей (условно, рабы) жесточайше страдает и умирает из-за другой части людей (условно, господ). Что делать? Оставить всё как есть нельзя — рабы же страдают и умирают. Убить всех господ тоже нельзя — негуманно. Забрать рабов с планеты бессмысленно — господа поделятся на новых господ и новых рабов. Аналогично если забрать господ. Каким-то образом изменить сознание господ, чтобы они отказались от рабов — это нарушение свободы воли, эквивалентно, как было в "Трудно быть богом", убийству одного человечества и созданию на его месте другого. В общем, что бы мы ни придумали, нам неизбежно придётся отойти от понятия ценности индивидуальной человеческой жизни и начать мыслить такими категориями, как стадии развития общества в целом, которые оно должно сначала пройти, чтобы достичь какого-то уровня. И выходит своего рода парадокс: мы не можем применять гуманизм целиком до тех пор, пока наше общество не стало целиком гуманистическим. А оно не стало, пока мы не применяем гуманизм целиком. Вот вам и поломка модели. #fiction#life

Резултати

Намерени 1 подобни публикации

Търсене: #llvm

当前筛选 #llvm清除筛选
Android Broadcast

@android_broadcast · Post #9894 · 17.03.2026 г., 05:32

🤖Google ускорила ядро Android, скормив компилятору профили реального использования Команда LLVM toolchain в Google рассказала, как они применили AutoFDO (Automatic Feedback-Directed Optimization) к ядру Android — и результаты интересные. Идея простая: обычный компилятор принимает решения об оптимизациях на основе статических эвристик. Встроить функцию или нет, какая ветка условия чаще выполняется — всё это угадывается без реальных данных из приложений и пользовательских сценариев. AutoFDO меняет подход: компилятор получает профили реального выполнения кода и на их основе принимает куда более точные решения. Эта техника Google уже давно применяется к своей серверной инфраструктуре и ChromeOS, так что подход обкатанный и зарекомендовавший себя. Кто знаком с ART Profiles — идея покажется знакомой. Там тот же принцип: собираем данные о реальном выполнении, отдаём компилятору, получаем более точный нативный код. Только ART Profiles работают на уровне ART для Java/Kotlin-кода конкретного приложения, а AutoFDO — на уровне ядра, C/C++ и LLVM. Разные слои, одна философия. Для ядра профили собирают не с реальных устройств, а в лабораторных условиях: запускают топ-100 самых популярных приложений, используют simpleperf и аппаратные возможности ARM для записи истории ветвлений. Собранные данные показывают 85% совпадение с профилями реального парка устройств — этого достаточно, чтобы считать подход рабочим. Результаты на ядрах 6.1, 6.6 и 6.12: 👉 холодный старт приложений стал быстрее на ~4% 👉 время загрузки сократилось на ~1% 👉 ядро занимает ~40% CPU-времени на Android, так что любая оптимизация здесь ощутима Важный момент: AutoFDO не меняет логику кода, только влияет на решения компилятора — инлайнинг, раскладку кода. Функции, которые не попали в профили («холодные»), компилируются стандартным образом, без изменений. Сейчас это уже в проде — профили включены в ветки android15-6.6 и android16-6.12, так что устройства на этих ядрах уже собираются с AutoFDO. Pixel-устройства точно попадают в эту категорию. С другими производителями сложнее: многие используют сильно модифицированное ядро и не переходят на GKI из AOSP, так что там это может быть не применено вовсе. В планах — GKI-модули, вендорные модули через DDK и поддержка новых версий ядра. 🔗 Источник - блог Android Developers #Android#AndroidDev#Производительность#LLVM#Native