• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 추계학술발표대회
• /
• pp.97-100
• /
• 2018

세마포어 처리문제는 프로세스간 메시지를 전송하거나 공유메모리를 통해 특정 데이터를 공유할 때 발생되는 문제로 공유된 자원에 여러 개의 프로세스가 동시에 접근하면 안되며, 단지 한번에 하나의 프로세서만 접근 가능하도록 하여야 한다. 세마포어 기본정책은 호출되는 코어에 생성되며, 다른 코어에서는 IPI를 통해 존재 여부를 확인한다. 동일 코어에서 접근 시 기존방식으로 사용한다. 본 논문에서는 서로 다른 코어 및 운영체제에서 다른 코어에서 접근할 때에는 IPI를 통해 존재 여부를 확인한 후 더미 세마포어 구조체를 생성하여 관련 정보를 유지하고 해당 요청을 처리해 주는 세마포어 인터페이스 기능 설계 방법을 제안한다. 제안하는 세마포어 인터페이스 기능 설계 방안은 멀티 태스킹 기술 구현으로 기존 코어가 가지고 있는 성능상의 문제를 해결해 준다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.199-201
• /
• 2003

실시간 운영체제(Real-Time OS)는 우선순위 기반의 선점형 스케줄링을 제공하는 운영체제로서 시간 결정성 (Determinism)을 보장하는 특징이 있다. 그러나, 우선순위가 높은 태스크가 우선순위가 낮은 태스크에 의해 CPU를 점유 당하는 우선순위 역전(Priority Inversion)이 발생하여 시간 결정성이 보장되지 못하면 시스템의 심각한 결함을 야기할 수 있다. 본 논문에서는 우선순위 역전을 해결하기 위하여 Priority Inheritance Protocol 을 적용한 세마포 (Semaphore)의 구현에 대해 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.922-924
• /
• 2005

실시간 시스템의 개발 및 운영에 사용되는 실시간 운영체제는 여러 개의 태스크가 동시에 작업할 수 있는 멀티태스킹 환경과 각 태스크에 우선순위를 부여하여 가장 높은 우선순위의 태스크가 CPU 를 선점하는 스케줄링 방법, 그리고 태스크간 동기화 및 통신을 위한 메커니즘을 제공하고 있다. 또한 여러 태스크들에 의해 사용되는 공유자원을 관리하기 위해 세마포어(Semaphore)를 사용하여 태스크간 동기화를 제공한다. 그러나 하나의 태스크가 세마포어를 이용하여 공유자원에 대해 여러 번 접근 할 경우, 데드락(Deadlock)을 일으킬 소지가 많다. 본 논문에서는 실시간 운영체제인 $iRTOS^{TM}$ 에서 데드락을 방지하기 위한 재귀적 세마포어(Recursive Semaphore)를 설계 및 구현하였다.

• 월간성인병
• /
• 312호
• /
• pp.1-18
• /
• 2007

서울 마포구 보건소 하현성 소장/65세 이상 서울시민 무료 치매 검진/‘건강투자’보건의료전략 제시/국산약 해외진출,“ 현지화가 급선무”/‘의약품정책협의회’공식 출범/서방형 성장호르몬 상품화 성공/“다 함께 건강증진, 안전한 마포 건설”/지역자원역량강화 통합적 서비스 체계 구축/전립선비대증‘녹차’예방 효과 커/건강검진 수검자 비만율 30.64%/“식품첨가물, 아토피피부염과 상관없다”/허리둘레 크면 당뇨위험 2.2배 증가/발의 구조가 무너지면 인체의 구조가 무너진다/고령친화 모델지역 기본구상/

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (상)
• /
• pp.555-558
• /
• 2002

실시간 시스템의 개발 및 운영에 사용되는 실시간 운영체제는 여러 개의 태스크가 동시에 작업할 수 있는 멀티태스킹 환경과 각 태스크에 우선순위를 부여하여 가장 높은 우선순위의 태스크가 CPU 를 선점하는 스케줄링 방법, 태스크간 동기화 및 통신을 위한 메커니즘을 제공하고 있다. 그리고 여러 태스크들에 의해 사용되는 공유자원을 관리하기 위해 세마포어를 사용하여 태스크간에 동기화를 제공한다. 하지만 세마포어만으로 공유자원을 관리하게 되면 더 높은 우선순위의 태스크가 실행 준비 되어 있음에도 불구하고 상대적으로 낮은 우선순위의 태스크가 CPU 를 선점하는 우선순위 역전이 발생하여 실시간 운영체제의 핵심인 시간 결정성을 만족하지 못해 시스템에 심각한 문제를 발생 시킬 수 있다. 본 논문에서는 실시간 운영체제인 $iRTOS^{TM}$에서 우선순위 역전을 예방하기 위한 방법중 하나인 Priority Ceiling Protocol을 이용한 Mutual Exclusion Semaphore를 설계하고 구현한 내용을 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.215-217
• /
• 1999

