Commit Graph

290 Commits

Author SHA1 Message Date
Theo
b4506cf793 CoInductive tabling 2013-12-19 16:56:55 +00:00
Theo
1f0f9968df Adding rational term support for tabling tries 2013-12-19 10:56:52 +00:00
Theo
65eb3b8e4d Still undoing... sorry 2013-12-17 18:15:34 +00:00
Theofrastos Mantadelis
5a8017156a undid the last changes... 2013-12-17 18:03:46 +00:00
Theofrastos Mantadelis
35a332f23a rational tries support for yap tabling 2013-12-17 16:55:39 +00:00
joao
da0f807abf fix YAPOR_THREADS memory macros 2013-12-16 16:51:00 +00:00
Vítor Santos Costa
e813c75814 enable thread debugging 2013-11-12 08:34:26 +00:00
Vitor Santos Costa
bf77381744 alloc K * Size 2013-10-01 16:42:12 +01:00
Vitor Santos Costa
743c9c69fb get rid of PROTO 2013-04-25 17:15:04 -05:00
Vitor Santos Costa
633a56647e thread stuff should be thread efficient :) 2013-03-26 16:11:19 -05:00
Vitor Santos Costa
83480fe8a7 change the way predicates are hidden 2012-10-19 18:11:20 +01:00
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
Joao
e319b2fbf9 fix YAPOR THREADS. fix threads + tabling. 2011-05-27 17:21:03 +01:00
Ricardo Rocha
e63cba963e new local predicates for tabling with threads 2011-05-25 20:08:04 +01:00
Ricardo Rocha
f7b9c74948 sync with repository 2011-05-25 18:50:54 +01:00
Ricardo Rocha
1d4fdd53c0 use SWI's IOSTREAM for output 2011-05-25 18:38:46 +01:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Joao
8170f6d3cb Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS 2011-05-23 16:19:47 +01:00
Joao
ab63cd190b LOCALS and GLOBALS are now generated by misc/buildlocalglobal. 2011-05-11 18:22:58 +01:00
Joao
d6fc76faf1 Remove GLOBAL_AGcLastCall. Fix GLOBAL_check_sg_fr. 2011-05-10 12:20:22 +01:00
Joao
ebd0e8a7c0 change global_optyap_data macros to GLOBAL_. 2011-05-10 11:47:18 +01:00
Ricardo Rocha
026616963c remove FOREIGN_ macros and use REMOTE_ instead 2011-05-09 20:19:49 +01:00
Ricardo Rocha
a532b6cff3 struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00
Joao
dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Joao
719b04fee3 fix abolish_table/1 ans abolish_all_tables/0 built-in predicates 2011-04-29 17:29:02 +01:00
Joao
affaeb4092 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
	H/dlocals.h
	H/hlocals.h
	H/ilocals.h
	H/rlocals.h
2011-04-29 16:44:59 +01:00
Joao
c27f79eeb1 fix YapOr threads. 2011-04-29 14:59:17 +01:00
Joao
d4825159ee fix configure file. change memory management in YapOr. 2011-04-28 09:48:42 +01:00
Vitor Santos Costa
d3ff70096b fix purge_tries. 2011-04-26 22:15:54 +01:00
Joao
274de7652f fix error messages in configure file. 2011-04-18 14:59:17 +01:00
Joao
b6e0a64e56 fix memory allocation for YapOR 2011-04-14 19:19:13 +01:00
Joao
47f7ff0ad7 change Yap_init_optyap_global to Yap_init_optyap_data. 2011-04-07 16:37:41 +01:00
Joao
de8518cf15 change optyap_global_data to global_optyap_data 2011-04-07 16:30:56 +01:00
Joao
056ef59d4b fix tabling. change Yap_timestamp to Yap_ma_timestamp. change Yap_time_stamp to Yap_timestamp. 2011-04-07 16:00:26 +01:00
Joao
b4a00d1fef rename function Yap_init_global to Yap_init_optyap_global. 2011-04-01 11:13:48 +01:00
Joao
27d3399768 rename YAPOR files in OPTYAP 2011-03-31 14:50:47 +01:00
Joao
662658986a chnage define ACOW to YAPOR_COW 2011-03-30 16:39:09 +01:00
Joao
3e148c3541 change define SBA to YAPOR_SBA 2011-03-30 15:32:59 +01:00
Joao
810c96416b change define ENV_COPY to YAPOR_COPY 2011-03-30 14:35:10 +01:00
Joao
f890a11377 change macros GLOBAL to Yap 2011-03-29 18:19:18 +01:00
Joao
3664bc64d4 fix yapor+tabling 2011-03-29 15:52:44 +01:00
Joao
1cede1f4d6 change struct worker_share to global_data
change struct global_data to optyap_global_data
chnage field global in struct worker_share to optyap_global
2011-03-25 18:01:17 +00:00
Vítor Santos Costa
90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vítor Santos Costa
da1df3d851 more cleanups. 2011-03-02 23:19:39 +00:00
Vítor Santos Costa
b9a7cce232 fix aliasing warning. 2011-02-15 18:40:34 +00:00
Vitor Santos Costa
2db6020e80 remove debugging message. 2010-11-28 11:52:56 +00:00
Vitor Santos Costa
4aee4df719 single initialization for top frame. 2010-11-28 11:51:31 +00:00
vsc
312d82816e fix memory allocation (MMAP) for shared LOCAL and GLOBAL in ENV_COPY 2010-10-15 02:06:37 +01:00
vsc
bd502a39ac fix RW_locks for x86 (code from Erlang). 2010-10-15 01:13:49 +01:00
Vítor Santos Costa
bfa7285041 fix interface with Thor 2010-07-28 17:14:29 +01:00
Vitor Santos Costa
86af6ff3f6 add THOR to threads version. 2010-07-28 00:30:02 +01:00