Definitions

Concurrent ML

Concurrent ML

Concurrent ML (CML) is a concurrent extension of the Standard ML programming language.

Sample Code

Here is sample code to print "hello, world" to the console. It spawns a thread which creates a channel for strings. This thread then spawns another thread which prints the first string that is received on the channel. The former thread then sends the "hello, worldn" string on the channel. It uses SML/NJ and CML (note that the heap name will be different on non linux-x86 platforms; you may need to change the line with "cml_test.x86-linux" to something different):

cml_test.cm:

   Library
       structure Hello
   is
       $cml/basis.cm
       $cml/cml.cm
       cml_test.sml

cml_test.sml:

   structure Hello =
   struct
       open CML


       fun hello =
           let val c : string chan = channel ()
           in
               spawn (fn => TextIO.print (recv c));
               send (c, "hello, worldn");
               exit ()
           end


       fun main (name, argv) =
           RunCML.doit (fn => ignore (spawn hello), NONE)
   end

Running:

   $ ml-build cml_test.cm Hello.main
   Standard ML of New Jersey v110.60 [built: Mon Nov 27 14:19:21 2006]
   [scanning cml_test.cm]
   [library $cml/basis.cm is stable]
   [library $cml/cml.cm is stable]
   [parsing (cml_test.cm):cml_test.sml]
   [creating directory .cm/SKEL]
   [library $cml/cml-internal.cm is stable]
   [library $cml/core-cml.cm is stable]
   [library $SMLNJ-BASIS/basis.cm is stable]
   [compiling (cml_test.cm):cml_test.sml]
   [creating directory .cm/GUID]
   [creating directory .cm/x86-unix]
   [code: 2170, data: 42, env: 2561 bytes]
   [scanning 18518-export.cm]
   [scanning (18518-export.cm):cml_test.cm]
   [parsing (18518-export.cm):18518-export.sml]
   [compiling (18518-export.cm):18518-export.sml]
   [code: 309, data: 37, env: 42 bytes]
   $ heap2exec cml_test.x86-linux cml_test
   $ ./cml_test
   hello, world

External links

Search another word or see concurrent mlon Dictionary | Thesaurus |Spanish
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature