Comments you submit will be routed for moderation. If you have an account, please log in first.

Ticket #4243 (new defect)

Opened 9 years ago

Last modified 9 years ago

Parallel enumeration causes segfault in PICO

Reported by: jeckstei Owned by: caphill
Priority: normal Milestone: PICO 1.4
Component: PICO Version: acro-pico 1.2.1
Keywords: Cc: caphill
Subcomponent: Source Code


In PICO, turning on enumeration (for BM23 for example) for a parallel run causes a seg fault. It appears to occur when unpacking subproblems (see below). Jon and Cindy may have to collaborate on isolating this problem. It seems to be PICO-specific (parallel enumeration works OK with knapsack).

#4 0x0000000000435526 in utilib::ArrayBase?<int, utilib::BasicArray?<int> >::resize (this=0x1173248, newl=92363271700480, set_new_contents=1)

at ../../../include/utilib/ArrayBase.h:355

#5 0x000000000048d0d6 in operator>><int> (is=@0x10ecee0, obj=@0x1173248)

at ../../../include/utilib/BasicArray.h:947

#6 0x0000000000552e22 in pico::parBCMipNode::unpack (this=0x1172f10,

inBuffer=@0x10ecee0) at ./milp/pico/parBCMip.cpp:171

#7 0x00000000006dc475 in pebbl::parallelBranchSub::unpackProblem (

this=0x1172f20, inBuffer=@0x10ecee0)
at ../../../include/pebbl/parBranching.h:1083

#8 0x00000000006f7c4f in pebbl::spReceiverObj::handleMessage (this=0x10eceb0,

controlParam=0x10ecf70) at ./pbb/pebbl/spReceiver.cpp:104

#9 0x000000000064afe4 in pebbl::messageTriggeredPBThread::runWithinLogging (

this=0x10eceb0, controlParam=0x10ecf70)
at ./pbb/pebbl/parBranchThreads.cpp:130

#10 0x000000000064bd4c in pebbl::parBranchingThreadObj::run (this=0x10eceb0,

controlParam=0x10ecf70) at ./pbb/pebbl/parBranchThreads.cpp:63

#11 0x00000000005cd7b8 in pebbl::ThreadObj::exec (this=0x10ecf10)

at ../../../include/pebbl/ThreadObj.h:93

#12 0x00000000006fcf29 in pebbl::Scheduler::execute (this=0x7fffd570cc20)

at ./sched/pebbl/Scheduler.cpp:261

#13 0x0000000000651bd9 in pebbl::parallelBranching::parallelSearchFramework (

this=0x7fffd570cbb8, handler_=0x0) at ./pbb/pebbl/parBranching.cpp:739

#14 0x00000000005546d5 in pebbl::parallelBranching::search (

this=0x7fffd570cbb8) at ../../../include/pebbl/parBranching.h:126

#15 0x000000000055e660 in pico::parMILP::solve (this=0x7fffd570cbb8)

at ./milp/pico/parMilp.cpp:2033

#16 0x000000000040fecc in main (argc=2, argv=0x7fffd5710908)

at exec/pico/PICO.cpp:132


Change History

comment:1 Changed 9 years ago by caphill

  • Milestone changed from PICO 1.3 to PICO 1.4

Add a comment

Modify Ticket

Change Properties
<Author field>
as new

E-mail address and user name can be saved in the Preferences.

Note: See TracTickets for help on using tickets.