Art

J-GLOBAL ID：200902266242527129   Reference number：09A0797605

Implementing Utility Locks Using State Abstraction-based Synchronization

抽象状態同期による高機能ロックの実装と評価

Author (2)： OKI ATSUO (筑波大 大学院ビジネス科学研究科) ,  KUNO YASUSHI (筑波大 大学院ビジネス科学研究科)
Material： 情報処理学会論文誌トランザクション(CD-ROM)  (情報処理学会論文誌 Computer Vision and Applications(CD-ROM))
Volume： 2008  Issue： 1  Page： VOL.1NO.2,57-70  Publication year： Nov. 15, 2008 
JST Material Number： L7379A  ISSN： 1882-7772  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *lock (computer) ,  packaging design ,  system evaluation ,  state ,  abstraction ,  *data structure ,  decomposition method ,  synchronous control ,  thread ,  *operating system ,  readability ,  synchronization ,  semantics ,  *kernel
Semi thesaurus term： barrier synchronization ,  *OSカーネル ,  *抽象状態

JST classification (2)： Operating systems  (JD03020J) ,  System programmings in general  (JD03010Y)

Reference (12)：

• Hansen, P. B.: A comparison of two synchronizing concepts, Acta Informatica, Vol.1, No.3, pp. 190-199(1972).
• Dijkstra, E. W.: The structure of the “THE”—multiprogramming system, CACM, Vol.11, No.5, pp. 341-346(1968).
• Harris, T. and Fraser, K.: Language Support for Lightweight Transactions, Proc. OOPSLA’03, pp. 388-402(2003).
• Herlihy, M.: A Methodology for Implementing Highly Concurrent Data Objects, TOPLAS, Vol.15, No.6, pp. 745-770(1993).
• Hoare, C. A. R.: Monitors: Toward a theory of parallel programming, International Seminar on Operating System Techniques, A. P. I. C. Studies in Data Processing, Vol.9, pp. 61-71, Academic Press (1972).

Terms in the title (4)： 抽象 ,  ロック ,  実装 ,  評価