2009/7/25 Alexander Ray <[email protected]>: > On a similar note, I'd like to add the question (which might be a solution) > > Is there any sort of profiler available for Oz code? Possibly > something built in (for debugging?) into the VM.
Yes, see http://www.mozart-oz.org/home/doc/profiler/index.html > > Thanks > ~Alex > > On Sat, Jul 25, 2009 at 8:27 PM, Rusreg<[email protected]> wrote: >> I create simple logic library for parsing text (part of this library in >> archive by link below). But execution time of parsing text using it is very >> painful. >> >> Library contain LChar module that translate some function of original Char >> module to nondetermistik variant, LList module - similary to List and String >> module that incapsulate some string-specific operations - all in >> nondeterministik way. >> main.oz file contain simple use case of library - parsing the text such >> "attr_name attribute values" to record property("attr_name", "attribute >> values"). And such simple example work 35 second on my machine! After I >> replace the realisation of Char module by content in char1.oz file, the time >> grow short to 25 second. I think that problem in All procedure in LList >> module: >> >> proc {All List Predicate Result} >> choice >> List = nil Result = false >> [] X in List = X|nil {Predicate X true} Result=true >> [] X in List = X|nil {Predicate X false} Result=false >> [] X T in >> X|T=List >> {Predicate X true} >> {All T Predicate true} >> Result=true >> [] X T in >> X|T=List >> {Predicate X false} >> Result = false >> end >> end >> >> This predicate bind Result to true if all members of list obey to Predicate >> and false if exist one or more members that not. >> >> Archive with example: >> http://www.4shared.com/file/120658649/438bf6be/logic.html >> >> _________________________________________________________________________________ >> mozart-users mailing list >> [email protected] >> http://www.mozart-oz.org/mailman/listinfo/mozart-users >> > _________________________________________________________________________________ > mozart-users mailing list > [email protected] > http://www.mozart-oz.org/mailman/listinfo/mozart-users > -- Gustavo Andrés Gómez Farhat _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
