Poly/ML

polyml@lists.polyml.org

2 participants
698 discussions

FFI overhead
by artella.coding＠googlemail.com 21 Sep '15

21 Sep '15

Hi, I thought that I would try to speed up the SML code at http://stackoverflow.com/questions/32425267/how-to-improving-array-benchmar… by using the FFI, but this results in significant slowdown. Non ffi code : ************************************************************************* ************************************************************************* ************************************************************************* val size:int = 50000; val loops:int = 30; val cap:int = 50000; val data = IntArray.array(size,0); fun loop () = let fun loopI i = if i = size then let val _ = () in IntArray.update(data,0,IntArray.sub(data,size-1)); () end else let val previous = IntArray.sub(data,i-1) val use = if previous > cap then 0 else previous in IntArray.update(data,i,use+1); loopI (i+1) end in loopI 1 end fun benchmarkRun () = let fun bench i = if i = loops then () else let val _ = () in loop (); bench (i+1) end in bench 1 end fun sum (i,value) = if i = size then value else sum(i+1,value+Array.sub(data,i)) fun main () = let val _ = () in benchmarkRun(); print (Int.toString (sum (0,0))); print "\n" end (*val _ = main ()*) ************************************************************************* ************************************************************************* ************************************************************************* FFI code : c code : ************************************************************************* ************************************************************************* ************************************************************************* //intArray.c #include <stdlib.h> #include <stdio.h> typedef struct _intArray { int size; int* arr; } intArray; intArray* createIntArray(int size){ int i; intArray* p = (intArray*) malloc (sizeof(intArray)); p->arr = (int*) malloc (size*sizeof(int)); for(i=0; i<size; i++){ p->arr[i] = 0; } p->size = size; return p; } void destroyIntArray(intArray* p){ free (p->arr); free (p); } void setIntArray(intArray* p, int elem, int val){ p->arr[elem] = val; } int getIntArray(intArray *p, int elem){ return p->arr[elem]; } int getSumIntArray(intArray* p){ int sum = 0; int i; int size = p->size; for(i=0; i<size; i++){ sum += p->arr[i]; } return sum; } ************************************************************************* ************************************************************************* ************************************************************************* ml code : ************************************************************************* ************************************************************************* ************************************************************************* open CInterface; val lib = load_lib "./intArray.so"; val get = get_sym "./intArray.so"; val PINTARR = POINTER; val c1 = call1 (get "createIntArray") INT PINTARR val c2 = call3 (get "setIntArray") (PINTARR,INT,INT) VOID val c3 = call2 (get "getIntArray") (PINTARR,INT) INT val c4 = call1 (get "getSumIntArray") (PINTARR) INT fun c_createIntArray (size) = c1 (size); fun c_setIntArray (p,elem,value) = c2 (p,elem,value); fun c_getIntArray (p,elem) = c3 (p,elem); fun c_getSumIntArray (p) = c4 (p); val size:int = 50000; val loops:int = 30; val cap:int = 50000; fun loop (pData2) = let fun loopI i = if i = size then let val _ = () in c_setIntArray(pData2,0,c_getIntArray(pData2,size-1)); () end else let val previous = c_getIntArray(pData2,i-1); val use = if previous > cap then 0 else previous in c_setIntArray(pData2,i,use+1); loopI (i+1) end in loopI 1 end fun benchmarkRun (pData2) = let fun bench i = if i = loops then () else let val _ = () in loop (pData2); bench (i+1) end in bench 1 end fun main () = let val pData = c_createIntArray(size); val final = load_sym lib "destroyIntArray"; in setFinal final pData; benchmarkRun(pData); print (Int.toString (c_getSumIntArray (pData))); print "\n" end ************************************************************************* ************************************************************************* ************************************************************************* The times are : a)for non ffi sml : 0.09s b)for ffi sml : 11.8s Is there any way I can improve the speeds on the ffi code? Thanks

3 4

Windows GUI and console
by David.Matthews＠prolingua.co.uk 15 Sep '15

15 Sep '15

