본문 바로가기

연구/항공 우주 소프트웨어2

ARINC 653 communication inter-partition communication 각각의 Partition은 필요에 따라서 방향성을 가진 Queuing_Port를 개설하고 서로 간에 IPC통신을 하게 된다. 통신은 Kernel 영역 안에서 일어나며 동기화 과정을 거치게 된다. SEND_MESSAGE로 전송하고 RECEIVE_MESSAGE로 수신을 하게 된다. intra-partition communication CREATE_BUFFER에 의해 생성된 BUFFER에 Process에서 SEND_BUFFER로 Message를 전송하고 RECEIVE_BUFFER로 Message를 수신 받는다. 이러한 Buffer는 Partition의 내부에 각각 존재하며 Buffer접근 시에는 Critical_Section으로 정의되어서 동시에 여러 가지.. 2023. 3. 29.
resoure deadlock 교착 상태는 다른 프로세스가 보유한 자원을 확보해야 하고 자신이 다른 프로세스가 필요로 하는 자원을 보유하고 있기 때문에 프로세스가 진행할 수 없는 상태 상호 배제: 시스템에서 최소한 하나의 리소스는 한 번에 하나의 프로세스에서만 사용할 수 있어야 합니다. 보류 및 대기: 다른 프로세스가 다른 리소스를 획득하기를 기다리는 동안 리소스를 유지하는 프로세스가 있어야 합니다. No Preemption: 자원을 한 프로세스에서 강제로 가져와서 다른 프로세스로 넘길 수 없음을 의미합니다. 순환 대기: 모든 프로세스는 순환 방식으로 자원을 기다려야 하며 마지막 프로세스는 첫 번째 프로세스의 자원을 기다립니다 해결하기 위한 방법 문제 무시: 문제를 무시하도록 선택할 수 있습니다. 가장 인기있는 옵션 중 하나는 이것입.. 2023. 3. 27.