• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.553-556
• /
• 2008

임계구역을 가진 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 디버깅해야 한다. 이러한 경합을 수행 중에 탐지하는 기존의 기법들은 임계구역의 실행순서에 의해서 발생하는 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 경합의 존재를 검증할 수 있다. 본 논문에서는 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 수행 중에 경합을 탐지함으로써 잠재되어 있는 경합까지 탐지할 수 있는 도구를 제안한다. 제안한 도구는 비결정성이 포함된 합성프로그램과 공인된 OpenMP 벤치마크 프로그램인 Microbenchmark를 이용하여 경합 검증이 가능함을 보인다.

• 정보처리학회논문지A
• /
• 제17A권1호
• /
• pp.9-18
• /
• 2010

OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 한번의 수행으로 실제 경합뿐만 아니라 잠재적 경합까지 탐지할 수 있는 경합 전처리기를 제안한다. 제안된 도구는 OpenMP 병렬 프로그램에서 발생할 수 있는 비결정적 접근사건들에 대해서 항상 결정적으로 감시할 수 있으므로 임계구역 가진 프로그램 모델에 적용할 수 있는 어떠한 경합탐지 프로토콜을 사용하더라도 경합 검증이 가능하다. 본 도구의 실험적 증명을 위해서 비결정성이 포함된 합성 프로그램, 공인된 벤치마크 프로그램인 OpenMP Microbenchmark, NAS Parallel Benchmark, 그리고 OpenMP 응용 프로그램을 이용하여 제안된 도구의 정확성을 보인다.

• 한국산학기술학회논문지
• /
• 제16권8호
• /
• pp.5074-5081
• /
• 2015

플라스틱 제품의 휨을 개선하기 위한 방법은 사출성형 공정에서 일어나는 불균일한 냉각을 균일하게 만들어 플라스틱 제품의 잔류응력을 제거하는 방법이다. 본 연구는 균일한 냉각을 위하여 펠티에 소자를 사용하여 급속가열 냉각 장치를 개발하였다. 급속냉각 가열 장치(RCHD)를 제작하여 전통적인 수냉 장치(TWCD)방식과 급속냉각 가열 장치방식에 따른 휨을 비교 분석하였고, 비결정성 수지인 ABS 수지를 사용하였다. 사출성형 조건인 보압시간, 금형온도, 냉각시간, 보압에 따라 휨의 변화량을 측정 비교하였고, 비결정성 ABS 수지에서 급속가열 냉각 장치 냉각방식이 전통적인 수냉방식 보다 휨이 더 적게 발생하고, 위의 결과들로 보아 조금 더 균일하게 냉각되는 것을 알 수 있었다. ABS 폴리머의 분포 상태를 SEM 사진을 통해서 확인하였다. 전통적인 수냉방식은 폴리머의 분포상태가 조밀하게 분포되어 있고, 급속냉각 가열 방식은 전통적인 수냉방식 보다 넓게 분포되어 있었다. 이것은 냉각이 균일하게 이루어지고, 금형의 온도가 서서히 진행되면서 폴리머의 입자가 커지게 되는데, 이것은 내부응력이 줄어든 것을 의미한다.