World: r3wp
[Core] Discuss core issues
older newer | first last |
JaimeVargas 22-Aug-2006 [5187x3] | Just a small typo, replace b with series for the examples of FOR usage. |
From the behavior it looks like FOR looks very similar to FORSKIP. Only that breaking when the series index is greater than stop. | |
;So a similar result can behaviour can be accomplished with FORSKIP, ie: >> forskip series 2 [print mold series if 6 < index? series [break]] [a b c d e f g h i j k] [c d e f g h i j k] [e f g h i j k] [g h i j k] is equivalent to >> for b start stop 2 [print mold b] [a b c d e f g h i j k] [c d e f g h i j k] [e f g h i j k] [g h i j k] I believe we should have only one form for acommplishing the this type of series traversal. FORSKIP seems like the better choice than FOR. I support removing series support from FOR. If series support is maintained with FOR the infinite loop race condition should be removed. | |
Ladislav 25-Aug-2006 [5190x2] | did you know, that repeat i 2'148'483'647 [] is an infinite cycle in REBOL? |
sorry, I meant: repeat 2'147'483'647 [] | |
Jerry 25-Aug-2006 [5192] | 2'147'483'647 = (power 2 31) - 1 |
Ladislav 25-Aug-2006 [5193x2] | yes |
(the maximal integer) | |
Gabriele 25-Aug-2006 [5195x2] | ladislav, isn't the first one the correct version? |
or did you mean LOOP? | |
Rebolek 25-Aug-2006 [5197] | I've got error! all the time, cannot reproduce it. (number is converted to decimal!) |
Anton 25-Aug-2006 [5198] | Ladislav made a small typo, getting a digit wrong in the number, the first time, and the second time he missed the variable (i). |
Jerry 25-Aug-2006 [5199] | I my opinion, "repeat i 2'147'483'647 []" should repeat exactly 2'147'483'647. Not more, not lessm, not forever. If I want an infinite loop, I would use the "Forever" function instead. I assume that "loop" acts the same to 2'147'483'647, as "repeat" does. Am I right? How about "for": for i 2'147'483'646 2'147'483'647 1 [ print i ] this is not infinite loop, it prints 2'147'483'646 and 2'147'483'647. So I assume that for loop is never infinite. for i 1 2'147'483'647 1 [ print i ] ; this is not infinite loop, I assume. However, for i 1 2'147'483'647 1 [ ] ; not infinite should be kind of equivalent to i: 1 loop 2'147'483'647 [i: i + 1 ] ; infinite This cannot be good. I am confused. |
Anton 25-Aug-2006 [5200x3] | These kinds of issues/bugs are expectable when using fixed byte-length numbers, as rebol does. If you avoid the maximum integer then you should be ok. So I don't think it is as bad as all that. I am not saying the errors are good and fine, but you can "expect trouble", when going that high. Also, each function (LOOP, REPEAT etc) may use a different test ( < , <= etc) and so exhibit different behaviour. |
>> for i 2'147'483'646 2'147'483'647 1 [ print i ] 2147483646 2147483647 ** Math Error: Math or number overflow ** Where: for ** Near: start: start + bump | |
If you fix FOR to catch this overflow error, then it will slow performance. | |
Ladislav 25-Aug-2006 [5203x4] | thanks, Anton, you got it right |
loop works well, the bug is observable only for repeat | |
So I assume that for loop is never infinite. - actually it is infinite too in some cases | |
(see above) | |
JaimeVargas 25-Aug-2006 [5207x2] | Anton, I disagree with the statement "you can expect trouble, when going that high." The condition ilustrated is clearly an error if the iteration forms have and issue with certain values they should not degrade into an infinite loop, but into an error. |
If such behavior is left uncheck, it will be easy to create race conditions in rebol code and an attacker will have ways to create security exploits. | |
Graham 25-Aug-2006 [5209] | A little peeve of mine .. you have to use parens to force Rebol evaluation in a particular order, but parens are also used by compose. |
Ladislav 27-Aug-2006 [5210] | Graham: that is why I found my Build dialect ( http://www.compkarori.com/vanilla/display/build+dialect ) more comfortable |
Graham 27-Aug-2006 [5211] | I need to look at this :) |
Ladislav 28-Aug-2006 [5212] | it looks, that the newest version is: http://www.fm.tul.cz/~ladislav/rebol/build.r |
Will 29-Aug-2006 [5213] | Any idea what can cause this or a good idea how to find the bug? >> read %/ Trace: read (word) Trace: %/ (file) ** Access Error: Trace: "Cannot open" (string) Trace: :arg1 (get-word) Cannot open / ** Where: boot ** Near: read %/ |
Anton 29-Aug-2006 [5214] | registry settings mucked up ? |
Will 29-Aug-2006 [5215] | that is on OS X |
PeterWood 29-Aug-2006 [5216x3] | No problem with Core 2.5.6 under OS X 10.2.8 |
>> read %/ Trace: read (word) Trace: %/ (file) Result: [%.DS....... | |
Is it a permissions problem? | |
Anton 30-Aug-2006 [5219] | That sounds more like it. |
PeterWood 30-Aug-2006 [5220] | The Core Manual ( http://www.rebol.com/docs/core23/rebolcore-17.html )does limit the possible causes a little: 6.3.1 cannot-open A file could not be accessed. This could be a local or network file. Most common reason for this error is a nonexistent directory. |
Will 30-Aug-2006 [5221x2] | I may have been more precise.. this appens after running (uniserve ;-)and after a week of high traffic.. I'm thinking of parsed stuff, redefined words, ecc or maybe a rebol bug, async?.. Hoped some guru could provide some tip on how to track that down, I'm having a hard time! thx |
If I do >>save/all %dump rebol ;or system? and load the dump in a fresh console, is it correct that I should have the same behaviour? | |
Anton 30-Aug-2006 [5223] | It may be worth to do save a dump of the system at these times: 1) after loading uniserve 2) after running for a while without error 3) after getting the error Then compare and find differences between the second and third dump files. (And if nothing is found there compare 1 & 2) |
Graham 30-Aug-2006 [5224] | I have run uniserve for months on end with no problems - basically processing incoming spam. |
Will 30-Aug-2006 [5225] | Anton, do you have a preferred tool when comparing such huge files? do you do text comparison or you have a rebol tool? Is that correct that after reloading the dump in a fresh console I should have the same behaviour, and if not is it a sign of rebol bug? thank you 8) |
Gabriele 30-Aug-2006 [5226x2] | will, reloading the dump is not likely to recreate the problem imo. i actually suspect that the process doesn't have any more file-ids available. |
it's probably either rebol not completely releasing resources, or some weird thing in osx. | |
Anton 30-Aug-2006 [5228] | Will, I just use a text editor and flick between files using Ctrl-Tab, scrolling down using Page-down when I don't see anything different. Raw, and it works pretty well, but it's probably worthwhile looking for a comparison tool out there. |
Will 30-Aug-2006 [5229x2] | Gabriele that is a very good hint! Is there a simple rebol script that I could run and test for this precise case? Is there a unix command to check for number of file-id consumed by process? Althought "read %/" returned error, probe info? %/ was still working, can this help? |
Here you can find 3 process samples, I've done when the bug appeared and the CPU was at 100%, like if the process was waiting for something? a released file-id? Because the error appear in a crescendo, cpu 100%, than ok for some time, cpu 100%, then work ...than stop working at all sometimes with cpu 100% sometimes CPU normal%, here the samples: http://reboot.ch/sample1.txt http://reboot.ch/sample2.txt http://reboot.ch/sample3.txt | |
Gabriele 30-Aug-2006 [5231] | it's a weird situation... does OSX have something like linux's /proc file system? |
Will 30-Aug-2006 [5232x2] | no proc.. |
OS X 10.4 debugging tools: http://developer.apple.com/technotes/tn2004/tn2124.html#SECTOOLS anything here usefull? | |
Henrik 30-Aug-2006 [5234] | I remember that Carl posted a recursive copy routine in the blog somewhere, but I can't find it now. Does anyone know where it is? |
PeterWood 30-Aug-2006 [5235x2] | I was able to duplicate the access error with read %/ with a clean Rebol instance by opening more than 256 files. |
The default max number of files per process for OS/X is 256 - see http://developer.apple.com/qa/qa2001/qa1005.html | |
older newer | first last |