YuhangQ/cloud-sat
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: YuhangQ:a55a8d4c2e0a5ad9117c188e45f824ea0d8245ed
Branches Tags
YuhangQ:main
..
compare: YuhangQ:b8835a74e195fd12573390c3c6aca76cfbd795d9
Branches Tags
YuhangQ:main

2 Commits
a55a8d4c2e ... b8835a74e1

Author SHA1 Message Date
YuhangQ
b8835a74e1 Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main 2023-04-21 18:50:59 +08:00
YuhangQ
43ac4821fc 修复tree卡住的问题 2023-04-21 18:50:58 +08:00
3 changed files with 5 additions and 5 deletions
Show Stats Expand all files Collapse all files

4
run.sh
View File

@ -30,9 +30,9 @@
# 这个存在问题
DIR=/pub/data/chenzh/data/sat2022
INSTANCE=d87714e099c66f0034fb95727fa47ccc-Wallace_Bits_Fast_2.cnf.cnf
INSTANCE=3d2a6e5c2f8f58dee79fd50444009625-cfi-rigid-z2-0088-03-or_2_shuffle_all.cnf
make -j 16 && mpirun --bind-to none -np 9 --allow-run-as-root ./light -i $DIR/$INSTANCE --shuffle=1 --share=1 --threads=16 --times=3600 --share_method=0
make -j 16 && mpirun --bind-to none -np 9 --allow-run-as-root ./light -i $DIR/$INSTANCE --shuffle=1 --share=1 --threads=16 --times=3600 --share_method=1

3
src/sharer.cpp
View File

@ -326,9 +326,6 @@ void sharer::init_tree_transmission(std::vector<std::vector<int>> &sharing_group
}
}
}
MPI_Barrier(MPI_COMM_WORLD);
}
void sharer::init_circular_transmission(std::vector<std::vector<int>> &sharing_groups) {

3
src/solve.cpp
View File

@ -191,10 +191,13 @@ int light::solve() {
s->producers.push(workers[j]);
s->consumers.push(workers[j]);
}
printf("==============run1============\n");
s->clause_sharing_init(sharing_groups);
printf("==============run2============\n");
}
while (!terminated) {
usleep(500000);
if(OPT(share)) s->do_clause_sharing();