微信服务号

微信订阅号

2025-4-6- 17
Home > Archive>Volume 13, Issue 1, 2002 >71-79
PDF HTML XML Export Cite reminder
Research on a Concurrent Object-Oriented Synchronization Model
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [11]
    • |
  • Related
    • |
  • Cited by [1]
    • | |
  • Comments
    Abstract:

    Synchronization between processes is one of the main features of concurrent programming. However, under the framework of concurrent object-oriented, the existence of synchronization constraints can cause undesired re-definitions of inherited code. Based on the two kinds of synchronization mechanisms in VDM++, a synchronization model, guard trace structure is presented in this paper to be applied to a wide-spectrum concurrent object-oriented specification language. This model can support not only reuse of general code,but also that of synchronization code effectively.

    Reference
    [1] Yang, Da-jun, Zhang, Ming, L? Jian. The study on concurrent object oriented programming language. Computer Research and Development, 1998,32(9):769～775 (in Chinese).杨大军,张鸣,吕建.并发面向对象程序设计语言研究与进展.计算机研究与发展,1998,35(9):769～775.
    [2] Zhang, Ming, L? Jian, Yang, Da-jun, et al. A two-layered-class method for solving the inheritance anomaly. Journal of Software, 1999,10(6):619～625 (in Chinese).
    [2]张鸣,吕建,杨大军,等.基于双层类结构的继承异常处理方法.软件学报,1999,10(6):619～625.
    [3] Durr, E.H., Plat, N. VDM++ Language Reference Manual. Afrodite (esprit-iii project number 6500) document afro/cg/ed/lrm/v9 edition, Utrecht, Netherlands: Cap Volmac, 1994.
    [4] Kafura, D.G., Lee, Keung Hae. Inheritance in actor based concurrent object-oriented languages. In: Cook, S., ed., Proceedings of the ECOOP'89. Cambridge, MA: Cambridge University Press, 1989. 131～145.
    [5] Tomlinson, C., Singh, V. Inheritance and Synchronization with Enabled-Sets. ACM SIGPLAN Notices, 1989,24(10):103～112.
    [6] Neusius, C. Synchronizing actions. Lecture Notes in Computer Science, 1991,512(7):118～132.
    [7] Fr?lund, S. Inheritance of synchronization constraints in concurrent object-oriented programming languages. In: Lehrmann, M.O., ed. Proceedings of the ECOOP'92. LNCS 615, Springer-Verlag, 1992. 185～196.
    [8] Matsuoka, S., Yonezawa, A. Analysis of inheritance anomaly in object-oriented concurrent languages. In: Agha, Gul, Wegner, P., Yonezawa, Akinori, ed. Research Directions in Concurrent Object-Oriented Porgramming. Cambridge, MA: MIT Press, 1993. 107～150.
    [9] America, Pierre. POOL-T: a parallel object-oriented language. In: Yonezawa, A., Tokoro, M., ed. Object-Oriented Concurrent Programming. Cambridge, MA: MIT Press, 1987. 199～220.
    [10] Jan, L.A., van de Snepscheut. Trace theory and VSLI design [Ph.D. Thesis]. Eindhoven, Netherlands: Technische Hogeschool Eindhoven, 1983.
    Related
    Comments
    Comments
    分享到微博
    Submit
Get Citation

吕建,杨大军,廖宇,唐宝.一种并发面向对象同步模型研究.软件学报,2002,13(1):71-79

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:March 17,2000
  • Revised:July 31,2000
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2033371Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063