Redis может легко занять до 8 ГБ в зависимости от ваших данных. При этом «двойная память», о которой вы говорите, представляет собой красную сельдь: она выполняет разветвление и «копирование» памяти, но из-за технологии копирования при записи память распределяется между процессами и записывается только тогда, когда процессы вносят изменения в определенный байт памяти.
Таким образом, при сохранении на диск только ключи, изменяющиеся во время сохранения, вызовут дополнительное распределение памяти между двумя процессами. Все остальное поделено. Надеюсь, это поможет.