MAgic State Manager (MASM) is a recently developed software architecture for completely transparent checkpointing/ recovery in support of optimistic synchronization in the High Level Architecture. In the original design, MASM relies on (i) user level machine dependent modules, (ii) patches for specific versions of the LINUX kernel and (iii) static linking of specific application libraries, all of them required for performing ad-hoc, low level memory management operations associated with optimistic synchronization requirements. In this paper we propose a complete re-engineering of this software architecture which allows all those memory management tasks to be carried out through user level, machine independent modules, with the additional advantage of avoiding the need for static linking of specific application libraries, thus achieving portability of MASM across different UNIX systems and different computer architectures.