From: Borzoo Bonakdarpour (borzoo_at_cse.msu.edu)
Date: Thu Dec 20 2007 - 17:04:35 MST
So, it seems there would only be two ways to implement a multi-threaded
program: 1- using a mutex wherever there is an access to the mdd manager
concurrently, and (2) may be creating a separate mdd manager for each
thread. The first solutions basically makes no sense in terms of
parallelism. And, I am not sure if I create two managers (with the same
set of variabels and order), I'll be able to transfer an mdd from one
manager to another in order to combine the results of two threads. What
about other underlaying BDD packages (e.g., cmu, cal, ...). Would I have
the same problem as I have in CUDD?
Thanks,
Borzoo
Fabio Somenzi wrote:
> 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
>
-- ----------------------------------------------- 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 - 17:12:32 MST