From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Julian Graham" Newsgroups: gmane.lisp.guile.devel Subject: Re: srfi-18 requirements Date: Tue, 11 Mar 2008 00:02:53 -0400 Message-ID: <2bc5f8210803102102p31da06b5jfa7807bb727907a7@mail.gmail.com> References: <2bc5f8210710101854m1254160ei451026182b87e767@mail.gmail.com> <87pruso94g.fsf@ossau.uklinux.net> <2bc5f8210802191810v729d8fa5jec070d3ee4358493@mail.gmail.com> <87r6f5zv6t.fsf@ossau.uklinux.net> <2bc5f8210802212014o45a9c79dpd688f11726a1e159@mail.gmail.com> <87ir0e1yka.fsf@ossau.uklinux.net> <2bc5f8210802241017o46468365j33c329a069d96d33@mail.gmail.com> <873ariaq82.fsf@ossau.uklinux.net> <2bc5f8210803011156i3bfb976bsda2a7902654ba3a6@mail.gmail.com> <87bq5pb2ea.fsf@ossau.uklinux.net> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_39752_9424107.1205208173911" X-Trace: ger.gmane.org 1205208196 16056 80.91.229.12 (11 Mar 2008 04:03:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 11 Mar 2008 04:03:16 +0000 (UTC) Cc: =?ISO-8859-1?Q?Ludovic_Court=E8s?= , guile-devel@gnu.org To: "Neil Jerram" Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Mar 11 05:03:44 2008 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1JYviE-0002la-RG for guile-devel@m.gmane.org; Tue, 11 Mar 2008 05:03:39 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1JYvhg-0002IV-Ll for guile-devel@m.gmane.org; Tue, 11 Mar 2008 00:03:04 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1JYvhc-0002HP-Tg for guile-devel@gnu.org; Tue, 11 Mar 2008 00:03:00 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1JYvhc-0002H3-68 for guile-devel@gnu.org; Tue, 11 Mar 2008 00:03:00 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1JYvhc-0002H0-0h for guile-devel@gnu.org; Tue, 11 Mar 2008 00:03:00 -0400 Original-Received: from fg-out-1718.google.com ([72.14.220.152]) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1JYvhb-0005e0-C0 for guile-devel@gnu.org; Tue, 11 Mar 2008 00:02:59 -0400 Original-Received: by fg-out-1718.google.com with SMTP id d23so2699785fga.30 for ; Mon, 10 Mar 2008 21:02:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; bh=LXieI+oLQDqU2ZVXkgeLzZvx5dpM46tuxb283ZEH3fI=; b=HDnXN1aEU6Kt0LnCpLSR60Lm/JTYP4vljWzEHdeVTX11v2NRIDH29Wzb2YkRrXA3ERh2f0P8PuyaJ9eoXSkpDZoKu4rS8cy7BchYPu3/wnS8VvThZbXWL/x4WEw9TnNrWmiMrYcjhakAC/2AFR9wZDgDSqeCUACqyZkah9T1AvM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=JxF9lEoRA4lR6E6Cyd13WCs4GJ73+t7UAue4BbgiVA++OwL34rjy+TFAvmWgOYnuSKzFsVvI7PaA1crT54RrwGwXXRTEDxiLCob4TsnI5jwXzOm1FINOxZvx/Lqh500YoaWdmCOJOOCH+V/l/z3lMsfHzUcYgNw67ZMoh+GLJEk= Original-Received: by 10.82.115.8 with SMTP id n8mr15158322buc.10.1205208174160; Mon, 10 Mar 2008 21:02:54 -0700 (PDT) Original-Received: by 10.82.100.6 with HTTP; Mon, 10 Mar 2008 21:02:53 -0700 (PDT) In-Reply-To: <87bq5pb2ea.fsf@ossau.uklinux.net> X-detected-kernel: by monty-python.gnu.org: Linux 2.6 (newer, 2) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:7067 Archived-At: ------=_Part_39752_9424107.1205208173911 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hi Neil, > It looks great. I still have a few minor queries, but it's close > enough now that I've committed this latest patch to CVS; it'll be much > more convenient to work on the few remaining queries incrementally, > rather than with respect to threads.c as it was prior to all these > changes. Hey, great! Maybe this is premature (without the Scheme implementation being in yet), but: Thanks for your patience and prudent counsel over these last several months. As regards the changes below, I've attached a patch against the new HEAD that I think resolves the issues you mentioned. > Finally, please note that we will need a NEWS entry for this work. > Are you happy to write that too? (You may of course prefer to defer > this until the SRFI-18 Scheme parts are committed too - that's > absolutely fine.) Yes, I'm happy to write the NEWS entry, but think I would like to wait to submit it until everything's in. And speaking of the Scheme parts, shall I go ahead and send you a patch that includes those? I expect that my original implementation won't need that much tweaking to cooperate with the new core interfaces; it shouldn't take long. Speaking of which, though, I've already run into some difficulty implementing mutex-state -- the solution you proposed earlier depends on mutex-owner being visible to Scheme code (it's not, at the moment), and I can't figure out how to write mutex-state efficiently without it (or some other way of passively inspecting the mutex). Any suggestions would be appreciated! Regards, Julian ------=_Part_39752_9424107.1205208173911 Content-Type: text/x-diff; name=srfi-18-core.fixups.HEAD.patch Content-Transfer-Encoding: base64 X-Attachment-Id: f_fdnx9wvi0 Content-Disposition: attachment; filename=srfi-18-core.fixups.HEAD.patch SW5kZXg6IGRvYy9yZWYvYXBpLXNjaGVkdWxpbmcudGV4aQo9PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09ClJDUyBmaWxlOiAv c291cmNlcy9ndWlsZS9ndWlsZS9ndWlsZS1jb3JlL2RvYy9yZWYvYXBpLXNjaGVkdWxpbmcudGV4 aSx2CnJldHJpZXZpbmcgcmV2aXNpb24gMS4yMApkaWZmIC1hIC11IC1yMS4yMCBhcGktc2NoZWR1 bGluZy50ZXhpCi0tLSBkb2MvcmVmL2FwaS1zY2hlZHVsaW5nLnRleGkJOCBNYXIgMjAwOCAxNjoy MjozOSAtMDAwMAkxLjIwCisrKyBkb2MvcmVmL2FwaS1zY2hlZHVsaW5nLnRleGkJMTEgTWFyIDIw MDggMDM6Mzg6MDAgLTAwMDAKQEAgLTM3Nyw3ICszNzcsNyBAQAogQHNwIDEKIEBkZWZmbiB7U2No ZW1lIFByb2NlZHVyZX0gbWFrZS1tdXRleCAuIGZsYWdzCiBAZGVmZm54IHtDIEZ1bmN0aW9ufSBz Y21fbWFrZV9tdXRleCAoKQotQGRlZmZueCB7QyBGdW5jdGlvbn0gc2NtX21ha2VfbXV0ZXhfd2l0 aF9mbGFncyAoU0NNIGZsYWcpCitAZGVmZm54IHtDIEZ1bmN0aW9ufSBzY21fbWFrZV9tdXRleF93 aXRoX2ZsYWdzIChTQ00gZmxhZ3MpCiBSZXR1cm4gYSBuZXcgbXV0ZXguICBJdCBpcyBpbml0aWFs bHkgdW5sb2NrZWQuICBJZiBAdmFye2ZsYWdzfSBpcyAKIHNwZWNpZmllZCwgaXQgbXVzdCBiZSBh IGxpc3Qgb2Ygc3ltYm9scyBzcGVjaWZ5aW5nIGNvbmZpZ3VyYXRpb24gZmxhZ3MKIGZvciB0aGUg bmV3bHktY3JlYXRlZCBtdXRleC4gIFRoZSBzdXBwb3J0ZWQgZmxhZ3MgYXJlOiAKSW5kZXg6IGxp Ymd1aWxlL3RocmVhZHMuYwo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09ClJDUyBmaWxlOiAvc291cmNlcy9ndWlsZS9ndWls ZS9ndWlsZS1jb3JlL2xpYmd1aWxlL3RocmVhZHMuYyx2CnJldHJpZXZpbmcgcmV2aXNpb24gMS45 MgpkaWZmIC1hIC11IC1yMS45MiB0aHJlYWRzLmMKLS0tIGxpYmd1aWxlL3RocmVhZHMuYwk4IE1h ciAyMDA4IDE2OjIyOjM5IC0wMDAwCTEuOTIKKysrIGxpYmd1aWxlL3RocmVhZHMuYwkxMSBNYXIg MjAwOCAwMzozODowOCAtMDAwMApAQCAtNzQsNyArNzQsNyBAQAogICAgICAgZG91YmxlIHNlYyA9 IHNjbV9jX3RydW5jYXRlICh0aW1lKTsKIAogICAgICAgd2FpdHRpbWUtPnR2X3NlYyA9IChsb25n KSBzZWM7Ci0gICAgICB3YWl0dGltZS0+dHZfbnNlYyA9IChsb25nKSAoKHRpbWUgLSBzZWMpICog MTAwMDAwMCk7CisgICAgICB3YWl0dGltZS0+dHZfbnNlYyA9IChsb25nKSAoKHRpbWUgLSBzZWMp ICogMTAwMDAwMDAwMCk7CiAgICAgfQogfQogCkBAIC0xMTcwLDkgKzExNzAsOSBAQAogICByZXR1 cm4gc2NtX21ha2VfbXV0ZXhfd2l0aF9mbGFncyAoU0NNX0VPTCk7CiB9CiAKLXN0YXRpYyBTQ00g dW5jaGVja2VkX3VubG9ja19zeW07Ci1zdGF0aWMgU0NNIGFsbG93X2V4dGVybmFsX3VubG9ja19z eW07Ci1zdGF0aWMgU0NNIHJlY3Vyc2l2ZV9zeW07CitTQ01fU1lNQk9MICh1bmNoZWNrZWRfdW5s b2NrX3N5bSwgInVuY2hlY2tlZC11bmxvY2siKTsKK1NDTV9TWU1CT0wgKGFsbG93X2V4dGVybmFs X3VubG9ja19zeW0sICJhbGxvdy1leHRlcm5hbC11bmxvY2siKTsKK1NDTV9TWU1CT0wgKHJlY3Vy c2l2ZV9zeW0sICJyZWN1cnNpdmUiKTsKIAogU0NNX0RFRklORSAoc2NtX21ha2VfbXV0ZXhfd2l0 aF9mbGFncywgIm1ha2UtbXV0ZXgiLCAwLCAwLCAxLAogCSAgICAoU0NNIGZsYWdzKSwKQEAgLTEx OTIsNyArMTE5Miw3IEBACiAgICAgICBlbHNlIGlmIChzY21faXNfZXEgKGZsYWcsIHJlY3Vyc2l2 ZV9zeW0pKQogCXJlY3Vyc2l2ZSA9IDE7CiAgICAgICBlbHNlIAotCVNDTV9NSVNDX0VSUk9SICgi dW5zdXBwb3J0ZWQgbXV0ZXggb3B0aW9uIiwgU0NNX0VPTCk7CisJU0NNX01JU0NfRVJST1IgKCJ1 bnN1cHBvcnRlZCBtdXRleCBvcHRpb246IH5hIiwgc2NtX2xpc3RfMSAoZmxhZykpOwogICAgICAg cHRyID0gU0NNX0NEUiAocHRyKTsKICAgICB9CiAgIHJldHVybiBtYWtlX2ZhdF9tdXRleCAocmVj dXJzaXZlLCB1bmNoZWNrZWRfdW5sb2NrLCBleHRlcm5hbF91bmxvY2spOwpAQCAtMTM3OCwxMCAr MTM3OCwxNiBAQAogICAgICAgaWYgKHNjbV9pc19mYWxzZSAobS0+b3duZXIpKQogCXsKIAkgIGlm ICghbS0+dW5jaGVja2VkX3VubG9jaykKLQkgICAgc2NtX21pc2NfZXJyb3IgKE5VTEwsICJtdXRl eCBub3QgbG9ja2VkIiwgU0NNX0VPTCk7CisJICAgIHsKKwkgICAgICBzY21faV9wdGhyZWFkX211 dGV4X3VubG9jayAoJm0tPmxvY2spOworCSAgICAgIHNjbV9taXNjX2Vycm9yIChOVUxMLCAibXV0 ZXggbm90IGxvY2tlZCIsIFNDTV9FT0wpOworCSAgICB9CiAJfQogICAgICAgZWxzZSBpZiAoIW0t PmFsbG93X2V4dGVybmFsX3VubG9jaykKLQlzY21fbWlzY19lcnJvciAoTlVMTCwgIm11dGV4IG5v dCBsb2NrZWQgYnkgY3VycmVudCB0aHJlYWQiLCBTQ01fRU9MKTsKKwl7CisJICBzY21faV9wdGhy ZWFkX211dGV4X3VubG9jayAoJm0tPmxvY2spOworCSAgc2NtX21pc2NfZXJyb3IgKE5VTEwsICJt dXRleCBub3QgbG9ja2VkIGJ5IGN1cnJlbnQgdGhyZWFkIiwgU0NNX0VPTCk7CisJfQogICAgIH0K IAogICBpZiAoISAoU0NNX1VOQk5EUCAoY29uZCkpKQpAQCAtMTU2MywxMyArMTU2OSw2IEBACiB9 CiAjdW5kZWYgRlVOQ19OQU1FCiAKLXN0YXRpYyBpbnQKLWZhdF9jb25kX3RpbWVkd2FpdCAoU0NN IGNvbmQsIFNDTSBtdXRleCwKLQkJICAgIGNvbnN0IHNjbV90X3RpbWVzcGVjICp3YWl0dGltZSkK LXsKLSAgcmV0dXJuIGZhdF9tdXRleF91bmxvY2sgKG11dGV4LCBjb25kLCB3YWl0dGltZSwgMSk7 Ci19Ci0KIFNDTV9ERUZJTkUgKHNjbV90aW1lZF93YWl0X2NvbmRpdGlvbl92YXJpYWJsZSwgIndh aXQtY29uZGl0aW9uLXZhcmlhYmxlIiwgMiwgMSwgMCwKIAkgICAgKFNDTSBjdiwgU0NNIG14LCBT Q00gdCksCiAiV2FpdCB1bnRpbCBAdmFye2NvbmQtdmFyfSBoYXMgYmVlbiBzaWduYWxsZWQuICBX aGlsZSB3YWl0aW5nLCAiCkBAIC0xNTk0LDcgKzE1OTMsNyBAQAogICAgICAgd2FpdHB0ciA9ICZ3 YWl0dGltZTsKICAgICB9CiAKLSAgcmV0dXJuIGZhdF9jb25kX3RpbWVkd2FpdCAoY3YsIG14LCB3 YWl0cHRyKSA/IFNDTV9CT09MX1QgOiBTQ01fQk9PTF9GOworICByZXR1cm4gZmF0X211dGV4X3Vu bG9jayAobXgsIGN2LCB3YWl0cHRyLCAxKSA/IFNDTV9CT09MX1QgOiBTQ01fQk9PTF9GOwogfQog I3VuZGVmIEZVTkNfTkFNRQogCkBAIC0xOTk3LDEyICsxOTk2LDYgQEAKICAgc2NtX3NldF9zbW9i X3ByaW50IChzY21fdGMxNl9tdXRleCwgZmF0X211dGV4X3ByaW50KTsKICAgc2NtX3NldF9zbW9i X2ZyZWUgKHNjbV90YzE2X211dGV4LCBmYXRfbXV0ZXhfZnJlZSk7CiAKLSAgdW5jaGVja2VkX3Vu bG9ja19zeW0gPSAKLSAgICBzY21fcGVybWFuZW50X29iamVjdCAoc2NtX2Zyb21fbG9jYWxlX3N5 bWJvbCAoInVuY2hlY2tlZC11bmxvY2siKSk7Ci0gIGFsbG93X2V4dGVybmFsX3VubG9ja19zeW0g PSAKLSAgICBzY21fcGVybWFuZW50X29iamVjdCAoc2NtX2Zyb21fbG9jYWxlX3N5bWJvbCAoImFs bG93LWV4dGVybmFsLXVubG9jayIpKTsKLSAgcmVjdXJzaXZlX3N5bSA9IHNjbV9wZXJtYW5lbnRf b2JqZWN0IChzY21fZnJvbV9sb2NhbGVfc3ltYm9sICgicmVjdXJzaXZlIikpOwotCiAgIHNjbV90 YzE2X2NvbmR2YXIgPSBzY21fbWFrZV9zbW9iX3R5cGUgKCJjb25kaXRpb24tdmFyaWFibGUiLAog CQkJCQkgc2l6ZW9mIChmYXRfY29uZCkpOwogICBzY21fc2V0X3Ntb2JfbWFyayAoc2NtX3RjMTZf Y29uZHZhciwgZmF0X2NvbmRfbWFyayk7Cg== ------=_Part_39752_9424107.1205208173911--