| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Safepoints (#10039) | Sadiq Jaffer | 2021-07-09 | 1 | -0/+5 |
| | | | | | | | | This PR introduces polling instructions (Ipoll Mach instructions) to guarantee that the mutator can always be interrupted (by signals or other asynchronous actions) in a finite amount of time. Co-authored-by: Damien Doligez <damien.doligez@gmail.com> Co-authored-by: Xavier Leroy <xavierleroy@users.noreply.github.com> Co-authored-by: Mark Shinwell <mshinwell@gmail.com> | ||||
| * | Add a generic backward dataflow analyzer and use it for liveness analysis ↵ | Xavier Leroy | 2021-05-15 | 1 | -0/+85 |
| (#10404) The analyzer is parameterized by an abstract domain and a transfer function. For recursive handlers, it remembers the latest inferred abstract state and uses it to start the next fixpoint iteration. This avoids behaviors exponential in the nesting of recursive handlers, like we would have if we started every iteration with bottom. This exponential behavior was present in the old implementation of liveness analysis. It is gone in the new implementation that just calls into the generic analyzer. | |||||
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |