并发面向对象中地继承反常现象.docx

并发面向对象中的继承反常现象*
王生原I杨良怀2,袁崇义I杨萍,
"清华大学运算机科学与技术系，北京100084）
«新加坡国立大学计算学院运算机科学系,新加坡）
"北京大学运算机科学技术系，北京100871）
*兰州大学信息科学与工程学院,甘前兰州730000）
Inheritance Anomaly in Concurrent Object Orientation
WANG Sheng-YuanYANG Liang-Huai\ YUAN Chong-Yi\ YANG Ping4
^Department of Computer Science and Technology. Tsinghua University. Beijing 100084. China）
2（Department of Computer Science, School of Computing, National University of Singapore. Singapore ） ^Department of Computer Science and Technology, Beijing University. Beijing 100871. China）
4（School of Information Science and Technology. Lanzhou University. Lanzhou 730000. China）
+ Corresponding author: Phn: +86-, Fax: +86-. E-mail. 2002-10-08; Accepted 2003-01-05
Abstract: The combination of concurrency and object orientation is definitely natural except for inheritance. One of the interferences between inheritance and concurrency is inheritance anomaly. Although having been researched extensively, inheritance anomalies are still only vaguely defined and often misunderstood, and no much formal work has been done. A new viewpoint is set forth for understanding inheritance anomalies, in which each subtyping relation has its specific incremental inheritance. Related concepts and definitions are formalized through the language of Category. Some issues are well adapted to distinguish and explain different standpoints about inheritance ano