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 1627580160 for ; Sat, 10 Jun 2017 19:01:30 +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-f181.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.181; 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.181 as permitted sender) identity=mailfrom; client-ip=209.85.223.181; 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-f181.google.com) identity=helo; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="postmaster@mail-io0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXyfv7xL1tytBQL4UAdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeKfvxwZ3uMQTl6Ol3ixeRBMOAuq0C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9KdrUAHnhz?= =?us-ascii?q?sbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfFjfK3SYMkaSHJDUcZfVyJPDICy?= =?us-ascii?q?YZYRAeUdJutYs5XxqkESoReiGQWhBuXiwSJIiH/s2q061vwsHB3C3AM+ENMBrn?= =?us-ascii?q?TVp8j6OqcdVuC11q7IzSveZP5Rwzj97JbHcx87rfGLW7JwdcrQxVMyGA7egVWQ?= =?us-ascii?q?rJbqPzKR1ugXr2eb6O9gWPuphmU6pQ9xpT2vyd0tionPno8Vy1bE9T94wIkvP9?= =?us-ascii?q?G4RlR7bca8EJRKrCGaK5V5TdgjQ2Fuoio11roGuZujcCkK0psnxxnfa/udf4eU?= =?us-ascii?q?5RLjUeCcKip7inJ9YL+zmQq+/Ey6xuD/VsS4ykhGojRLn9XWq3wA1AHf586aQf?= =?us-ascii?q?Vn5EihwyyA1wXL5+FEP080ka3bJoYkwrEql5oTtV3PHi7xmEnqlaOWeFgo9+u1?= =?us-ascii?q?5+j9bbXmoZicN4Bwig7gKKghhsu/AeEgPggPWWiU5/i82aX98UHlRLhGlP47n6?= =?us-ascii?q?nDvJzEO8gWqLS1DxJW34o+8xq/Ci2p0NUcnXkJNlJFfxeHgpDzNFHKPv/5Au2z?= =?us-ascii?q?g1OqkDdvx/HKJKDuD47CLnjGirjhfLJ951RAxwo0yNBT/4hUBa0ZIPLvRk/xs8?= =?us-ascii?q?TVAQMjPAyxx+brEdF91oIFWWKTGaKZK6PTsVqQ5u01OeWMZYkVuCz8K/c//fLu?= =?us-ascii?q?g2U5yhchevyX3JYLIFS1VqB4IkiFZWO83/8OFG4Lukw1S+m823OYVjsGTnK/T6?= =?us-ascii?q?8trhw0D5ihE8+XT4SgkPqG2iOqWJF+aWVPC1TKGnDtIdbXE8wQYT6fd5cy2gcP?= =?us-ascii?q?UqKsHtNw2A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BuAACzJTxZh7XfVdFcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBg1A/exIHg22KGJFugj+TRIIRLIV0AgICgnoHPxgBAQE?= =?us-ascii?q?BAQEBAQEBARIBAQEIDQkIKC+CMwyCWgECAyMEGQEbEgsBAwwGBQsNAgIJHQICI?= =?us-ascii?q?QEBEQEFAQoEAQ0GExKKAQEDCA0QpRU/jAiBbBgFARyDCgWDaQoZJwMKVoM/AQE?= =?us-ascii?q?BAQEBAQMBAQEBAQEaAgYSeYREhV40gliFJIJhBYduDIlDjEc7hyuHOoRkgluPK?= =?us-ascii?q?4tGh14UH4EVH4FCMCEjXRmEZB+BeTk2AYlyAQEB?= X-IPAS-Result: =?us-ascii?q?A0BuAACzJTxZh7XfVdFcGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBg1A/exIHg22KGJFugj+TRIIRLIV0AgICgnoHPxgBAQEBAQEBAQEBARIBA?= =?us-ascii?q?QEIDQkIKC+CMwyCWgECAyMEGQEbEgsBAwwGBQsNAgIJHQICIQEBEQEFAQoEAQ0?= =?us-ascii?q?GExKKAQEDCA0QpRU/jAiBbBgFARyDCgWDaQoZJwMKVoM/AQEBAQEBAQMBAQEBA?= =?us-ascii?q?QEaAgYSeYREhV40gliFJIJhBYduDIlDjEc7hyuHOoRkgluPK4tGh14UH4EVH4F?= =?us-ascii?q?CMCEjXRmEZB+BeTk2AYlyAQEB?= X-IronPort-AV: E=Sophos;i="5.39,324,1493676000"; d="scan'208";a="278186009" Received: from mail-io0-f181.google.com ([209.85.223.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Jun 2017 19:01:01 +0200 Received: by mail-io0-f181.google.com with SMTP id i7so42359934ioe.1 for ; Sat, 10 Jun 2017 10:01:01 -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 :cc; bh=qURfLg1wDgpIkBPFOM+lQlwz+thVanfOYNRPheGZrqE=; b=fD3BJvV0S5UWfbpZuHo+18zx12Wcms4y7628zp4GNl4TyKLCy/CukpopUApBIxCL9q CBjCYLIYNsWrTwUI5A5axFe7jEHD9LqueT819Hiatz5hy7iaJ2eyi3n3eTRQY2mMoQIS V23b4zW3WQYEeVnYXsTS1O9SAMJ4mah5DQuqR3ttb4AjG2mOLwzRckgECMvSCCddjH1z /vHxBMPi8uVoP9I3Im/a+cYBC2b4LLGS8+eH/XCgnA/CHPbxdcGSwq0kxKT3KMlhrlFT Zn/IZO7UY/RCdcXSZQPiTAAvHij0x9u15YQKk1oP3b+TW/vCrTyvxTCAf1BPMlikG/OY T/qw== 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:cc; bh=qURfLg1wDgpIkBPFOM+lQlwz+thVanfOYNRPheGZrqE=; b=p9UJUlmpPrIqsak8LUB3bthAbIAx2Pfx+3VyH29MI5zncnlDwbLB3KZQ3EfFC4I3SO Rl1DqkgKC6o04zFCiKD+ZEoa1WNfModJe4l7vkceW2gPutcRj0mA/8HwsplI2w/4pKcu CBiJOqMRvFoJV4UjSBPOMCSQFRi6InQ7wUnJjHRcET2D4LjJRWsJJAP8AHGZQOGtWL/y DCt9kZxCyuxfsvSeQa3KrE0NXGdN69EsfLIDELHd7dhwNqGKakaomM3/pXqwuRBFIUGD 78J1wtwmb594TZZvAyKoLVdkvNKej76CKOYOZ8HQ+Ciw15+FTHnVD31RptmL5boKFimY RfqQ== X-Gm-Message-State: AODbwcAZ9B3FbedCgZH02ktV4F2jRRShetBrX/odP5/8GHrScWyUEk2k 6Hs0qAbSvhICyhwNJlut0zDuyXqXHQ== X-Received: by 10.107.29.65 with SMTP id d62mr11042416iod.114.1497114059267; Sat, 10 Jun 2017 10:00:59 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.151.19 with HTTP; Sat, 10 Jun 2017 10:00:58 -0700 (PDT) In-Reply-To: References: From: Alexey Egorov Date: Sat, 10 Jun 2017 22:00:58 +0500 Message-ID: To: Viet Le Cc: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] memory corruption using C stub Stack traces is not very helpful; it crashes at random places in OCaml code: Program received signal SIGSEGV, Segmentation fault. [Switching to Thread 4204.0xb4c] 0x0000000000414fac in camlSource__fun_6516 () (gdb) (gdb) bt #0 0x0000000000414fac in camlSource__fun_6516 () #1 0x0000000000000000 in ?? () Backtrace stopped: previous frame inner to this frame (corrupt stack?) 2017-06-10 20:40 GMT+05:00 Viet Le : > Do you have stack frame to look at? > > > On Sat, 10 Jun 2017 at 16:33, Alexey Egorov wrote: >> >> 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! >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > > -- > Kind regards, > Viet