Poly/ML

polyml@lists.polyml.org

695 discussions

FFI conversion for unsigned long int
by phil.clayton＠lineone.net 08 Aug '12

08 Aug '12

The conversion INT has an unsigned counterpart UINT but there is no corresponding unsigned version of LONG. In order to use LONG to pass unsigned values, it is necessary to adjust the value on the SML side (which is an int) so that the range checking of LONG does not reject valid values. For example, see my definition of ULONG below. However, I can't see way to define ULONG portably - the SML side adjustment needs to know the size of an unsigned long. Is this available somewhere? Is there some clever way to define a portable ULONG in terms of LONG? Phil local val m = case PolyML.architecture () of "X86_64" => IntInf.pow (2, 64) | "I386" => IntInf.pow (2, 32) | _ => raise Fail "unknown architecture" val half_m = m div 2 fun fromLong x = (* Assume x in range of (signed) long int. *) if x < 0 then x + m else x fun toLong x = (* * Ensure result outside range of (signed) long int if and only * if x is outside the range of unsigned long int by swapping * regions [~m/2, 0) and [m/2, m). *) if half_m <= x andalso x < m then x - m else if ~ half_m <= x andalso x < 0 then x + m else x in val ULONG = CInterface.mapConversion (fromLong, toLong) CInterface.LONG end (* Test ULONG *) local open CInterface in fun printULong n = call2 (get_sym "libc.so.6" "printf") (STRING, ULONG) VOID ("n = %lX\n", n) end val pow_2_32 = IntInf.pow (2, 32); val pow_2_64 = IntInf.pow (2, 64); printULong ~1; (* should fail *) printULong 0; (* always ok *) printULong (pow_2_32 - 1); (* always ok *) printULong pow_2_32; (* should fail when long is 32 bits *) printULong (pow_2_64 - 1); (* ok when long is at least 64 bits *) printULong pow_2_64; (* should fail when long is 64 bits *)

1 0

userGCRatio default value
by Jeremy.Singer＠glasgow.ac.uk 12 Jul '12

12 Jul '12

Hi David, Thanks for your superb progress on heap resizing in the Poly/ML runtime. I am adapting my control theory heap sizer to fit into your new scheme. I notice that you set the default userGCRatio to 1.0/9.0 in heapsizing.cpp: HeapSizeParameters::SetHeapParameters However the comment says that the default target is 10%. Should we change the userGCRatio to 1.0/10.0 ? Cheers, Jeremy The University of Glasgow, charity number SC004401

1 0

BasicXXXFun vs XXXToolsFun
by aleks0＠gmail.com 06 Jul '12

06 Jul '12

This is a question mainly for Lucas. Probably we've been over this before, but I don't remember well. 1. What is included in these two things separately? It seems to me the BasicXXXFun's only define getters, setters, and pretty print. I.e. they are dumb data structures. 2. Why are they needed?

1 1

Storage management update
by David.Matthews＠prolingua.co.uk 05 Jul '12

05 Jul '12

On 05/07/2012 12:03, Gerwin Klein wrote: > Hi David, > > sounds excellent, we'll definitely be trying it out. > > Should we expect the Darwin version to be close to stable as well or should we concentrate on Linux only? > > Cheers, > Gerwin Hi Gerwin, The reason I've concentrated on Linux is simply that I don't have a Mac. I can use the Macs at T?M but provoking them to start paging isn't friendly to other users. It's likely that the current code will work equally well on Mac OS so go ahead and try it. Windows/Cygwin is a somewhat different matter. There's no easy way to detect paging on Windows. The page fault counter that is available actually returns the soft page count and apparently this is what Cygwin returns as the hard page count. I've had to use an undocumented interface to get the paging count in that case and it may overestimate it. I'll just have to see how that works. Regards, David

1 0

CInterface causing poly to crash
by aleks0＠gmail.com 03 Jul '12

03 Jul '12

Any idea why calling symbols from certain shared libraries would cause poly/ML to crash on OS X? Example: > val gtk = load_lib "libgtk-quartz-2.0.dylib"; val gtk = ?: dylib > val gtk_init = call2 (load_sym gtk "gtk_init") (INT,INT) VOID; val gtk_init = fn: int * int -> unit > gtk_init(0,0); [1] 96630 killed rlwrap -z poly This (or rather, the equivalent) code works fine on linux, and "libgtk-quartz-2.0.dylib" will link with C code in OS X with no problems. It seems to only do this for some libraries. For instance, the "difference" example from the poly docs (http://www.polyml.org/docs/CInterface.html) also works fine on OS X.

3 9

rlwrap filter for Poly/ML
by aleks0＠gmail.com 01 Jun '12

01 Jun '12

Hi all, I've written a very basic rlwrap filter for using Poly/ML from the command line. Currently, it does tab-completion for globals and expands two macros that are useful for reading off info about signatures and structures: ?s FOO ====> signature SIG = FOO; ?S Foo ====> structure Str = Foo; It's available here: https://github.com/akissinger/sublime-polyml/blob/master/poly_filter.pl Obviously there are many ways this could be enhanced. If you have good ideas, let me know, or fork the repo yourself on github. Best, Aleks Kissinger

1 0

Poly/ML SVN: assertion failure when attempting to dump heap
by aleks0＠gmail.com 01 Jun '12

01 Jun '12

I'm attempting to build a large poly/ML program (Quantomatic) which makes use of many load/save states (incremental compiling via Lucas Dixon's PolyML.Project). Works fine in fixes-54, but in trunk I get this error: poly: statistics.cpp:241: void Statistics::decSize(int, size_t): Assertion `s <= statMemory->psSizes[which]' failed. Aborted (core dumped) Seems it only fails after compiling a large amount of code at once.

2 1

Accessing a representation of types
by schaffro＠in.tum.de 20 May '12

20 May '12

Hello, I am currently working on integrating the QCheck/SML automatic unit testing library with the theorem prover Isabelle at TU M?nchen and automating the construction of random value generators. It would be very helpful to know if there is an internal representation of value and function types that can be accessed in some way other than parsing the string returned upon creation. Thank you for any helpful information, Nicolai

2 1

assertion failed in r1520
by ramana.kumar＠gmail.com 07 May '12

07 May '12

I keep running into this kind of problem in svn revision 1520. > hol.builder: gc_mark_phase.cpp:433: virtual void MTGCProcessMarkPointers::ScanAddressesInObject(PolyObject*, POLYUNSIGNED): Assertion `gMem.SpaceForAddress(wordAt.AsCodePtr()) != 0' failed. Aborted I'm guessing it's a known problem in unstable, but if not I'd be happy to provide more information as necessary. If it is known, is it likely to be fixed in svn soon? Thanks, Ramana

2 1

gcbench in SML
by Jeremy.Singer＠glasgow.ac.uk 06 May '12

06 May '12

Hi David, I am trying to create something like Hans Boehm's GC benchmark - http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_bench.html in SML. My current attempt is at: http://pastebin.com/2RW9jpCJ Sorry - I forgot all my ML years ago. Here are some things I'm not sure how to do nicely in Poly/ML: * printf without lots of String.concat * is there a runtime API call to get the totalMem (current heap size?) and the free mem (currently unused blocks in heap?) * Are all my ephemeral objects being created properly, or is the compiler optimizing away their allocation? How could I tell? * So far, I have been checking gc activity with --debug gc flag. Are there any more powerful tools for GC profiling/checking? Thanks, Jeremy The University of Glasgow, charity number SC004401

5 4

← Newer
1
...
33
34
35
36
37
38
39
...
70
Older →

Jump to page:

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