The issue of the Windows console window has come up from time to time and I've had another look at the code and made a few minor changes. The first change is to provide an option to "./configure" to allow Poly/ML to be built as a "console" application rather than a "windows" application. Setting "--disable-windows-gui" passes -mconsole to the linker rather than -mwindows. This sets the appropriate bits in the EXE header. As well as affecting the linking of "poly" itself it also affects executables built with "polyc". The default remains "--enable-windows-gui" to build as a "windows" application. The second change is that when Poly is built as a Windows application, the default, it puts up a GUI window only if standard output has not been provided. Previously it put up a GUI window unless both standard input and standard output were provided. If it creates a GUI window for output it also uses it for input unless there is an explicit standard input provided. It may be helpful to provide a bit of background. I have the impression that there are two different classes of users when it comes to Poly/ML on Windows. Users from a Windows background expect the application to come with an installer, a Windows GUI and to support the standard copy-and-paste, in particular with the standard control-C/control-V key bindings. Users from a Unix background are much more used to running applications in a console window and are more likely to build applications from source. The problem is to satisfy both classes of user. Executables in Windows can be either "windows" or "console" applications depending on the "subsystem" setting in the EXE header. "console" applications are always started with a cmd.exe-style console unless they're already in a console. "windows" applications are expected to create their own GUI. My impression is that "console" applications are regarded as a legacy of DOS and not well supported. That's why I've made "windows" mode the default. Nevertheless there may be cases where someone would like to build "poly" as a console application which is the reason for adding the option. David

2 5

Fwd: Course programming language
by David.Matthews＠prolingua.co.uk 15 Sep '15

15 Sep '15

Well of course there is a Windows installer for the latest release version of Poly/ML at http://sourceforge.net/projects/polyml/files/polyml/5.5.2/ . The source for the installer is included in the source files but it needs Visual Studio and Wix ( http://wixtoolset.org/ ). David On 15/09/2015 15:00, Artella Coding wrote: > I saw your comment at > http://lists.inf.ed.ac.uk/pipermail/polyml/2015-September/001620.html > > "I have the impression that there are two different classes of users when > it comes to Poly/ML on Windows. Users from a Windows background expect the > application to come with an installer, a Windows GUI and to support the > standard copy-and-paste, in particular with the standard > control-C/control-V key bindings." > > and thought I would forward you the below, because it confirms what you say. > > ---------- Forwarded message ---------- > From: Andrej Bauer <andrej.bauer at andrej.com> > Date: Mon, Sep 14, 2015 at 7:20 PM > Subject: Re: Course programming language > To: Artella Coding <artella.coding at googlemail.com> > > > This is a completely different thing: until there is a Windows-style > installer where students just click through things it's a show > stopper. That is the reality of today's stdents (of math). > > On Mon, Sep 14, 2015 at 7:45 PM, Artella Coding > <artella.coding at googlemail.com> wrote: >> https://twitter.com/andrejbauer/status/643158821083418625 >> >> p.s. if you were also considering Standard ML you could try the > instructions >> David Matthew gave to build from source. >> >> http://lists.inf.ed.ac.uk/pipermail/polyml/2015-August/001593.html >> http://lists.inf.ed.ac.uk/pipermail/polyml/2015-August/001602.html >> >> All you need is msys2 and the rest is pretty seamless. >> >> >

1 0

Program seems to run instead of just compiling
by artella.coding＠googlemail.com 14 Sep '15

14 Sep '15

Hi, Suppose that I have the following code : (* Test.sml *) fun f() = print "-------test------"; val test = f(); Then if I compile this via "polyc -c Test.sml" the program actually runs before emitting an error message : -------test------poly: : error: Value or constructor (main) has not been declared Found near PolyML.export (List.nth (CommandLine.arguments (), 3), main) Static Errors Why does the program attempt to run instead of merely compiling? Thanks

2 1

The History of Standard ML: Ideas, Principles, Culture
by makarius＠sketis.net 12 Sep '15

12 Sep '15

Here is an interesting talk at the ML Workshop http://www.mlworkshop.org/ml2015 at ICFP 2015: David MacQueen The History of Standard ML: Ideas, Principles, Culture https://www.youtube.com/watch?v=NVEgyJCTee4 It briefly mentions the heroic efforts by David Matthews to make the first complete SML implementation, based on the existing Poly compiler. Glad to see that this very first SML project still defines the cutting edge until today! Makarius

1 0

Windows Unicode
by David.Matthews＠prolingua.co.uk 10 Sep '15

10 Sep '15

