Invention Grant
US08782644B2 Preventing unsafe sharing through confinement of mutable captured variables
有权
通过限制可变捕获的变量来防止不安全的共享
- Patent Title: Preventing unsafe sharing through confinement of mutable captured variables
- Patent Title (中): 通过限制可变捕获的变量来防止不安全的共享
-
Application No.: US13028104Application Date: 2011-02-15
-
Publication No.: US08782644B2Publication Date: 2014-07-15
- Inventor: Brian Goetz , Alexander R. Buckley
- Applicant: Brian Goetz , Alexander R. Buckley
- Applicant Address: US CA Redwood Shores
- Assignee: Oracle International Corporation
- Current Assignee: Oracle International Corporation
- Current Assignee Address: US CA Redwood Shores
- Agency: Park, Vaughan, Fleming & Dowler LLP
- Agent Chia-Hsin Suen
- Main IPC: G06F9/46
- IPC: G06F9/46
Abstract:
The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system provides a mechanism for restricting a variable to a runtime context in the software program. Next, the system identifies the runtime context during execution of the software program. Finally, the system uses the mechanism to prevent incorrect execution of the software program by ensuring that a closure capturing the variable executes within the identified runtime context.
Public/Granted literature
- US20120210320A1 PREVENTING UNSAFE SHARING THROUGH CONFINEMENT OF MUTABLE CAPTURED VARIABLES Public/Granted day:2012-08-16
Information query
