diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
8,126 Commits 2 Branches 6 Tags 146 MiB
ada2ad44de
Commit Graph

274 Commits

Author SHA1 Message Date
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
Vitor Santos Costa
af056dd605 fix tabling to compile with threads+ or-parallelism. 2010-07-27 23:09:17 +01:00
Ricardo Rocha
4df6ed1394 extra built-in predicate for frozen choice point support 2010-05-18 17:34:52 +01:00
Vítor Santos Costa
be2a3a635e L constants are evil in 64 bits 2010-05-11 12:25:49 +01:00
Ricardo Rocha
16c1056a01 tabling support for the common global trie is now available by default 
(macro GLOBAL_TRIE was removed). Use 'yap_flag(tabling_mode,MODE)' to
set the storing mode for all tabled predicates to MODE ('local_trie' or
'global_trie). Alternatively, use 'tabling_mode(PRED,MODE)' to set the
default tabling mode of predicate PRED to MODE ('local_trie' or
'global_trie'). The default mode for all tabled predicates is 'local_trie'.
 2010-04-23 04:22:10 +01:00
Ricardo Rocha
7eee5a5b56 new built-in predicates to access OPTYap statistics related to memory 
usage.
 2010-04-20 03:59:48 +01:00
Ricardo Rocha
c221c2ff85 renaming some OPTYap files in order to have a more consistent name organization 2010-04-19 02:34:08 +01:00
Ricardo Rocha
73d210c991 reducing the number of macros for error checking in the OPTYap files 2010-04-18 04:59:11 +01:00
Ricardo Rocha
467dd91b32 new built-in predicate global_trie_statistics/0. 2010-04-16 03:07:37 +01:00
Ricardo Rocha
ddb1cd8604 adding two new modes to the yap_flag/2 and tabling_mode/2 built-in 
predicates: 'local_trie' mode and 'global_trie' mode.
 2010-04-16 02:08:06 +01:00
Ricardo Rocha
e122f2ca8d Global trie support: atomic terms (vars, integers and atoms) are now stored 
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
 2010-04-15 01:09:59 +01:00
Vítor Santos Costa II
8efec0b26e put ThOr back in shape. 2010-04-09 11:56:07 +01:00
Ricardo Rocha
ab8fee4e08 common global trie for subtems (seems to be working correctly !) 2010-04-05 03:34:02 +01:00
Ricardo Rocha
9c3bb73bab common global trie (version GT-ST: global trie for subterms) 2010-04-05 03:31:12 +01:00
Ricardo Rocha
6c222b8e87 use a macro (stack_terms_limit) to delimit the top of the auxiliary term 
stack
 2010-04-03 16:05:38 +01:00
Ricardo Rocha
b3e2c562a2 misplaced #endif declaration 2010-04-03 06:31:34 +01:00
Ricardo Rocha
52a2b49263 new support for the common global trie (version GT-ST: global trie for subterms) 2010-04-03 05:58:14 +01:00