ubu32
11a74236dc
fix slots: have slots ready at init, even if we don't have a Prolog top-level;
...
don't get lost after pruning.
2011-07-11 22:12:32 -07:00
Vitor Santos Costa
6863a43e76
fix handling of backtrackable C-code in longjmp and other long range cuts.
2011-07-09 07:56:11 -04: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
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
65a514349f
Remove LOCAL_WPP.
2011-05-05 09:32:04 +01:00
Joao
dc3c54c164
change LOCALS macros.
2011-05-04 10:11:41 +01:00
Vítor Santos Costa
0b0d887275
initialise H0[-1]: avoid complaints from valgrind during gc.
2011-04-15 23:07:56 +01:00
Vítor Santos Costa
7a78d5c200
initialise initial ENV fully.
2011-04-15 23:05:03 +01:00
Joao
3e148c3541
change define SBA to YAPOR_SBA
2011-03-30 15:32:59 +01:00
Vítor Santos Costa
0d8aed7971
new implementation of corourining...
2011-03-18 19:34:58 +00:00
Vítor Santos Costa
92d2152aa7
fix bad lookout for handler choicepoint.
2011-03-11 19:47:58 +00:00
Vítor Santos Costa
90d93fdbdd
cache abstra machine register in threaded mode.
2011-03-07 16:02:55 +00:00
Vitor Santos Costa
6617a63b7e
attempt to improve error handliong in SWI emulation.
2011-02-11 14:17:27 +00:00
Vítor Santos Costa
eb82f5fa2a
more fixes to recursive call execution and backtracking from within C-mode.
...
semweb java example now working.
2010-12-14 09:30:40 +00:00
Vítor Santos Costa
3933ee4053
fix slot initialization problem.
2010-12-13 20:39:12 +00:00
Vítor Santos Costa
8db05c883b
make sure we separate betwen async exceptions and synchroneous.
2010-12-04 19:05:13 +00:00
Vítor Santos Costa
c6f41e2970
YAP_FAIL_ERROR in case a fail has been requested, but not accepetd yet.
2010-12-04 18:45:09 +00:00
Vitor Santos Costa
4aee4df719
single initialization for top frame.
2010-11-28 11:51:31 +00: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
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
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
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
0ccb607f19
FIX: initslots could destroy environment
2010-06-18 00:25:24 +01:00
Vítor Santos Costa
247d59f0ef
- slots should be considered as always live for gc.
...
- make sure slots do not die when they should be live, and vice-versa.
- improve a little on foreign_frame
2010-06-01 00:40:58 +01:00
Vitor Santos Costa
d5e1ff38f4
new interface to access globals. They are not in a file called GLOBALS, from which
...
we generate several files automatically.
2010-03-21 22:12:42 +00:00
Vitor Santos Costa
3c6a4435d8
Merge branch 'new_atts'
2010-03-15 15:05:42 +00:00
Ricardo Rocha
ee0022bb47
checking for frozen segments in the trail stack in now done using the
...
macro IN_BETWEEN(Yap_TrailBase, ref, Yap_TrailTop)
2010-03-12 20:02:32 +00:00
Vitor Santos Costa
43a822b41f
IsAttVar
2010-03-08 09:21:16 +00:00
Vitor Santos Costa
3070e4ce9d
fix locking issues with dynamic predicates and threads (obs from Paulo Moura).
2010-03-03 22:11:50 +00:00
Vitor Santos Costa
361c54bed8
execute0 has no access to the third argument.
2010-02-26 10:04:33 +00:00
Vítor Santos Costa
5e1f8ff84f
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2010-02-25 17:52:30 +00:00
Vítor Santos Costa
6a7e584e94
protect better call
2010-02-25 17:52:11 +00:00
Vitor Santos Costa
7b89916c43
C-code may mess up with environment: we cannot afford to just jump
...
there from anywhere (obs from Stefano Ferili).
2010-02-21 00:45:49 +00:00
Vítor Manuel de Morais Santos Costa
5ef31fbfd2
experiment in or-parallel threads.
2010-01-14 15:58:19 +00:00
Vítor Manuel de Morais Santos Costa
48861db34e
fix bad testing of choice-point in throw (tabling bug?)
2009-12-12 23:22:10 +00:00
Vítor Manuel de Morais Santos Costa
1176f71f3a
support for making sure exceptions are reset when they should be reset (obs from Nuno Fonseca, #159 )
2009-12-03 17:48:25 +00:00
Vitor Santos Costa
d2da5bfe26
fix setup_call_cleanup and friends.
2009-12-03 02:13:22 +00:00
Vitor Santos Costa
06d30b9fc9
Jump and Throw need to store the term away, if they try to use arena
...
the term will hang in the stack (#152 ).
2009-12-02 21:59:41 +00:00
Vítor Manuel de Morais Santos Costa
98f79484ae
change throw mechanism to fit better with cleanup mechanism:
...
- balls are now stored off line and recovered by Prolog code when everything
is safe.
- if a ball exists, throw uses the *existing* one (be careful not to have one
laying around).
- Jump routine cleans up every cp except ones for setup_call handling, backtracking simply calls setup handlers.
2009-11-27 11:21:24 +00:00
Vítor Manuel de Morais Santos Costa
7f5da32c08
fix trail when you do a jumpenv (Ulrich Neumerkel #152 )
2009-11-25 09:47:38 +00:00
Vitor Santos Costa
d637451bd6
make sure to put TR correctly (fixes copying DB terms with att vars #148 )
2009-11-21 00:23:03 +00:00
Vitor Santos Costa
945fff50a2
we should only recover H after we backtrack, never before.
2009-11-17 10:03:14 +00:00
Vítor Manuel de Morais Santos Costa
8f46f3d71d
fix bad passing of ! destination if we were running at an exec: affected debugger.
2009-11-04 12:17:17 +00:00
Costa Vitor
869671fb1b
make sure to have trail entries reset on setjump (obs from Jose Santos).
2009-07-17 19:31:20 -05:00
Costa Vitor
d47560342c
more fixes to call_counter: try to keep on counting system builtins.
2009-06-22 12:40:55 -05:00
Costa Vitor
f5a72828a0
fix SPARC register allocation bugs (not verified) #130
2009-06-15 10:29:31 -05:00
Vitor Santos Costa
b4ff9b492a
make sure to recover stack before copying exception term.
2009-06-14 11:17:12 -05:00
