Commit Graph

84 Commits

Author SHA1 Message Date
Vitor Santos Costa
f7fe32a03c fix win32 warnings: unsigned long != CELL, IOSTREAM with sace restore, _ffsll and _isatty, fp patches 2014-10-24 15:18:32 +01:00
Vítor Santos Costa
a76b6d23dc Fix: eclipse >u. into >y_u. 2014-05-30 01:06:09 +01:00
Andreas Becker
72b9ec59b7 Fix: Win32 defines Bind, so change Bind to YapBind. 2014-05-29 11:32:28 +02:00
Vitor Santos Costa
d0efa26d8b Merge branch 'rtries' of git.dcc.fc.up.pt:yap-6.3
Conflicts:
	OPTYap/tab.insts.i
	OPTYap/tab.tries.c
	OPTYap/tab.tries.i
2014-02-13 11:57:46 +00:00
Vitor Santos Costa
6b2e1973ab Windows fixes, mainly H -> HB 2014-01-19 21:15:05 +00:00
Vítor Santos Costa
ccccf71ae1 support for tabling of bignums and strings 2014-01-17 09:39:29 +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
35a332f23a rational tries support for yap tabling 2013-12-17 16:55:39 +00: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
1dcc8bd393 adptation of the memory allocator based on pages to work with threads 2012-05-14 19:11:58 +01:00
Miguel Areias
1de3affa99 Multi-threaded tabling - No Sharing support 2012-02-14 15:00:31 +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
ab32e8f14e fix expand hash tables with TRIE_LOCK_AT_WRITE_LEVEL schemes 2011-12-12 17:24:58 +00:00
Ricardo Rocha
d33829205e support for local pages with threads 2011-12-07 13:53:20 +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
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
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
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
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
ebd0e8a7c0 change global_optyap_data macros to GLOBAL_. 2011-05-10 11:47:18 +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
f890a11377 change macros GLOBAL to Yap 2011-03-29 18:19:18 +01: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
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
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
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
Ricardo Rocha
ab8fee4e08 common global trie for subtems (seems to be working correctly !) 2010-04-05 03:34:02 +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
52a2b49263 new support for the common global trie (version GT-ST: global trie for subterms) 2010-04-03 05:58:14 +01:00
Ricardo Rocha
55855d8d90 fix abolish_table/1 abolish_all_tables/0 for predicates with arity 0 2010-03-29 15:41:59 +01: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
Ricardo Rocha
7d841065e9 support for the common global trie (version GT-T: global trie for terms) 2009-09-27 02:31:31 +01:00
Ricardo Rocha
cc2c6dbe71 make the parallel and sequential code to check/insert nodes in the
trie more consistent
2009-08-07 06:27:34 +01:00
Ricardo Rocha
375f3b7bc6 fix debugging procedures for tabling 2009-08-07 04:46:45 +01:00