Для Linux предложен механизм верификации корректности работы ядра

Опубликовано: 23:10, 07.08.2022

Для включения в состав ядра Linux 5.20 (возможно, ветка получит номер 6.0) предложен набор патчей с реализацией механизма RV (Runtime Verification), ...

Для Linux предложен механизм верификации корректности работы ядра

Сообщает www.opennet.ru

 

Новость из рубрики: Технологии, Наука

 

Поделиться новостью: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

 
 

Предложен механизм blksnap для создания снапшотов блочных устройств в Linux 22:10, 07 Ноя Предложен механизм blksnap для создания снапшотов блочных устройств в Linux Компания Veeam, выпускающая ПО для резервного копирования и восстановления после аварий, предложила для включения в состав ядра Linux модуль blksnap ...

Предложен метод эксплуатации разыменования NULL-указателей в ядре Linux 10:40, 21 Янв Предложен метод эксплуатации разыменования NULL-указателей в ядре Linux Исследователи из команды Google Project Zero разработали метод эксплуатации уязвимостей в ядре Linux, вызванных разыменованием указателей NULL. До си...

Релиз ядра Linux 6.1 15:00, 12 Дек Релиз ядра Linux 6.1 После двух месяцев разработки Линус Торвальдс представил релиз ядра Linux 6.1. Среди наиболее заметных изменений: поддержка разработки драйверов и мо...

Релиз ядра Linux 6.0 04:40, 04 Окт Релиз ядра Linux 6.0 После двух месяцев разработки Линус Торвальдс представил релиз ядра Linux 6.0. Значительное изменение номера версии произведено из эстетических сообр...

Релиз ядра Linux 5.18 15:40, 23 Май Релиз ядра Linux 5.18 После двух месяцев разработки Линус Торвальдс представил релиз ядра Linux 5.18. Среди наиболее заметных изменений: проведена большая чистка устаревше...

Релиз ядра Linux 6.4 20:20, 26 Июн Релиз ядра Linux 6.4 После двух месяцев разработки Линус Торвальдс представил релиз ядра Linux 6.4. Среди наиболее заметных изменений: возможность создания kernel worker ...

Релиз ядра Linux 6.5 20:00, 28 Авг Релиз ядра Linux 6.5 После двух месяцев разработки Линус Торвальдс представил релиз ядра Linux 6.5. Среди наиболее заметных изменений: поддержка механизма управления пита...

Релиз ядра Linux 5.19 08:00, 01 Авг Релиз ядра Linux 5.19 После двух месяцев разработки Линус Торвальдс представил релиз ядра Linux 5.19. Среди наиболее заметных изменений: поддержка процессорной архитектуры...

04:10, 19 Май В РФ создан консорциум для исследования безопасности ядра Linux Институтом системного программирования Российской академии наук (ИСП РАН) сформирован консорциум, нацеленный на организацию сотрудничества российских...

13:10, 12 Май Компания NVIDIA открыла код видеодрайверов для ядра Linux Компания NVIDIA объявила об открытии исходных текстов всех модулей ядра, поставляемых в своём наборе проприетарных видеодрайверов. Код открыт под лиц...

05:30, 14 Авг Выпуск Ubuntu 22.04.3 LTS c обновлением графического стека и ядра Linux Сформировано обновление дистрибутива Ubuntu 22.04.3 LTS, в которое включены изменения, связанные с улучшением поддержки оборудования, обновлением ядр...

16:50, 09 Июн Компания Cisco предложила файловую систему PuzzleFS для ядра Linux Компания Cisco предложила новую файловую систему PuzzleFS, реализованную в виде модуля для ядра Linux, написанного на языке Rust. ФС рассчитана на ис...

11:10, 12 Июл Для ядра Linux предложена реализация функции memchr, работающая до 4 раз быстрее Для включения в состав ядра Linux предложен набор патчей с оптимизированной реализацией функции memchr(), применяемой для поиска символа в массиве. В...

