1.23
2.0
main
test-branch
| Line | |
|---|
| 1 | #include<mpi.h>
|
|---|
| 2 | #include<assert.h>
|
|---|
| 3 |
|
|---|
| 4 | double * u;
|
|---|
| 5 | int nx = 10;
|
|---|
| 6 |
|
|---|
| 7 | /*@
|
|---|
| 8 | @ \mpi_collective(MPI_COMM_WORLD, P2P):
|
|---|
| 9 | @ requires \mpi_comm_size == 2;
|
|---|
| 10 | @ requires \mpi_comm_rank == x;
|
|---|
| 11 | @*/
|
|---|
| 12 | void exchange(int x) {
|
|---|
| 13 | int y;
|
|---|
| 14 | int neighbor = 1 - x;
|
|---|
| 15 |
|
|---|
| 16 | MPI_Sendrecv(&x, 1, MPI_INT, neighbor, 0, &y,
|
|---|
| 17 | 1, MPI_INT, neighbor, 0,
|
|---|
| 18 | MPI_COMM_WORLD, MPI_STATUS_IGNORE);
|
|---|
| 19 | assert(x + y == 1);
|
|---|
| 20 | }
|
|---|
| 21 |
|
|---|
| 22 |
|
|---|
| 23 | int main() {
|
|---|
| 24 | int dummy = 7;
|
|---|
| 25 | exchange(0);
|
|---|
| 26 | dummy=8;
|
|---|
| 27 | return 0;
|
|---|
| 28 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
