Sharing Revisited : Shared Objects - CoW X

1. 공유 객체가 P1과 P2의 가상 메모리에 연결된 상태

   

   • 공유 객체는 현재 디스크에 저장된 상태

2. P1 또는 P2가 공유 객체에 접근했을 때 객체가 물리 메모리로 로드되는 과정

   

   • 디스크에 저장되어 있던 공유 객체는 물리 메모리(Physical Memory)로 복사
   • 아직까지 쓰기연산은 일어나지 않음

3. P1이 공유 객체에 ‘X’를 기록했을 때의 상황

   

   1. P1이 공유 객체에 쓰기 연산 수행

   • P1이 공유 객체에 ‘X’를 기록(write)합니다.
   • 공유 객체는 이미 물리 메모리(Physical Memory)로 로드된 상태입니다.

   2. 변경 사항이 공유

   • 공유 객체는 현재 두 프로세스가 동시에 참조하고 있는 물리 메모리의 동일한 위치를 가리키고 있습니다.
   • 이 변경 사항은 두 프로세스에서 동일하게 보입니다.

   3. 데이터 일관성 유지

   • 공유 객체가 변경되면, 이를 참조하는 모든 프로세스는 동일한 데이터를 보게 됩니다.
   • 여기서 공유 객체는 여전히 하나의 물리 메모리 위치를 참조하고 있기 때문입니다.

Copy-on-Write

• 우리가 공통 데이터를 공유함으로써 메모리를 절약하고 싶다.
  • 변경 사항이 모든 프로세스에서 보이지 않도록 하고 싶다.
• 처음 : 메모리를 공유된 상태로 시작
  • 프로세스가 데이터를 변경하려고 시도할 때만 복사본을 만든다.
  • 데이터의 복사는 꼭 필요할 때만 수행

Privacy : Copy-on-Write

1. P1과 P2가 동일한 프라이빗 객체(Private Object)를 참조

   

   • 공유된 것처럼 보이지만 Private 객체로 설정

2. P1 또는 P2가 공유 객체(Private Object)를 읽었을 때, 해당 객체가 물리 메모리로 로드

   

   • 가상 메모리에서 디스크의 데이터를 직접 읽지 않고, 물리 메모리로 복사한 뒤 참조

3. P1이 프라이빗 객체에 데이터를 쓸 때(Copy-on-Write 발생) 동작

   

   • P1의 데이터 쓰기 연산
     • 공유된 프라이빗 객체에 값을 ‘X’로 변경
     • Copy-on-Write(CoW) 동작
     • 데이터를 수정하려는 P를 위해 프라이빗 객체의 복사본을 생성
   • 물리 메모리의 복사:
     • 공유되고 있던 물리 메모리는 이제 복사되어, P1만이 참조하는 새로운 물리 메모리 블록 생성.
     • 복사된 메모리에서만 변경 사항(‘X’)이 반영됩니다.
     • P2는 여전히 원본 물리 메모리를 참조하고 있으므로, 변경 사항에 영향을 받지 않습니다.
   • 메모리 공유 상태의 변경:
     • 물리 메모리가 복사 → 두 프로세스는 독립적인 객체를 참조합니다.