00:30, 14 Окт Уязвимости в беспроводном стеке ядра Linux, допускающие удалённое выполнение кода В беспроводном стеке (mac80211) ядра Linux выявлена, серия уязвимостей, некоторые из которых потенциально позволяют добиться переполнения буфера и уд...

22:10, 23 Янв В Си-библиотеке nolibc, входящей в состав ядра Linux, реализована поддержка сигналов Для включения в состав ядра Linux предложены изменения, расширяющие возможности стандартной Си-библиотеки nolibc, входящей в состав исходных текстов ...

06:40, 18 Май 0-day уязвимость в IPv6-стеке Linux, позволяющая удалённо вызвать крах ядра Раскрыты сведения о неисправленной (0-day) уязвимости (CVE-2023-2156) в ядре Linux, позволяющей остановить работу системы через отправку специально о...

13:40, 17 Май 0-day уязвимость IPv6-стеке Linux, позволяющая удалённо вызвать крах ядра Раскрыты сведения о неисправленной (0-day) уязвимости (CVE-2023-2156) в ядре Linux, позволяющей остановить работу системы через отправку специально о...

16:00, 19 Дек Механизм формирования памяти ИИ поразительно похож на механизм мозга Междисциплинарная группа, состоящая из исследователей из Центра познания и социальности и Группы науки о данных Института фундаментальных наук (IBS),...

07:20, 08 Ноя Маск отложил введение новой системы верификации аккаунтов из-за выборов в США Twitter не будет внедрять новую систему верификации аккаунтов, по крайней мере, до завершения промежуточных…...

01:40, 23 Дек Роналду может перейти в клуб из Саудовской Аравии: ему предложен контракт до 2030 года Португальский нападающий Криштиану Роналду прилетел в Саудовскую Аравию. Он может подписать соглашение с клубом «Аль-Наср», рассчитанное до 2030 года...

19:00, 22 Апр Экономист Хазин: газ за рубли – это механизм защиты от конфискации Экономист и политолог Михаил Хазин в новом выпуске YouTube-шоу "Metametrica" рассказал, что происходит с российской экономикой и почему Россия продае...

06:20, 23 Май Изучен механизм возникновения нарушения свертываемости крови при COVID-19 Ученые Линчепингского университета в Швеции изучили механизм возникновения нарушения свертываемости крови при коронавирусной инфекции. Результаты в J...

09:40, 10 Авг Нейробиологи нашли механизм мозга, управляющий концентрацией внимания Ученые Пенсильванского университета на животных моделях обнаружили, что основную роль в концентрации внимания играет скоординированная активность, та...

13:50, 29 Май Эксперты описали возможный механизм расчетов в валютах стран БРИКС Запустить его для России и Китая можно уже в этом году, а создание для всего объединения пока сложно реализуемо...

04:20, 23 Янв "Известия": в марте может заработать механизм постоянных кредитных каникул Глава комитета Госдумы по финрынку Анатолий Аксаков рассказал газете "Известия", что механизм кредитных каникул по потребительским займам на постоянн...

23:30, 28 Мар Страны ЕС намерены создать механизм для блокировки импорта СПГ из России без новых санкций Министры энергетики стран ЕС планируют одобрить предложение, связанное с блокировкой импорта российского сжиженного природного газа (СПГ) без введени...

17:30, 15 Авг В Chrome 116 добавлен механизм инкапсуляции ключей, устойчивый к подбору на квантовых компьютерах Компания Google сообщила о включении в кодовую базу, на основе которой сформирован выпуск Chrome 116, новой реализации механизма инкапсуляции ключей ...

00:00, 11 Июн Усовершенствован механизм проведения ежегодной проверки годовых отчетов об исполнении бюджетов регионов Приказ Минфина России от 4 мая 2023 г. № 62н “О внесении изменений в Порядок проведения ежегодной проверки годового отчета об исполнении бюджета субъ...

04:50, 23 Апр ЕАЭС выходит на биржу // Страны «пятерки» готовят общий механизм товарных торгов Евразийский экономический союз (ЕАЭС) продвинулся в формировании общего рынка биржевых торгов товарами: по итогам заседания рабочей группы Евразийско...

