Poly/ML

polyml@lists.polyml.org

2 participants
698 discussions

IEEE reals
by David.Matthews＠prolingua.co.uk 17 Jun '11

17 Jun '11

I've fixed a bug that Grant Passmore reported where the IEEEReal.setRoundingMode settings weren't working on X86. I've written a small regression test for this particular case but it would be nice to test Poly/ML's real numbers more completely. I'm not that familiar with real number arithmetic and even less so with the rather arcane areas of IEEE reals. Is there anyone who could provide some more tests for this part of Poly/ML? It may be that there are some tests available in another language that could be adapted, perhaps as a student project. David

2 1

Thread Status Flags
by dathayer＠microsoft.com 10 Jun '11

10 Jun '11

Dave, I do have one more question. You stated that >Poly/ML currently uses a single word for these. The mapping is >1 -> Broadcast >OR-ed with: >2 -> Synch >4 -> Asynch >6 -> AsynchOnce Where is the InterruptDefer flag status stored? David

2 1

Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation
by dathayer＠microsoft.com 10 Jun '11

10 Jun '11

Dave, Thank you I believe I have the necessary information now to generate a workable simulation of your Thread.SML in F#. David Date: Tue, 07 Jun 2011 17:55:11 +0100 From: David Matthews <David.Matthews(a)prolingua.co.uk> To: polyml(a)inf.ed.ac.uk Subject: Re: [polyml] Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation Message-ID: <4DEE57EF.30709(a)prolingua.co.uk> In-Reply-To: <717F714B587F944C88837A99AA4D0081404C275E(a)TK5EX14MBXC116.redmond.corp.microsoft.com> References: <717F714B587F944C88837A99AA4D0081404C275E(a)TK5EX14MBXC116.redmond.corp.microsoft.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Precedence: list Message: 3 Hi David, On 06/06/2011 23:48, Dave Thayer wrote: > My questions are > > 1. What is the semantics of these flags as related to the behavior of threads and the Interrupt signal? Have you looked at http://www.polyml.org/docs/Threads.html ? There's an explanation there. If it's not clear please let me know. This is really one of the most problematic bits of the threading model in Poly/ML. > > 2. Can a single word be used to model these flags thusly (see below) given that I am using a completely different runtime than what you are calling into? > 1 -> InterruptDefer > 2 -> InterruptSynch > 4 -> InterruptAsynch > 6 -> InterruptAsynchOnce > 8 -> BroadcastInterrupt Poly/ML currently uses a single word for these. The mapping is 1 -> Broadcast OR-ed with: 2 -> Synch 4 -> Asynch 6 -> AsynchOnce It's actually in the second word of a 4-word thread object. The first word is a tagged integer which is an index into the thread table in the run-time system, the third points to a list of thread-local data and the fourth is a "hint" used in interrupt handling. Regards, David ------------------------------ _______________________________________________ polyml mailing list polyml(a)inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml End of polyml Digest, Vol 69, Issue 2 ************************************* -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

Semantics of Threading Intrrupt Flags and proper interpretation in .Net simulation
by dathayer＠microsoft.com 07 Jun '11

07 Jun '11

Dave Matthews, I am building a thread manager for the .NET CLR that emulates your threading model in Poly ML I am a little confused by a couple of issues in your file Basis/Thread.Sml You have a set of associated types declared as such datatype threadAttribute = EnableBroadcastInterrupt of bool | InterruptState of interruptState and interruptState = InterruptDefer | InterruptSynch | InterruptAsynch | InterruptAsynchOnce You then create functions for writing these into a tuple of words as bit flags With the following mapping 1 -> InterruptDefer 2 -> InterruptSynch 4 -> InterruptAsynch 6 -> InterruptAsynchOnce And then mapping the lowest bit of the other word in the tuple to the flag in EnableBroadcastInterrupt My questions are 1. What is the semantics of these flags as related to the behavior of threads and the Interrupt signal? 2. Can a single word be used to model these flags thusly (see below) given that I am using a completely different runtime than what you are calling into? 1 -> InterruptDefer 2 -> InterruptSynch 4 -> InterruptAsynch 6 -> InterruptAsynchOnce 8 -> BroadcastInterrupt I now you don't get many questions from people working with the CLR so I appreciate your patience David Thayer

2 1

Memory leak? Poly/ML SVN 1307
by aleks0＠gmail.com 07 Jun '11

07 Jun '11