This was something that came out of a discussion with Makarius about using the native Windows version with Isabelle but it's probably of general interest to anyone who uses or might use the native Windows version. The current master version uses the ANSI interface to Windows API calls rather than Unicode. I've been experimenting with a version that uses the Unicode, or more correctly UTF-16, interface. What this means is that the conversion between ML strings and, for example file-names, is handled by Poly/ML itself rather than defaulting to the current code-page. It only affects non-ASCII characters. The experimental code is in the Windows-Unicode branch and requires ./configure CPPFLAGS="-DUNICODE -D_UNICODE" to build the Unicode version. The resulting poly takes a --codepage option to set the code-page to be used for conversion. Probably "utf8" is the most useful argument to give here. I've been wondering whether to make the Unicode version the default rather than ANSI. There's also the question of how best to specify the codepage. For backwards compatibility I think it should default to the system code-page but UTF-8 is likely to be very popular. Perhaps there should be some programmatic way (PolyML.setWindowCodePage ???) to set it as well as/instead of the command line argument. Setting the code-page affects file-names, both those used for reading and writing files but also the names returned by OS.FileSys.readDir. It also affects command-line arguments and environment variables. When using the Windows GUI in "poly.exe" it affects the way characters are displayed when text is written to TextIO.stdOut. David

4 5

Entrypoint into sml main from C
by artella.coding＠googlemail.com 04 Sep '15

04 Sep '15

Is "Handle IntTaskData::EnterPolyCode()" in interpret.cpp ( https://github.com/polyml/polyml/blob/ce3107ba56c642bb0e1e8f60605018f9f46c4…) the point at which the sml main function is invoked from the C code? Thanks

2 2

Anyone having problems getting through to http://www.polyml.org/ ?
by artella.coding＠googlemail.com 30 Aug '15

30 Aug '15

Hi, http://downforeveryoneorjustme.com/www.polyml.org seems to indicate it is up and running, and David also mentioned that it is fine, but I am having problems getting through (computer just hangs). Is anyone else having problems getting through to the website http://www.polyml.org/ ? Thanks

2 1

Building with msys & GNU Make 3.82 (windows 7)
by artella.coding＠googlemail.com 28 Aug '15

28 Aug '15

Has anyone had success building via msys? I got the latest copy from github & "./configure" runs fine, but when I do "make" I eventually get errors like : C:\Temp\sml\make: invalid option -- a C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- = C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- C:\Temp\sml\make: invalid option -- c C:\Temp\sml\make: invalid option -- C:\Temp\sml\make: invalid option -- J Thanks

3 12

Fwd: [Sml-basis-discuss] Standard ML Basis Library proposals
by David.Matthews＠prolingua.co.uk 21 Aug '15

21 Aug '15

This message appeared on the, long inactive, Sml-basis-discuss mailing list a couple of weeks ago and may be of interest to Poly/ML users. I think there are a number of issues that could be put forward. One thing I'd like to see would be the addition of gcd and lcm to IntInf. At the moment they're in PolyML.IntInf which isn't ideal. David -------- Forwarded Message -------- Subject: [Sml-basis-discuss] Standard ML Basis Library proposals Date: Mon, 10 Aug 2015 11:43:00 +0200 From: John Reppy <jhr at cs.uchicago.edu> To: Sml-basis-discuss at mailman.cs.uchicago.edu As part of the activity at sml-family.org, I have created a repository and wiki for hosting proposals for improvements to the SML Basis Library specification. To get things started, I've posted three initial proposals to the Wiki, along with reference implementations. These proposals have benefited from comments from David MacQueen, Matthew Fluet, and Ken Friis Larsen. You can find the proposals at https://github.com/SMLFamily/BasisLibrary One important question is what process should we use for handing and approving proposals. A possible model is the SRFI process (http://srfi.schemers.org), which has a well-defined structure for how proposals are handled and a small number of editors who are responsible for managing the process. Because the SRFIs are not required, the process for accepting an SFRI is more lenient that we would want for the Basis Library, but their baseline set of requirements for a draft proposal seems reasonable. _______________________________________________ Sml-basis-discuss mailing list Sml-basis-discuss at mailman.cs.uchicago.edu https://mailman.cs.uchicago.edu/mailman/listinfo/sml-basis-discuss

1 0

← Newer
1
...
20
21
22
23
24
25
26
...
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