Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2000.04a
  • /
  • Pages.133-136
  • /
  • 2000
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

Design of Java library base on pi-calculus

병행성 이론에 기반한 자바 라이브러리 설계

  • Shin, Hyun-Sam (Dept. of Computer Engineering, Donga-A University) ;
  • Kim, Jae-Woo (Dept. of Computer Engineering, Donga-A University) ;
  • Kwon, Kee-Hang (Dept. of Computer Engineering, Donga-A University)
  • 신현삼 (동아대학교 컴퓨터공학과) ;
  • 김재우 (동아대학교 컴퓨터공학과) ;
  • 권기항 (동아대학교 컴퓨터공학과)
  • Published : 2000.04.14
Download PDF
⟨ Previous Next ⟩

Abstract

자바에서 또한 이러한 병행성 프로그램을 지원하기 위한 다양한 언어적 지원과 병행적인 요건을 지원하고 있다. Thread class지원, Synchronized 예약어, 상호협동 관계를 표현하기위한 wait(), notify(), notifyAll() 메서드 , monitor 메커니즘등을 지원하고 있다. 하지만 이는 아주 저 수준의 지원형태이며 여러 가지 문제점을 야기할 수 있다. 이에 대해 병행적 이론의 정수라고 할 수 있는 pi-calculus의 이론과 기법을 도입하여 새로운 시각으로 병행성 프로그래밍에 대한 접근을 하고자 한다. 여기에 실용적으로 많이 사용되고 발전되어온 자바에서 적용하고자 한다. pi-calculus에 기반한 pict를 모델로 하여 pict에서 지원하는 아주 명료한 연산자와 current object를 도입함으로써 보다 표현력과 확장성, 검증성이 뛰어난 고 수준 자바 라이브러리를 설계하고자 한다.

Keywords