19:30, 12 Июл Microsoft отозвала сертификаты, которыми подписали более 100 вредоносных драйверов ядра Microsoft отозвала сертификаты для подписи кода, которые использовались китайскими хакерами и разработчиками для подписи и загрузки вредоносных драйв...

20:10, 20 Окт Светодиодные настольные лампы Kitfort KT-3327, KT-3328 и KT-3329: сенсорное управление, RGB-подсветка, функция беспроводной зарядки Qi и гибкий поворотный механизм штанги Предугадывая желания и потребности потенциальных пользователей, компания Kitfort позаботилась об эргономике и функциональности этих устройств. Лампы ...

09:50, 02 Июн ARM анонсувала нові ядра CPU Cortex X4, A720, A520, а також графічні чіпи Immortalis G720, Mali G720 та Mali G620 На виставці Computex 2023 компанія Arm анонсувала нову лінійку обчислювальних ядер серій Cortex-A та Cortex-X, а також GPU нового покоління Immortali...

17:10, 31 Июл Релиз дистрибутива Linux Mint 21 Представлен релиз дистрибутива Linux Mint 21, перешедший на пакетную базу Ubuntu 22.04 LTS. Дистрибутив полностью совместим с Ubuntu, но существенно ...

01:50, 12 Май Релиз дистрибутива Red Hat Enterprise Linux 8.6 Следом за анонсом выпуска RHEL 9 компания Red Hat опубликовала релиз Red Hat Enterprise Linux 8.6. Установочные сборки подготовлены для архитектур x8...

18:20, 29 Дек Вышел дистрибутив Calculate Linux 23 Доступен релиз дистрибутива Calculate Linux 23, развиваемого русскоязычным сообществом, построенного на основе Gentoo Linux, поддерживающего непрерыв...

20:50, 20 Дек Релиз дистрибутива Linux Mint 21.1 Представлен релиз дистрибутива Linux Mint 21.1, продолжающий развитие ветки на основе пакетной базы Ubuntu 22.04 LTS. Дистрибутив полностью совместим...

20:50, 18 Апр Релиз дистрибутива Fedora Linux 38 Представлен релиз дистрибутива Fedora Linux 38. Для загрузки подготовлены продукты Fedora Workstation, Fedora Server, Fedora CoreOS, Fedora Cloud Bas...

08:50, 12 Ноя Релиз дистрибутива Red Hat Enterprise Linux 8.7 Компания Red Hat опубликовала релиз Red Hat Enterprise Linux 8.7. Установочные сборки подготовлены для архитектур x86_64, s390x (IBM System z), ppc64...

07:50, 17 Окт Обновление установочных сборок Void Linux Сформированы новые загрузочные сборки дистрибутива Void Linux, который является самостоятельным проектом, не использующим наработки других дистрибути...

11:20, 20 Окт PROMT выпустила корпоративный переводчик на Linux Компания PROMT обновила продукт PROMT Neural Translation Server— корпоративное решение для машинного перевода текстов и документов на основе нейронны...

19:50, 16 Мар Доступен дистрибутив Amazon Linux 2023 Компания Amazon опубликовала первый стабильный выпуск нового дистрибутива общего назначения - Amazon Linux 2023 (LTS), оптимизированного для облачных...

01:10, 29 Ноя Для Linux предложена файловая система Composefs Александр Ларсон (Alexander Larsson), создатель Flatpak, работающий в компании Red Hat, представил предварительный вариант патчей с реализацией файло...

