I am learning how docker designs its memory management parts. I want to know if docker considered the ‘kernel same-page merging’ problem. For instance, multiple containers make use of the same shared libraries, do they occupy multiple copies in memory? how docker solves this?