00:02:56 nyef: what would that assumption buy you? 00:03:56 I'm trying to get a handle on how SSA might be applied to the compiler. 00:04:26 And that assumption would buy somewhat-easier handling of closed-over lambda-vars, as far as I can tell. 00:06:41 Or it could be that I'm still too confused to be able to judge that. 00:07:05 I'm afraid I can't see the connection immediately. 00:07:26 I'm possibly just confused. 00:07:54 But a closure function is, essentially, a disconnected chunk of the CFG until and unless the compiler decides that it's only ever called via "local" calls. 00:08:04 right. 00:08:33 If the closure "escapes", the compiler can't know that it won't be called asynchronously, can it? 00:08:42 right 00:09:12 Even if it can only be called synchronously, the compiler can't know which outbound calls can call back in. 00:09:14 so what would be the problem that asynchronity causes? 00:09:39 nyef: or threads. 00:09:41 yes 00:10:19 I'm just having trouble wrapping my head around the intersection of such lack of knowledge and SSA conversion. 00:16:59 so basically any kind of reentrance is potentially troublesome 00:17:42 ... with closures that mutate closed over vars. 00:17:42 Yeah. 00:17:55 Yeah, the problem is the mutation. 00:19:27 what does SSA do with globals? 00:19:53 Depends on the implementation, but often it ignores them. 00:20:07 I suspect that's what will have to happen here, as well. 00:20:20 seems like the same problem 00:20:26 Yeah. 00:20:54 Okay, I have to head to dinner. Back in a bit. 00:21:26 some type propagation can work but time doesn't flow in one direction anymore 00:33:19 Right. 00:34:13 At the same time, even if a function "escapes", if it's as a parameter to, say, MAP, then it could conceivably be marked as being called synchronously from the MAP call. 00:36:31 I guess my next step is to figure out how some of SBCL's IR1 analysis / optimization works, and to get some practical experience with SSA form. 00:42:02 -!- hargettp [~hargettp@96.237.127.144] has quit [Quit: Linkinus - http://linkinus.com] 00:49:56 nyef: I believe there are some sort of no-escape annotations for higher order functions 00:50:56 Okay, plan B: Finish off my current SSA-related reading queue, then let it -sit- for a week. 00:53:54 (already in SBCL, that is) 01:16:13 Guh. Found some SSA slides that refer to phi-functions with the empty-set or zero symbol (for those fonts where the zero is an O with a / through it) instead of a phi. 01:16:37 Then in the code examples they use an actual phi. 01:38:19 hargettp [~hargettp@96.237.127.144] has joined #sbcl 01:54:00 -!- mega1 [~quassel@2001:470:1f05:548:215:58ff:fe7d:773b] has quit [Read error: Operation timed out] 02:38:50 -!- nyef [~nyef@pool-70-20-57-204.man.east.myfairpoint.net] has quit [Quit: G'night all.] 02:46:34 -!- hargettp [~hargettp@96.237.127.144] has quit [Quit: Leaving...] 03:39:17 -!- homie` [~levgue@xdsl-84-44-178-68.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:57:10 homie [~levgue@xdsl-84-44-178-68.netcologne.de] has joined #sbcl 04:07:38 -!- green` [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 07:17:11 tcr1 [~tcr@217-162-131-235.dynamic.hispeed.ch] has joined #sbcl 07:21:24 flip214 [~marek@unaffiliated/flip214] has joined #sbcl 07:24:37 homie` [~levgue@xdsl-78-35-185-127.netcologne.de] has joined #sbcl 07:26:34 -!- homie` [~levgue@xdsl-78-35-185-127.netcologne.de] has quit [Client Quit] 07:27:03 -!- homie [~levgue@xdsl-84-44-178-68.netcologne.de] has quit [Ping timeout: 240 seconds] 07:31:04 homie [~levgue@xdsl-78-35-185-127.netcologne.de] has joined #sbcl 08:54:53 -!- Krystof [~csr21@csrhodes.plus.com] has quit [Ping timeout: 276 seconds] 10:10:49 -!- Fare [~Fare@ita4fw1.itasoftware.com] has quit [Quit: Leaving] 10:23:51 -!- tcr1 [~tcr@217-162-131-235.dynamic.hispeed.ch] has quit [Ping timeout: 240 seconds] 10:34:10 Krystof [~csr21@cpc2-dals3-0-0-cust1263.hari.cable.virginmedia.com] has joined #sbcl 10:34:10 -!- ChanServ has set mode +o Krystof 10:49:37 attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has joined #sbcl 10:56:39 -!- attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has left #sbcl 10:57:45 attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has joined #sbcl 11:06:47 hargettp [~hargettp@96.237.127.144] has joined #sbcl 11:59:19 -!- hargettp [~hargettp@96.237.127.144] has quit [Quit: Leaving...] 12:12:05 hargettp [~hargettp@96.237.127.144] has joined #sbcl 12:18:18 stassats [~stassats@wikipedia/stassats] has joined #sbcl 12:39:51 -!- hargettp [~hargettp@96.237.127.144] has quit [Quit: Leaving...] 12:52:39 -!- attila_lendvai [~attila_le@catv-80-98-24-21.catv.broadband.hu] has quit [Ping timeout: 276 seconds] 13:28:55 mega1 [~quassel@adsl-63-195-37-158.dsl.snfc21.pacbell.net] has joined #sbcl 14:45:48 -!- flip214 [~marek@unaffiliated/flip214] has quit [Remote host closed the connection] 14:49:54 hargettp [~hargettp@dhcp-162.mirrorimage.net] has joined #sbcl 14:49:58 -!- hargettp [~hargettp@dhcp-162.mirrorimage.net] has quit [Remote host closed the connection] 14:51:27 -!- redline6561 [~user@c-66-56-55-169.hsd1.ga.comcast.net] has quit [Ping timeout: 240 seconds] 15:06:00 -!- ASau [~user@89-178-242-224.broadband.corbina.ru] has quit [Remote host closed the connection] 15:06:45 ASau [~user@89-178-242-224.broadband.corbina.ru] has joined #sbcl 15:28:47 -!- mega1 [~quassel@adsl-63-195-37-158.dsl.snfc21.pacbell.net] has quit [Ping timeout: 246 seconds] 15:53:32 mega1 [~quassel@2001:470:1f05:548:215:58ff:fe7d:773b] has joined #sbcl 16:09:51 -!- Krystof [~csr21@cpc2-dals3-0-0-cust1263.hari.cable.virginmedia.com] has quit [Ping timeout: 240 seconds] 16:17:27 -!- ASau [~user@89-178-242-224.broadband.corbina.ru] has quit [Ping timeout: 240 seconds] 17:00:21 ASau [~user@89-178-242-224.broadband.corbina.ru] has joined #sbcl 17:27:42 -!- homie [~levgue@xdsl-78-35-185-127.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:29:56 homie [~levgue@xdsl-78-35-185-127.netcologne.de] has joined #sbcl 17:39:40 rmarynch [~roman@88.135.194.233] has joined #sbcl 17:41:07 Krystof [~csr21@csrhodes.plus.com] has joined #sbcl 17:41:07 -!- ChanServ has set mode +o Krystof 17:41:38 -!- slyrus [~chatzilla@adsl-75-36-217-249.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 255 seconds] 17:44:40 -!- rmarynch [~roman@88.135.194.233] has quit [Quit: Leaving] 17:56:09 hargettp [~hargettp@dhcp-162.mirrorimage.net] has joined #sbcl 18:57:29 -!- Kaek [~b@c-9ccde253.97-16-64736c12.cust.bredbandsbolaget.se] has quit [Quit: ( www.nnscript.com :: NoNameScript 4.22 :: www.esnation.com )] 19:09:28 slyrus [~chatzilla@173-228-44-88.dsl.static.sonic.net] has joined #sbcl 19:10:26 -!- mnemonicsloth [~user@cpe-071-076-250-251.triad.res.rr.com] has quit [Ping timeout: 240 seconds] 19:19:38 mnemonicsloth [~user@cpe-071-076-250-251.triad.res.rr.com] has joined #sbcl 19:33:11 -!- homie [~levgue@xdsl-78-35-185-127.netcologne.de] has quit [Read error: Operation timed out] 19:33:50 homie [~levgue@xdsl-78-35-182-108.netcologne.de] has joined #sbcl 19:35:24 -!- homie [~levgue@xdsl-78-35-182-108.netcologne.de] has quit [Remote host closed the connection] 19:37:03 homie [~levgue@xdsl-78-35-182-108.netcologne.de] has joined #sbcl 20:47:14 -!- mnemonicsloth [~user@cpe-071-076-250-251.triad.res.rr.com] has quit [Ping timeout: 250 seconds] 21:01:25 Fare [~Fare@ita4fw1.itasoftware.com] has joined #sbcl 21:28:08 -!- tsuru [~charlie@adsl-179-29-10.bna.bellsouth.net] has quit [Remote host closed the connection] 23:54:39 -!- hargettp [~hargettp@dhcp-162.mirrorimage.net] has quit [Remote host closed the connection] 23:55:02 hargettp [~hargettp@96.237.127.144] has joined #sbcl