forum.opennet.ru - "Выпуск VirtualBox 6.0.6" (51)

"Выпуск VirtualBox 6.0.6"

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Изначальное сообщение		[ Отслеживать ]

"Выпуск VirtualBox 6.0.6"	–1 +/–
Сообщение от opennews (?), 17-Апр-19, 12:23
Компания Oracle сформировала (https://www.mail-archive.com/vbox-announce@virtualbox.o...) корректирующие релизы системы виртуализации VirtualBox 6.0.6 и 5.2.28, в которых отмечено 39 исправлений (https://www.virtualbox.org/wiki/Changelog-6.0). В новых выпусках также устранено 12 уязвимостей (https://www.oracle.com/technetwork/security-advisory/cpuapr2...), из которых 7 имеют критическую степень опасности (CVSS Score 8.8). Подробности не сообщаются, но судя по уровню CVSS устранены проблемы, продемонстрированные (https://www.opennet.ru/opennews/art.shtml?num=50376) на соревновании Pwn2Own 2019 и позволяющие из окружения гостевой системы выполнить код на стороне хост-системы. Основные изменения в выпуске 6.0.6: - Для гостевых систем и хостов с Linux добавлена поддержка ядер Linux 4.4.169, 5.0 и 5.1. Добавлен лог с результатами сборки модулей для ядра Linux. Реализована сборка драйверов для загрузки в режиме Secure Boot. Повышена производительность и надёжность работы совместных каталогов (shared folder); - Внесены небольшие изменения в интерфейс пользователя. Налажено отображение прогресса удаления снапшотов. Исправлены проблемы с копированием файлов и отображением прогресса операций копирования во встроенном файловом менеджере. Исправлены ошибки, проявляющиеся при автоматизированной установке Ubuntu в гостевых системах; - Добавлена начальная поддержка формата QCOW3 в режиме только для чтения. Исправлены ошибки при чтении некоторых образов QCOW2; - Внесены многочисленные исправления, связанные с эмулируемым графическим устройством VMSVGA. Улучшена совместимость VMSVGA со старыми X-серверами. Обеспечена возможность использования VMSVGA при работе с интерфейсом прошивок EFI. Решены проблемы с пропаданием курсора, если не установлены дополнения для интеграции поддержки мыши. Решены проблемы с запоминанием размера экрана гостевой системы и использованием RDP; - Решены проблемы с загрузкой сохранённого состояния для устройств LsiLogic; - Решены проблемы со вложенной виртуализацией на системах с процессорами AMD; - Улучшена эмуляция IDE PCI, обеспечена возможность работы IDE-драйверов NetWare c использованием режима bus-mastering; - Для бэкенда DirectSound добавлена возможность перебора имеющихся звуковых устройств; - В сетевой подсистеме решены проблемы с добавочным заполнением пакетов при использовании Windows на стороне хоста; - Решены проблемы с эмуляцией последовательного порта; - Исправлена ошибка, приводившая к дублированию совместно используемых каталогов (Shared folder) после восстановления виртуальной машины из сохранённого состояния; - Устранены проблемы при копировании файлов между хостом и гостевой системой в режиме Drag and drop; - Устранён крах при использовании VBoxManage; - Исправлена ошибка, приводившая к зависанию в случае попыток запуска виртуальной машины после сбоя; - В гостевых системах с Windows решены проблемы с использованием сложных конфигураций экрана с использованием драйвера WDDM (устранено зависание Skype for Business и крахи гостевых систем с WDDM); - Улучшена поддержка совместных каталогов для гостевых систем с OS/2; - В web-сервисах обеспечена поддержка Java 11; - Налажена компиляция с LibreSSL; - Решены проблемы со сборкой для FreeBSD. URL: https://www.mail-archive.com/vbox-announce@virtualbox.o... Новость: https://www.opennet.ru/opennews/art.shtml?num=50528
Ответить \| Правка \| Cообщить модератору

Оглавление

Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сд, Анонимс (?), 12:23 , 17-Апр-19, (1) –10

Перестать разрабатывать и или использовать vbox Тогда для вас с уязвимостями в , anonymous (??), 12:44 , 17-Апр-19, (6) +5

Может Вы ещё предложите перестать включать и пользоваться компьютером Дополню во, Анонимс (?), 13:03 , 17-Апр-19, (7) –7

к нулю не получится, т к не существует людей не допускающих ошибок, Аноним (8), 13:16 , 17-Апр-19, (8) +10

Скрыто модератором, nm0i (ok), 14:24 , 17-Апр-19, (18) +1

Скрыто модератором, Аноним (8), 14:39 , 17-Апр-19, (19) +2
Скрыто модератором, Аноним (46), 12:59 , 18-Апр-19, (46)

Coq, B-Method, Event-B, Isabelle и еще вагон и маленькая тележка 8211 полная , Аноним84701 (ok), 13:22 , 17-Апр-19, (9) +1

Никакая формальная верификация не может гарантировать отсутствие логических ошиб, Аноним (31), 19:30 , 17-Апр-19, (31)

И гарантий от метеорита тоже не дает И от недетектируемого ECC битфлипа из-за к, Аноним84701 (ok), 19:40 , 17-Апр-19, (32)

Это не баловство и нужно, но не поможет 171 покончить с уязвимостями раз и нав, Аноним (31), 21:42 , 17-Апр-19, (35) –1

А давайте тогда без передерга или хотя бы развернуто, а А то можно сразу Тюринг, Аноним84701 (ok), 22:08 , 17-Апр-19, (36) +1

2 2 питона или что-то типа programmer year Строчек то вроде много, насколько эт, пр (?), 12:38 , 18-Апр-19, (43)

Person years Строчек конечного кода немного - 8000, остальное обвязка проверки Г, Аноним (49), 23:33 , 18-Апр-19, (49)

Людям, имеющим привычку впадать в крайности, возможно и не стоит пользоваться Н, anonymous (??), 13:52 , 17-Апр-19, (15)

вообще-то если у вбокса и остался какой-то смысл, так это тот, что он-то как раз, нах (?), 11:21 , 19-Апр-19, (52)

Для тех, кто в танке vbox ни разу не предназначался для корпоративного использо, SysA (?), 16:02 , 17-Апр-19, (22)

надо же, а сановцы-то и не знали система для персонального использования - с , нах (?), 11:18 , 19-Апр-19, (51)

наконец-то, iPony (?), 12:26 , 17-Апр-19, (2)
qemu kvm рулит и педалит , Аноним (3), 12:29 , 17-Апр-19, (3) +1

У кого что болит , Аноним (11), 13:27 , 17-Апр-19, (11)
расскажешь рабочей ссылочкой как нормальный звук из виндов-гостей на kvm-хосте у, Аноним (21), 15:29 , 17-Апр-19, (21) –1

KVM не для игрулек, он чтоб работу работать , Аноним (23), 16:06 , 17-Апр-19, (23)

Не угадал У меня там в винде собраны все виды мессенджеров с контактами по рабо, Аноним (21), 16:27 , 17-Апр-19, (27)

там с десяток эмулируемых карт, можеш все сразу выбрать или перебрать те которые, анон (?), 18:06 , 17-Апр-19, (30)
Через SPICE пробовали , Аноним (33), 20:07 , 17-Апр-19, (33)
rdp не Или на твоем же компе виртуалка в квм и запущена Для декстопа то коробк, пр (?), 12:41 , 18-Апр-19, (44)

Некоторым внезапно надо со звуком работу работать , Аноним (28), 16:31 , 17-Апр-19, (28)

Если у тебя пульса, то вот - https passthroughpo st how-to-patch-qemu-and-fix-, anonymous (??), 16:09 , 17-Апр-19, (24)

Впрочем, для альсы там тоже есть инструкция, но её я не пробовал , anonymous (??), 16:11 , 17-Апр-19, (26)

А в чём проблема Использую устройство, которое virt-manager ставит по стандарту, Тот кого нельзя называть (?), 16:09 , 17-Апр-19, (25) +2

Ну вы тоже сравнили У вас судя по линку Fedora, при всех её минусах, её делают , leap42 (ok), 04:56 , 18-Апр-19, (39)

Да нормальное Свои LTS версии ядра поддерживают, LivePatch для патченья на лету, iPony (?), 06:53 , 18-Апр-19, (41)

У меня после апдейта на 6 упала сильно производительность ио Пол дня мусолит та, Аноним (4), 12:43 , 17-Апр-19, (4) –1

Всмысле не зависит от ос которая виртуализирована, Аноним (4), 12:44 , 17-Апр-19, (5) –1
Они намекают что уже пора заплатить , Аноним (11), 13:26 , 17-Апр-19, (10)
Так если qemu работает зачем вам вообще vbox Чем вот это bin bashqemu-system-, leap42 (ok), 05:00 , 18-Апр-19, (40)

тут на 14 строк в скрипте больше чем нужно для запуска онтопика Не благодарите , пр (?), 12:43 , 18-Апр-19, (45) –1

только вот эти 14 строк на самом деле - одна запускают не ненужно-гуй онтопика, нах (?), 14:42 , 18-Апр-19, (47)

ВАХ , ryoken (ok), 13:32 , 17-Апр-19, (12) +6

Слава богу мы дожили, Тот (?), 13:46 , 17-Апр-19, (14) +2

Они уже исправили вылеты, при воспроизведении звука , Skullnet (?), 13:35 , 17-Апр-19, (13) –1
OS 2 еще жива Я в ауте , Аноним (16), 13:58 , 17-Апр-19, (16) –1

Ну и сидите там дальше D Это вы ещё про eComstation ArcaOS не слышали, видимо, ryoken (ok), 14:20 , 17-Апр-19, (17)

Это у вас называется жива мда , Аноним (23), 14:56 , 17-Апр-19, (20)

Увидел 6 0_6 0-6 и ужаснулся , Аноним (29), 16:33 , 17-Апр-19, (29) –1

погоди еще 6 6 6 релизнут, gsdh (?), 00:00 , 18-Апр-19, (38)

Сижу на 5 2 х, ибо 6 х - тормозное даже с SSD Первый стартует мгновенно - , Аноним (34), 21:22 , 17-Апр-19, (34) –1

Ибо старое слабое железо, Аноним (37), 23:05 , 17-Апр-19, (37) –1

Не ведитесь, сидите на 5 x Да, глючит чуть меньше и чуть по-другому, но все рав, Аноним (42), 07:45 , 18-Апр-19, (42)
Где то накосячили Под арчем в 6 0 6 венда не грузится, вылетает с синим экраном, Аноним (50), 23:39 , 18-Апр-19, (50) –1

Сообщения [Сортировка по ответам | RSS]

1. "Выпуск VirtualBox 6.0.6" –10 +/–

Сообщение от Анонимс (?), 17-Апр-19, 12:23

> устранено 12 уязвимостей, из которых 7 имеют критическую степень опасности (CVSS Score 8.8)
Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать?
> устранены проблемы, продемонстрированные на соревновании Pwn2Own 2019 и позволяющие из окружения гостевой системы выполнить код на стороне хост-системы
Страшный сон и головная боль для админов, которые используют в своей работе vbox.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

2. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от iPony (?), 17-Апр-19, 12:26

> Для гостевых систем и хостов с Linux добавлена поддержка ядер Linux 4.4.169
наконец-то

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

3. "Выпуск VirtualBox 6.0.6" +1 +/–

Сообщение от Аноним (3), 17-Апр-19, 12:29

qemu kvm рулит и педалит...

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

4. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (4), 17-Апр-19, 12:43

У меня после апдейта на 6 упала сильно производительность ио. Пол дня мусолит там чет и ничего не происходит. Дебиан часа 4-5 устанавливался. На 5ке было все ок, параллельно на qemu тоже за 15 мин все ставится. Причем не зависит от ОС. В винде тоже жутко все долго начало тупить(больше чем обычно на порядок). Кто нить сталкивался? Пофиксили?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

5. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (4), 17-Апр-19, 12:44

Всмысле не зависит от ос которая виртуализирована

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

6. "Выпуск VirtualBox 6.0.6" +5 +/–

Сообщение от anonymous (??), 17-Апр-19, 12:44

> Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать?
Перестать разрабатывать и/или использовать vbox. Тогда для вас с уязвимостями в vbox будет покончено.
> Страшный сон и головная боль для админов, которые используют в своей работе vbox.
ССЗБ.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

7. "Выпуск VirtualBox 6.0.6" –7 +/–

Сообщение от Анонимс (?), 17-Апр-19, 13:03

> Перестать разрабатывать и/или использовать vbox. Тогда для вас с уязвимостями в vbox будет покончено.
Может Вы ещё предложите перестать включать и пользоваться компьютером.
> Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать?
Дополню вопрос, существуют ли техники программирования, языки и инструменты, используя которые можно свести наличие уязвимостей к нулю? Или человечеству ещё только предстоит придумать и изобрести какие-нибудь квантовые компьютеры, неподверженные уязвимостям и взлому?

Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

8. "Выпуск VirtualBox 6.0.6" +10 +/–

Сообщение от Аноним (8), 17-Апр-19, 13:16

к нулю не получится, т.к. не существует людей не допускающих ошибок

Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

9. "Выпуск VirtualBox 6.0.6" +1 +/–

Сообщение от Аноним84701 (ok), 17-Апр-19, 13:22

> Дополню вопрос, существуют ли техники программирования, языки и инструменты, используя
> которые можно свести наличие уязвимостей к нулю?
Coq, B-Method, Event-B, Isabelle и еще вагон и маленькая тележка – полная формальная верификация постарше многих анонимов будет.
Однако, есть одно "маленькое" НО:
На примере seL4 c его формальной верификацией корректности:
https://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf
> Abstract
> complete formal verification is the only known way to guarantee that a system is free of programming errors.
[...]
> f L4 provenance, comprises 8,700 lines of C code and 600 lines of assembler.
[...]
> The overall size of the proof, including framework, libraries, and generated proofs (not shown in the table) is 200,000 lines of Isabelle script.
>  The abstract spec took about 4 person months (pm) to develop. About 2 person years (py) went into the Haskell prototype (over all project phases), including design, documentation, coding, and testing. for a total cost of 2.2 py
Т.е.
> 8,700 lines of C code and 600 lines of assembler.
> 2.2 py
Причем, эти совсем не 2 человеко-года "пэхапэшникус-вульгарисов" будут.
Поэтому вопрос нужно ставить скорее так:
Существуют ли желающие оплатить такую разработку?

Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

10. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (11), 17-Апр-19, 13:26

Они намекают что уже пора заплатить.

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

11. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (11), 17-Апр-19, 13:27

У кого что болит.

Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

12. "Выпуск VirtualBox 6.0.6" +6 +/–

Сообщение от ryoken (ok), 17-Апр-19, 13:32

>>  Улучшена поддержка совместных каталогов для гостевых систем с OS/2;
ВАХ!

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

13. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Skullnet (?), 17-Апр-19, 13:35

Они уже исправили вылеты, при воспроизведении звука?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

14. "Выпуск VirtualBox 6.0.6" +2 +/–

Сообщение от Тот (?), 17-Апр-19, 13:46

Слава богу мы дожили

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

15. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от anonymous (??), 17-Апр-19, 13:52

> Может Вы ещё предложите перестать включать и пользоваться компьютером.
Людям, имеющим привычку впадать в крайности, возможно и не стоит пользоваться. Но вообще-то альтернативы виртуалбоксу есть на всех платформах, их и стоит использовать.

Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

16. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (16), 17-Апр-19, 13:58

OS/2 еще жива?! Я в ауте...

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

17. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от ryoken (ok), 17-Апр-19, 14:20

> OS/2 еще жива?! Я в ауте...
Ну и сидите там дальше :D.
Это вы ещё про eComstation & ArcaOS не слышали, видимо :D.

Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

18. "Выпуск VirtualBox 6.0.6" +1 +/–

Сообщение от nm0i (ok), 17-Апр-19, 14:24

Мертвые не ошибаются.

Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

19. "Выпуск VirtualBox 6.0.6" +2 +/–

Сообщение от Аноним (8), 17-Апр-19, 14:39

какие ваши доказательства?

Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору

20. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (23), 17-Апр-19, 14:56

Это у вас называется "жива"? мда...

Ответить | Правка | ^ к родителю #17 | Наверх | Cообщить модератору

21. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (21), 17-Апр-19, 15:29

расскажешь рабочей ссылочкой как нормальный звук из виндов-гостей на kvm-хосте услышать? вот-вот, рули и педаль отсюда

Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

22. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от SysA (?), 17-Апр-19, 16:02

Для тех, кто в танке: vbox ни разу не предназначался для корпоративного использования!
Это система персонального пользования. Точка.
И если народные умельцы - админы локалхостов как-то приспосабливают его в качестве многопользовательской системы, то я присоединяюсь к предыдущему оратору: ССЗБ! Ведь и "Запорожец" теоретически можно было бы использовать как такси... ;)

Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

23. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (23), 17-Апр-19, 16:06

KVM не для игрулек, он чтоб работу работать.

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

24. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от anonymous (??), 17-Апр-19, 16:09

Если у тебя пульса, то вот - https://passthroughpo.st/how-to-patch-qemu-and-fix-vm-audio/
У меня сработало, заикания пропали.

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

25. "Выпуск VirtualBox 6.0.6" +2 +/–

Сообщение от Тот кого нельзя называть (?), 17-Апр-19, 16:09

А в чём проблема? Использую устройство, которое virt-manager ставит по стандарту, потом устанавливаю дрова (https://fedorapeople.org/groups/virt/virtio-win/direct-downl...) в гостевой системе. Звук хороший. На хосте pulseaudio

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

26. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от anonymous (??), 17-Апр-19, 16:11

Впрочем, для альсы там тоже есть инструкция, но её я не пробовал.

Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору

27. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (21), 17-Апр-19, 16:27

Не угадал. У меня там в винде собраны все виды мессенджеров с контактами по работе. Они постоянно пиликают, бибикают и пищат разными звуками и мелодиями. По звуку я понимаю важность сообщения или срочность ответа.
Коммуникация - это важная часть моей работы.
Так вот под kvm это всё хрипит и булькает, неважно альса или пульса. Опробовано на 3 разных компах, звуковые карты обычные встройки intel hda, дистриб убунту и свежая убунту с kvm-5.0. Со звуком из kvm всё одинаково плохо. Испробованные несколько рецептов настроек из интернета не помогают. Убиты несколько свободных вечеров.
Но есть сабж из новости  - не тратишь ни время ни нервы - звук идеален из коробки.

Ответить | Правка | ^ к родителю #23 | Наверх | Cообщить модератору

28. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (28), 17-Апр-19, 16:31

Некоторым внезапно надо со звуком работу работать.

Ответить | Правка | ^ к родителю #23 | Наверх | Cообщить модератору

29. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (29), 17-Апр-19, 16:33

Увидел "6.0_6.0-6" и ужаснулся! )

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

30. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от анон (?), 17-Апр-19, 18:06

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

Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

31. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (31), 17-Апр-19, 19:30

Никакая формальная верификация не может гарантировать отсутствие логических ошибок.

Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

32. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним84701 (ok), 17-Апр-19, 19:40

> Никакая формальная верификация не может гарантировать отсутствие логических ошибок.
И гарантий от метеорита тоже не дает. И от недетектируемого ECC битфлипа из-за космического излучения или дефекта в материале и прочем - в общем, да, на самом деле это все  "баловство и нинужна!".

Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

33. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (33), 17-Апр-19, 20:07

Через SPICE пробовали?

Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

34. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (34), 17-Апр-19, 21:22

Сижу на 5.2.х, ибо 6.х - тормозное ***** даже с SSD.
Первый стартует мгновенно - второй 2-3 секунды.
Первый запускает виртуалки мгновенно, второй с паузой до 2 сек.
Нафиг.
// b.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

35. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (31), 17-Апр-19, 21:42

Это не баловство и нужно, но не поможет «покончить с уязвимостями раз и навсегда».

Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору

36. "Выпуск VirtualBox 6.0.6" +1 +/–

Сообщение от Аноним84701 (ok), 17-Апр-19, 22:08

> но не поможет «покончить с уязвимостями раз и навсегда».
А давайте тогда без передерга или хотя бы развернуто, а? А то можно сразу Тюринга и "проблему остановки" упомянуть, больше ничего и не надо.
Вообще-то, речь шла о "свести наличие уязвимостей к нулю".
Кстати, моделирование и описание логики на высоком уровне (мат-модель) и последующая реализация на более "низком" очень неплохо помогает отлавливать логические ошибки типа "хотел сделать то, но на самом деле сделал вот это" даже одному разработчику (потому что задача формулируется на двух разных языках, шанс что мозг "прокеширует" и "замылится" на одной и той же детали, соотв. ниже).
Так же, в ожидании очередного "верификация не поможет от всего поэтому: Нинужно" специально было процитировано из Abstract "a system is free of programming errors" (ошибки в логике, это  "logic errors" и идут отдельным пунктом).
хотя  из интересного там вообще вот это:
> the formal verification has uncovered another 144 defects  and resulted in 54 further changes to the code to aid in the proof.
> None of the bugs found in the C verification stage were deep in the sense that the corresponding algorithm was flawed. This is because the C code was written according to a very precise, low-level specification which was already verified in the first refinement stage.
> Algorithmic bugs found in the first stage were mainly missing checks on user assumptions
>  The bugs discovered in the second proof from executable spec to C were mainly typos, misreading the specification, or failing to update all relevant code parts for specification changes. Simple typos also made up a surprisingly large fraction of discovered
Т.е. нашли 144 ошибки на 8000 строк кода, причем алгоритмические и прочие "высокоуровневые" ошибки ловоились еще до написания С кода, во время рефайнмента.
Вряд ли обычный, неверифицируемый код сильно отличается, плюс там еще и спецификацию никто не проверяет.

