From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3PGb3aP019601 for ; Mon, 25 Apr 2011 18:37:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYKAE2itU1QDPJ8kGdsb2JhbACECEeRC4IujTwBAQEBCQkNBxQDIohwqFGQXYEpg1B9BJI9 X-IronPort-AV: E=Sophos;i="4.64,265,1301868000"; d="scan'208";a="93780440" Received: from smtp02.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.124]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Apr 2011 18:36:58 +0200 Received: from [192.168.1.12] ([90.23.95.11]) by mwinf5d49 with ME id bscx1g0010EjEnu03scxoE; Mon, 25 Apr 2011 18:36:57 +0200 Message-ID: <4DB5A327.90409@univ-paris-est.fr> Date: Mon, 25 Apr 2011 18:36:55 +0200 From: =?UTF-8?B?RnLDqWTDqXJpYyBHYXZh?= Reply-To: frederic.gava@univ-paris-est.fr Organization: University of Paris East =?UTF-8?B?Q3LDqXRlaWwgVmFsLWRlLU1h?= =?UTF-8?B?cm5lLCBMQUNM?= User-Agent: Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.9.2.14) Gecko/20110223 Lightning/1.0b2 Thunderbird/3.1.8 MIME-Version: 1.0 To: caml-list@inria.fr References: <013e01cc02d7$e23b8f00$a6b2ad00$@ffconsultancy.com> <1303727768.3782.66.camel@thinkpad> In-Reply-To: <1303727768.3782.66.camel@thinkpad> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: frederic.gava@univ-paris-est.fr Subject: Re: [Caml-list] Parallel n-queens solver Dear all, > Without having checked in detail, I'm quite sure a number of parallel > design patterns can be supported by higher-level constructs. It is the well known "skeleton paradigm" and BSP model (twice, since 1990) Skeletons: http://en.wikipedia.org/wiki/Algorithmic_skeleton http://homepages.inf.ed.ac.uk/mic/Skeletons/index.html BSP: http://en.wikipedia.org/wiki/Bulk_Synchronous_Parallel http://www.bsp-worldwide.org/ Frédéric Gava