search for: conditionalcheck

Displaying 3 results from an estimated 3 matches for "conditionalcheck".

2014 Aug 02
2
[LLVMdev] Adding a stack probe function attribute
...things, would that be incorrect? > - Pick a more generic name. Possibly "StackOverflowGuard"? > - Use two parameters. First, "minimum guard region size" (non-negative > integer number of bytes). Second, "test mechanism" (enum (FuncCall, Load, > Store, ConditionalCheck)). For the conditional check version, you'd need a > way to specify a failure handler. For the func call version, you need a > way to set the routine. > > > Now, I realize this is well beyond what you originally wanted to > implement. If you wanted to make the minimum cha...
2014 Aug 01
2
[LLVMdev] Adding a stack probe function attribute
The point of this is to cheaply detect all stack overflows using a guard page. For a guard page to actually detect all stack overflows, we need to ensure that the code touches each page of the stack in the right order, otherwise it could skip the guard page and write outside the stack. That is very bad for languages such as Rust which provides memory safety, so it currently does an explicit
2014 Aug 05
2
[LLVMdev] Adding a stack probe function attribute
...gt; > > > >> - Pick a more generic name. Possibly "StackOverflowGuard"? >> - Use two parameters. First, "minimum guard region size" (non-negative >> integer number of bytes). Second, "test mechanism" (enum (FuncCall, Load, >> Store, ConditionalCheck)). For the conditional check version, you'd need a >> way to specify a failure handler. For the func call version, you need a >> way to set the routine. >> >> >> Now, I realize this is well beyond what you originally wanted to >> implement. If you wanted...