반응형 OS & Network/OS6 동시성 문제[2] - Mutex, Semaphore, Monitor(동기화 도구) 동기화 도구이전 포스팅의 Pererson’s Solution을 보면 이론적으로 완벽하지만 entry section, critical section, exit section에서 사용하는 명령어가 Atomic 하지 않아 기대 결과가 달라졌다.이는 기계어의 관점에서 또는 저급 언어 수준에서 구현이 되지 않았기 때문인데 이렇게 개발자가 기계어 수준에서까지 개발을 하는 일은 쉬운 일이 아니기에 고급 언어에서 아래와 같은 동기화 도구를 제공한다. 각 동기화 도구에 대해 알아보자. Mutex LockSemaphoreMonitor Mutex Lockmutex란 mutual exclusion에서 나온 용어로 상호배제를 목표로 한다. lock을 acquire(획득)한 프로세스나 스레드만 critical section에 접.. 2024. 7. 28. 동시성 문제[1] - 동시성 문제의 원인과 해결법 동시성 문제동시(concurrent)에 공유 데이터에 access(접근)하여 데이터를 manipulate(조작)하는 과정에서 데이터의 일관성이 깨지는 문제 동시성 문제의 근본 원인프로세스나 스레드는 instruction 실행 도중 intruppted(중단) 될 수 있고 CPU의 코어는 다른 프로세스나 스레드 작업을 할당 받을 수 있다. 즉, 두개 이상의 프로세스나 스레드를 동시에 수행할 때 CPU의 context-switching으로 인해 발생한다는 것이다. 아래 간단한 예제를 통해 동시성 문제의 한 예를 보자.public class ConcurrencyProblem { public static int COUNT = 0; public static void main(String[] args) { .. 2024. 7. 28. 프로세스[2] - 멀티 프로세스와 멀티 스레드 프로세스는 실행 중인 프로그램을 의미하며, 스레드는 경량 프로세스를 의미한다.스레드는 프로세스에 비해 더 적은 컴퓨터 자원을 필요로한다.프로세스가 OS를 통해 자원을 할당 받는다면, 스레드는 프로세스를 통해 자원을 할당 받는다.스레드는 프로세스 내부에서 메서드를 기준으로 한 실행 흐름을 분리한 것이다.자바로 예를 들면 Thread 클래스의 run 메서드를 기준으로 실행 흐름이 분리되어 자원을 할당 받아 수행되는 것이다. 멀티 프로세스와 멀티 스레드는 다중 코어 환경에서 컴퓨터 자원을 효율적으로 사용할 수 있는 환경을 보장한다.멀티 프로세스와 멀티 스레드를 아래 3가지 관점에서 비교 해보도록 하겠다. 자원 관리컨텍스트 스위칭병렬성과 동시성 자원 관리 멀티 프로세스 환경에서는 위와 같이 프로세스 마다 독립.. 2024. 7. 25. 프로세스[1] - 프로세스란, PCB와 Context Switch 프로세스실행 중인 프로그램프로그램이 CPU에 의해 수행되고, 메모리에 할당된 상태프로세스는 작업을 완료하기 위해 CPU, memory, file, I/O devices와 같은 자원을 필요로 한다.각각의 프로세스는 독립된 메모리 영역을 할당 받는다.* 프로그램 : 하드웨어를 동작시키는 명령어 집합 프로세스의 구조 프로세스는 메모리에서 위와 같이 여러개의 구역으로 나뉜다.코드 영역(Text Section) : 실행 코드(명령어)가 저장됨데이터 영역(Data Section) : 전역 변수, 정적 변수가 저장되는 영역힙 영역(Heap Section) : 동적으로 할당된 메모리가 저장되는 영역스택 영역(Stack Section) : 함수 호출 시 지역 변수, 매개변수, 리턴 주소 등이 저장되는 영역* JVM으로.. 2024. 7. 25. 이전 1 2 다음 반응형
