LINUX.ORG.RU

Сообщения x4DA

 

Продемонстрировано использование уязвимости в DRAM-памяти для повышения привилегий в системе

Группа Безопасность

Недавно группа исследователей обратила внимание, что можно инициировать повреждение отдельных битов DRAM-памяти путём цикличного чтения данных из соседних ячеек памяти (простой цикл с чтением содержимого памяти и очисткой кэша). Проблема обусловлена особенностью работы памяти DRAM, которая формируется как двухмерный массив ячеек, каждая из которых состоит из конденсатора и транзистора.

Исследователи безопасности из группы Zero продемонстрировали реальность создания рабочих эксплоитов, использующих уязвимость RowHammer

>>> Подробности

 , , ,

x4DA
()

Вышел OCaml 4

Группа Open Source

Выпущена новая мажорная версия языка программирования OCaml — современного объектно-ориентированного языка функционального программирования общего назначения.

Произошедшие изменения в языке:

  • обобщенные алгебраические типы данных — мощное расширение системы типов;
  • новый усовершенствованный ARM бекенд;
  • изменения в модулях: аннотации типов теперь могут быть пропущены при упаковке и распаковке модулей, кроме того они могут быть распакованы при паттерн-матчинге;
  • поддержка рандомизированных хеш-таблиц для устранения уязвимостей, связанных с DoS (denial of service);
  • установка внутренних библиотек компилятора производится в +compiler-libs для легкого доступа сторонними утилитами.

Подробный Changelog

>>> Релиз

 ,

x4DA
()

Выпущен DragonFlyBSD 3.0

Группа BSD

Наконец-то вышел релиз замечательной операционной системы семейства BSD DragonFlyBSD

Важные нововведения/изменения:

  • SMP VM. Значительна повышена скорость работы на многопроцессорных конфигурациях за счет улучшений в подсистеме виртуальной памяти.
  • HAMMER. Была повышена эффективность работы файловой системы HAMMER за счет введения time domain multiplexing
  • Был убран Big Kernel Lock из большей части ядра, во время работой над багом, вызванным, ошибкой процессора AMD.
  • Ядро с поддержкой SMP устанавливается по умолчанию. Это стало возможным за счет изменений в ACPI и interrupt routing
  • Шифрование дисков при помощи tcplay(8) , являющейся 100% совместимой с TrueCrypt и использует лицензию BSD.
  • В качестве репозитория пакетов используется pkgsrc-2011Q4.

Прямые ссылки на образа для скачивания:

i386
x86_64

>>> Подробности

 , ,

x4DA
()

Вышел порт языка Shen на Javascript

Группа Open Source

Выпущен порт языка программирования Shen на Javascript.

Протестировать работу Shen на JS можно тут.

Для освежения памяти:

Shen - это функциональный язык программирования, являющийся продолжением языка Qi II. Имеет опциональную статическую систему типов, основанную на секвенциальном исчислении, и общее направление на логическое программирование.

Важной целью языка является переносимость. Ядро реализовано с использованием всего 45 функций Kernel Lisp (KL), поэтому язык достаточно быстро может быть перенесён на любую платформу.

Предыдущие посты на ЛОРе по теме:

>>> Подробности

 , shen,

x4DA
()

BSD сдерживает развитие СПО

Группа BSD

Разработчик PulseAudio, Avahi и systemd Ленарт Поттеринг, который уже предлагал прекратить поддержку BSD, Solaris и прочих Unix в Gnome, заявил, что поддержка совместимости с BSD замедляет развитие СПО:

Да, я считаю, что BSD уже особо не важен, и я думаю, что эта подразумеваемая совместимость с BSD - бремя, которое сдерживает нас и почти ничего не дает. Я не считаю, что они (BSD-системы) никому не нужны: все таки есть люди, которые их используют. Просто думаю, не в наших интересах тратить силы на поддержку, если мы хотим, чтобы Linux повсеместно вошел в мейнстрим (а не только серверы и ограниченные платформы, как Android)...

>>> Подробности

 , ,

x4DA
()

NetBSD теперь работает под Amazon EC2

Группа BSD

Выпущен первый образ ОС NetBSD для развертывания в облаке Amazon EC 2 (AMI, Amazon Images).

Amazon EC 2 — поставщик инфрастуктуры, позволяющей арендовать виртуальные машины для ваших нужд, используя сервисы Amazon. Выполнение виртуальных образов используется с использованием гипервизора Xen.

Информация по развертыванию образов доступна здесь.

Для создания собственных образов могут помочь следующие пакеты для pkgsrc:

EC2 AMI tools

EC2 API tools

>>> Подробности

 , ,

x4DA
()

Вышла ОС NetBSD 5.1

Группа BSD

Доступна для загрузки NetBSD версии 5.1.

Релиз включает поддержку нового оборудования, исправления ошибок и уязвимостей.

Изменений много, некоторые из них:

  • отображение чётности на RAIDframe (сильно уменьшает время, необходимое для контроля чётности после «грязного» выключения);
  • улучшения в X.org;
  • добавлены драйверы для множества сетевых устройств;
  • поддержка Xen Dom0;
  • поддержка Xen PCI pass-through.

Список зеркал

Торренты

>>> Подробности

 ,

x4DA
()

Google maps добавлен в emacs org-mode

Группа GNU's Not Unix

Разработчик из Франции Julien Danjou реализовал поддержку google maps в org-mode.

Проект полностью реализует Google Static Maps API и Google Maps Geocoding API.

Вы можете набрать M-x google-maps и локацию и увидеть ее на карте.

Так же набрав C-c M-l вы можете увидеть место события в Org mode.

>>> Страница проекта

 , ,

x4DA
()

Код ZFS перенесен в ядро NetBSD

Группа BSD

В рассылке NetBSD tech-kernel появилось письмо, в котором сообщается, что у разработчика Adam Hamsik получилось перенести код файловой системы ZFS (доступной под лицензией CDDL) из OpenSolaris в ядро NetBSD.

У него получилось собрать код с применением некоторых патчей, которые должны быть рассмотрены сообществом более тщательно.

Однако автор просит пока воздержаться от использования/сборки ядра NetBSD с кодом ZFS.

>>> Ссылка на письмо

 , ,

x4DA
()

RSS подписка на новые темы