Glu-2.1/Mdd and Threads

From: abujarad_at_egr.msu.edu
Date: Wed Mar 25 2009 - 13:45:37 MDT

• Next message: Sumit Ahuja: "problem with init_verify"
• Previous message: Paan Waala: "Comparing 2 variables in CUDD"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi everyone,

I am using Glu/Mdd packages in implementing a parallel (multi-threaded)
algorithm.
Mainly, I am launching two threads using two separate (mdd_manager*)
managers and each thread is performing some operations on it's set of
mdds. However, after few iterations the program crashes due to
"EXC_BAD_ACCESS". Is it possible that although I am using two separate
managers, some how in the MDD package the managers share some data
structure that get courted by the use of threads?
Is it safe to run multiple threads each having its own mdd manger
concurrently?
Below is the print out of the error.

Many Thanks,
Fuad

Thread [0] (Suspended: Signal 'EXC_BAD_ACCESS' received. Description:
Could not access memory.)
    9 bdd_is_tautology() /Users/.../glu-2.1Test/src/cuPort/cuPort.c:2460
0x0005ebc0
    8 mdd_encode() /Users/.../glu-2.1Test/src/mdd/mdd_case.c:94 0x00066d95
    7 mdd_encode() /Users/.../glu-2.1Test/src/mdd/mdd_case.c:143 0x00066ac8
    6 mdd_encode() /Users/.../glu-2.1Test/src/mdd/mdd_case.c:143 0x00066ac8
    5 mdd_case() /Users/.../glu-2.1Test/src/mdd/mdd_case.c:45 0x00067396
    4 mdd_func1c() /Users/.../glu-2.1Test/src/mdd/mdd_func1c.c:45 0x0006754d
    3 StartPThread() /Users/.../test_Glu_With_Threads/test2.cpp:192
0x000030f4
    2 _pthread_start() 0x905a2095
    1 thread_start() 0x905a1f52

• Next message: Sumit Ahuja: "problem with init_verify"
• Previous message: Paan Waala: "Comparing 2 variables in CUDD"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Wed Mar 25 2009 - 13:47:33 MDT