Comments (6)
v2.1.14
Now 4000 (elems) but then
?- testmem(4000).
4000
4000
4000
4000
4000
false.
?- testmem(5000).
5000
5000
malloc(): unsorted double linked list corrupted
Aborted (core dumped)
from trealla.
Here I can reproduce "list corrupted" if testmem(2000) first, then 4000 and finally 5000.
?- testmem(2000).
2000
2000
2000
2000
2000
false.
?- testmem(4000).
4000
4000
4000
4000
4000
false.
?- testmem(5000).
5000
5000
malloc(): unsorted double linked list corrupted
Program received signal SIGABRT, Aborted.
__pthread_kill_implementation (no_tid=0, signo=6, threadid=<optimized out>) at pthread_kill.c:44
44 pthread_kill.c: No such file or directory.
(gdb) bt
#0 __pthread_kill_implementation (no_tid=0, signo=6, threadid=<optimized out>) at pthread_kill.c:44
#1 __pthread_kill_internal (signo=6, threadid=<optimized out>) at pthread_kill.c:78
#2 __GI___pthread_kill (threadid=<optimized out>, signo=signo@entry=6) at pthread_kill.c:89
#3 0x0000555554e3e256 in __GI_raise (sig=sig@entry=6) at ../sysdeps/posix/raise.c:26
#4 0x0000555554e257ec in __GI_abort () at abort.c:79
#5 0x0000555554e86878 in __libc_message (action=action@entry=do_abort, fmt=fmt@entry=0x555554fb7599 "%s\n")
at ../sysdeps/posix/libc_fatal.c:155
#6 0x0000555554e9dc7a in malloc_printerr (str=str@entry=0x555554fba780 "malloc(): unsorted double linked list corrupted")
at malloc.c:5667
#7 0x0000555554ea10c4 in _int_malloc (av=av@entry=0x555554ff5c60 <main_arena>, bytes=bytes@entry=32) at malloc.c:4006
#8 0x0000555554ea3769 in __libc_calloc (n=<optimized out>, elem_size=<optimized out>) at malloc.c:3674
#9 0x000055555558f398 in alloc_on_heap (q=0x555555ad4e90, nbr_cells=40018) at src/heap.c:104
#10 0x0000555555590a09 in deep_copy_to_heap (q=0x555555ad4e90, p1=0x55555570ae98, p1_ctx=1, copy_attrs=false) at src/heap.c:430
#11 0x00005555555601ec in fn_iso_findall_3 (q=0x555555ad4e90) at src/bags.c:46
#12 0x00005555555fd4f4 in start (q=0x555555ad4e90) at src/query.c:1731
#13 0x00005555555fdc8c in execute (q=0x555555ad4e90, cells=0x55555587be60, nbr_vars=0) at src/query.c:1926
#14 0x00005555555ab29f in run (p=0x5555558746f0, pSrc=0x5555558249e0 "testmem(5000).", dump=true) at src/parser.c:3573
#15 0x00005555555f52e7 in pl_eval (pl=0x55555497f010, s=0x5555558249e0 "testmem(5000).") at src/prolog.c:122
#16 0x000055555555fac4 in main (ac=2, av=0x7fffffffc1d8) at tpl.c:322
fyi: I'm away for some while. Good speed! :-)
from trealla.
from trealla.
from trealla.
Not too bad..!!
from trealla.
from trealla.
Related Issues (20)
- Somewhat unexpected error context HOT 1
- Meta predicate goal expansion HOT 2
- Segmentation fault (core dumped)
- FYI: Trealla trashes effort to port a C-compiler HOT 11
- Pressing the tab key = segmentation fault HOT 3
- CLPZ: `#<==>/2` crashing (and consequently: `clpz_t/2`, `#=/3`, `#</3`) HOT 6
- CLPZ: Comparison HOT 3
- current_op/3 shuttered
- `phrase_to_stream/2` (consequently: `phrase_to_file/2`) total memory consumption with a mega-string HOT 1
- is/2 type_error disregarded HOT 1
- CLPZ:monotonic: segfault
- CLPZ: Error: syntax error unexpected HOT 2
- segmentation fault in warehouse test HOT 5
- phrase/2 instantiation_error? HOT 1
- phrase/2 segfault HOT 1
- does this terminate, i.e. model finder HOT 8
- Application-specific Comparsion HOT 4
- Odd parser bug HOT 8
- Syntax error undetected
- op/3 Operator deactivation fault
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 trealla.