/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifTest.c | 239 Par_ThData_t ThData[PAR_THR_MAX]; 257 ThData[i].p = p; 258 ThData[i].Id = -1; 259 ThData[i].Status = 0; 266 if ( ThData[i].Status ) 269 if ( ThData[i].Id >= 0 ) 279 ThData[i].Id = -1; 284 ThData[i].Status = 1; 299 if ( ThData[i].Status ) 307 ThData[i].Id = -1; [all …]
|
H A D | ifDsd.c | 2662 Ifn_ThData_t ThData[PAR_THR_MAX]; in Id_DsdManTuneStr() local 2683 if ( ThData[i].Status ) in Id_DsdManTuneStr() 2686 if ( ThData[i].Id >= 0 ) in Id_DsdManTuneStr() 2689 assert( ThData[i].Result == 0 || ThData[i].Result == 1 ); in Id_DsdManTuneStr() 2697 ThData[i].Id = -1; in Id_DsdManTuneStr() 2698 ThData[i].Result = -1; in Id_DsdManTuneStr() 2712 ThData[i].Id = k; in Id_DsdManTuneStr() 2722 if ( ThData[i].Status == 1 || (ThData[i].Status == 0 && ThData[i].Id >= 0) ) in Id_DsdManTuneStr() 2730 ThData[i].Id = -1; in Id_DsdManTuneStr() 2731 ThData[i].Status = 1; in Id_DsdManTuneStr() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSplit.c | 620 ThData[i].iThread = i; 622 ThData[i].fWorking = 0; 623 ThData[i].Result = -1; 624 ThData[i].nVars = -1; 625 ThData[i].nConfs = -1; 648 …Cec_GiaSplitPrint( i+1, Depth, ThData[i].nVars, ThData[i].nConfs, ThData[i].Result, Progress, Abc_… 696 ThData[i].pCnf = Cec_GiaDeriveGiaRemapped( ThData[i].p ); 707 if ( ThData[i].fWorking ) 718 ThData[i].pCnf = NULL; 720 ThData[i].p = NULL; [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/ |
H A D | cmdAuto.c | 165 ThData[i].pGia = NULL; in Cmd_RunAutoTunerEval() 166 ThData[i].pOpts = pOpts; in Cmd_RunAutoTunerEval() 167 ThData[i].iThread = i; in Cmd_RunAutoTunerEval() 168 ThData[i].nTimeOut = -1; in Cmd_RunAutoTunerEval() 169 ThData[i].fWorking = 0; in Cmd_RunAutoTunerEval() 170 ThData[i].Result = -1; in Cmd_RunAutoTunerEval() 181 if ( ThData[i].fWorking ) in Cmd_RunAutoTunerEval() 191 ThData[i].pGia = NULL; in Cmd_RunAutoTunerEval() 198 ThData[i].fWorking = 1; in Cmd_RunAutoTunerEval() 207 ThData[i].pGia = NULL; in Cmd_RunAutoTunerEval() [all …]
|
/dports/databases/libgda5/libgda-5.2.10/tests/multi-threading/ |
H A D | check_cnc_lock.c | 98 } ThData; typedef 103 ThData data[NTHREADS]; in test_multiple_threads() 126 ThData *d = &(data[i]); in test_multiple_threads() 137 ThData *d = &(data[i]); in test_multiple_threads() 149 ThData *d = &(data[i]); in test_multiple_threads() 155 ThData *d = &(data[i]); in test_multiple_threads() 163 ThData *d = &(data[i]); in test_multiple_threads() 176 test1_start_thread (ThData *data) in test1_start_thread()
|
H A D | check_mutex.c | 80 } ThData; typedef 86 ThData data[NTHREADS]; in test_multiple_threads() 92 ThData *d = &(data[i]); in test_multiple_threads() 99 ThData *d = &(data[i]); in test_multiple_threads() 110 ThData *d = &(data[i]); in test_multiple_threads() 142 test2_start_thread (ThData *data) in test2_start_thread() 173 test3_start_thread (ThData *data) in test3_start_thread()
|
H A D | check_parser.c | 41 } ThData; 53 static gpointer start_thread (ThData *data); 98 ThData data; 152 start_thread (ThData *data)
|
/dports/databases/libgda5-mysql/libgda-5.2.10/tests/multi-threading/ |
H A D | check_cnc_lock.c | 98 } ThData; typedef 103 ThData data[NTHREADS]; in test_multiple_threads() 126 ThData *d = &(data[i]); in test_multiple_threads() 137 ThData *d = &(data[i]); in test_multiple_threads() 149 ThData *d = &(data[i]); in test_multiple_threads() 155 ThData *d = &(data[i]); in test_multiple_threads() 163 ThData *d = &(data[i]); in test_multiple_threads() 176 test1_start_thread (ThData *data) in test1_start_thread()
|
H A D | check_mutex.c | 80 } ThData; typedef 86 ThData data[NTHREADS]; in test_multiple_threads() 92 ThData *d = &(data[i]); in test_multiple_threads() 99 ThData *d = &(data[i]); in test_multiple_threads() 110 ThData *d = &(data[i]); in test_multiple_threads() 142 test2_start_thread (ThData *data) in test2_start_thread() 173 test3_start_thread (ThData *data) in test3_start_thread()
|
H A D | check_parser.c | 41 } ThData; 53 static gpointer start_thread (ThData *data); 98 ThData data; 152 start_thread (ThData *data)
|
/dports/databases/libgda5-ui/libgda-5.2.10/tests/multi-threading/ |
H A D | check_cnc_lock.c | 98 } ThData; typedef 103 ThData data[NTHREADS]; in test_multiple_threads() 126 ThData *d = &(data[i]); in test_multiple_threads() 137 ThData *d = &(data[i]); in test_multiple_threads() 149 ThData *d = &(data[i]); in test_multiple_threads() 155 ThData *d = &(data[i]); in test_multiple_threads() 163 ThData *d = &(data[i]); in test_multiple_threads() 176 test1_start_thread (ThData *data) in test1_start_thread()
|
H A D | check_mutex.c | 80 } ThData; typedef 86 ThData data[NTHREADS]; in test_multiple_threads() 92 ThData *d = &(data[i]); in test_multiple_threads() 99 ThData *d = &(data[i]); in test_multiple_threads() 110 ThData *d = &(data[i]); in test_multiple_threads() 142 test2_start_thread (ThData *data) in test2_start_thread() 173 test3_start_thread (ThData *data) in test3_start_thread()
|
H A D | check_parser.c | 41 } ThData; typedef 53 static gpointer start_thread (ThData *data); 98 ThData data; in main() 152 start_thread (ThData *data) in start_thread()
|
/dports/databases/libgda5-postgresql/libgda-5.2.10/tests/multi-threading/ |
H A D | check_cnc_lock.c | 98 } ThData; 103 ThData data[NTHREADS]; 126 ThData *d = &(data[i]); 137 ThData *d = &(data[i]); 149 ThData *d = &(data[i]); 155 ThData *d = &(data[i]); 163 ThData *d = &(data[i]); 176 test1_start_thread (ThData *data)
|
H A D | check_mutex.c | 80 } ThData; typedef 86 ThData data[NTHREADS]; in test_multiple_threads() 92 ThData *d = &(data[i]); in test_multiple_threads() 99 ThData *d = &(data[i]); in test_multiple_threads() 110 ThData *d = &(data[i]); in test_multiple_threads() 142 test2_start_thread (ThData *data) in test2_start_thread() 173 test3_start_thread (ThData *data) in test3_start_thread()
|
H A D | check_parser.c | 41 } ThData; typedef 53 static gpointer start_thread (ThData *data); 98 ThData data; in main() 152 start_thread (ThData *data) in start_thread()
|
/dports/databases/libgda5-ldap/libgda-5.2.10/tests/multi-threading/ |
H A D | check_cnc_lock.c | 98 } ThData; 103 ThData data[NTHREADS]; 126 ThData *d = &(data[i]); 137 ThData *d = &(data[i]); 149 ThData *d = &(data[i]); 155 ThData *d = &(data[i]); 163 ThData *d = &(data[i]); 176 test1_start_thread (ThData *data)
|
H A D | check_mutex.c | 80 } ThData; typedef 86 ThData data[NTHREADS]; in test_multiple_threads() 92 ThData *d = &(data[i]); in test_multiple_threads() 99 ThData *d = &(data[i]); in test_multiple_threads() 110 ThData *d = &(data[i]); in test_multiple_threads() 142 test2_start_thread (ThData *data) in test2_start_thread() 173 test3_start_thread (ThData *data) in test3_start_thread()
|
H A D | check_parser.c | 41 } ThData; typedef 53 static gpointer start_thread (ThData *data); 98 ThData data; in main() 152 start_thread (ThData *data) in start_thread()
|
/dports/databases/libgda5-jdbc/libgda-5.2.10/tests/multi-threading/ |
H A D | check_cnc_lock.c | 98 } ThData; typedef 103 ThData data[NTHREADS]; in test_multiple_threads() 126 ThData *d = &(data[i]); in test_multiple_threads() 137 ThData *d = &(data[i]); in test_multiple_threads() 149 ThData *d = &(data[i]); in test_multiple_threads() 155 ThData *d = &(data[i]); in test_multiple_threads() 163 ThData *d = &(data[i]); in test_multiple_threads() 176 test1_start_thread (ThData *data) in test1_start_thread()
|
H A D | check_mutex.c | 80 } ThData; typedef 86 ThData data[NTHREADS]; in test_multiple_threads() 92 ThData *d = &(data[i]); in test_multiple_threads() 99 ThData *d = &(data[i]); in test_multiple_threads() 110 ThData *d = &(data[i]); in test_multiple_threads() 142 test2_start_thread (ThData *data) in test2_start_thread() 173 test3_start_thread (ThData *data) in test3_start_thread()
|
/dports/databases/libgda5-bdb/libgda-5.2.10/tests/multi-threading/ |
H A D | check_cnc_lock.c | 98 } ThData; typedef 103 ThData data[NTHREADS]; in test_multiple_threads() 126 ThData *d = &(data[i]); in test_multiple_threads() 137 ThData *d = &(data[i]); in test_multiple_threads() 149 ThData *d = &(data[i]); in test_multiple_threads() 155 ThData *d = &(data[i]); in test_multiple_threads() 163 ThData *d = &(data[i]); in test_multiple_threads() 176 test1_start_thread (ThData *data) in test1_start_thread()
|
H A D | check_mutex.c | 80 } ThData; typedef 86 ThData data[NTHREADS]; in test_multiple_threads() 92 ThData *d = &(data[i]); in test_multiple_threads() 99 ThData *d = &(data[i]); in test_multiple_threads() 110 ThData *d = &(data[i]); in test_multiple_threads() 142 test2_start_thread (ThData *data) in test2_start_thread() 173 test3_start_thread (ThData *data) in test3_start_thread()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmcS.c | 773 ThData[i].iLit = iLit; in Bmcs_ManPerform_Solve() 778 ThData[i].fWorking = 1; in Bmcs_ManPerform_Solve() 784 if ( ThData[i].fWorking ) in Bmcs_ManPerform_Solve() 799 if ( ThData[i].fWorking ) in Bmcs_ManPerform_Solve() 804 ThData[i].iLit = -1; in Bmcs_ManPerform_Solve() 824 ThData[i].iLit = -1; in Bmcs_ManPerformMulti() 825 ThData[i].iThread = i; in Bmcs_ManPerformMulti() 826 ThData[i].fWorking = 0; in Bmcs_ManPerformMulti() 827 ThData[i].status = -1; in Bmcs_ManPerformMulti() 899 ThData[i].pSat = NULL; in Bmcs_ManPerformMulti() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaKf.c | 1008 Kf_ThData_t ThData[PAR_THR_MAX]; 1027 ThData[i].Id = -1; 1028 ThData[i].Status = 0; 1029 ThData[i].clkUsed = 0; 1038 if ( ThData[i].Status ) 1041 if ( ThData[i].Id >= 0 ) 1067 ThData[i].Id = -1; 1072 ThData[i].Status = 1; 1078 if ( ThData[i].Status == 1 || (ThData[i].Status == 0 && ThData[i].Id >= 0) ) 1093 ThData[i].Id = -1; [all …]
|