chicken-janitors
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Chicken-janitors] #1436: Don't disable inline file generation with -O5


From: Chicken Trac
Subject: [Chicken-janitors] #1436: Don't disable inline file generation with -O5 (disable-interrupts)
Date: Tue, 02 Jan 2018 10:27:37 -0000

#1436: Don't disable inline file generation with -O5 (disable-interrupts)
----------------------+--------------------------------
 Reporter:  megane    |                 Owner:
     Type:  defect    |                Status:  new
 Priority:  minor     |             Milestone:  someday
Component:  compiler  |               Version:  5.0
 Keywords:  inlining  |  Estimated difficulty:
----------------------+--------------------------------
 (I'm assuming here that disable-interrupts is enough to implement critical
 sections in concurrency related code.)

 The disable-interrupts declaration correctly disables the global inline
 file generation. My belief is that inlining is more of an optimization
 than disabling the interrupt checks.

 So removing the disable-interrupts from O5 would be one choice.

 But wouldn't it be OK to always disable the checks in inlined code? The
 functions made available for global inlining are controlled explicitly by
 the  user by the use of the inline declaration. So if you need interrupt
 checks (a function doing some heavy computation perhaps) just don't make
 it available for global inlining.

--
Ticket URL: <https://bugs.call-cc.org/ticket/1436>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]