I've just updated to the latest SVN of poly, and my compile times have ballooned up. Prodding it a bit, it looks to me like there's a memory leak in the interpreter. Here's what I do to get it to happen: 1. Fire up poly and load a modest heap (59 megs) containing about 100 structures and functors. top shows poly's RAM usage goes to a little over 59 megs. 2. Run some pretty functor-heavy code, including some code that looks (essentially) like this: structure Structure1 = Functor1(....); structure Structure2 = Functor2(structure Foo = Structure1); structure Structure3 = struct open Structure1; Structure2; end structure Structure4 = Structure3 : SIG Admittedly, these are some pretty big structs, and poly's RAM usage hits over a gig, and doesn't go back down once execution is finished. "PolyML.fullGC ();" seems to have no effect. 3. Save the heap, still < 70 megs. 4. Close and open poly w new heap, RAM usage still < 70 megs So, the compile-time slowness seems to be poly filling the system's RAM and starts swapping pages. I included the code above on the off chance there's some cyclic dependency between the structs that keeps some junk from being garbage collected. I can give SVN links if you want to see the offending code itself, but its part of a pretty large project, so I don't know how helpful that would be. Thanks! Aleks

2 1

Re: [MLton] bug to do with as-binding masking datatype constructor name
by matthew.fluet＠gmail.com 13 Apr '11

13 Apr '11

On Wed, Apr 13, 2011 at 2:49 AM, Andreas Rossberg <rossberg(a)mpi-sws.org> wrote: > On Apr 13, 2011, at 01:49, Michael Norrish wrote: >> >> Poly 5.3 rejects >> >> ?datatype foo = bar of string >> >> ?fun f x = let >> ? val bar as y = 3 >> ?in >> ? bar + x >> ?end >> >> MLton 20091212~svn accepts it. >> >> Who's right? > > Mlton, although this is arguably a design bug of the language. I was going to conclude that Poly/ML is right. I don't see why rule (43) applies to the "bar as y" pattern; it is not the case that "bar \notin Dom(C)" (because "bar" is in scope) and it is not the case that "is of C(vid) = v" (because "bar" has constructor status). MLton omits those two antecedents in its implementation of "as"-pattern elaboration. (Similarly, HaMLet omits them.) On the other hand, "val rec bar as y = fn() => 3" would allow changing the identifier status of "bar" (rule (26) and comment).

1 1

bug to do with as-binding masking datatype constructor name
by Michael.Norrish＠nicta.com.au 13 Apr '11

13 Apr '11

Poly 5.3 rejects datatype foo = bar of string fun f x = let val bar as y = 3 in bar + x end MLton 20091212~svn accepts it. Who's right? Best, Michael

1 0

Fwd: creating heterogeneous array in the Poly/ML codetree
by yli＠cse.tamu.edu 15 Mar '11

15 Mar '11

To the list. -------- Original Message -------- Subject: creating heterogeneous array in the Poly/ML codetree Date: Thu, 10 Mar 2011 16:07:50 -0600 From: Yue Li <yli(a)cse.tamu.edu> Organization: CSE Department, Texas A&M To: David Matthews <David.Matthews(a)prolingua.co.uk> CC: Gabriel Dos Reis <gdr(a)cs.tamu.edu> Dear David, Is there any way to create a heterogeneous array in the Poly/ML codetree with known size, but whose elements can be values of any type and I don't necessarily want to use ML-style datatype. For instance, elements in the array can be integer values, or function values or arrays? Best, Yue

4 4

Re: creating heterogeneous array in the Poly/ML codetree
by David.Matthews＠prolingua.co.uk 12 Mar '11

12 Mar '11

This sounds like an ML tuple but tuples are always immutable i.e. the fields cannot be updated. In ML "array" is used for an updatable data-structure. Is that what you mean? By "known size" do you mean a size specified at compile-time? Are the index values always compile-time constants or can they be calculated at run-time? Regards, David On 10/03/2011 22:07, Yue Li wrote: > Dear David, > > Is there any way to create a heterogeneous array in the Poly/ML codetree > with known size, but whose elements can be values of any type and I don't > necessarily want to use ML-style datatype. For instance, elements in the > array can be integer values, or function values or arrays? > > Best, > > > Yue

1 0

Infinite loop when forcing GC after creating a weak pointer
by ivan.tomac＠gmail.com 03 Mar '11

03 Mar '11

Entering this from the REPL appears to make Poly/ML go into an infinite loop: $ rlwrap poly Poly/ML 5.4 Release > val w = let val x = SOME (ref 3) in Weak.weak x end; val w = ref (SOME (ref 3)): int ref option ref > PolyML.fullGC ();

2 1

← Newer
1
...
38
39
40
41
42
43
44
...
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