公开(公告)号：EP2419855A4

公开(公告)日：2013-01-16

申请号：EP10764898

申请日：2010-04-01

申请人： MICROSOFT CORP

发明人： DUFFY JOHN J ,  LUCCO STEVEN EDWARD ,  HEJLSBERG ANDERS ,  TAILLEFER MARTIN

IPC分类号： G06F9/44 ,  G06F12/14

CPC分类号： G06F9/52

摘要： An object reference is tagged with an isolation permission modifier. At least two permissions can be included, and in an example three permissions are included. In implementing the permissions, type modifiers for controlling access to type members through references pointing at an object are defined. One of the type modifiers is associated with each occurrence of a type name. Each of the of type modifiers defines a different access permission to restrict operations on the object to which the reference points.

公开(公告)号：EP2585917A4

公开(公告)日：2014-04-09

申请号：EP11807220

申请日：2011-06-10

申请人： MICROSOFT CORP

发明人： YILDIZ HUSEYIN S ,  DUFFY JOHN J

IPC分类号： G06F9/455 ,  G06F9/48 ,  G06F11/00

CPC分类号： G06F9/4843 ,  G06F9/45504 ,  G06F11/004 ,  G06F11/0751 ,  G06F2009/45583

摘要： A parallel execution runtime prevents stack overflow by maintaining an inline counter for each thread executing tasks of a process. Each time that the runtime determines that inline execution of a task is desired on a thread, the runtime determines whether the inline counter for the corresponding thread indicates that stack overflow may occur. If not, the runtime increments the inline counter for the thread and allows the task to be executed inline. If the inline counter indicates a risk of stack overflow, then the runtime performs additional one or more checks using a previous stack pointer of the stack (i.e., a lowest known safe watermark), the current stack pointer, and memory boundaries of the stack. If the risk of stack overflow remains after all checks have been performed, the runtime prevents inline execution of the task.

摘要翻译： 并行执行运行程序通过为执行进程的任务的每个线程维护一个内联计数器来防止堆栈溢出。 每当运行时确定在线程上期望执行任务时，运行时确定对应线程的内联计数器是否指示可能发生堆栈溢出。 如果没有，运行时会增加线程的内联计数器，并允许任务在线执行。 如果内联计数器指示堆栈溢出的风险，则运行时使用堆栈的先前堆栈指针（即，最低已知的安全水印），当前堆栈指针和堆栈的存储器边界来执行附加的一个或多个检查。 如果在执行所有检查后仍然存在堆栈溢出的风险，则运行时可以防止任务的内联执行。