• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.10a
• /
• pp.97-100
• /
• 2018

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.199-201
• /
• 2003

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.922-924
• /
• 2005

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

• The Korean Chronic Disease News
• /
• no.312
• /
• pp.1-18
• /
• 2007

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.555-558
• /
• 2002

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.215-217
• /
• 1999

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

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.4
• /
• pp.239-246
• /
• 2009

In this study, we analyze the mean waiting time on the nested open queueing network, where the population within each subnetwork is controlled by a semaphore queue. The queueing network can be transformed into a simpler queueing network in terms of customers waiting time. A major characteristic of this model is that the lower layer flow is halted by the state of higher layer. Since this type of queueing network does not have exact solutions for performance measure, the lower bound and upper bound on the mean waiting time are checked by comparing them with the mean waiting time in the transformed nested queueing network. Simulation estimates are obtained assuming Poisson arrivals and other phase-type arrival process, i.e., Erlang and hyper-exponential distributions. The bounds obtained can be applied to get more close approximation using the suitable approach.

• The Science & Technology
• /
• v.30 no.1 s.332
• /
• pp.32-34
• /
• 1997

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.98-100
• /
• 2000

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

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.2
• /
• pp.283-294
• /
• 1999

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