As explained in the Section 2.3.3, the mmap() system call does not automatically synchronize the contents of the mapped region in main memory with the corresponding region in the storage file. Instead, the msync() system call must explicitly be invoked for each region to be synchronized.