• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.13-15
• /
• 2004

OpenMP 프로그램에서 수행되는 스레드들간에 적절한 동기화 없이 적어도 하나의 쓰기 사건으로 동일한 공유변수에 접근하는 경우에 발생되는 오류인 경합은 비결정적인 수행결과를 초래하므로 디버깅을 위해서 반드시 탐지되어야 한다. 이러한 경합탐지를 위한 기존의 디버깅 도구는 프로그램의 복잡한 수행구조 및 디버깅 정보를 시각화하기 위한 공간이 제한적이므로 효과적인 시각화를 제공하지 못한다. 본 논문에서는 경합 시각화를 위해서 3차원적 시각화와 스레드 및 이벤트 둥의 추상화 기능으로 공간적 제약성을 해결하는 도구를 제안한다. 제안된 도구는 추상적 시각화 정보를 제공하므로 프로그램의 이해가 용이하고 효과적인 경합디버깅 환경을 제공한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.3
• /
• pp.391-398
• /
• 2012

Detecting races is important for debugging shared-memory parallel programs, because the races result in unintended non-deterministic executions of the programs. Previous on-the-fly techniques to detect races in parallel programs with general inter-thread coordination show serious space overhead which depends on the maximum parallelism of the program. Therefore, this paper presents a loop splitting technique for on-the-fly race detection of parallel programs which is more efficient in space complexity than previous techniques. This loop splitting technique is the debugged program which preserves semantics of the original program. Monitering loop splitting program in on-the-fly can detect first races.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.7_8
• /
• pp.341-351
• /
• 2003

For debugging effectively the shared-memory programs with nested parallelism, it is important to detect efficiently the first races which incur non-deterministic executions of the programs. Previous on-the-fly technique detects the first races in two passes, and shows inefficiencies both in execution time and memory space because the size of an access history for each shared variable depends on the maximum parallelism of program. This paper proposes a new on-the-fly technique to detect the first races in two passes, which is constant in both the number of event comparisons and the space complexity on each access to shared variable because the size of an access history for each shared variable is a small constant. This technique therefore makes on-the-fly race detection more efficient and practical for debugging shared-memory programs with nested parallelism.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.52-54
• /
• 2001

공간 선택 질의에 사용되는 질의 윈도우로는 직사각형이 주로 사용된다. 하지만, 최근에는 GIS 등과 같은 응용 프로그램들이 성능 향상으로 인해 보다 다양한 종류의 응용이 등장하고 있으므로, 직사각형뿐만 아니라 임의의 다각형 형태의 질의 윈도우에도 적합한 정제 단계 수행 전략에 대해 고려해 볼 필요가 있다. 이러한 전략으로는 기존의 공간 조인에서와 같이 plane-sweep 알고리즘을 이용하는 방법이 일반적이다. 하지만, 공간 데이터와 질의 위도우의 특성을 관찰해보면, 일반적으로 질의 윈도우가 공간 데이터보다 훨씬 간단한 모양으로 구성되어 있음을 알 수 있으므로, 본 논문에서는 이러한 상황에 보다 적합한 정제 단계 수행 방법을 제시하고 있으며, 실험을 통하여 제시한 방법의 우수성을 입증하고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.343-345
• /
• 2001

요약해석(abstract interpretation)이란 래티스(lattice)로 표현되는 요약된 공간에서 프로그램을 수행함으로써 프로그램의 성질을 분석하는 방법이다. 요약해석에서 프로그램의 분석 결과는, 정보가 없는 상태에서 시작하여 더 이상 정보의 증가가 없을 때까지 프로그램을 반복해서 수행함으로써 얻어지는 고정점(fixpoint)에 의하여 표현된다. 본 연구에서는 이러한 고정정 계산의 속도를 높이기 위하여 이전 반복의 계산 결과를 최대한 이용하는 방법을 제시한다. 그리고 제시된 방법을 상수 및 이명 분석의 구현에 적응하여 실제로 분석 속도가 증가함을 보였다.

• Korean Architects
• /
• no.5 s.397
• /
• pp.102-109
• /
• 2002

사회적 변화에 따른 대중에게 열린 문화 공간이라는 현대 박물관의 사회적 역할과 기능에 대한 개념은 이미 보편화되어 있다. 다원화, 대중의 열린 교육 공간, 커뮤니티를 위한 공간 등 대중을 위한 지적ㆍ문화적 욕구를 충족시켜 주는 일상과 연계된 열린 공간으로의 변화가 세계적인 추세인 것이다. 하지만 대 사회적 역할을 수행해야 할 국내의 대규모 국ㆍ공립 박물관은 지속적으로 논의되어지고 있는 공공박물관의 역할을 수행하기에는 프로그램의 내용과 이를 수용하는 건축적 대응이 선진 외국박물관들에 비해 많은 면에서 미흡한 것이 사실이다. 따라서 본 글에서는 현대 박물관들이 관람객과 지역주민들을 위해 마련하고 있는 다양한 프로그램의 유형과 그 운영실태를 파악하고 이와 대응하는 공공서비스영역의 건축적 고려에 대한 사항을 분석하여 공공박물관(Public Museum)개념의 적용에 있어 도움이 되는 방법을 제안해본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.534-539
• /
• 2010

