home.social

#qemu — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #qemu, aggregated by home.social.

  1. Here is another in a series of attempts to divine information from #qemu's issue tracker. I think this is showing that #AI #bugpocolypse reports tend to be verbose, a lot of sanitizer reports are probably mislabelled (quite often the agent will show the failure in a sanitized build) and having a decent test case correlates well with undeclared agent use. The "normal" size of reports for each class of device in (Untagged) for any tooling or TestCase.

    #datadive #bugtracker

  2. Here is another in a series of attempts to divine information from #qemu's issue tracker. I think this is showing that #AI #bugpocolypse reports tend to be verbose, a lot of sanitizer reports are probably mislabelled (quite often the agent will show the failure in a sanitized build) and having a decent test case correlates well with undeclared agent use. The "normal" size of reports for each class of device in (Untagged) for any tooling or TestCase.

    #datadive #bugtracker

  3. Here is another in a series of attempts to divine information from #qemu's issue tracker. I think this is showing that #AI #bugpocolypse reports tend to be verbose, a lot of sanitizer reports are probably mislabelled (quite often the agent will show the failure in a sanitized build) and having a decent test case correlates well with undeclared agent use. The "normal" size of reports for each class of device in (Untagged) for any tooling or TestCase.

    #datadive #bugtracker

  4. Here is another in a series of attempts to divine information from #qemu's issue tracker. I think this is showing that #AI #bugpocolypse reports tend to be verbose, a lot of sanitizer reports are probably mislabelled (quite often the agent will show the failure in a sanitized build) and having a decent test case correlates well with undeclared agent use. The "normal" size of reports for each class of device in (Untagged) for any tooling or TestCase.

    #datadive #bugtracker

  5. Here is another in a series of attempts to divine information from #qemu's issue tracker. I think this is showing that #AI #bugpocolypse reports tend to be verbose, a lot of sanitizer reports are probably mislabelled (quite often the agent will show the failure in a sanitized build) and having a decent test case correlates well with undeclared agent use. The "normal" size of reports for each class of device in (Untagged) for any tooling or TestCase.

    #datadive #bugtracker

  6. The open-issue emotional roller coaster. 🎢

    Hooray, there's an issue for this... oh no, it's been open since 2021! Issue affects nested #qemu virtualisation with #FreeBSD: gitlab.com/qemu-project/qemu/-

  7. Как QEMU исполняет чужой код: изучаем Tiny Code Compilator изнутри

    QEMU — это не просто виртуализация с KVM. Его главная cуперсила — способность запускать программы, скомпилированные для одной архитектуры, на совершенно другом процессоре. Безо всякой поддержки со стороны хоста. Например, запустить прошивку для ARM-микроконтроллера на x86-ноутбуке. Как это работает? Под капотом QEMU скрывается JIT-компилятор под названием TCG (Tiny Code Generator). В этой статье мы разберем его устройство на практических примерах для RISC-V и посмотрим, как инструкции превращаются из одного машинного кода в другой, как формируются блоки трансляции, и зачем там нужны longjmp и цепочки блоков.

    habr.com/ru/companies/yadro/ar

    #qemu #tcg #jit

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

    Привет, Хабр! На связи Михаил Степанов, инженер в группе функциональной верификации YADRO. Еще в прошлом году мы с моим коллегой Романом Казаченко участвовали в хакатоне по разработке микропроцессоров как студенты, а сейчас — помогаем с задачами для SoC Design Challenge как сотрудники компании-организатора. В статье расскажем, что ждет участников трека «Системная верификация СнК» в этом году и как подготовиться к этому испытанию. Если вы не планируете участвовать в хакатоне, но вам интересно, как инженеры тестируют системы на кристалле перед запуском в производство, эта статья тоже будет вам полезна. На примере заданий хакатона я кратко объясню, что такое системная верификация, из каких блоков состоят СнК и какие инструменты используются для их тестирования.

    habr.com/ru/companies/yadro/ar

    #SoC_design #функциональная_верификация #системная_верификация #QEMU #verilog #verilator #система_на_кристалле #хакатон #SoC_Design_Challenge