首页 | 本学科首页   官方微博 | 高级检索  
     


A formal semantics for debugging synchronous message passing-based concurrent programs
Authors:LI He  LUO Jie  LI Wei
Abstract:In this paper,we propose a semantic framework to debug synchronous message passing-based concurrent programs,which are increasingly useful as parallel computing and distributed systems become more and more pervasive.We first design a concurrent programming language model to uniformly represent existing concurrent programming languages.Compared to sequential programming languages,this model contains communication statements,i.e.,sending and receiving statements,and a concurrent structure to represent communication and concurrency.We then propose a debugging process consisting of a tracing and a locating procedure.The tracing procedure re-executes a program with a failed test case and uses specially designed data structures to collect useful execution information for locating bugs.We provide for the tracing procedure a structural operational semantics to represent synchronous communication and concurrency.The locating procedure backward locates the ill-designed statement by using information obtained in the tracing procedure,generates a fix equation,and tries to fix the bug by solving the fix equation.We also propose a structural operational semantics for the locating procedure.We supply two examples to test our proposed operational semantics.
Keywords:debugging  synchronous  message passing  concurrent program  operational semantics
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号