Ricardo Rocha
|
f0c0913490
|
fix multithreading with mode-directed tabling
|
2012-06-06 15:19:38 +01:00 |
|
Ricardo Rocha
|
7e667c1038
|
fix multithreading with mode-directed tabling
|
2012-06-04 19:47:45 +01:00 |
|
Ricardo Rocha
|
d540354c30
|
adding sum mode operator + fix multithreading compatibility
|
2012-06-04 19:27:31 +01:00 |
|
Ricardo Rocha
|
26e6281bb7
|
fix PgEnt_strs_in_use counter
|
2012-05-22 14:47:47 +01:00 |
|
Ricardo Rocha
|
02447ac372
|
minor fixes
|
2012-05-21 15:55:14 +01:00 |
|
Ricardo Rocha
|
1dcc8bd393
|
adptation of the memory allocator based on pages to work with threads
|
2012-05-14 19:11:58 +01:00 |
|
Ricardo Rocha
|
a6ff7528d1
|
missing variable declaration
|
2012-04-23 15:39:49 +01:00 |
|
U-WIN-UA9ACS5GS9N\vitor
|
19807d46f7
|
WIN32 and CYGWIN fixes.
|
2012-04-18 14:14:56 -05:00 |
|
João Santos
|
430147f310
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-02-27 17:22:37 +00:00 |
|
João Santos
|
553fbc505f
|
fix cut predicate in YapOr and ThOr
|
2012-02-27 17:18:01 +00:00 |
|
Vítor Santos Costa
|
1531002f26
|
avoid unnecessrily using slots in Input/Output calls or just because I need a stream. This can lead to hard to
catch stack bugs.
|
2012-02-18 11:01:06 +00:00 |
|
Miguel Areias
|
1de3affa99
|
Multi-threaded tabling - No Sharing support
|
2012-02-14 15:00:31 +00:00 |
|
Ricardo Rocha
|
1fe86ba2b3
|
fix parallel_findall/3
|
2012-01-05 16:04:32 +00:00 |
|
Ricardo Rocha
|
72f79b8c4f
|
fix compilation errors for multi-threaded tabling
|
2012-01-05 11:41:46 +00:00 |
|
Ricardo Rocha
|
c594d321ef
|
Miguel's support for multi-threaded tabling
|
2011-12-22 16:50:20 +00:00 |
|
Ricardo Rocha
|
f11e435db6
|
fix TRIE_LOCK_AT_WRITE_LEVEL scheme
|
2011-12-14 10:33:18 +00:00 |
|
Ricardo Rocha
|
ab32e8f14e
|
fix expand hash tables with TRIE_LOCK_AT_WRITE_LEVEL schemes
|
2011-12-12 17:24:58 +00:00 |
|
Ricardo Rocha
|
6bb26f4764
|
fix support for local pages with threads
|
2011-12-09 16:06:17 +00:00 |
|
Ricardo Rocha
|
d33829205e
|
support for local pages with threads
|
2011-12-07 13:53:20 +00:00 |
|
Ricardo Rocha
|
ea337366fe
|
fix compilation for or-parallelism
|
2011-12-05 17:02:06 +00:00 |
|
Ricardo Rocha
|
038c1854d0
|
fix compilation for tabling with threads
|
2011-12-05 16:54:22 +00:00 |
|
Ricardo Rocha
|
4db885e3c3
|
fix compilation for threads
|
2011-11-30 15:32:35 +00:00 |
|
Vítor Santos Costa
|
829f207307
|
ifixes for compilation under threads (no table sharing).
|
2011-11-30 13:37:59 +00:00 |
|
Ricardo Rocha
|
65b73a8a09
|
data structures for multithreading tabling
|
2011-11-22 17:09:29 +00:00 |
|
Ricardo Rocha
|
eea9c0d165
|
merge similar ALLOC macros
|
2011-11-18 16:22:31 +00:00 |
|
Ricardo Rocha
|
6aae4eb948
|
adjust ALLOC macros
|
2011-11-17 12:56:31 +00:00 |
|
Ricardo Rocha
|
0dab76c185
|
redefine ALLOC macros
|
2011-11-17 11:40:53 +00:00 |
|
Ricardo Rocha
|
a88fcec0c2
|
fix mode directed tabling with yapor
|
2011-11-16 12:47:43 +00:00 |
|
Ricardo Rocha
|
e993c2473b
|
the trie locking data structure (node field or global lock array) is now defined explicitly
|
2011-11-16 11:42:04 +00:00 |
|
Ricardo Rocha
|
ec0fa8a2a3
|
tries locking scheme is now independent for the answer, subgoal and global trie
|
2011-11-15 16:57:51 +00:00 |
|
Ricardo Rocha
|
8f7983b6c4
|
minor changes for mode directed tabling
|
2011-11-11 19:17:55 +00:00 |
|
Ricardo Rocha
|
e85854c1bb
|
fix invalid answers for mode directed tabling
|
2011-11-11 18:05:24 +00:00 |
|
Ricardo Rocha
|
f06489ffe5
|
show_table support for mode directed tabling
|
2011-11-09 15:13:22 +00:00 |
|
Ricardo Rocha
|
2905fc8114
|
fix mode directed tabling
|
2011-11-09 14:24:08 +00:00 |
|
Joao
|
1e7fc1afce
|
fix mode directed tabling.
|
2011-11-09 12:03:09 +00:00 |
|
Ricardo Rocha
|
dab7c00e60
|
extra space in macro definition
|
2011-11-09 11:02:05 +00:00 |
|
Ricardo Rocha
|
88760aa0b1
|
mode directed tabling
|
2011-11-09 11:00:31 +00:00 |
|
Vítor Santos Costa
|
fa9d8008a4
|
bug fixes.
|
2011-10-27 12:37:41 +02:00 |
|
Vítor Santos Costa
|
22b0bcac14
|
mode directed tabling.
|
2011-10-22 16:49:13 +01:00 |
|
Vitor Santos Costa
|
8ff513b58a
|
fix thor to back up to intermediate node.
|
2011-10-12 23:51:12 +01:00 |
|
Joao
|
64ae3cdf52
|
fix YAPOR incremental copy.
|
2011-09-15 15:40:47 +01:00 |
|
Ricardo Rocha
|
efc59cf8d6
|
DepFr_cons field initialization for threads
|
2011-07-26 16:49:49 +01:00 |
|
Ricardo Rocha
|
31b3eeaae6
|
fix output stream usage
|
2011-07-26 15:26:01 +01:00 |
|
Ricardo Rocha
|
22d8e33a5f
|
fix cut support for or-parallelism
|
2011-07-13 17:36:26 +01:00 |
|
Ricardo Rocha
|
f2072e14b3
|
removing printf
|
2011-06-21 15:49:38 +01:00 |
|
Ricardo Rocha
|
8116aac432
|
parallel execution is now explicit using one of the new built-in
predicates: parallel/1, parallel_findall/3 or parallel_once/1.
|
2011-06-21 15:19:07 +01:00 |
|
Vítor Santos Costa
|
23a1a3fe39
|
use UInt not long.
|
2011-06-20 10:40:18 +01:00 |
|
Ricardo Rocha
|
3cd4f399c5
|
move opt.memory.c to or.memory.c
|
2011-06-02 17:05:58 +01:00 |
|
Ricardo Rocha
|
d601ba9caf
|
fix yapor memory allocation
|
2011-06-02 17:01:00 +01:00 |
|
Ricardo Rocha
|
dfe0e1854f
|
init_yapor_workers -> Yap_init_yapor_workers
|
2011-06-01 18:51:12 +01:00 |
|