DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Gil-Chang | - |
dc.contributor.advisor | 김길창 | - |
dc.contributor.author | Kim, Young-Joo | - |
dc.contributor.author | 김영주 | - |
dc.date.accessioned | 2011-12-13T05:22:24Z | - |
dc.date.available | 2011-12-13T05:22:24Z | - |
dc.date.issued | 1989 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=61308&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/32970 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전산학과, 1989.2, [ [iii], 50 p. ] | - |
dc.description.abstract | This thesis presents a new synchronization mechanism called coordinator for protecting the shared resources and synchronizing the operations on resources. Coordinator design has been influenced by the monitor and path expression. We intended to collect the merit of these mechanisms. Though programming a monitor is not a trivial task, it has the very simple concept from the view point of user. Path expression is poorly suited for representing conditional synchronization because only the admissible sequences of operation request are specified, and no synchronization code appears in the procedure body. However path expression allows the natural expression of schedules of operations in a process. Though path expression achieves the clear and simple representation at the expense of conditional synchronization. We take a compromise that representation is somewhat complicated than path expression, but coordinator is more expressive and can express the conditional synthronization. Also coordinator supports the separation of synchronization and operation. Synchronization is achieved by quasi-concurrent guarded region and specialized coordinator statements, which implement the operation level scheduling. The flexibility of the control structure is illustrated by the solutions to the various versions of readers writers problem. Some novel features of language constructs are adoption of guarded region to make a coordinator as an active entity, introduction of quasi-parallelism within coordinator by parallel guarded region, and passing of process of to enable the uncoupled execution. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | (A) study on synchronization mechanism for automatic generation of synchronization skeleton | - |
dc.title.alternative | 동기화 골격을 자동 생성하기 위한 동기화 구조에 대한 연구 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 61308/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000795045 | - |
dc.contributor.localauthor | Kim, Gil-Chang | - |
dc.contributor.localauthor | 김길창 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.