ML Threads

0.01 sec.

ML Threads - SML/NJ with mutual exclusion primitives similar to those in Modula-2+ and Mesa. Written by Greg Morrisett <jgmorris@cs.cmu.edu>.

Lightweight threads are created using fork. They are pre-emptively scheduled and communicate via shared memory which can be protected by a "mutex" (monitor).

Implementations for Motorola 68020, SPARC and MIPS and VAX- and MIPS-based multiprocessors.

["Adding Threads to Standard ML", E. Cooper et al, CMU-CS-90-186, CMU Dec 1990].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Mjollnir Mjolnir Mjosa Mjösa Mjøsa Mjøsa, Lake MJS MK MK system Mkapa, Benjamin William Mkhitar Geratsi Mkhitar Gosh Mkhitar Gosh, Law Code of Mkhitar Heratsi MKK system Mkrtich Armen Mkrtich Gegamovich Nersisian Mkrtich Karapetovich Ter-Arutiuniants Mkrtich Nersisian Mkrtich Ter-Arutiuniants MKS mks system mksa system ml ML Kit ML Threads ML-2000 ML-lex ML-Linda ML-Twig ML/I MLAB Mlada Boleslav Mladá Boleslav Mladen Isaev Mladenov, Stefan Stoianov Mladic Mladobukhartsy mLAN MLC MLD mldg Mlinov MLISP MLL MLMA Mloda Polska Mlotkovskaia, Liubov Mlotkovskaia, Liubov Ivanovna MLP MLPF			MKVDC MKVIS MKW MKW/E Mkwawa University College of Education MKWC MKWD mkweta MKWH MKWI MKWJ MKWK MKWM MKWS MKX MKY MKYC MKYRA MKZ MKZC ml ml ml ml ml ML (disambiguation) ML (disambiguation) ML (disambiguation) ML (disambiguation) ML Kit ML Threads ML&BS ML&P ML-1 ML-1A ML-2000 ML-A ML-BICM ML-C ML-CL ML-CPR ML-DL ML-DVD ML-FSS ML-IPSEC ML-JD ML-lex ML-Linda ML-LMS ML-MAP ML-MSDD ML-MUD ML-N ML-OLCS ML-PDA

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.