Vitor Santos Costa
13421d0cd7
fix minor locking problems and disable localization for now
2014-10-19 03:51:56 +01:00
Vítor Santos Costa
53a8a8f7c9
try to make MT more robust by:
...
- tracking memory overflows (still worried about blobs)
- moving core components to C-code, namely the mailboxes.
- reducing locking: too many locks == deadlock.
thanks to Paulo Moura for the test suite!
2014-10-19 01:54:57 +01:00
Vítor Santos Costa
3c7779ec78
move message queues to C
2014-10-13 12:34:52 +01:00
Vítor Santos Costa
fea65ba68d
clean-up: use No Spy and No Trace predicate flags.
2014-06-17 16:24:40 +01:00
Vítor Santos Costa
daae1df152
g++ coplaints (llvm)
2014-06-12 01:25:50 +01:00
Vitor Santos Costa
ec881b8e13
improve functor locking.
2014-06-11 19:44:01 +01:00
Vítor Santos Costa
d8f4a77f47
fix style_check to be called at parse-time and not cause eexcution overheads.
2014-04-24 08:26:31 +01:00
Vitor Santos Costa
f39ed68fe8
check for mistypes
2014-04-06 17:06:19 +01:00
Vitor Santos Costa
2c89aadb11
WIN64 support (sill needs improvement)
2014-03-06 02:09:48 +00:00
Vítor Santos Costa
233829ec52
fix array expansion to use realloc and fix arrays to separate static/dynamic and malloced
2014-01-02 19:11:06 +00:00
Vitor Santos Costa
44d28aa0c9
cleanup on exception handling
2013-12-12 14:24:40 +00:00
Vítor Santos Costa
ba2c0ca2a0
support no trace predicates
2013-12-11 01:05:51 +00:00
Vítor Santos Costa
cbd0fa14e8
small fixes and code moving around
2013-11-25 12:15:25 +01:00
Vítor Santos Costa
b76be1b33f
support for quasi quotations, requires more integration with SWI code.
2013-11-18 12:57:09 +00:00
Vítor Santos Costa
84bd55df0d
continue cleanup
2013-11-16 00:27:02 +00:00
Vitor Santos Costa
4fa9021a7b
integration work:
...
- use SWI flags whenever possible
- support by module unknown, escapes, strings
- accesss thread info fom SWI
- allow strings to be input as strings.
- remove some unused flags.
2013-11-13 10:38:20 +00:00
Vítor Santos Costa
917d5ad75b
line numbers for clauses and clause properties
2013-11-05 17:59:19 +00:00
Vitor Santos Costa
43163a190f
Atom Translations and CUDA stub
2013-10-04 13:22:00 +01:00
Vitor Santos Costa
743c9c69fb
get rid of PROTO
2013-04-25 17:15:04 -05:00
Vitor Santos Costa
6cd778f70b
exo stuff
2013-01-09 09:21:07 +00:00
Denys Duchier
97163fa150
place INLINE_ONLY at front of extern inline declarations AND definitions. gcc and clang then behave the same.
2012-06-30 20:42:14 +02:00
Vítor Santos Costa
70bde4d38f
inline extern patch by Denys Duchier
2012-06-29 22:44:08 +01:00
Vitor Santos Costa
0febddf090
fix prototype complaints.
2011-09-07 22:04:18 +02:00
Vitor Santos Costa
5dd62b6354
fix reading predicates with prolog and other module.
2011-09-05 01:11:06 +02:00
Vitor Santos Costa
51e635f0c9
more QLY stuff.
2011-08-31 13:59:30 -07:00
Vitor Santos Costa
ec438106a0
more qly stuff
2011-08-27 21:23:14 -03:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
b6aca9463d
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2011-08-18 22:35:13 +01:00
Vitor Santos Costa
fc9c92b5c1
use lifo for properties as before.
2011-08-18 05:06:02 -07:00
Vitor Santos Costa
27299d432f
more operator stuff.
2011-08-17 14:35:29 -07:00
Vitor Santos Costa
5f3df98069
make sure wide property is always the first property.
2011-08-17 11:16:21 -07:00
Vitor Santos Costa
a56402303e
first step for quick loader, and fix an instruction format.
2011-07-30 00:07:35 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
840e287cda
mode changes
2011-07-25 17:09:28 +01:00
Vitor Santos Costa
e160d86304
use assembler to tell whether a clause has cut, instead of stupidly searching the clause.
2011-07-05 07:28:28 +01:00
Ricardo Rocha
f22994edf9
remove macro MY_ThreadHandle and use LOCAL_ThreadHandle instead
2011-05-09 19:55:06 +01:00
Vítor Santos Costa
8fb8aec9bf
MULTIPLE_STACKS - or-parallelism/threads/tabling
...
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
2011-04-14 18:51:11 +01:00
Vítor Santos Costa
90d93fdbdd
cache abstra machine register in threaded mode.
2011-03-07 16:02:55 +00:00
Vitor Santos Costa
b02507ed22
fix 32 bit atoms to ensure alignment at 8 bytes (broken with blobs).
2010-12-02 11:49:58 +00:00
Vitor Santos Costa
7b6f330bd3
improve blob support (but just skeleton).
2010-11-29 23:17:06 +00:00
Vitor Santos Costa
ccb7991a56
should not use PP for thread private
...
more lock tracing aids.
2010-07-28 11:26:20 +01:00
Vítor Santos Costa
e031026a62
instrument PE locking
...
fix missing unlock in index_pred (if predicate had been indexed while we were
waiting).
2010-07-25 11:22:16 +01:00
Vítor Santos Costa
be2a3a635e
L constants are evil in 64 bits
2010-05-11 12:25:49 +01:00
Vitor Santos Costa
d5e1ff38f4
new interface to access globals. They are not in a file called GLOBALS, from which
...
we generate several files automatically.
2010-03-21 22:12:42 +00:00
Vitor Santos Costa
53b4828000
new Atts Code.
2010-03-08 09:24:11 +00:00
Vitor Santos Costa
6d1eec34db
make atom locking compatible with SWI-Prolog.
2009-12-21 10:12:47 -02:00
Vítor Manuel de Morais Santos Costa
506da0b1bf
make write always protect operators when they are not used as operators so as to follow standard ( #150 ).
2009-11-27 16:09:48 +00:00
Vitor Santos Costa
ffe1dfdfff
support for module based operators.
2009-11-20 00:33:14 +00:00
Vitor Santos Costa
0179998d60
change Heap.h to YapHeap.h
...
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
Vitor Santos Costa
475e681907
do fetch and remove a the same time: PopFromDB
2009-06-13 13:06:02 -05:00
Vitor Santos Costa
4b65b063ca
fixes for threads to compile and boot.
2009-03-24 13:27:36 +00:00
Vítor Santos Costa
4b826e76ae
support for user defined indexing: step 1 basic routines.
2009-02-12 16:39:20 +00:00
