Poly/ML

polyml@lists.polyml.org

2 participants
711 discussions

Poly/ML Process Monitor
by tjark.weber＠it.uu.se 20 Aug '14

20 Aug '14

We would like to announce a first version of a graphical process monitoring application for Poly/ML. The monitor displays data regarding, e.g., CPU time, memory footprint, garbage collection and threads of running Poly/ML processes. It is available from https://bitbucket.org/tjark/poly-ml-monitor The monitor is currently available for Linux only. It was written by Magnus Stenqvist and me and relies on Poly/ML's statistics feature, which was implemented by David Matthews. Feedback is welcome. Best, Tjark

1 0

measuring memory usage
by u5028081＠anu.edu.au 18 Aug '14

18 Aug '14

Hi all, Is it possible to measure the memory usage involved in a particular function call from within PolyML 5.5.0? I'm trying to figure out how much memory my vote-counting function uses to count a variety of lists of votes. I'm randomly generating the vote lists, and the functions I'm using for generating the lists seem to use more memory than the count itself. I can't measure what I need with OS tools because they return the memory used to generate the vote lists (because it's larger). I'm not sure where to look for functions of this nature, or if they're even provided in PolyML. Any help appreciated. Thanks in advance, Tom

2 1

can't quit sessions
by u5028081＠anu.edu.au 31 Jul '14

31 Jul '14

Hi all, I'm using PolyML 5.5.0 to run some tests as a batch job and I can't figure out how to quit without using ^D (which I can't feed in automatically when batching things). I've tried using "PolyML.quit ();" and "PolyML.exit 0;" but neither of these work. I'm opening the PolyML structure first (open PolyML;) but I'm still getting errors saying that the commands haven't been declared. I can use some other functions defined in PolyML such as "PolyML.use", but not all (for instance "cd" isn't available). Seems the documentation is incorrect? http://www.polyml.org/docs/Intro1.html Can anyone help me out on this one? Thanks in advance, Tom

2 2

.polyml and poly-stats
by makarius＠sketis.net 02 Jul '14

02 Jul '14

Just a quick question, before I study the Poly/ML sources in detail. What are the conditions under which Poly/ML 5.5.2 creates a directory $HOME/.polyml and puts poly-stats files there? I have recently found by accident that I have hundreds of such files lying around. Maybe I just got some Poly/ML build/run options wrong, such that statistics are enabled accidentally. I am also using PolyML.Statistics.getLocalStats, but shouldn't the shared-memory file be for global stats only? Makarius

5 8

Poly/ML Array.array segmentation fault
by ramana＠member.fsf.org 09 Jun '14

09 Jun '14

This looks like a bug: % poly Poly/ML 5.5.2 Release > Array.array(~12,4); zsh: segmentation fault (core dumped) poly

2 1

Poly/ML 5.5.2 make fails with linker error
by ykt23＠cam.ac.uk 09 Jun '14

09 Jun '14

I've been trying to build polyML 5.5.2 from the SVN trunk and getting a link error: ./configure --enable-shared ... configure: creating ./config.status config.status: creating include/Makefile config.status: creating include/ffi.h config.status: creating Makefile config.status: creating testsuite/Makefile config.status: creating man/Makefile config.status: creating libffi.pc config.status: creating fficonfig.h config.status: linking src/x86/ffitarget.h to include/ffitarget.h config.status: executing buildir commands config.status: skipping top_srcdir/Makefile - not created config.status: executing depfiles commands config.status: executing libtool commands config.status: executing include commands config.status: executing src commands make make all-recursive make[1]: Entering directory `/home/yongkiam/polymltrunk/polyml' ... mv -f .deps/elfexport.Tpo .deps/elfexport.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -Wall -O3 -I../libffi/include -MT unix_specific.lo -MD -MP -MF .deps/unix_specific.Tpo -c -o unix_specific.lo unix_specific.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -Wall -O3 -I../libffi/include -MT unix_specific.lo -MD -MP -MF .deps/unix_specific.Tpo -c unix_specific.cpp -fPIC -DPIC -o .libs/unix_specific.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -Wall -O3 -I../libffi/include -MT unix_specific.lo -MD -MP -MF .deps/unix_specific.Tpo -c unix_specific.cpp -o unix_specific.o >/dev/null 2>&1 mv -f .deps/unix_specific.Tpo .deps/unix_specific.Plo /bin/bash ../libtool --tag=CXX --mode=link g++ -O3 -I../libffi/include -version-info 6:0:0 -o libpolyml.la -rpath /usr/local/lib arb.lo basicio.lo bitmap.lo check_objects.lo diagnostics.lo errors.lo exporter.lo foreign.lo gc.lo gc_check_weak_ref.lo gc_copy_phase.lo gc_mark_phase.lo gc_share_phase.lo gc_update_phase.lo gctaskfarm.lo heapsizing.lo locking.lo memmgr.lo mpoly.lo network.lo objsize.lo osmem.lo pexport.lo poly_specific.lo polystring.lo process_env.lo processes.lo profiling.lo quick_gc.lo realconv.lo reals.lo rts_module.lo run_time.lo save_vec.lo savestate.lo scanaddrs.lo sharedata.lo sighandler.lo statistics.lo timing.lo xwindows.lo x86_dep.lo x86asmtemp.lo elfexport.lo unix_specific.lo ../libffi/libffi_convenience.la -lpthread -lm -ldl -lstdc++ -lgcc_s -lgcc libtool: link: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/4.8/crtbeginS.o .libs/arb.o .libs/basicio.o .libs/bitmap.o .libs/check_objects.o .libs/diagnostics.o .libs/errors.o .libs/exporter.o .libs/foreign.o .libs/gc.o .libs/gc_check_weak_ref.o .libs/gc_copy_phase.o .libs/gc_mark_phase.o .libs/gc_share_phase.o .libs/gc_update_phase.o .libs/gctaskfarm.o .libs/heapsizing.o .libs/locking.o .libs/memmgr.o .libs/mpoly.o .libs/network.o .libs/objsize.o .libs/osmem.o .libs/pexport.o .libs/poly_specific.o .libs/polystring.o .libs/process_env.o .libs/processes.o .libs/profiling.o .libs/quick_gc.o .libs/realconv.o .libs/reals.o .libs/rts_module.o .libs/run_time.o .libs/save_vec.o .libs/savestate.o .libs/scanaddrs.o .libs/sharedata.o .libs/sighandler.o .libs/statistics.o .libs/timing.o .libs/xwindows.o .libs/x86_dep.o .libs/x86asmtemp.o .libs/elfexport.o .libs/unix_specific.o -Wl,--whole-archive ../libffi/.libs/libffi_convenience.a -Wl,--no-whole-archive -lpthread -ldl -lgcc -L/usr/lib/gcc/x86_64-linux-gnu/4.8 -L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/4.8/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu/crtn.o -O3 -Wl,-soname -Wl,libpolyml.so.6 -o .libs/libpolyml.so.6.0.0 /usr/bin/ld: .libs/x86asmtemp.o: relocation R_X86_64_PC32 against symbol `X86AsmSaveStateAndReturn' can not be used when making a shared object; recompile with -fPIC /usr/bin/ld: final link failed: Bad value collect2: error: ld returned 1 exit status make[2]: *** [libpolyml.la] Error 1 make[2]: Leaving directory `/home/yongkiam/polymltrunk/polyml/libpolyml' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/yongkiam/polymltrunk/polyml' make: *** [all] Error 2

2 1

standard input contains a leading blank line? (5.5.2 with --enable-shared)
by michael.norrish＠nicta.com.au 28 May '14

28 May '14

If the following is foo.ML: fun doit () = let fun recurse i = case TextIO.inputLine TextIO.stdIn of NONE => () | SOME l => (print (Int.toString i ^ ": " ^ l); recurse (i + 1)) in recurse 1 end; PolyML.export("mytest", doit); and I then do $ poly < foo.ML $ cc -o mytest mytest.o -lpolymain -lpolyml $ echo "hello, world" | ./mytest I get 1: 2: hello, world as output. This is with a polyml 5.5.2 just downloaded from Sourceforge and configured with --enable-shared. I'm pretty sure this used to work (a minor feature of the HOL4 build process depended on it). Michael

2 1

Poly on MinGW
by rda＠lemma-one.com 25 May '14

25 May '14

I am trying to understand my options for using Poly/ML on MinGW for building windows applications coded in Standard ML. There is a bug reported in http://sourceforge.net/p/mingw/bugs/2043/ that you have to work around to build Poly/ML with the current MinGW. The work-around is to run configure with CXXFLAGS="-D_GLIBCXX_HAVE_FENV_H=1? in the environment. (I suspect I should also throw -O3 in there too, as I think that setting CXXFLAGS replaces its initial setting of -O3 inside the makefiles. Is that right?) Having got Poly/ML to compile, I found that polyc gives errors like the following when asked to compile a source file: gcc.exe: error: C:/DOCUME~1/rda/LOCALS~1/Temp/polyobj.2724.obj: No such file or directory If I create an object file from the Poly/ML GUI using PolyML.export, polyc will link it. If I understand what is going on correctly, the resulting program is a Windows application that brings up the Poly/ML GUI to provide the standard input, output and error channels, unless it is run with standard input and output connected to pipes, in which case it works like a pipe. I think I may end up having to package the Standard ML parts of my application as a server, with the GUI provided by clients implemented in some other language. Are there any other options? Regards, Rob.

3 7

Run out of store - interrupting threads
by David.Matthews＠prolingua.co.uk 18 May '14

18 May '14

This question arose from something on the isabelle-dev list but I think it's really of general interest. Currently Poly/ML only gives the "Run out of store - interrupting threads" message if it really cannot allocate the required memory after a full GC. This is actually rather unlikely for small cells. Instead as the amount of free space left in the heap gets smaller the GC runs more and more often. The ML code is still making progress but only very slowly. I wonder if there is a case for actually giving up at that point. Is it better to plough on in the hope that the program will complete or is it more helpful to produce a message and allow the user to try with more memory? This situation is most likely to happen if the heap space is restricted either because the address space limit has been reached in 32-bit mode or if the maximum heap has been set too low with --maxheap. David

2 3

Poly/ML 5.5.2 Released
by David.Matthews＠prolingua.co.uk 17 May '14

17 May '14

Since I haven't had any recent bug reports I've uploaded the current SVN snap-shot to SourceForge as version 5.5.2. Most of the changes are bug fixes. One major fix was to the intermediate code optimiser reported back in September. Other changes are the addition of PrettyStringWithWidth and PrettyLineBreak constructors to the PolyML.pretty datatype, Thread.Thread.numPhysicalProcessors to return the number of physical processors and printing ?.t in circumstances where t is bound to a different type. The debugger has been extended to include structures and the arguments to functors. As always, let me know if you find bugs or problems. David

3 9

← Newer
1
...
26
27
28
29
30
31
32
...
72
Older →

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML