From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C4250BB9C for ; Sun, 11 Dec 2005 04:30:41 +0100 (CET) Received: from sccmmhc92.asp.att.net (sccmmhc92.asp.att.net [204.127.203.212]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBB3Ue2X021568 for ; Sun, 11 Dec 2005 04:30:41 +0100 Received: from [192.168.0.101] (12-214-22-74.client.mchsi.com[12.214.22.74]) by sccmmhc92.asp.att.net (sccmmhc92) with SMTP id <20051211033036m9200ak00ie>; Sun, 11 Dec 2005 03:30:36 +0000 Subject: Mysterious bug From: Jonathan Bryant Reply-To: jtbryant@valdosta.edu To: caml-list@yquem.inria.fr Content-Type: multipart/mixed; boundary="=-Akv6fZIXRfAMMPxFW0ZF" Date: Sat, 10 Dec 2005 22:30:35 -0500 Message-Id: <1134271835.1763.8.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.4.1 X-Miltered: at nez-perce with ID 439B9D60.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; bug:01 bug:01 gdb:01 ocaml:01 elusive:98 elusive:98 unix:01 unix:01 thread:02 segmentation:02 bugs:03 module:03 library:03 library:03 needing:04 X-Attachments: type="application/x-compressed-tar" name="clientServer.tar.gz" name="clientServer.tar.gz" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 --=-Akv6fZIXRfAMMPxFW0ZF Content-Type: text/plain Content-Transfer-Encoding: 7bit Everybody, I'm working on my client/server library and I've run into a rather elusive bug. It may be elusive because my skills with GDB are rather shoddy (usually I'm pretty good at achieving my goal of not needing to use it). The attachment is my code for the library (as well as a small build script and tester). It's documented in the Acceptor module, but when I run the server under high loads (10 thread pinging it 1,000,000 times or so each), one of three things happens: 1. Nothing (works like it should) 2. Unix.accept raises an Unix.Unix_error(12, "accept", "") at some random time (sometimes, I believe, after all of the connections have been made, but I feel very wrong in thinking this) 3. Segmentation Fault at a random time. These bugs sometimes come up immediately into execution and sometimes 5 minutes or so into execution. I don't know if this is a bug in my tester, my library, OCaml, or Linux. Any ideas? I think it may just be that I've been staring at the code for too long and need another set of eyes to look at it... --Jonathan Bryant --=-Akv6fZIXRfAMMPxFW0ZF Content-Disposition: attachment; filename=clientServer.tar.gz Content-Type: application/x-compressed-tar; name=clientServer.tar.gz Content-Transfer-Encoding: base64 H4sIABOdm0MAA+09a3PbRpL5zF8x0eYqpCPRop5V0ip1iu2cvSfb2dipuyqdSjUEQBErEGAwgGRt 4v9+/ZgXQICkZFp5EWVLAjDo6enp6df0zDxL4igt3kX5TZQ//eLzXNtwHe7v4+/B4f62/9tcXwy2 d/cODgcHe/D39mD3YH/nC7H/mfCpXKUqZC7EF//KUlmMZdpWbtH7P+j1zO//wLvpT5J4RXVgBx/s 7bX1/97+wZ7p/53dwQH0/+H27v4XYntF9c+9/uL9333ypCOeiPfjWAn4J8VVlEZ5HIhJmRTxVjHO IxlG4aaIPhRRquJhEglmk6eK+ESMcjmJbrP8WoyyHGG9fSYnSR/+wptXBYINssk0j1UUimwkVPxB TLKwTCJ1hEW2xC9f+mz4UdyO42AMH6WFjFP6epKlIpSFFDIN4WNVIKBiHIkwC8oJfCqLOEsNtBc3 8OS7PLt2wCYylVeRom8ifK3EVCrEaCiDawIL6BdjMYyK2yhKsSCCYwKovmASMd7YpDgNo2kEP1KL Sx45vHQDN4XKRFyIQKYAGQHmUYm1RomKbsdRHgFkppGC6vHrJL6OAB8h1V0ajPOsTLNSCaCLghYa 8OfUxAsEaFBKg6SEnoI/qASwdRrKPAR4w1zmd31L6ixNowDJZWgzlkqMypSeKSQDUiuelgkQNb3C ftAfAPkyQxjufQv1NAiiaZHl7TARqaFUwFrYsXmWmLZI/akjt4VaZYiYu28CTGFajYA1uARxpZYz X9ZAMYfdA5TUfG44+TQpxll5NWYW+iCDQoyz7BrGTI730wRgWfLHuVDTKIhHOJIMK8ArGl0y4aZC 79PHiCn8vJsCfwJNCKoeGX8fftt9HvWADrFM4n8Tl4u/Px1+q+tGpMNoFKeI8Ti75UESU0cNkSMl DrkR/Ed4yOW3eQwDWUBDqSsBqWlZ0JusLPDPAIRcCuwJjPndHQKXIAk2sawC2saTaXIngIV1E8T5 a5mrsUwuDB0BroJxwaMTsNkUQ4DKnwdZmYSMGNArwNF3t2nkBtAUgEeb4uX79z+IMcqdHAZpDv2p CEEmHnAKNS+AxhVAQC5eYUeg2utIKRjw4iV8iN3ZRjPCktsIeI3lTQxvmTERFrOAgGe6giaiMFhN mjDPpkImCQ7IbIJVTBgV5ZBzQ1CcxaMouAuSqIagDEP81qIEsiKtjERgHEKQqBAKapMC5r2LwkYk 3WAMM5FmxRjAG9Z+n8Gzs1gVmutOw1APHzHNMhoNiBOIxgK6BMTcFOBAT8eTiDomyW75eVbmQQTc Ac31IUUim1JrodtKJFgkb+5uo/hqXIhpngVAoAglqiqYX43UnQdjCE1gQFuMA0KbgXkbQylSZcBZ TsBQs5Tokqw9ncqANEmkepvQBdNoVCbQk/StBGDRCLWbHMZJXNyJrkxApuOXJBXo4x7+if//U5Yg JXLxD20tiO/yO5kW8KrX6UQfUNBhG16lNzCcw0sQ0sDCqBOLHKjcAW0sTlPhCuphLEl3Eg9EMQoO IohjTk/soRIfZjjiMkQIP8dRHeN4B3xirllQzX1CCwWP+FoaPhUnnV+F5lBE7ac0/tAfxUl0CQwW 5IJw9FiRRP0QVSYLckAUoP4qnscqcFCg/jlfJqjR6at/lrEpqLtKjUloAOfBaEJyUbl/ZDEpw/cs 5fmb96SEgyi+4aHtf/+vjCQzCX56TmDeoaQCMND8WQBVXanhaNmGtoCmFwDCb1+lgGIqEzvejYEh wXgx2Cgs/VvbfP41z/5fVR0L7P/tnYG2/w/A7t8egP1/cLC3tv8f5Vosk+4nHpoGvh7WDaO2MgJ/ V+Pir3JVxv+wjJOwr8YrrmNB/GeA77T/vzvYBjkx2McwwHr8P8L1ty+fDuP0KThm407nbzCwJ1MY y3nn2dvXP7w6e/HjyUYWgDsPtlcf/m9gmR9AQyYReqgpqsOinHaiYJyJjW+2zCuQGxudfCK28hF6 6E/p75F40g8mMf38wD8l/Mrgv+xMrkPwmaCsj4UYJfJKdb4/O/2vdycbOhghSpQ49LFxzvGGUDtj X1egPFKd12eX30Mb4FNfsbH7z9EB3xgxbqgxpPibjc7Zq+8MmI3O87fP3I3DlAww7WhbYvA742To txsdtKQRBLqDXxkUj6HpHSH4UyH8j2O0K0bgLImvsCjG5Tag6Femh8RWAG+QRK5AGyj0r2y0xBZf BA5ee0T4yv6tCwD1EYJHmq/s3w4lr7YwSyMk3ncobhpJdxan1zOE81CUYisTFWuF+MFwiEOxWk0B HhLwtqmFXphq+F2llmoV7zG6oykzW3W9JJKtUnc1UNWIQqXIRocGHjzDgSe2Qnwttl6Jb4wluTUu JonYQvkFN9dRNN0KsjCCDsySLI//HfGt64wmBdtq/+lGrELGLLD/dnd3XPx/d4fiv/tr+f84F1l3 E3VFZt27uxR+ngbXnSQCj6oHD4X4EcR8NumrKBldxil6Z73jDjzvPhHPKPiwyUpgk/UBULPw/VHw d4RAcHx/qbLgGu5O2HDUd/T3D99f/vTm1f/yzbu3z/778t37H1+cvhbbIAMBCD0HZRXWQHXpxenz 5z/S992Np8Vk+hTHM5XY6AG++uskVhj8qn4/QCY81liScrgcsnY4EV4kua8DTkAWQse1CcoZUcBF KkCqlbV/qk3m7rtsApWMylTAcP8WSgvQuKAERv0p/RIbXvjo1Ljc3VfPj8R/hL3/SzdE1xXog6sf UPuFCOBnr2fjBG2IhM58vx8uZ+jErw6PMUbu4IGHBBgR34qJLDCeT+EZ+JS4Fp9TMeRdfHaJT2qo vrpKM/RowIC4TrPb1Hg0gOqxeIM6aSm8mMNdKR4KVHuQZKrMIwpPhhxenUKF8O9IlFN8Oti2gYBI QjP0a36L1HkiBpvAjvif4mvKDSCwrai8ifsEWQk/T4im8cjcCqwBeBzYFOcYRJfeC8GCvk/hCw0A CHes3yL8S/hYl+IYiI0wES3w8qvvcoVbYtCjt/jTEg1xTbJsqrEC26oVUXxXwZSI/hABgRe9M/yr lpQNptbAUUCPZOUgYwFEW/uuRhogX34wg8PRSHw41g0Yl0WI3KY03i9/ev/87f+8uTw9O9Pf9ES3 q6UshskGrBZ74hsgrVc/ktMjuugWR0dAvAr1mRl/LM0cEDCjItOG2QhjvP0Yg7iEd4GjRLeH42MA leupIqRxOb+wov+daZYn6sElYMcAuLkm9v3hA+D9MVajUkVazlDMSvIyBYv2WtT7cx1DuOdVsf88 z2iF4b9F9t/O9qGx/7YPdnYw/+NgDx6t7b9HuLIpiGCfCWy8D2XdLwLG26Qsog/iSLzG3/3imB9J ygQgaXSEPio+DvDvLtxsIoB/llEZ9UGkvJRqXAyT6qcjnPOkLwVaZZ2PZHM6Gwsqt3Wf6LrtW6rM qBFd84mtRxfbOcQ3VM8JiC5TA09vimhIGokBJyA74EmfqjOmIJgsJ9ragFcEx9oc5xdG5JtK9Ywm FkXLCX8RgiQ4u0wLi7/WOrbQ37eE/0H1LVU4Pjoq5lc5nlMLIQ+VFPxkbFQ1tx5kab39cdhhNT7J brACEcyjlkNIF0d8AnzT2MItbqGHVzc4OtK3hHQjXh1WJ2C/ED6TeRgxJWQYQrGuQW8U07eE3IJq plmSuGYX+R3RraUyZhfAx7C8vI5aajXqvJXwQtu7E9SfNAPJMF9MpsWdYYA5X5MdaywwY8ZxQzQv u6YRN//Kpiub1nCHADyz4C6OkhBHXAVYZ61n/yRXNf7j/LUVqv9F+n9/e9/N/x3u7KD+391fz/89 yrVA/4NMIX83CkFXD7MsYcENN96MoB8kKVh7OJtAm/runi37o/rEIX0XULlLraPxUYaPsrLwnymd DRVVX6HUAqzgZ5nGVBcA9oo6wFwSS3CQgZvDn3OWiTYWMGoBZAj6Vh8G2n+/xHwarR7ojZWvPjVI 1gZ9FJkYAXEhCyty2emtxTSwCCVCWLfSB8ouPAPV1O16c65dCrVYv3bRlzQl29XSHoN8aDjYr4u8 jDRCNFGLkUKLFAHR5A360FPw1nw4kokyX1IwxjzoEQGMljFPSS3GIyKjrlNHMZDfXHTAaGJDMnYe owQbfh7oaMEFmmfwb7sPgsbRlO22TXG5yRhVOtKWAEPr0pUxMQlTX6DDUmCx9H3ugu4F5e5VVe3l WUodN1bvk6bpPfv6ZBa8SMPLbHSJA2gxmwBLdJGhXL/WgPd86xs+UWIUWt4mQ7gSCXU2NHXcLwTV CIoT7lVjfMJ9NOQbAhSHfGMDA0rfm8DwSBeIAxMEciMXm8xpSKZUZkt5omC2mKP/Ccc+cDLlW2Gj ijqLsV9kVkhgNwHDHItRUqox3Grq+f2ugcUErGuAjPJsYsGQUPtamjGl+efEi2hij2PPsszxwAP6 nuEW9DWFN+Gxtt2I0pvMaSOE9Yu262pYjgC4LW04rKWsaxHbo3Nb1ekhYByyesRQrproVrNJ/DCx TJD17oSE25togznPBHsf3l5L1/lNbSO/WEkzVtJzy/fbAqZmX6Gdsem9Ye4VdSRHxxuabtqNNcwF H6Ut4DUduGHN0diqbmbZZIllxROh8NG5k+RLtuFr6lxMjzQrfGRNQ+fJZNaphnIYLv98iHTmqgfU DsfN5OKKP659vj/jVfH/TArMSr2/xfHfwZ71/w4OdjH/62B7Z3ft/z3G9Vn8v7k+XotvqD2uuocl l/GwJIoxuWIPSwO9t5+0Qm+nwceR832cdg9Hdhr8GzO1COQdbV4aQ5rFgDBVuSnIRTTSOqg76jU6 GvLRHI1ZX6LZ87BGN7wHTiMe8swYaVlO3s+MMavhljBiLucaMdIYMXKeEYOWwxxcF1gOFtnl7QY3 4JzdMIPh2m74A1wV/a9WvfKDrwX6/2Bv2+R/b+8NDg8x/3t/53Ct/x/j+uzxX5tWTZ8YWcPl/PWM 9NpLGONpYa9UQwmO2PqPPi3qe7/gsgu5LoNZi32j2q0ahUJWWaumbtPM5MFpe4atCLdGB/SrVvQ2 xcmhZdKcbFWj0Kj7htJeeINnKZV71DMOd+OX1WQ+pe/nf1MJhJkPvYfzvzaBiFoJZZPD7Cu/O34R es2oz5onND9tv8RnGC9CIntx97hOZ20BUc4VTQJXEynJLBnNJkmSoWJLkF1orUsydFCrkm7t6WcV zNjcqTfaY9Z7tVsjn9iUMQ/9RcgT6m4eQGNu29ITjRQlO9va5ZXktOMZtFXHWtzVx71OcyBd1czP zx7ltuLvxMk+Vz0NOJ0VWyG8ic6ZTjtx1BefNw69+nC5Y73ZVuicHCOqPHGolouZVtm2PWI6U87H ZLngr14+tDjw+9BGLBH4bSj5SIHfea130fuHNn1R9L5e7EHR+3lNqM26PLQdS826NJb9HLMucxvs huUnNNcf2wta2yYGVjD4OCN/tg3LOettoO/pqiuX/S59aa+x61tNoD16TRdPQcjjZv/eVw3Kt2FI 32OJYZ7JMJAKqTBZTIdaGjh1RMXM40mRHqabe1X3FscSNC0rkQQbopjTQw8AOzdA4QxaF6BQ6wDF 7NWw/u+x/f/9PZP/fXC4vU/5X/Bob+3/P8a12P/XIqASAVhxEle31dHuzTr03bpH36u49N2aT9/z fHuTe66XCR/ZfSj8lySquKnaZ+csLiu8ls05qsbiKTG3nl7ES9saUokWZJuNobFuPsQmJVVnP0hV jzrenESckATceDc2+3ClmSEGeHNwYy05vVtUv98Xb7Opgt8bZuLCzU9n001DHFu1byzMzL8w3pVZ mPsmSbUnSPX8+lvTmOtfVWyPbmV6Ap3D2hDwvL7aHMMy2UpL5SqtzPX6FP/QGtpIx+OO8bqdAaRn wAhhHDCaMJ2qQ+enM1gibjYwbJ1rbPhiqRwPTEXUCLpFDjaTwe89bVU1MMqi4oszY3hZZIt7aNNM Zrl8Jl2/lqv/0ET9oOqZ1jKSvO74w+ckzaG8Pwg+hQC/s3S6OS1uTqVzXF23uNsy6BYkas3l9pYs uL8ez30aBf44TFeJLy8h80111GidicAWBUlweIe94kd/jYSvJKnNKGYvmDBXsLvCmp6L211xPv80 LuOc9b+r2v578frfwcCu/90+2OH9/9brfx/l0vt/n+rNpmmv6WE5GkU5jBMzwYsbWfJutGZvbN53 a+GOp9aX7JjdNeVQFTnunUyvshGHbgQzHW120YHBZyzwI3ICtT/HQM4bt2S50F/gDuZpdCu6ZvNP OYLBnQ1vYmhYctfjrVkEb81C+NsatVA8Yt8XqsSktNka7aRQvUorVVO3ybiuSJxjcRB/tCMrbd1q CuP+4bhLNO/IlZaTIe/hmkdFmae4l69BUC+ureBn3ORZPL2Vuxf6U1Wp+RyeozZoQHZ4UaEMGa8z 1ToffbZyb5HuBX2ud9vW7HQOT/Xu0z42md10fZZ4jgxkEjdhoxduzSBj17siHYocTWPsMoOMpcHy qIhXI717N3QUOM24Dby30fOmnrTFPWKNH02guE+VOEfVdOH3LBvsDa1q6tgbuwx3ZS36nW1Ku74e 7Wpf/7sy9b/w/I+By//a39ul/X/X+7890qX1//ftxz/EINxu4rBEHTlzEoS/7/6nWgI16NLbQa5q E2BmVWWn6qY8NE+M1ncwr5gTs8lQIFl/FqPQ1+/eNqGlMts1Vs8ZIdGK0pTEv/gZd20Q5z9f8LZ4 +Ij2rqL1moRGTLN+51ARaBTTxjhsMkBqWTYX4ioqWKU22w/6YA0Pa1ABTt9U/NOmgLrZal8TqpVg dUcXlb1GzL1izIwi9M5WqOFnOMqWPB9ZXetpUtrgfjqF/g+ZS1ibEkBoXBkZ7VtpP2rNvCC+iuFX /cSHPm5zCL4fnThQO46mX3EHP2KgvAYcMdJOsZ5cdLQ20Zj2iYmFVPYCOh6BDdOP9QEXf1kKV3m5 fSZpWXK3svSaoYnclM5wtICGnHx5waVVgzQSeZnSASy40hNIO5W5C+6TOtENWDGvVFyZug/TkAOx yH+pidhPpDrGmBooThOSCwiOi0cvqCwja+i7YgwdabPp1GD5Wxsx6+vBV9v6z9VZ/4vjf/vbB8b+ 3xkMaP+/wf5gbf8/xqXt/5d1K8Kd2WYT1LRsnjkJD4UWvMEjk/RJXtNymPA5b6qcsNalvaE57WCa Z0M5hNI4m5nd0JlpCgxZbVS/02e+cQXm2LJxHIa4WeytvDOnVn355u37F1+iL8GRGCmG5ZVQ2YQP 1jOBuNicy3PuzRxfuAwHOrfppxQPGxvHV2ORZDJUmwJnD/RJVIgZ0EaBrQUyL9WHZL3hM7Qw1IhC EvDHQxABDYUH/nFbe1z03FtWeUF5GCb5LxVRngNtBzuiKzFxMKdtV2nrX/3xu+jKbdn/PWn5xqJ0 2uLXE9YhJbSfqUDH7gFdYnUkJnd6m3v2Uc5NjqI5u22Tz26ExlM3nsVp+QEzQMTLyWQCf/SXOuZq CVevga8+s5vXkHxfd/IwiGuRanfzoPl1N0+7XdbbYyj1sxNtXM46ggRsxhmc7wvahuCS1WU9Qdus c3mxjClXS16VFUPOB+abcWiH8o7AD7PhXIKsMzM0+CWMIQ9lXA3bZApVqXBvQ8jHj2SeBvuHDp42 r/9cpfZfpP8HYAEY/T8YgAGA+Z8H6/3/HudqjP81n6i6kiAfg2qY6Fta2s8V87VzGIYNIl5HFdsE /Oxc3Zy4nW2FXQjaXbwSdH4konYcBFDMC0HYmAGfC2nCBsM7fxv2c3VhDn/Ec0hpbnI2cFuLSrxv CUkQmHgyicIYaAhGmxwV5vjJimNoDiJF/YfHhHAMJeTTX4d4hGbUFCfBg4+Nw7tsaITDIjzNZntJ N37VcZF52GgFQKD0EFlRjNUcxVFblLR8fFXjw0Fp1RaKok5vhUSHXIMNCX3JPAbcRABnwsvK7wEz 2rrY8XzuNc1EXrmzqfWXBCwxB+Daint/Lk54aAS4dgxKtfvbor5VGWAH3PzBzp1s+7i5f2Xh89Ty ndzewYBLZVocOpUzXCvdStE2lBI0aY1ntZvQGy9WsbxSbehifmnnFYLUyi/35xUWxQ38MsMrK4ll m4M22kTHMoLDVyLLaIvleEiTQlcxkdefxkEau/uJid9jt1e2kliVBVFd4PmJRoTfj7eaineANx33 bniiyia1vmjS/YvMCns+dJElBORn3OKC41J1YIALMNO5ty3uhTtHW5kjtLUP7neUzHEZDCujQJZ4 fjiRAsroowd7dSOmEUcbEf8Uzkx/b6zZHiMwYoaXt1YiBB4PNU7vPJbqndlfpmkw8fEjDbY3L3rV IRZJxaxYK/McUAa+dUnFrI84KVI8MwU2Z9GP02waATkwi4vCongs551Tg6mI6LAHrPC+UZQ5lGIK MZPOUMotIG6fHdPVVtYaz5ke87UAk8YRi8dHVmOW/j3oRkHWPEpw1GfprJ4ycWS/Mz8uP2KWGMBt pGyNUNkBg0uhm+JT3rDho3XJU66J38fgiD9wPGt93e9qXv/9mPG/7f3Dwx0b/9sb0PnfB3vr/L9H uXT8T69xmXEr1UoS+7T4n4n5zU/MqxzEWMvHY3RdDK89RkdC7k1GxocstECsFdQTk2BWRXbmYSxD PW+nhe9F3WjCo3AJXMxR0+hDEaUqHsZJXKA6lwq3tVpZ2h2T4+Epd5poHBL61OwkbbcavZt6Ffim K6PFZmsbeg9JSdHHkrp5ImtZrCDzjgndnHVXXx9fpa1H19mwi56ifUhoCxid5vKcVaJn3ycgvTBb t6TZ9yCbTMBcC3C80PSyZ17dxFIHu72DYDlpFW0N+1ivRfjoJIDHFDOY8prFZm5o8wXRntG12BVG ykaEnBnMjNoUEaobm03RITdlcf9csmW4azVZh6YrHpJxWOW5tkjNQ7jNetdzx/PjjubKVpvNZLQL UC9MaVWn03yFwfbwNAriEZLntibXbqWd5WDCyllxYKIBPLCUiq9SgOTPNVXFixtn/qohR5EcFzOn xlSfcaPfwjf5bYwLWGNbHoe+iaCxO/VQv7upb+6dU+mfO70wn1JLK62qK32noxbO4S6ye0VA/MbY eI8FhtP6jT1KwqWYt1jLrNKqn519Yco2Ls767Vo6WrKltZV2tSV2urW8Q8WKm1pdX1d4MPVSu3p0 QCsNVhl6dd3js0Z9R+AWC85bKn/hfTMjrGr0+6TRi1SsSdXf2vNYX+trff3W1/8D2TmI7gCgAAA= --=-Akv6fZIXRfAMMPxFW0ZF--