Vítor Santos Costa
|
ffc094e25f
|
make sure we have enough room before we enter a clause.
|
2010-08-02 18:20:03 +01:00 |
|
Vitor Santos Costa
|
3d6e223dae
|
support for space reservation (goal: call gc before trying to insert very large terms).
|
2010-08-02 13:04:30 +01:00 |
|
Vitor Santos Costa
|
212758d25e
|
fix bad handliong of position overflow.
|
2010-08-02 13:03:48 +01:00 |
|
Vitor Santos Costa
|
e02ca2f520
|
fix bad assumption in parse variables overflow handling (stacks can move around in use-malloc).
|
2010-08-02 11:56:14 +01:00 |
|
Vitor Santos Costa
|
6834ac544b
|
fix thread creation.
|
2010-07-30 12:08:00 +01:00 |
|
Vitor Santos Costa
|
8d5aa09e05
|
fix threaded error handling.
|
2010-07-30 00:57:46 +01:00 |
|
Vitor Santos Costa
|
3030247064
|
thread_local should be as dynamic in non-thread mode.
|
2010-07-28 23:22:24 +01:00 |
|
Vítor Santos Costa
|
0f0065049e
|
compile under thor, check every case.
|
2010-07-28 17:12:29 +01:00 |
|
Vítor Santos Costa
|
c017bccd1a
|
more locking fixes
|
2010-07-28 17:12:17 +01:00 |
|
Vitor Santos Costa
|
7b9ab9252c
|
get rid of debugging info.
|
2010-07-28 11:30:28 +01:00 |
|
Vitor Santos Costa
|
ccb7991a56
|
should not use PP for thread private
more lock tracing aids.
|
2010-07-28 11:26:20 +01:00 |
|
Vitor Santos Costa
|
86af6ff3f6
|
add THOR to threads version.
|
2010-07-28 00:30:02 +01:00 |
|
Vitor Santos Costa
|
5cd55b0e0e
|
EX changes
|
2010-07-27 23:29:55 +01:00 |
|
Vitor Santos Costa
|
07907f1839
|
fix breakage in ball access
fix unnecuessary --ASP (why?)
|
2010-07-27 23:21:15 +01:00 |
|
Vitor Santos Costa
|
5b7f04b4b6
|
fix typo.
|
2010-07-27 23:12:16 +01:00 |
|
Vitor Santos Costa
|
af056dd605
|
fix tabling to compile with threads+ or-parallelism.
|
2010-07-27 23:09:17 +01:00 |
|
Vítor Santos Costa
|
18d77309a6
|
c_inp_stream and friends are thread private!
|
2010-07-27 17:28:58 +01:00 |
|
Vítor Santos Costa
|
4c9d74c2e7
|
in closestream: make sure we have a lock before we start looking inside!
|
2010-07-27 17:28:27 +01:00 |
|
Vítor Santos Costa
|
08627579fc
|
try to maintain a valid ASP even after a longjmp to top-level
|
2010-07-27 17:27:47 +01:00 |
|
Vítor Santos Costa
|
2ce4427395
|
fix bad error handling
unlock new stream
|
2010-07-26 12:56:17 +01:00 |
|
Vítor Santos Costa
|
44f8f9bf5c
|
get new stream descriptor should lock the resource until it is initialised.
|
2010-07-26 12:54:22 +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
|
5b6014175e
|
support case where engines have no associated pthread
|
2010-07-25 11:21:15 +01:00 |
|
Vitor Santos Costa
|
f3b9811ef7
|
more packages to implement better thread interface.
|
2010-07-23 15:54:13 +01:00 |
|
Vitor Santos Costa
|
eebff5df6a
|
fixes to YAP C-thread interface.
|
2010-07-23 12:07:33 +01:00 |
|
Vítor Santos Costa
|
3dd68aa8bd
|
fix EX: it cannot be a term and it should be a placeholder for BallTerm,
so the twp can never be alive at the same time.
|
2010-07-21 12:49:06 +01:00 |
|
Vítor Santos Costa
|
73c89b096d
|
fix trouble with extension of latin1 characters.
|
2010-07-21 11:11:19 +01:00 |
|
Vítor Santos Costa
|
b61d69ffe8
|
allow SWI Interface to send/receive wide characters.
|
2010-07-21 10:58:24 +01:00 |
|
Vitor Santos Costa
|
a7612bb15e
|
fix bad call to subsumes (obs from Jose Santos)
|
2010-07-21 00:09:24 +01:00 |
|
Vitor Santos Costa
|
a46d6dc9eb
|
fix bad recent patch.
|
2010-07-20 11:28:56 +01:00 |
|
Vitor Santos Costa
|
18ff860937
|
fix WIN32 warning
|
2010-07-20 11:28:45 +01:00 |
|
Vitor Santos Costa
|
8edeead245
|
fix compilation warnings
|
2010-07-19 22:42:47 +01:00 |
|
Vitor Santos Costa
|
35c3081c18
|
fix bad declaration
|
2010-07-19 22:42:19 +01:00 |
|
Vitor Santos Costa
|
70bd4c78b6
|
all these predicates are unsafe.
|
2010-07-19 14:42:22 +01:00 |
|
Vitor Santos Costa
|
d6bd81ce81
|
SWI getc and putc may call prolog: protect them with slots.
allow format to codes/2 and terminate memory stream.
|
2010-07-19 14:40:52 +01:00 |
|
Vitor Santos Costa
|
68a1ab6ce7
|
make sure that we don't have tails of lists with local variables.
|
2010-07-19 14:39:52 +01:00 |
|
Vitor Santos Costa
|
834e3ed5d0
|
make arg/3 compatible with SWI for atomic argument (fail silently).
|
2010-07-19 14:38:17 +01:00 |
|
Vitor Santos Costa
|
6183ff0282
|
semweb and http compile now (but they don't work properly yet).
|
2010-07-15 23:35:37 +01:00 |
|
Vitor Santos Costa
|
a45105ee04
|
export wide atoms and add a little comment.y
|
2010-07-15 17:46:52 +01:00 |
|
Vitor Santos Costa
|
b2184ecb00
|
term export and import routines
|
2010-07-15 17:19:37 +01:00 |
|
Vitor Santos Costa
|
c15b20e9af
|
improve portability
|
2010-07-14 00:17:14 +01:00 |
|
Vítor Santos Costa
|
ecce575a0a
|
fix stack calculation (ricardo rocha)
|
2010-07-06 15:31:17 +01:00 |
|
Vitor Santos Costa
|
8690fb8ca0
|
make clp(bn) work again.
|
2010-06-30 17:54:58 +02:00 |
|
Vitor Santos Costa
|
8cab19c6b1
|
fix bad recovery of thread locals (report from Jiefie Ma).
|
2010-06-30 17:50:28 +02:00 |
|
Vítor Santos Costa
|
3e13be32a0
|
fix \\ in strings to scan up to next non-blank
|
2010-06-23 11:46:16 +01:00 |
|
Vítor Santos Costa
|
d100e697a3
|
fix debugging message
|
2010-06-23 11:45:44 +01:00 |
|
Vítor Santos Costa
|
2d6fc978e4
|
fix for threading initialization
|
2010-06-19 14:38:04 +01:00 |
|
Vítor Santos Costa
|
a906bd58d6
|
remove debugging info
|
2010-06-19 14:37:07 +01:00 |
|
Vítor Santos Costa
|
bd50f087e9
|
imore SWI compat, including string fixes
|
2010-06-19 00:38:49 +01:00 |
|
Vítor Santos Costa
|
d1d149b9fd
|
support for PL_ mpz and mpq ops
add missing atom_nchars
|
2010-06-18 23:24:36 +01:00 |
|