OpenMP 프로그램의 수행 중에 발생하는 자료 경합과 같은 병행성 오류는 디버깅을 위하여 반드시 탐지되어야만 한다. 그러나 이를 탐지하는 것은 어려운 일이다. 접근사건의 발생 후 관계를 기반으로하는 경합 탐지 기법은 프로그램의 수행 중에 발생하는 스레드의 병행성 정보를 식별하기위한 레이블을 생성하고, 생성된 스레드의 레이블을 기반으로 공유변수에 접근하는 사건을 접근역사를 통해 감시함으로써 경합을 탐지한다. 이러한 경합 탐지의 방법에서 레이블 생성을 위한 NR 레이블링 기법은 병행성 정보생성 시에 지역자료 구조를 사용함으로써 병목현상이 발생하지 않으며, 접근역사에 저장하는 레이블의 크기가 상수 값을 갖는 공간적 효율성을 제공한다. 또한 부모스레드의 정보역사를 정렬된 리스트 형태로 가져 병행성 정보 비교 시에 이진탐색이 가능하므로 시간적 효율성을 가지는 우수한 기법이다. 그러나, NR 레이블링은 레이블의 생성시에 부모스레드의 정보역사를 유지하기 위해서 내포 병렬성의 깊이에 의존하는 시간적 비용이 요구된다. 본 논문에서는 부모스레드의 정보역사 유지를 위해 상수적인 시간 및 공간적 복잡도를 갖도록 NR 레이블링 기법을 개선한다. 합성 프로그램을 이용하여 실험한 결과에서 개선된 기법은 최대 병렬성의 증가에 따라 레이블의 생성과 유지시 기존의 기법보다 평균 4.5배 빠르고, 레이블링을 위해 평균 3배 감소된 기억공간을 요구하며, 내포 병렬성에 의존적이지 않음을 보인다.

• Journal of the Korean Society for Library and Information Science
• /
• v.53 no.4
• /
• pp.23-50
• /
• 2019

Libraries have recently sought to diversify their roles to meet the changing needs of local residents, while faithfully playing the library's original roles. The creation of a complex cultural space and the provision of services based on it are one of the ways to expand its role. In this study, a surveyed and analyzed the awareness of the complex cultural space of the library and the preference and awareness of the program operated in the complex cultural space by conducting a survey on the users of the library currently operating the complex cultural space. As a result, first, it was found that they preferred information space, education space, and rest space in space preference. On the other hand, community space and experience space showed low preference. Second, they prefer educational programs, exhibition programs, and performance programs that utilize complex cultural spaces, but experience programs and community programs have low preference. Therefore, it is necessary to operate the program by providing exhibitions and performance spaces while providing information and education spaces to users. The librarian should also promote the fact that library can be only the space of information and education, but also the space where culture, healing, experience and communication take place. In addition, libraries should strive to improve user awareness of library space.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.247-249
• /
• 2002

최근 3D 공간 객체의 효율적인 표현을 위해, 3D 연산 및 다차원 인덱싱 기법에 관한 연구가 활발히 진행되고 있다. 또한 이러한 인덱스나 연산을 기반으로 많은 응용프로그램들이 개발되고 있다. 그러나, 대부분의 응용프로그램들은 단순히 비공간 속성에 대한 질의를 기반으로 한 3D 객체의 시각화에만 치중하고 있기 때문에, 3D 공간 객체에 관한 분석 기능을 제대로 지원하지 못하고 있다. 따라서, 이 논문에서는 3D 공간 객체에 관한 효율적 분석 기능을 제공할 수 있는 3D 공간 연산 처리기를 설계 및 구현하였다. 기존 시스템과의 상호운용을 위해서, 제안한 연산 처리기는 OpenGIS의 2차원 기하 객체 모텔을 3차원으로 확장한 3D 기하 객체 모델을 기반으로 하였다. 또한 빠른 공간 연산을 수행하기 위해 인덱스와 연동하여 구현하였다. 이 연산 처리기는 3D GIS에 적용될 경우, 효율적인 공간 분석 기능을 제공할 수 있다.

• Archives of design research
• /
• v.16 no.4
• /
• pp.323-334
• /
• 2003

This study examines the multi-functionality of the cultural facilities and explores the architectural characteristics of cultural facilities in city environment. For this purpose, 1 examine the major cultural facilities in USA and Singapore. Recently, the inter-cultural communication methods have been diversified and the cultural facilities need to be designed to effectively accommodate the public's interests in these activities. It is also necessary to reexamine cultural facilities' functions in terms of how the multi-functionality facilities reflect the surrounding environment. This study also sheds a new light on the meaning of the relationships between cultural activity, and the cultural facility design. For this, I primarily look at the various design categories of cultural buildings and their main functions. Finally, I demonstrate how both cultural activity and cultural facility design elements are embodied in the city environment.