BPF хотят сделать ещё безопаснее: доменно-специфичные инварианты
На Linux Storage, Filesystem, Memory-Management and BPF Summit предложили сделать BPF-программы ещё безопаснее: Kumar Kartikeya Dwivedi рассказал про доменно-специфичные инварианты. Пока это обсуждение идеи, а не план конкретной фичи ядра.