From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BCD1C8015E for ; Sun, 11 Jun 2017 20:49:11 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alex.only.d@gmail.com; spf=Pass smtp.mailfrom=alex.only.d@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alex.only.d@gmail.com) identity=pra; client-ip=209.85.223.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="alex.only.d@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of alex.only.d@gmail.com designates 209.85.223.172 as permitted sender) identity=mailfrom; client-ip=209.85.223.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="alex.only.d@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f172.google.com) identity=helo; client-ip=209.85.223.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="postmaster@mail-io0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ANI6yzBw15WoMawbXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1O8WIJqq85mqBkHD//Il1AaPBtSEraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze6/9pnRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRDqhi?= =?us-ascii?q?cJNzA3/mLKhMJukK1Wuw6hqwBlzoLIfI2ZKPhzc6XAdt0aX2pBWcNRWjRdD4O4?= =?us-ascii?q?cYQOAPQOPOZFpIfyqFsOqgG+BQ6yBOjyzTJHnHv20rM10ug7FgHG2gggHtIUvH?= =?us-ascii?q?vJt9j1O6ISXvq0zKnM1znMc/RW2TLk5YXObxsvr/aMXbdqfsrQz0kiDxvFgU+L?= =?us-ascii?q?qYz5ITyazeUNs26B4+V8UuKvjmgqoBxyrDi33soglJXFi4YPxl3H9Sh12pg5Kc?= =?us-ascii?q?O2RUJhfNKpEoVcuieHPIVsWMwiWXtnuCMix70Gp5G7eC8KxYwixxHFavyHd5GE?= =?us-ascii?q?4hPkVOqNODt4im9pdbChixqo/kigzer8Vsaw0FlUtCZKjt7MtnUV2xzS7MiIVO?= =?us-ascii?q?d981+/1TqT0w3f8OJJLEAumabFNZIszKQ8mocRvEjdBiP2nV/5jK6SdkUq4Oio?= =?us-ascii?q?7OHnb638qZ+YKYB1hRvyMqMomsy7AeU0KBUBUnOU+eS5zrLj/En5TK9Wgf0xl6?= =?us-ascii?q?nVqIraKtgDpq6lHw9V1Z4u5AqlADej1NQUhH0HLFNeeBKblIXpIFHPIPXgDfil?= =?us-ascii?q?mViskTFrx+rHPrL7GJnNIGLDw//deuN24ktYjQ4y1sx35pROC7hHLuigdFX2sY?= =?us-ascii?q?nxChIpPh387ungEtJjntcXXW+fRKifNLKUvXeH4+suJ6+HY4pD62W1EOQs+/O7?= =?us-ascii?q?1SxxolQaZ6T8hZY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DKAwC9jz1Zf6zfVdFdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhAQLgQ0Hg22ZbAFsBpk7KIV4AgICgnoHQhUBAQEBAQEBAQEBARIBAQkLCwg?= =?us-ascii?q?mMYIzIoJEAwMjBBkBGx4DDAYFCw8CJgICIQEBEQEFAQ4BDRmKEwEDCA2jdz+MC?= =?us-ascii?q?IFsGAUBHIMKBYNpChknDVaDPwEBCAEBAQEcAgEFEnmEREyFEjSCWIJegkaCYQW?= =?us-ascii?q?RPYxHO4crhzqEZJIGi0aHXhQfgRU1gSwwISNdGYRkghg5NgGKGwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DKAwC9jz1Zf6zfVdFdHQEFAQsBGAEFAQsBhAQLgQ0Hg22?= =?us-ascii?q?ZbAFsBpk7KIV4AgICgnoHQhUBAQEBAQEBAQEBARIBAQkLCwgmMYIzIoJEAwMjB?= =?us-ascii?q?BkBGx4DDAYFCw8CJgICIQEBEQEFAQ4BDRmKEwEDCA2jdz+MCIFsGAUBHIMKBYN?= =?us-ascii?q?pChknDVaDPwEBCAEBAQEcAgEFEnmEREyFEjSCWIJegkaCYQWRPYxHO4crhzqEZ?= =?us-ascii?q?JIGi0aHXhQfgRU1gSwwISNdGYRkghg5NgGKGwEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,330,1493676000"; d="scan'208";a="278250477" Received: from mail-io0-f172.google.com ([209.85.223.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jun 2017 20:49:10 +0200 Received: by mail-io0-f172.google.com with SMTP id t87so28148293ioe.0 for ; Sun, 11 Jun 2017 11:49:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=PravRAZQm2Rd27Y9fXdosZSfuHrbYMKVz5Yt/nVHTH4=; b=FQ0LXK8PYfCnEc7R8OomI2wVnnzCkk+TY2e8kNEWRhOkdQc4fegg4IWFpJbVGbINjL 4805V/ox1Eh1phUVqe1Mx4BAWiIhR2OdNt7OjluNS1pzioEwe7mGfXix4ZA/SwhgzwFv jxWXPKW/I+Vi22C/f2y3nRfnFnDGhXqAG0e8zdpkDuvUVNX1EHtkIU5Utgp1DfcasCy9 WICw+1b3N48Nqyo8oVRSph0JR56YZ72kgor9NeYVRY7CCy9P3UV+ZozNztPx28oREEP6 N94N0icf/jjSiS1Tnkr6C65luaWo4iD75HtUZihLAS48GDkAmG9KOA/fb0G3Xk6bleCG qq5Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=PravRAZQm2Rd27Y9fXdosZSfuHrbYMKVz5Yt/nVHTH4=; b=IJKtzUjsPt++TqP/iIyqsLsaOkKKZE5evTy7M/CFtVBk7ebTcm3P3rQOhAh+VpCn24 r6B4/v+ux3KTHNnNqi4vMWjprcwzGZ0KM5xiGf/ui2hLV+FwxoDlvaDmPbdAUvRwHpMF A/90sZHJ0x7+W4q+8iV5UYtIJ4RbTyrUPCLxd5t8Jw+9doYcbFADRT3CcpswgRXspI+1 A9dcXfsZ2JSJB1EVbwsrFkIqGQbHdwmAuGuChZYDKkxeMeVyj2f256tpr49w+QsuDvz2 GUAp1v7yD6NPL6bCsxCDceDbNxzkFdX8sdFuodhZafbnG1gbn5vmB+xbfu9ZjnekndPQ bv3g== X-Gm-Message-State: AODbwcCFVTaB/l8aPVvODC1skFgOXwqOVi7nU1iE/a5WTAgOm53PmNuv op8Pd/cLPdqqih4N37oDA7JHS08xaA== X-Received: by 10.107.137.166 with SMTP id t38mr42156801ioi.79.1497206949395; Sun, 11 Jun 2017 11:49:09 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.151.19 with HTTP; Sun, 11 Jun 2017 11:49:08 -0700 (PDT) In-Reply-To: References: From: Alexey Egorov Date: Sun, 11 Jun 2017 23:49:08 +0500 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] memory corruption using C stub I think I found a reason. That was just stack overflow from non-tail-recursive List.map, and OCaml on windows just crashes (C style) instead of throwing exception... 2017-06-10 20:33 GMT+05:00 Alexey Egorov : > Hello, > > I have an OCaml application with some C code which (I believe) is the > reason of some random crashes. > > Here is the code - https://pastebin.com/FVtLphZu > This function reads file at given offset, divides data into chunks and > compute checksums and compression ratio: > external compute_data_props > : string -> int -> int -> int -> (int * int * float) list = > "compute_data_props" > > The problem is, after some calls to this stub, application is crashing > at random places in OCaml code. > I can't figure out what's going wrong, but replacing this stub with > dummy function (which does nothing but returns some predefined list) > eliminates the problem. > > What can we do to debug it? We are using OCaml 4.04.1 and Windows 10, > and there is no other C stubs in our codebase. > > Thanks!