From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Thu Dec 20 2007 - 15:54:02 MST
Given that the two BDDs share at least the constant node and possibly
more, and that they share the same unique table, CUDD would not work
as is.
Fabio
>>>>> "BB" == Borzoo Bonakdarpour <borzoo_at_cse.msu.edu> writes:
BB> Hi everyone,
BB> I am implementing an MDD-based multi-threaded parallel algorithm that
BB> uses Glu/Cudd 2.1. I need to know whether it is safe (in terms of
BB> correctness and memory access) if two threads do some operation on
BB> completely different MDDs, but under the same MDD manager. For instance,
BB> thread1 executes m1 = mdd_and(m2, m3) and thread2 executes m4 =
BB> mdd_and(m5, m6) in parallel, but all MDDs are under the same manager.
BB> I'd truly appreciate your thoughts.
BB> Many thanks,
BB> Borzoo
BB> --
BB> -----------------------------------------------
BB> Borzoo Bonakdarpour
BB> Ph.D. Candidate
BB> 3115 Engineering Building
BB> Department of Computer Science & Engineering
BB> Michigan State University
BB> East Lansing, MI 48824
BB> Tel: (517) 281-7351
BB> Email: borzoo_at_cse.msu.edu
BB> URL: http://www.cse.msu.edu/~borzoo
This archive was generated by hypermail 2.1.7 : Thu Dec 20 2007 - 17:48:40 MST