본 논문은 지능형 TV에서 QoS 개선을 위한 MPEG-4 미디어 프리젠터 개발이다. 사용자들이 단순히 수동적인 미디어 사용을 벗어나, 능동적으로 참여 가능한 상태로 변환하며, 다양한 하이퍼미디어를 제공함으로써 정보 서비스의 질적 향상을 지원한다. 화면에 나타난 장면에서 사용자 이벤트를 실시간으로 처리하고, 독립적인 바이너리 세마포 구조인 변형된 원형버퍼를 사용하여 네트워크를 통해 전달된 미디어 스트림을 버퍼링하여 효율적인 상호작용을 지원한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권4호
• /
• pp.239-246
• /
• 2009

각 계층 네트워크가 세마포에 의하여 용량제한을 갖는 중첩형 대기행렬 네트워크의 평균대기시간에 관하여 연구하였다. 중첩형 대기행렬 네트워크는 고객의 대기시간 관점에서 보다 간단한 대기행렬 네트워크로 변환될 수 있다. 이러한 중첩형 대기행렬 네트워크의 가장 중요한 특성은 하위계층의 흐름이 상위 계층의 상태에 의존적이며, 제한을 받는다는 것이다. 이러한 형태의 대기행렬 네트워크는 성능분석을 정확히 할 수 없기 때문에, 변환된 중첩형 대기행렬 네트워크를 이용하여 평균대기시간에 대한 하한과 상한을 분석하고자 한다. 모의실험에 관한 측정은 도착분포가 단계형태 분포로서 포아송, 얼랑 그리고 초지수분포에 관하여 조사하였다. 이렇게 구한 범위는 추후에 좀 더 근접한 근사치를 구하는데 이용할 수 있다.

• 과학과기술
• /
• 제30권1호통권332호
• /
• pp.32-34
• /
• 1997

1861년 대동여지도를 만든 김정호는 어디서 태어나 언제 죽었는지도 모르는 신비 속의 인물이다. 지금의 마포 근처에서 살았다는 김정호는 22첩으로 된 가로 3m, 세로 7m의 대동여지도를 목판으로 인쇄하여 펴낸 과학인물이다. 대동여지도는 지금의 16만분의 1지도와 비슷한 것으로 산, 하천, 고을, 길 등이 정확하게 표시되어 있다. 평생을 지도제작에 바친 그의 뛰어난 과학정신이 새롭게 평가되고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.98-100
• /
• 2000

본 논문은 실시간 운영체제에서 프로세스들간의 비동기적 통신을 제공하기 위한 시그널 처리를 설계하고 구현 하였다. 일반적으로 실시간 운영체제에서는 태스크간 통신을 위해서 메시지 메일 박스와 큐를 사용하여 정보를 주고 받고, 태스크간이 동기화를 위하여 세마포어를 사용하였는데 이들은 모두 특정 이벤트에 관계되어 이벤트를 발생시키거나(POST) 이벤트의 발생은 기다리는(PEND) 방식으로 동작한다. 본 논문에서는 필요한 루틴을 수행시키기 위해 특정 이벤트 동기화에 관계없이 처리가 가능하도록, 실시간 운영체제에 적합한 시그널 처리 방법에 대해서 언급한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권2호
• /
• pp.283-294
• /
• 1999

병행적 프로그램 개발을 위한 Java 언어의 기능은 저수준의 기능으로 프로그래밍이 불편하고 오류를 범할 가능성이 높다. 본 논문에서는 병렬 알고리즘에서 빈번히 활용되는 세마포어, 여러 유형의 버퍼와 버퍼그룹, 베리어 작업 영역등의 동기화 제어구조를 클래스 라이브러리의 형태로 개발하였다. 이 라이브러리를 활용하면 동기화 기능의 구현에 관한 복잡한 내용이 제어구조 클래스에 효과적으로 은폐되고, 병렬 알고리즘의 구조와 이를 구현하기 위한 제어가 분리될 수 있다. 단일 목적의 동기화 기능을 위하여 복수 구현이 제공되므로 알고리즘의 구조를 수정하지 않으면서도 보다 적절한 구현을 선택하도록 프로그램을 변경할수도 있다.