Invention Grant
- Patent Title: Happens-before-based dynamic concurrency analysis for actor-based programs
-
Application No.: US16007983Application Date: 2018-06-13
-
Publication No.: US10719425B2Publication Date: 2020-07-21
- Inventor: Nicholas John Allen , Yang Zhao , Cristina Nicole Cifuentes , Nathan Robert Albert Keynes
- Applicant: Oracle International Corporation
- Applicant Address: US CA Redwood Shores
- Assignee: Oracle International Corporation
- Current Assignee: Oracle International Corporation
- Current Assignee Address: US CA Redwood Shores
- Agency: Ferguson Braswell Fraser Kubasta PC
- Main IPC: G06F11/00
- IPC: G06F11/00 ; G06F11/36
Abstract:
A method may include generating, for a concurrent application, an execution trace that includes operations, extracting actor pairs from the execution trace, assigning each of the operations to an actor pair, and generating vector clocks for the operations. Each vector clock may include a clock value for each of the actor pairs.
Public/Granted literature
- US20190384695A1 HAPPENS-BEFORE-BASED DYNAMIC CONCURRENCY ANALYSIS FOR ACTOR-BASED PROGRAMS Public/Granted day:2019-12-19
Information query
