Comments (3)
Can we move this discussion to ERGO-Code/HiGHS#1005
from highs.
Running it under lldb
I get:
Process 66711 stopped
* thread #35, stop reason = EXC_BAD_ACCESS (code=1, address=0x20)
frame #0: 0x0000000100170c0d `HighsMipSolverData::evaluateRootNode() [inlined] HighsSplitDeque::getCurrentHead(this=0x0000000000000000) const at HighsSplitDeque.h:481:49 [opt]
478
479 int getOwnerId() const { return ownerData.ownerId; }
480
-> 481 int getCurrentHead() const { return ownerData.head; }
482
483 HighsSplitDeque* getWorkerById(int id) const {
484 return ownerData.workers[id].get();
from highs.
@jajhall : it looks like we have thread safety issues. Help would be welcome !
from highs.
Related Issues (11)
- Build CI on macos-latest HOT 7
- model.set_option does not work for I/O options HOT 2
- Using just the HiGHS LP solver for relaxations and reading MPS files HOT 3
- Unfeasilble with highs, solved with lpsolve HOT 2
- Build currently failing on GitHub macOS runners HOT 2
- Call addRow directly instead of caching the entire problem before calling HiGHS
- "Segfault/invalid stdio handle/double free or corruption (!prev)" errors when using highs HOT 9
- Link to description of options does not work
- Zero coefficients cause panic "invalid problem: Warning" HOT 3
- Adding wasm support (feature) HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from highs.