Code Monkey home page Code Monkey logo

Comments (9)

matbesancon avatar matbesancon commented on July 20, 2024 2

hi @Mizux did you have time to try the fix?

from scip.

matbesancon avatar matbesancon commented on July 20, 2024 1

thanks for the detailed report, we will look into the issue

from scip.

svigerske avatar svigerske commented on July 20, 2024 1

Still open. 90804ee referred to an issue 5 in a different system.

PS: I don't have permissions to reopen.

from scip.

matbesancon avatar matbesancon commented on July 20, 2024 1

@Mizux there is a bug fix on the branch 3258-scip-concurrent-mode-lacking-an-index-check, can you try to see if this fixes your issue?

from scip.

Mizux avatar Mizux commented on July 20, 2024
(gdb) bt
#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:50
#1  0x00007ffff7abe537 in __GI_abort () at abort.c:79
#2  0x00007ffff7abe40f in __assert_fail_base (fmt=0x7ffff7c27128 "%s%s%s:%u: %s%sAssertion `%s' failed.\n%n", assertion=0x555556147030 "idx >= 0 && idx < nconcsolvers", file=0x555556146ce0 "/usr/local/google/home/corentinl/dev/scip-multithread/build/_deps/scip-src/src/scip/concurrent.c", line=518, function=<optimized out>) at assert.c:92
#3  0x00007ffff7acd662 in __GI___assert_fail (assertion=0x555556147030 "idx >= 0 && idx < nconcsolvers", file=0x555556146ce0 "/usr/local/google/home/corentinl/dev/scip-multithread/build/_deps/scip-src/src/scip/concurrent.c", line=518, function=0x555556147340 <__PRETTY_FUNCTION__.1> "SCIPconcurrentSolve") at assert.c:101
#4  0x0000555555f62d19 in SCIPconcurrentSolve (scip=0x5555561f6eb0) at /usr/local/google/home/corentinl/dev/scip-multithread/build/_deps/scip-src/src/scip/concurrent.c:518
#5  0x00005555558fbf28 in SCIPsolveConcurrent (scip=0x5555561f6eb0) at /usr/local/google/home/corentinl/dev/scip-multithread/build/_deps/scip-src/src/scip/scip_solve.c:3043
#6  0x0000555555558eed in main () at /usr/local/google/home/corentinl/dev/scip-multithread/Foo/src/main.cpp:120

Change frame

(gdb) f 4
#4  0x0000555555f62d19 in SCIPconcurrentSolve (scip=0x5555561f6eb0) at /usr/local/google/home/corentinl/dev/scip-multithread/build/_deps/scip-src/src/scip/concurrent.c:518
518	   assert(idx >= 0 && idx < nconcsolvers);

display frame

(gdb) info frame
Stack level 4, frame at 0x7fffffffded0:
 rip = 0x555555f62d19 in SCIPconcurrentSolve (/usr/local/google/home/corentinl/dev/scip-multithread/build/_deps/scip-src/src/scip/concurrent.c:518); saved rip = 0x5555558fbf28
 called by frame at 0x7fffffffdfd0, caller of frame at 0x7fffffffde60
 source language c.
 Arglist at 0x7fffffffdec0, args: scip=0x5555561f6eb0
 Locals at 0x7fffffffdec0, Previous frame's sp is 0x7fffffffded0
 Saved registers:
  rbp at 0x7fffffffdec0, rip at 0x7fffffffdec8

display locals

gdb) info locals
syncstore = 0x55555621ad40
idx = -1
jobid = 1
i = 16
retcode = SCIP_OKAY
concsolvers = 0x555558327350
nconcsolvers = 16
__PRETTY_FUNCTION__ = "SCIPconcurrentSolve"

Once you are on a correct frame, you can dereference pointer object etc...

(gdb) p (*syncstore)
$10 = {nuses = 17, mode = SCIP_PARA_DETERMINISTIC, initialized = 1, ninitvars = 3, syncdata = 0x5555587ab5a8, lastsync = 0x0, mainscip = 0x5555561f6eb0, stopped = 0, lock = {__data = {__lock = 0, __count = 0, __owner = 0, __nusers = 0, __kind = 0, __spins = 0, __elision = 0, __list = {__prev = 0x0, __next = 0x0}}, __size = '\000' <repeats 39 times>, __align = 0}, nsyncdata = 16, minsyncdelay = 2.7000000000000002, maxnsyncdelay = 7, syncfreqinit = 10, syncfreqmax = 2.7000000000000002, maxnsols = 3, nsolvers = 16}
(gdb) p (*syncstore->lastsync)
Cannot access memory at address 0x0
(gdb) p (syncstore->lastsync)
$11 = (SCIP_SYNCDATA *) 0x0

lastsync = 0x0 i.e. GetWinner seems to return -1 because syncstore->lastsync is null
note: retcode is SCIP_OKAY so my guess since retcode = SCIPtpiCollectJobs(jobid); seems ok, IMHO lastsync is not correctly updated accordingly...

from scip.

Mizux avatar Mizux commented on July 20, 2024

@matbesancon friendly ping to reopen it and have some update from your side ;)

from scip.

Mizux avatar Mizux commented on July 20, 2024

Will give a try tomorrow and write my feedback here !
(unless you prefer to give me access to your gitlab and/or create a user using my (at) google.com address ?)

ps: thx for the patch ;)

from scip.

matbesancon avatar matbesancon commented on July 20, 2024

from scip.

matbesancon avatar matbesancon commented on July 20, 2024

(unless you prefer to give me access to your gitlab and/or create a user using my (at) google.com address ?)

It would make sense for you to have an account on the internal gitlab yes :)
@Mizux can you send me an email with the email I should use for the account? (on my email on the github profile or lastname at org dot de

from scip.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.