Invention Grant
- Patent Title: Partial order reduction using guarded independence relations
- Patent Title (中): 使用守卫的独立关系减少部分秩序
-
Application No.: US12181665Application Date: 2008-07-29
-
Publication No.: US08176496B2Publication Date: 2012-05-08
- Inventor: Chao Wang , Zijian Yang , Vineet Kahlon , Aarti Gupta
- Applicant: Chao Wang , Zijian Yang , Vineet Kahlon , Aarti Gupta
- Applicant Address: US NJ Princeton
- Assignee: NEC Laboratories America, Inc.
- Current Assignee: NEC Laboratories America, Inc.
- Current Assignee Address: US NJ Princeton
- Agent Joseph Kolodka; James Bitetto
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F9/46 ; G06F9/50
Abstract:
A system and method for conducting symbolic partial order reduction for concurrent systems includes determining a guarded independence relation which includes transitions from different threads that are independent for a set of states, when a condition or predicate holds. Partial order reduction is performed using the guarded independence relation to permit automatic pruning of redundant thread interleavings when the guarded independence condition holds.
Public/Granted literature
- US20090089783A1 PARTIAL ORDER REDUCTION USING GUARDED INDEPENDENCE RELATIONS Public/Granted day:2009-04-02
Information query