Ответить | Правка | ^ к родителю #35 | Наверх | Cообщить модератору

37. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (37), 17-Апр-19, 23:05

> Сижу на 5.2.х, ибо 6.х - тормозное
Ибо старое/слабое железо

Ответить | Правка | ^ к родителю #34 | Наверх | Cообщить модератору

38. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от gsdh (?), 18-Апр-19, 00:00

погоди еще 6.6.6 релизнут

Ответить | Правка | ^ к родителю #29 | Наверх | Cообщить модератору

39. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от leap42 (ok), 18-Апр-19, 04:56

Ну вы тоже сравнили. У вас судя по линку Fedora, при всех её минусах, её делают программисты. У RH довольно сильная команда инженеров, которые могут починить что угодно.
Убунтята же просто тащат из Debian нерабочее...
P.S. нефанаты космоновта могут пойти и посмотреть вклад сотрудников Cannonical в действительно сложные проекты (например ядро).

Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору

40. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от leap42 (ok), 18-Апр-19, 05:00

Так если qemu работает зачем вам вообще vbox? Чем вот это
#!/bin/bash
qemu-system-x86_64 \
-machine type=pc,accel=kvm \
-enable-kvm \
-cpu host \
-m 2048 \
-nic user,model=virtio,hostfwd=tcp::10022-:22 \
-drive file=debian9.img,media=disk,if=virtio,l2-cache-size=2097152,refcount-cache-size=524288 \
-vga qxl \
-device virtio-serial-pci \
-spice port=5900,disable-ticketing \
-device virtserialport,chardev=spicechannel0,name=com.redhat.spice.0 \
-chardev spicevmc,id=spicechannel0,name=vdagent \
-display gtk
например хуже онтопика?

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

41. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от iPony (?), 18-Апр-19, 06:53

> космоновта могут пойти и посмотреть вклад сотрудников Cannonical в действительно сложные проекты (например ядро).
Да нормальное. Свои LTS версии ядра поддерживают, LivePatch для патченья на лету.

Ответить | Правка | ^ к родителю #39 | Наверх | Cообщить модератору

42. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (42), 18-Апр-19, 07:45

>Внесены многочисленные исправления, связанные с эмулируемым графическим устройством VMSVGA<...>Решены проблемы с запоминанием размера экрана гостевой системы и использованием RDP;
Не ведитесь, сидите на 5.x. Да, глючит чуть меньше и чуть по-другому, но все равно неюзабельно. Непонятно откуда взявшуюся тормознутость классического vmvga тоже не исправили.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

43. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от пр (?), 18-Апр-19, 12:38

2.2 питона или что-то типа programmer year? Строчек то вроде много, насколько это дороже обычных языков?

Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

44. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от пр (?), 18-Апр-19, 12:41

rdp не? Или на твоем же компе виртуалка в квм и запущена? Для декстопа то коробка удобне полюбому.

Ответить | Правка | ^ к родителю #27 | Наверх | Cообщить модератору

45. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от пр (?), 18-Апр-19, 12:43

тут на 14 строк в скрипте больше чем нужно для запуска онтопика. Не благодарите.

Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

46. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (46), 18-Апр-19, 12:59

> Мертвые не ошибаются.
Враки!
"Морским пехотинцам запрещено умирать без разрешения ибо тогда они не выполнят приказ!" (c) Fullmetall jacket

Ответить | Правка | ^ к родителю #18 | Наверх | Cообщить модератору

47. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от нах (?), 18-Апр-19, 14:42

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

Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору

49. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от Аноним (49), 18-Апр-19, 23:33

> 2.2 питона или что-то типа programmer year? Строчек то вроде много, насколько
> это дороже обычных языков?
Person years:
> person months (pm) to develop. About 2 person years (py) went into the Haskell prototype
Строчек конечного кода немного - 8000, остальное обвязка проверки.
Грубо и прикидочно - раз в 10-20,т.е. на порядок, плюс-минус лапоть.

Ответить | Правка | ^ к родителю #43 | Наверх | Cообщить модератору

50. "Выпуск VirtualBox 6.0.6" –1 +/–

Сообщение от Аноним (50), 18-Апр-19, 23:39

Где то накосячили. Под арчем в 6.0.6 венда не грузится, вылетает с синим экраном. В 6.0.4 - нормально.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

51. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от нах (?), 19-Апр-19, 11:18

надо же, а сановцы-то и не знали...
(система для персонального использования - с совершенно неудобным для любого использования, но детальнейшим cli api (и отдельно http, причем без веб-морды), поддержкой live migration с 2008го года (бдсмщики в своем пихайве до сих пор не осилят доделать), автофильтрами подключаемых устройств [интересно, у кого еще такие есть], сегментацией доступа пользователей, пусть и недоделанной - ну конечно же, никогда не предназначалась. На  персональном таком sunfire работала, в персональной стойке.)
vbox просто мертв - как и его основной разработчик. Орацлу он не нужен. community вокруг не сложилось, да и невозможно это с их лицензией и их закрытыми кусками кода, доступными только в виде блоба. 3акапывайте, очень жаль :-(

Ответить | Правка | ^ к родителю #22 | Наверх | Cообщить модератору

52. "Выпуск VirtualBox 6.0.6" +/–

Сообщение от нах (?), 19-Апр-19, 11:21

> Людям, имеющим привычку впадать в крайности, возможно и не стоит пользоваться. Но вообще-то
> альтернативы виртуалбоксу есть на всех платформах
вообще-то если у вбокса и остался какой-то смысл, так это тот, что он-то как раз почти на всех платформах, а "альтернативы" - каждая на своей.
На xen надежды мало, а больше ничего и тем более не будет.

Ответить | Правка | ^ к родителю #15 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру


	1. "Выпуск VirtualBox 6.0.6"	–10 +/–
	Сообщение от Анонимс (?), 17-Апр-19, 12:23
	> устранено 12 уязвимостей, из которых 7 имеют критическую степень опасности (CVSS Score 8.8) Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать? > устранены проблемы, продемонстрированные на соревновании Pwn2Own 2019 и позволяющие из окружения гостевой системы выполнить код на стороне хост-системы Страшный сон и головная боль для админов, которые используют в своей работе vbox.
	Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	2. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от iPony (?), 17-Апр-19, 12:26
	> Для гостевых систем и хостов с Linux добавлена поддержка ядер Linux 4.4.169 наконец-то
	Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	3. "Выпуск VirtualBox 6.0.6"	+1 +/–
	Сообщение от Аноним (3), 17-Апр-19, 12:29
	qemu kvm рулит и педалит...
	Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	4. "Выпуск VirtualBox 6.0.6"	–1 +/–
	Сообщение от Аноним (4), 17-Апр-19, 12:43
	У меня после апдейта на 6 упала сильно производительность ио. Пол дня мусолит там чет и ничего не происходит. Дебиан часа 4-5 устанавливался. На 5ке было все ок, параллельно на qemu тоже за 15 мин все ставится. Причем не зависит от ОС. В винде тоже жутко все долго начало тупить(больше чем обычно на порядок). Кто нить сталкивался? Пофиксили?
	Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	5. "Выпуск VirtualBox 6.0.6"	–1 +/–
	Сообщение от Аноним (4), 17-Апр-19, 12:44
	Всмысле не зависит от ос которая виртуализирована
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору


	6. "Выпуск VirtualBox 6.0.6"	+5 +/–
	Сообщение от anonymous (??), 17-Апр-19, 12:44
	> Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать? Перестать разрабатывать и/или использовать vbox. Тогда для вас с уязвимостями в vbox будет покончено. > Страшный сон и головная боль для админов, которые используют в своей работе vbox. ССЗБ.
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	7. "Выпуск VirtualBox 6.0.6"	–7 +/–
	Сообщение от Анонимс (?), 17-Апр-19, 13:03
	> Перестать разрабатывать и/или использовать vbox. Тогда для вас с уязвимостями в vbox будет покончено. Может Вы ещё предложите перестать включать и пользоваться компьютером. > Когда уже с уязвимостями будет покончено раз и навсегда и что нужно для этого сделать? Дополню вопрос, существуют ли техники программирования, языки и инструменты, используя которые можно свести наличие уязвимостей к нулю? Или человечеству ещё только предстоит придумать и изобрести какие-нибудь квантовые компьютеры, неподверженные уязвимостям и взлому?
	Ответить \| Правка \| ^ к родителю #6 \| Наверх \| Cообщить модератору


	8. "Выпуск VirtualBox 6.0.6"	+10 +/–
	Сообщение от Аноним (8), 17-Апр-19, 13:16
	к нулю не получится, т.к. не существует людей не допускающих ошибок
	Ответить \| Правка \| ^ к родителю #7 \| Наверх \| Cообщить модератору


	9. "Выпуск VirtualBox 6.0.6"	+1 +/–
	Сообщение от Аноним84701 (ok), 17-Апр-19, 13:22
	> Дополню вопрос, существуют ли техники программирования, языки и инструменты, используя > которые можно свести наличие уязвимостей к нулю? Coq, B-Method, Event-B, Isabelle и еще вагон и маленькая тележка – полная формальная верификация постарше многих анонимов будет. Однако, есть одно "маленькое" НО: На примере seL4 c его формальной верификацией корректности: https://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf > Abstract > complete formal verification is the only known way to guarantee that a system is free of programming errors. [...] > f L4 provenance, comprises 8,700 lines of C code and 600 lines of assembler. [...] > The overall size of the proof, including framework, libraries, and generated proofs (not shown in the table) is 200,000 lines of Isabelle script. > The abstract spec took about 4 person months (pm) to develop. About 2 person years (py) went into the Haskell prototype (over all project phases), including design, documentation, coding, and testing. for a total cost of 2.2 py Т.е. > 8,700 lines of C code and 600 lines of assembler. > 2.2 py Причем, эти совсем не 2 человеко-года "пэхапэшникус-вульгарисов" будут. Поэтому вопрос нужно ставить скорее так: Существуют ли желающие оплатить такую разработку?
	Ответить \| Правка \| ^ к родителю #7 \| Наверх \| Cообщить модератору


	10. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним (11), 17-Апр-19, 13:26
	Они намекают что уже пора заплатить.
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору


	11. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним (11), 17-Апр-19, 13:27
	У кого что болит.
	Ответить \| Правка \| ^ к родителю #3 \| Наверх \| Cообщить модератору


	12. "Выпуск VirtualBox 6.0.6"	+6 +/–
	Сообщение от ryoken (ok), 17-Апр-19, 13:32
	>> Улучшена поддержка совместных каталогов для гостевых систем с OS/2; ВАХ!
	Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	13. "Выпуск VirtualBox 6.0.6"	–1 +/–
	Сообщение от Skullnet (?), 17-Апр-19, 13:35
	Они уже исправили вылеты, при воспроизведении звука?
	Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	14. "Выпуск VirtualBox 6.0.6"	+2 +/–
	Сообщение от Тот (?), 17-Апр-19, 13:46
	Слава богу мы дожили
	Ответить \| Правка \| ^ к родителю #12 \| Наверх \| Cообщить модератору


	15. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от anonymous (??), 17-Апр-19, 13:52
	> Может Вы ещё предложите перестать включать и пользоваться компьютером. Людям, имеющим привычку впадать в крайности, возможно и не стоит пользоваться. Но вообще-то альтернативы виртуалбоксу есть на всех платформах, их и стоит использовать.
	Ответить \| Правка \| ^ к родителю #7 \| Наверх \| Cообщить модератору


	16. "Выпуск VirtualBox 6.0.6"	–1 +/–
	Сообщение от Аноним (16), 17-Апр-19, 13:58
	OS/2 еще жива?! Я в ауте...
	Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	17. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от ryoken (ok), 17-Апр-19, 14:20
	> OS/2 еще жива?! Я в ауте... Ну и сидите там дальше :D. Это вы ещё про eComstation & ArcaOS не слышали, видимо :D.
	Ответить \| Правка \| ^ к родителю #16 \| Наверх \| Cообщить модератору


	18. "Выпуск VirtualBox 6.0.6"	+1 +/–
	Сообщение от nm0i (ok), 17-Апр-19, 14:24
	Мертвые не ошибаются.
	Ответить \| Правка \| ^ к родителю #8 \| Наверх \| Cообщить модератору


	19. "Выпуск VirtualBox 6.0.6"	+2 +/–
	Сообщение от Аноним (8), 17-Апр-19, 14:39
	какие ваши доказательства?
	Ответить \| Правка \| ^ к родителю #18 \| Наверх \| Cообщить модератору


	20. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним (23), 17-Апр-19, 14:56
	Это у вас называется "жива"? мда...
	Ответить \| Правка \| ^ к родителю #17 \| Наверх \| Cообщить модератору


	21. "Выпуск VirtualBox 6.0.6"	–1 +/–
	Сообщение от Аноним (21), 17-Апр-19, 15:29
	расскажешь рабочей ссылочкой как нормальный звук из виндов-гостей на kvm-хосте услышать? вот-вот, рули и педаль отсюда
	Ответить \| Правка \| ^ к родителю #3 \| Наверх \| Cообщить модератору


	22. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от SysA (?), 17-Апр-19, 16:02
	Для тех, кто в танке: vbox ни разу не предназначался для корпоративного использования! Это система персонального пользования. Точка. И если народные умельцы - админы локалхостов как-то приспосабливают его в качестве многопользовательской системы, то я присоединяюсь к предыдущему оратору: ССЗБ! Ведь и "Запорожец" теоретически можно было бы использовать как такси... ;)
	Ответить \| Правка \| ^ к родителю #7 \| Наверх \| Cообщить модератору


	23. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним (23), 17-Апр-19, 16:06
	KVM не для игрулек, он чтоб работу работать.
	Ответить \| Правка \| ^ к родителю #21 \| Наверх \| Cообщить модератору


	24. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от anonymous (??), 17-Апр-19, 16:09
	Если у тебя пульса, то вот - https://passthroughpo.st/how-to-patch-qemu-and-fix-vm-audio/ У меня сработало, заикания пропали.
	Ответить \| Правка \| ^ к родителю #21 \| Наверх \| Cообщить модератору


	25. "Выпуск VirtualBox 6.0.6"	+2 +/–
	Сообщение от Тот кого нельзя называть (?), 17-Апр-19, 16:09
	А в чём проблема? Использую устройство, которое virt-manager ставит по стандарту, потом устанавливаю дрова (https://fedorapeople.org/groups/virt/virtio-win/direct-downl...) в гостевой системе. Звук хороший. На хосте pulseaudio
	Ответить \| Правка \| ^ к родителю #21 \| Наверх \| Cообщить модератору


	26. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от anonymous (??), 17-Апр-19, 16:11
	Впрочем, для альсы там тоже есть инструкция, но её я не пробовал.
	Ответить \| Правка \| ^ к родителю #24 \| Наверх \| Cообщить модератору


	27. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним (21), 17-Апр-19, 16:27
	Не угадал. У меня там в винде собраны все виды мессенджеров с контактами по работе. Они постоянно пиликают, бибикают и пищат разными звуками и мелодиями. По звуку я понимаю важность сообщения или срочность ответа. Коммуникация - это важная часть моей работы. Так вот под kvm это всё хрипит и булькает, неважно альса или пульса. Опробовано на 3 разных компах, звуковые карты обычные встройки intel hda, дистриб убунту и свежая убунту с kvm-5.0. Со звуком из kvm всё одинаково плохо. Испробованные несколько рецептов настроек из интернета не помогают. Убиты несколько свободных вечеров. Но есть сабж из новости - не тратишь ни время ни нервы - звук идеален из коробки.
	Ответить \| Правка \| ^ к родителю #23 \| Наверх \| Cообщить модератору


	28. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от Аноним (28), 17-Апр-19, 16:31
	Некоторым внезапно надо со звуком работу работать.
	Ответить \| Правка \| ^ к родителю #23 \| Наверх \| Cообщить модератору


	29. "Выпуск VirtualBox 6.0.6"	–1 +/–
	Сообщение от Аноним (29), 17-Апр-19, 16:33
	Увидел "6.0_6.0-6" и ужаснулся! )
	Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	30. "Выпуск VirtualBox 6.0.6"	+/–
	Сообщение от анон (?), 17-Апр-19, 18:06
	там с десяток эмулируемых карт, можеш все сразу выбрать или перебрать те которые нормально работают, так же выставить правильный буфер(зависит от железной карты) это важно тогда и ничего хрипеть не будет. у меня все отлично звук в квм.
	Ответить \| Правка \| ^ к родителю #27 \| Наверх \| Cообщить модератору