Re: [racket-dev] [plt] Push #28576: master branch updated
At Sat, 19 Apr 2014 19:41:49 -0600, Matthew Flatt wrote: > > At Sat, 19 Apr 2014 17:36:40 -0400, Vincent St-Amour wrote: > > At Sat, 19 Apr 2014 13:19:25 -0400, > > mfl...@racket-lang.org wrote: > > > a01b12e Matthew Flatt 2014-04-19 10:11 > > > : > > > | optimizer: don't move expressions into a `with-continuation-mark` > > > | > > > | ... unless the optimizer can prove that the expression doesn't > > > | inspect continuation marks. > > > : > > > M pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl | 12 > > > +++- > > > M racket/src/racket/src/optimize.c| 5 + > > > > This optimization can be observed from another thread, like a profiler's > > sampling thread, even if the relevant code doesn't observe continuation > > marks itself. > > Right: If there's some synchronization point within the expression so > that you could reliably observe the thread at that point, then the > expression doesn't get moved relative to marks. Ok, no problem then. Sorry for the noise. Vincent _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] [plt] Push #28576: master branch updated
At Sat, 19 Apr 2014 17:36:40 -0400, Vincent St-Amour wrote: > At Sat, 19 Apr 2014 13:19:25 -0400, > mfl...@racket-lang.org wrote: > > a01b12e Matthew Flatt 2014-04-19 10:11 > > : > > | optimizer: don't move expressions into a `with-continuation-mark` > > | > > | ... unless the optimizer can prove that the expression doesn't > > | inspect continuation marks. > > : > > M pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl | 12 > > +++- > > M racket/src/racket/src/optimize.c| 5 + > > This optimization can be observed from another thread, like a profiler's > sampling thread, even if the relevant code doesn't observe continuation > marks itself. Right: If there's some synchronization point within the expression so that you could reliably observe the thread at that point, then the expression doesn't get moved relative to marks. _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] [plt] Push #28576: master branch updated
At Sat, 19 Apr 2014 13:19:25 -0400, mfl...@racket-lang.org wrote: > a01b12e Matthew Flatt 2014-04-19 10:11 > : > | optimizer: don't move expressions into a `with-continuation-mark` > | > | ... unless the optimizer can prove that the expression doesn't > | inspect continuation marks. > : > M pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl | 12 +++- > M racket/src/racket/src/optimize.c| 5 + This optimization can be observed from another thread, like a profiler's sampling thread, even if the relevant code doesn't observe continuation marks itself. Vincent _ Racket Developers list: http://lists.racket-lang.org/dev
