Multi-threading in Glu/Cudd

From: Borzoo Bonakdarpour (borzoo_at_cse.msu.edu)
Date: Thu Dec 20 2007 - 15:10:35 MST


Hi everyone,

I am implementing an MDD-based multi-threaded parallel algorithm that
uses Glu/Cudd 2.1. I need to know whether it is safe (in terms of
correctness and memory access) if two threads do some operation on
completely different MDDs, but under the same MDD manager. For instance,
thread1 executes m1 = mdd_and(m2, m3) and thread2 executes m4 =
mdd_and(m5, m6) in parallel, but all MDDs are under the same manager.

I'd truly appreciate your thoughts.

Many thanks,
Borzoo

-- 
-----------------------------------------------
Borzoo Bonakdarpour
Ph.D. Candidate
3115 Engineering Building
Department of Computer Science & Engineering
Michigan State University
East Lansing, MI 48824
Tel: (517) 281-7351
Email: borzoo_at_cse.msu.edu
URL: http://www.cse.msu.edu/~borzoo


This archive was generated by hypermail 2.1.7 : Thu Dec 20 2007 - 15:48:42 MST