From leaf.petersen at intel.com Mon Dec 14 11:18:43 2009 From: leaf.petersen at intel.com (Petersen, Leaf) Date: Mon Dec 14 11:19:20 2009 Subject: [MLton-user] Call For Participation: DAMP 2010 Message-ID: <916F05AC303C2F4DB17775B96CDF077157A47504@orsmsx505.amr.corp.intel.com> We have several good ML papers this year, including one looking at parallel constructs in MLton. Please consider coming to Madrid to hear what's going on and to share your thoughts. Cheers, Leaf Petersen (General Chair) DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January 19, 2010 damp10.cs.nmsu.edu The advent of multicore architectures has profoundly increased the importance of research in parallel computing. Modern platforms are becoming more complex and heterogenous and novel solutions are needed to account for their peculiarities. Multicore architectures will differ in significant ways from their multisocket predecessors. For example, the communication to compute bandwidth ratio is likely to be higher, which will positively impact performance. More generally, multicore architectures introduce several new dimensions of variability in both performance guarantees and architectural contracts, such as the memory model, that may not stabilize for several generations of product. Programs written in functional or (constraint-)logic programming languages, or in other highly declarative languages with a controlled use of side effects, can greatly simplify parallel programming. Such declarative programming allows for a deterministic semantics even when the underlying implementation might be highly non-deterministic. In addition to simplifying programming this can simplify debugging and analyzing correctness. DAMP 2010 is the fifth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. Preliminary Program: ==================== Tuesday January 19th, 2010: Invited Talk [9:00-10:00] * Parallelizing Constraint Programs. Laurent Michel (University of Connecticut) Coffee Break [10:00-10:30] Session 1 [10:30-11:30] * PASTHA - Parallelizing Stencil Calculations in Haskell Michael Lesniak * Ypnos: Declarative Parallel Structured Grid Programming Dominic Orchard, Alan Mycroft, Max Bolingbroke Coffee Break [11:30-12:00] Session 2 [12:00-13:00] * SequenceL: Transparency and Multi-core Parallelism Brad Nemanich, Daniel Cooke, Nelson Rushton * Efficient Parallel Programming in Poly/ML and Isabelle/ML David Matthews, Makarius Wenzel Lunch (PROVIDED by the Conference) [13:00-14:30] Session 3 [14:30-15:30] * S-Net for Multi-Memory Multicores Clemens Grelck, Jukka Julku, Frank Penczek * Compress-and-Conquer for Optimal Multicore Computing Z. George Mou, Hai Liu, Paul Hudak Coffee Break [15:30-16:00] Sesssion 4 [16:00-17:00] * Lightweight Ansynchrony using Parasitic Threads KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan * A Parallel ASP Instantiator Based on DLV Simona Perri, Francesco Ricca, Marco Sirianni Invited Talk [17:00-18:00] * Declarative Data-Parallel Programming with the Accellerator System Satnam Singh (Microsoft Research) URL: ==== http://damp10.cs.nmsu.edu From thant at tessman.com Thu Dec 24 10:54:28 2009 From: thant at tessman.com (Thant Tessman) Date: Thu Dec 24 10:55:10 2009 Subject: [MLton-user] Snow Leopard Message-ID: <50764824-C652-4FDB-96D7-663FB5552C43@tessman.com> I'm running Mac OS 10.6.2. I've installed gmp via macports. I'm attempting to use: mlton-20090624-1.r7195.x86-darwin.gmp-macports.tgz I try to compile something that compiles fine on my linux system and I get: mlyacc path.grm dyld: Library not loaded: /opt/local/lib/libgmp.3.dylib Referenced from: /usr/local/bin/mlyacc Reason: no suitable image found. Did find: /opt/local/lib/libgmp.3.dylib: mach-o, but wrong architecture make: *** [path.grm.sig] Trace/BPT trap I know I can use the statically-linked version, but my impression is that I need to get this working anyway for the executables produced. Thanks for any advice. I want to test the latest experimental build because the official release build produces an error deep in some header. (This was on a machine I don't have access to at the moment. I will provide the info if I get past this issue and reproduce it.) -thant From thant at tessman.com Thu Dec 24 12:45:49 2009 From: thant at tessman.com (Thant Tessman) Date: Thu Dec 24 12:46:27 2009 Subject: [MLton-user] Snow Leopard In-Reply-To: <50764824-C652-4FDB-96D7-663FB5552C43@tessman.com> References: <50764824-C652-4FDB-96D7-663FB5552C43@tessman.com> Message-ID: Here's the other error: /usr/include/ucontext.h:42:2: error: #error ucontext routines are deprecated, and require _XOPEN_SOURCE to be defined call to system failed with exit status 1: gcc -std=gnu99 -c -I/usr/local/lib/mlton/self/include -I/usr/local/lib/mlton/include -O1 -fno-common -fno-strict-aliasing -fomit-frame-pointer -w -I/usr/local/include -I/opt/local/include -I/sw/include -m32 -fno-strength-reduce -fschedule-insns -fschedule-insns2 -malign-functions=5 -malign-jumps=2 -malign-loops=2 -o /var/folders/I-/I-SdGOtYHBOL9lbrzS2UF++++TI/-Tmp-/filek1RT1r.o /var/folders/I-/I-SdGOtYHBOL9lbrzS2UF++++TI/-Tmp-/fileT8DULC.5.c On Dec 24, 2009, at 10:54 AM, Thant Tessman wrote: > > I'm running Mac OS 10.6.2. I've installed gmp via macports. > > I'm attempting to use: > > mlton-20090624-1.r7195.x86-darwin.gmp-macports.tgz > > I try to compile something that compiles fine on my linux system and I get: > > mlyacc path.grm > dyld: Library not loaded: /opt/local/lib/libgmp.3.dylib > Referenced from: /usr/local/bin/mlyacc > Reason: no suitable image found. Did find: > /opt/local/lib/libgmp.3.dylib: mach-o, but wrong architecture > make: *** [path.grm.sig] Trace/BPT trap > > > I know I can use the statically-linked version, but my impression is that I need to get this working anyway for the executables produced. > > Thanks for any advice. > > I want to test the latest experimental build because the official release build produces an error deep in some header. (This was on a machine I don't have access to at the moment. I will provide the info if I get past this issue and reproduce it.) > > -thant > > > _______________________________________________ > MLton-user mailing list > MLton-user@mlton.org > http://mlton.org/mailman/listinfo/mlton-user From thant at tessman.com Thu Dec 24 16:07:47 2009 From: thant at tessman.com (Thant Tessman) Date: Thu Dec 24 16:08:21 2009 Subject: [MLton-user] Snow Leopard In-Reply-To: References: <50764824-C652-4FDB-96D7-663FB5552C43@tessman.com> Message-ID: <9C0D5538-2AD4-48E3-B9D3-C96AA13C2BA6@tessman.com> Got past the ucontext thing: http://duriansoftware.com/joe/PSA:-avoiding-the-%22ucontext-routines-are-deprecated%22-error-on-Mac-OS-X-Snow-Leopard.html Modified include/platform/darwin.h to change #include to #include which seemed to work. Still need to get past the gmp thing at link time though. Libraries on the mac are just weird. On Dec 24, 2009, at 12:45 PM, Thant Tessman wrote: > > Here's the other error: > > /usr/include/ucontext.h:42:2: error: #error ucontext routines are deprecated, and require _XOPEN_SOURCE to be defined > call to system failed with exit status 1: > gcc -std=gnu99 -c -I/usr/local/lib/mlton/self/include -I/usr/local/lib/mlton/include -O1 -fno-common -fno-strict-aliasing -fomit-frame-pointer -w -I/usr/local/include -I/opt/local/include -I/sw/include -m32 -fno-strength-reduce -fschedule-insns -fschedule-insns2 -malign-functions=5 -malign-jumps=2 -malign-loops=2 -o /var/folders/I-/I-SdGOtYHBOL9lbrzS2UF++++TI/-Tmp-/filek1RT1r.o /var/folders/I-/I-SdGOtYHBOL9lbrzS2UF++++TI/-Tmp-/fileT8DULC.5.c > > > On Dec 24, 2009, at 10:54 AM, Thant Tessman wrote: > >> >> I'm running Mac OS 10.6.2. I've installed gmp via macports. >> >> I'm attempting to use: >> >> mlton-20090624-1.r7195.x86-darwin.gmp-macports.tgz >> >> I try to compile something that compiles fine on my linux system and I get: >> >> mlyacc path.grm >> dyld: Library not loaded: /opt/local/lib/libgmp.3.dylib >> Referenced from: /usr/local/bin/mlyacc >> Reason: no suitable image found. Did find: >> /opt/local/lib/libgmp.3.dylib: mach-o, but wrong architecture >> make: *** [path.grm.sig] Trace/BPT trap >> >> >> I know I can use the statically-linked version, but my impression is that I need to get this working anyway for the executables produced. >> >> Thanks for any advice. >> >> I want to test the latest experimental build because the official release build produces an error deep in some header. (This was on a machine I don't have access to at the moment. I will provide the info if I get past this issue and reproduce it.) >> >> -thant >> >> >> _______________________________________________ >> MLton-user mailing list >> MLton-user@mlton.org >> http://mlton.org/mailman/listinfo/mlton-user > From jhr at cs.uchicago.edu Fri Dec 25 13:22:06 2009 From: jhr at cs.uchicago.edu (John Reppy) Date: Fri Dec 25 13:22:19 2009 Subject: [MLton-user] Re: MLton-user Digest, Vol 40, Issue 3 In-Reply-To: References: Message-ID: I've been running mlton on snow leopard for several months (both 32 and 64 bit). I believe that Matthew added all of the required changes to the repository. I used the macports version of gmp, but I had to install it with the +universal attribute. BTW, file /opt/local/libgmp.dylib reports on my machine: /opt/local/lib/libgmp.dylib: Mach-O universal binary with 2 architectures /opt/local/lib/libgmp.dylib (for architecture i386): Mach-O dynamically linked shared library i386 /opt/local/lib/libgmp.dylib (for architecture x86_64): Mach-O 64-bit dynamically linked shared library x86_64 - John > Message: 1 > Date: Thu, 24 Dec 2009 12:45:49 -0800 > From: Thant Tessman > Subject: Re: [MLton-user] Snow Leopard > To: mlton-user@mlton.org > Message-ID: > Content-Type: text/plain; charset=us-ascii > > > Here's the other error: > > /usr/include/ucontext.h:42:2: error: #error ucontext routines are deprecated, and require _XOPEN_SOURCE to be defined > call to system failed with exit status 1: > gcc -std=gnu99 -c -I/usr/local/lib/mlton/self/include -I/usr/local/lib/mlton/include -O1 -fno-common -fno-strict-aliasing -fomit-frame-pointer -w -I/usr/local/include -I/opt/local/include -I/sw/include -m32 -fno-strength-reduce -fschedule-insns -fschedule-insns2 -malign-functions=5 -malign-jumps=2 -malign-loops=2 -o /var/folders/I-/I-SdGOtYHBOL9lbrzS2UF++++TI/-Tmp-/filek1RT1r.o /var/folders/I-/I-SdGOtYHBOL9lbrzS2UF++++TI/-Tmp-/fileT8DULC.5.c > From thant at tessman.com Fri Dec 25 19:15:06 2009 From: thant at tessman.com (Thant Tessman) Date: Fri Dec 25 19:15:24 2009 Subject: [MLton-user] Re: MLton-user Digest, Vol 40, Issue 3 In-Reply-To: References: Message-ID: Gracias! sudo port install gmp +universal did the trick. -thant On Dec 25, 2009, at 1:22 PM, John Reppy wrote: > I've been running mlton on snow leopard for several months (both 32 and 64 bit). > I believe that Matthew added all of the required changes to the repository. > I used the macports version of gmp, but I had to install it with the +universal > attribute. > > BTW, file /opt/local/libgmp.dylib reports on my machine: > > /opt/local/lib/libgmp.dylib: Mach-O universal binary with 2 architectures > /opt/local/lib/libgmp.dylib (for architecture i386): Mach-O dynamically linked shared library i386 > /opt/local/lib/libgmp.dylib (for architecture x86_64): Mach-O 64-bit dynamically linked shared library x86_64 > > - John > >> Message: 1 >> Date: Thu, 24 Dec 2009 12:45:49 -0800 >> From: Thant Tessman >> Subject: Re: [MLton-user] Snow Leopard >> To: mlton-user@mlton.org >> Message-ID: >> Content-Type: text/plain; charset=us-ascii >> >> >> Here's the other error: >> >> /usr/include/ucontext.h:42:2: error: #error ucontext routines are deprecated, and require _XOPEN_SOURCE to be defined >> call to system failed with exit status 1: >> gcc -std=gnu99 -c -I/usr/local/lib/mlton/self/include -I/usr/local/lib/mlton/include -O1 -fno-common -fno-strict-aliasing -fomit-frame-pointer -w -I/usr/local/include -I/opt/local/include -I/sw/include -m32 -fno-strength-reduce -fschedule-insns -fschedule-insns2 -malign-functions=5 -malign-jumps=2 -malign-loops=2 -o /var/folders/I-/I-SdGOtYHBOL9lbrzS2UF++++TI/-Tmp-/filek1RT1r.o /var/folders/I-/I-SdGOtYHBOL9lbrzS2UF++++TI/-Tmp-/fileT8DULC.5.c >> > From jhr at cs.uchicago.edu Wed Dec 30 12:45:02 2009 From: jhr at cs.uchicago.edu (John Reppy) Date: Wed Dec 30 12:45:16 2009 Subject: [MLton-user] Feature request: cleaner C pointer support Message-ID: <07614A78-2A22-4734-BC82-6B3F386F3314@cs.uchicago.edu> I think that the existing support for C pointers (MLton.Pointer) and foreign-interface programming could be improved by the addition of a module structure C_PtrDiff : INT to complement the already existing (but undocumented) C_Size WORD structure. Then, the MLTON_POINTER signature should have the following revisions: 1) change the type of add to val add : t * C_PtrDiff.int -> t 2) change the type of diff to val diff : t * t -> C_PtrDiff.int 3) remove sub (since it is now redundant) 4) change the type of sizeofPointer to val sizeofPointer : C_Size.word 5) add the functions val toWord : t -> C_Size.word val fromWord : C_Size.word -> t (I know that these can be synthesized by add/diff and null pointers, but they are quite useful for FI programming).