12:40, 02 Июл Обсуждение проблем применения Linux в авионике На прошедшей в Праге конференции Linux Foundation Embedded Open-Source Summit инженеры из компании Boeing и организации UL (Underwriter Laboratorie, ...

22:50, 03 Июл Группировка 8220 атакует серверы Linux Аналитики Microsoft сообщили, что хак-группа, известная под именем 8220, обновила свой вредоносный арсенал, направленный на взлом Linux-серверов. Зло...

14:50, 10 Сен «Сбер» переведет свои банкоматы на Linux Ранее банк внедрил собственный онлайн-инструменты мониторинга и восстановления работоспособности устройств самообслуживания. «Сбер» переведет 90% сет...

23:30, 07 Июн Доступен дистрибутив SUSE Linux Enterprise 15 SP4 После года разработки компания SUSE представила релиз дистрибутива SUSE Linux Enterprise 15 SP4. На основе платформы SUSE Linux Enterprise сформирова...

19:40, 07 Апр С российского рынка исчезает популярный дистрибутив Linux Речь идет о дистрибутиве под названием Ubuntu. Разработчиком его является британская компания Canonical, недавно объявившая о прекращении обслуживани...

19:10, 02 Май Компания VMware опубликовала Linux-дистрибутив Photon OS 5.0 Опубликован релиз Linux-дистрибутива Photon OS 5.0, нацеленного на предоставление минималистичного хостового окружения для запуска приложений в изоли...

22:30, 13 Июл В ядре Linux 6.5 появится системный вызов cachestat В кодовую базу, на основе которой формируется ядро Linux 6.5, принято изменение с реализацией нового системного вызова "cachestat", позволяющего прог...

02:40, 16 Июл Проект по портированию механизма изоляции pledge для Linux Автор стандартной Си-библиотеки Cosmopolitan и платформы Redbean объявил о реализации механизма изоляции pledge() для Linux. Изначально pledge разраб...

07:40, 14 Янв ПО для междисциплинарного моделирования FlowVision работает под ОС Astra Linux Подтверждена совместимость ОС Astra Linux и FlowVision 3.13 — комплексного ПО для междисциплинарного моделирования, которое используется в работе кон...

19:20, 31 Дек Linux-бэкдор взламывает сайты под управлением WordPress Компания «Доктор Веб» выявила вредоносную программу для ОС Linux, которая взламывает сайты на базе CMS WordPress через......

23:20, 16 Фев В рознице появятся ноутбуки IRBIS под ОС Astra Linux В розничных сетях DNS и «М.Видео» скоро станут доступны ноутбуки от компании IRBIS с предустановленными ОС Astra Linux и приложениями для широкого сп...

21:10, 26 Ноя Amazon опубликовал инструментарий для Linux-контейнеров Finch Компания Amazon представила Finch, открытый инструментарий для сборки, публикации и запуска Linux-контейнеров. Инструментарий отличается очень просты...

08:00, 18 Май Content AI выпустила корпоративный поисковик Intelligent Search для Linux Content AI, российская компания-разработчик технологий интеллектуальной обработки информации, обновила продукт Intelligent......

05:20, 12 Окт Обновилась Plasma Mobile — оболочка для Linux-смартфонов и планшетов Linux сегодня можно установить на десятки популярных моделей мобильных устройств. Для этого существуют специализированные версии дистрибутивов и рабо...

21:30, 14 Окт Фреймворк Alchimist используется для атак на Windows, macOS и Linux Аналитики Cisco Talos обнаружили фреймворк Alchimist, который активно используется в атаках, нацеленных на системы под управлением Windows, Linux и m...

02:40, 19 Дек Microsoft и Linux объединяются, чтобы разгромить Google Maps Microsoft совместно с Amazon и TomTom присоединилась к проекту консорциума Linux Foundation по созданию открытого картографического сервиса. Цель про...

02:00, 18 Май Выпуск дистрибутива для исследования безопасности Kali Linux 2022.2 Представлен релиз дистрибутива Kali Linux 2022.2, предназначенного для тестирования систем на предмет наличия уязвимостей, проведения аудита, анализа...

04:20, 28 Июн Wifibox 0.10 - окружение для использования WiFi-драйверов Linux во FreeBSD Доступен выпуск проекта Wifibox 0.10, нацеленного на решение проблемы с использованием во FreeBSD беспроводных адаптеров, для которых отсутствуют нео...