ну тогда ты никак не решашь вот эту задачу "Но встаёт вопрос — вот ты mbuf оттуда удалил, а когда его убивать? Вдруг пока ты его удалял его кто0то взял (указатель на него) в локальную переменную и пямощас работает?"

Так mbuf's все по старинке обрабатываются

Ну смотри. У тебя есть, скажем, очередь mbuf'ов. Не фокус сделать без локов добавление туда mbuf'а и удаление оттуда mbuf'а. На CAS'ах.
Но встаёт вопрос — вот ты mbuf оттуда удалил, а когда его убивать? Вдруг пока ты его удалял его кто0то взял (указатель на него) в локальную переменную и пямощас работает?
Мы добавляем его в список "к удалению, добавлен в эпоху X".
Когда все сказали что они закончили с эпохой X можно чистить этот список на удаление до эпохи X.

вроде звучит как довольно старая идея

вот пример из динамических стейтов: у тебя есть куча SLIST'ов в хеш таблице, её элементы это стейты. Используя epoch, ты можешь без локов искать среди всех этих элементов нужный стейт. У тебя есть гарантия, что код который чистит стейты по таймауту в какой-то момент не возьмёт и не освободит память, пока к ней пытается обращаться код на другом ядре.