发明名称 |
DECLARATION OF LIFETIME OF RESOURCE REFERENCE |
摘要 |
A language extension that advances safety in system programming by specifying a lifetime of a reference that represents a resource. In accordance with the language extension, the lifetime references a particular scope in a manner that the compiler generates computer-executable instructions that enforce the lifetime of the reference to be a function of (e.g., no longer than) the lifetime of the particular scope. Accordingly, the resource lifetime may be specified in advance to have a particular scope. This helps in performing resource management as typical managed language programs can allow resources to exist indefinitely. Furthermore, because the resources have a defined finite lifetime, they might be more conveniently allocated on a stack, instead of on a heap, for much more efficient processing. |
申请公布号 |
EP2941700(A1) |
申请公布日期 |
2015.11.11 |
申请号 |
EP20140702319 |
申请日期 |
2014.01.03 |
申请人 |
MICROSOFT TECHNOLOGY LICENSING, LLC |
发明人 |
PARSONS, JARED PORTER;DUFFY, JOHN J.;KATZENBERGER, G. SHON;BROMFIELD, ALEXANDER DANIEL;ROZENFELD, YEVGENIY |
分类号 |
G06F9/45 |
主分类号 |
G06F9/45 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|