TGTGInsighttelegram intelligenceLIVE / telegram public index
← Python Заметки

TGINSIGHT SIMILAR POSTS

Најди сличен содржај

Изворен канал @pythonotes · Post #396 · 9 окт.

7.09.2025 состоялся релизPithon 3.14! На фоне хайпа про NoGIL всё позабыли про другие фичи. Особенно про Multiple Interpreters, который обещает изоляцию процессов но с эффективностью потоков! На сколько действительно это будет эффективно мы узнаем позже, потому что сейчас это лишь первый релиз с ограничениями и недоработками. Но что там про NoGIL? Теперь этот режим не экспериментальный, а официально поддерживаемый, но опциональный. Чтобы запустить без GIL нужна специальная сборка. И перед стартом нужно объявить переменную PYTHON_GIL=0 Для вас я собрал готовый репозиторий где достаточно запустить скрпит, который всё сделает: ▫️ соберет релизный Python 3.14 в новый Docker-образ ▫️ запустит тесты в контейнере (GIL, NoGIL, MultiInterpreter) ▫️ распечатает результаты Тест очень простой, усложняйте сами) Вот какие результаты у меня: === Running ThreadPoolExecutor GIL ON TOTAL TIME: 45.48 seconds === Running ThreadPoolExecutor GIL OFF TOTAL TIME: 6.14 seconds === Running basic Thread GIL ON TOTAL TIME: 45.54 seconds === Running basic Thread GIL OFF TOTAL TIME: 4.74 seconds === Running with Multi Interpreter TOTAL TIME: 18.30 seconds Если сравнивать GIL и NoGIL, то на мои 32 ядра прирост х7-x10 (почему не х32? 🤷). При этом нам обещают что скорости будут расти с новыми релизами. Режим без GIL похож (визуально) на async, тоже параллельно, тоже не по порядку. Но это не IO! и от того некоторый диссонанс в голове 😵‍💫, нас учили не так! Интересно, что чистый Thread работает быстрей чем ThreadPoolExecutor без GIL. Ну и где-то плачет один адепт мульти-интерпретаторов😭 Теперь нужно искать где они могут пригодиться с такой-то скоростью. Скорее всего своя область применения найдется. Отдельно я затестил память и вот что вышло на 32 потока: ThreadPoolExecutor GIL ON 305.228 MB ThreadPoolExecutor GIL OFF 500.176 MB basic Thread GIL ON 90.668 MB basic Thread GIL OFF 472.444 MB with Multi Interpreter 1267.788 MB Пока не знаю как к этому относиться) В целом - радует направление развития! #release

Hashtags

Резултати

Пронајдени 2 слични објави

Пребарај: #díadelaarmada

当前筛选 #díadelaarmada清除筛选
EmbajadaRusaVen

@embajadarusaven · Post #1773 · 29.07.2024 г., 02:04

⚓️ ¡Hoy es el Día de la Armada de Rusia! Nuestro país es una de las mayores potencias navales del mundo y dispone de todo lo necesario para la defensa de los intereses nacionales en las extensiones del océano mundial. El comienzo de las tradiciones navales rusas se considera la resolución de la Duma de Boyar sobre la construcción de una flota regular del 30 de octubre de 1696, adoptada a propuesta de Pedro el Grande. 👉 Desde hace 328 años los buques de la Armada rusa y sus tripulaciones vigilan las fronteras de la Patria y son por derecho su orgullo y gloria. En los anales de nuestra flota hay victorias triunfales, campañas alrededor del mundo y grandes descubrimientos geográficos. 🇷🇺🇻🇪 A principios del mes el puerto de La Guaira acogió un destacamento de buques de la Flota del Norte de la Armada de Rusia. La guardia de honor de la fragata participó en el desfile militar del 5 de julio. La Armada de la Federación de Rusia es la sucesora de la flota militar del Imperio Ruso y de la Armada de la URSS, organizativamente consta de cinco asociaciones operativo-estratégicas: las Flotas del Norte, del Pacífico, del Báltico y del Mar Negro, así como la Flotilla del Caspio. Estamos orgullosos de la heroica historia de la Armada rusa, ¡honremos la memoria de nuestros líderes navales y marineros! #DíaDeLaArmada

⚓¿Por qué Rusia celebra su poder naval cada 30 de octubre? Cada 30 de octubre, Rusia conmemora el Día de la Fundación de su Armada, una fecha que no solo honra a los marineros de superficie, sino que también recuerda el inicio de una transformación histórica impulsada por uno de los líderes más visionarios del país: el zar Pedro I, conocido como Pedro el Grande. 📜 1696: el nacimiento de una potencia naval La historia nos lleva al otoño de 1696, cuando la Duma de los Boyardos, bajo la firme iniciativa de Pedro I, aprobó la creación de una flota naval regular. Esta decisión no fue un capricho, sino parte de una estrategia más amplia para modernizar Rusia y posicionarla como una potencia europea. Hasta entonces, el país contaba con flotillas irregulares, pero carecía de una fuerza naval organizada capaz de proteger sus intereses marítimos. Pedro el Grande entendía que, sin acceso al mar, Rusia quedaría rezagada en comercio, defensa y diplomacia. Por eso, tras la campaña militar en Azov contra el Imperio Otomano, el zar impulsó la construcción de buques en los astilleros de Vorónezh, San Petersburgo y Arcángel. Así nacieron las primeras flotas del Azov y del Báltico, que más tarde se expandirían al Pacífico, el Norte, el Mar Negro y el Caspio. ⚓️ Una celebración moderna con raíces imperiales Desde 1996, por orden del comandante en jefe de la Armada de la Federación Rusa, el 30 de octubre también se celebra como el día profesional de los marineros de superficie. Esta fecha se distingue de otras conmemoraciones navales como el Día de la Armada (último domingo de julio), ya que pone el foco en quienes operan en buques de guerra y patrulleros, manteniendo viva la tradición iniciada por Pedro I. 🛳 Un legado que sigue navegando La Armada rusa, que en el siglo XVIII llegó a ocupar el tercer lugar mundial en número de buques de guerra, sigue siendo un pilar estratégico para Moscú. Hoy cuenta con más de 300 embarcaciones activas y bases en puntos clave como Sebastopol, Vladivostok y Kronstadt. Este día no solo celebra a los marinos, sino que también recuerda cómo una decisión tomada hace más de tres siglos cambió el rumbo de Rusia y la conectó con el mundo a través de sus mares. #ArmadaRusa#PedroElGrande#HistoriaDeRusia#FuerzasNavales#DíaDeLaArmada Apóyanos pulsando👉'BOOST'👈 🖥https://vamosarusia.com 💬@vamosarusia