Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Topic/treematch #3960

Merged
merged 8 commits into from
Aug 2, 2017
Merged

Topic/treematch #3960

merged 8 commits into from
Aug 2, 2017

Conversation

bosilca
Copy link
Member

@bosilca bosilca commented Jul 25, 2017

Update the treematch-based topo support, including a newer version of treematch.
Fixes #1183.

@bosilca bosilca requested a review from ggouaillardet July 25, 2017 17:46
simply based on some local state. This is the second
part of the patch proposed for open-mpi#1183.

Signed-off-by: George Bosilca <[email protected]>
bosilca and others added 7 commits July 26, 2017 11:54
This fix is related to issue open-mpi#1877, and prevents the OMPI library from
messing the user level random values.

Signed-off-by: George Bosilca <[email protected]>
Including variable renaming and loop merging.

Signed-off-by: George Bosilca <[email protected]>
Signed-off-by: George Bosilca <[email protected]>
Signed-off-by: George Bosilca <[email protected]>
Make sure the HWLOC topology is available as early as possible, so that
we can fail graciously.

Signed-off-by: George Bosilca <[email protected]>
@jsquyres
Copy link
Member

jsquyres commented Aug 2, 2017

@bosilca @GuillaumeMercier One of the commits on this PR was not signed off. ☹️ ☹️ ☹️

Also, it looks like this PR is causing breakage on master -- compile failures in treematch. See https://gist.github.com/ibm-ompi/77c743d005e80b49ff9f634ce0400a16. Can one of you please investigate ASAP? If you guys can't fix this within the next hour or so, we should probably revert this PR until it can be fixed.

Thanks!

@bosilca bosilca mentioned this pull request Aug 3, 2017
@bosilca
Copy link
Member Author

bosilca commented Aug 3, 2017

#4014 fixes the API change issue. I will merge as soon as all tests succeed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants