Linux OCFS2: проверка buffer_head refs в read_blocks
Defensive-аудит Linux OCFS2 read_blocks: sb_getblk ownership, put_bh balance и loopback cluster fixture с reference ledger.
Открытое пространство для вопросов, мнений и полезных ответов. Без обязательной регистрации.
Defensive-аудит Linux OCFS2 read_blocks: sb_getblk ownership, put_bh balance и loopback cluster fixture с reference ledger.
Defensive-проверка исправления Linux OCFS2 circular locking dependency: lock graph, direct-I/O completion и lockdep в одноразовом filesystem image.
Как проверить Linux ntfs3 fix для iomap inline_data: page-sized backing, inline length invariant и loop-image test без пользовательского диска.
Как проверить исправление Linux NTB DMA API: ledger исходного handle, отдельно вычисленный offset и точное значение для dma_free_attrs в mock domain.
Как проверить исправление Linux netfs readahead: fault-injection подготовки iterator, ledger folio references и критерий отсутствия зависшего batch в тестовой FS.
Defensive-проверка Linux netfs copy-to-cache: controlled append failure, состояние PG_private_2 и критерий разблокировки folio в изолированном кэше.
Как проверить Linux MSM serial fix для гонки console/userspace: режим UART, PIO/DMA counters и bounded concurrent-write test без production console.
Как проверить memory ordering исправления Linux mshv pt_vp_array: event timeline, synthetic irqfd и race-test в отдельной VM без доступа к рабочему hypervisor.
Аудит исправления race в Linux mshv_irqfd_deassign: lock-ownership trace, список pt_irqfds и ограниченный concurrency test в nested VM.
Безопасная проверка Linux mlx5 implicit ODP rereg_mr: parent/child mkey graph, recreate path и rollback на лабораторном RDMA adapter без customer traffic.
Пошаговый defensive-аудит enum kcontrol в Linux LPASS WSA: четыре RX mux, PA Gain, тип значения и безопасная проверка только на тестовой карте.
Безопасный аудит Linux KVM s390 PCI: вычисление размеров AIBV/AISB, validation-before-pin и табличный control без pinning guest production pages.
Defensive-проверка Linux KVM arm64 nested virtualization: synthetic SError injection, ESR_EL2 marker и isolation только в disposable guest.
Как проверить Linux IPVS state lookup с parsed transport offset: IPv6 extension-header fixture, namespace counters и отсутствие fixed-header assumption.
Практический аудит Linux IPVS после исправления проверки checksum ICMPv6: границы пути, отрицательный контроль и безопасные счётчики в отдельном namespace.
Как проверить, что Linux iommufd отвечает на faults через правильный old hwpt при замене device: object map, mock faults и строгая изоляция IOMMU стенда.
Безопасный аудит Linux hugetlb после исправления очистки uffd-wp: типы migration/hwpoison entries, fork в VM и сравнение raw encoding без production memory.
Практический аудит после удаления EROFS-over-fscache из Linux: runtime-инвентаризация mount options, dependency graph и безопасный migration decision без перемонтирования production.