← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/std/system/non-parallel-book.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/std/system/non-parallel-book.lisp
49
49
 is true.  (Suggestion: avoid that keyword unless you are sure you know what
50
50
 you are doing!)  Another keyword arguments is also available: if
51
51
 @(':hons-only') is non-@('nil') then @(see waterfall-parallelism) is turned
52
 
 off only in ACL2(hp), not in ACL2(p).  This keyword is useful if @(see
53
 
 memoize)d forms are the only problem: ACL2(h)'s memoization code isn't thread
54
 
 safe, which can sometimes cause errors in ACL2(hp).  Of course, if
55
 
 @(':hons-only') is omitted or @('nil'), then waterfall parallelism will always
56
 
 be turned off, not only in ACL2(hp).</p>"
 
52
 off only in ACL2(hp), not in ACL2(p).  This keyword used to be more useful,
 
53
 but ACL2(h)'s memoization code is now believed to be thread safe, so this
 
54
 feature is likely deprecated.  Of course, if @(':hons-only') is omitted or
 
55
 @('nil'), then waterfall parallelism will always be turned off, not only in
 
56
 ACL2(hp).</p>"
57
57
 
58
58
  (defmacro non-parallel-book (&key hons-only check-expansion)
59
59
    `(make-event