Commit Graph

224 Commits

Author SHA1 Message Date
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