From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19587 invoked by alias); 9 May 2007 18:34:10 -0000 Received: (qmail 19573 invoked by uid 22791); 9 May 2007 18:34:09 -0000 X-Spam-Check-By: sourceware.org Received: from 194.149.107.250.adsl.nextra.cz (HELO host0.dyn.jankratochvil.net) (194.149.107.250) by sourceware.org (qpsmtpd/0.31) with ESMTP; Wed, 09 May 2007 18:34:01 +0000 Received: from host0.dyn.jankratochvil.net (localhost [127.0.0.1]) by host0.dyn.jankratochvil.net (8.13.8/8.13.8) with ESMTP id l49IXKg5030131; Wed, 9 May 2007 20:33:20 +0200 Received: (from jkratoch@localhost) by host0.dyn.jankratochvil.net (8.13.8/8.13.8/Submit) id l49IXJUv030130; Wed, 9 May 2007 20:33:19 +0200 Date: Wed, 09 May 2007 18:34:00 -0000 From: Jan Kratochvil To: Luis Machado Cc: gdb-patches@sourceware.org Subject: Re: [RFC] "single step" atomic instruction sequences as a whole on PPC Message-ID: <20070509183319.GA29991@host0.dyn.jankratochvil.net> References: <200705091433.l49EXOfG024847@d12av02.megacenter.de.ibm.com> <1178733926.4754.1.camel@localhost> <20070509181206.GA6543@caradoc.them.org> <1178734875.4754.6.camel@localhost> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="neYutvxvOLaeuPCA" Content-Disposition: inline In-Reply-To: <1178734875.4754.6.camel@localhost> User-Agent: Mutt/1.4.2.2i X-IsSubscribed: yes Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2007-05/txt/msg00135.txt.bz2 --neYutvxvOLaeuPCA Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-length: 1241 Hi Luis, please check the attached two testcases and run them at least 100x etc. Unfortunately the threaded one fails for me in some 7% of cases IMO due to a race at the `infrun.c' line: remove_status = remove_breakpoints (); The whole idea of running all the threads of the program to step over the atomic sequence is problematic as the other threads may hit the inserted breakpoint. While this cases is handled it contains a race. One way would be to use some temporary: if (scheduler_mode == schedlock_off) scheduler_mode = schedlock_step; But I believe one could use the PPC simulation code instead of the whole breakpoint/resume way? Regards, Jan On Wed, 09 May 2007 20:21:15 +0200, Luis Machado wrote: > Daniel, > > > Does Ulrich's observation imply that there is no test case for this > > neat feature? I would recommend one in gdb.arch (and maybe a NEWS > > entry too). > > I could work on providing a test case for this feature to be included on > the GDB testsuite, as soon as i get familiar with the syntax. > > About the instruction bits problem. Should i just literally assign a > decimal number to the variable (16 in this case) or is it preferred to > do a shift based on the hex value? > > Thanks! > Luis --neYutvxvOLaeuPCA Content-Type: application/x-gzip Content-Disposition: attachment; filename="atomic-seq.tar.gz" Content-Transfer-Encoding: base64 Content-length: 3754 H4sIABQSQkYAA+1a/3PauBLvr+Wv2INMC9QQ7BBILpd7j+aSNvN4SSYk0+k0 HcbYAnw1ts+W8+Vy+d9vV7KNIUCAppn3xercxRbaj3ZXu9Jq1wOzV+3pAdvU uTuyjErA/qgar5631bA1GnXxF9v030Zjq/5KrTXUptpo1mo4Tt2q1+uvoPbM fMxsYcB1H+CV77p80binfv8vbZtluBhaAXAWcAPtAPDZ030Obh8+/PZeAT5k 8OHkEkzWCwcD5ldzOQA4cL073xoMOWi1WhOOfMag4/b5je4zOHJDx9S55ToK HDuGpBCzeL478PURTdInkiAi2YM7NwRDd8BnphVw3+qFHHnhoDvmpuvDyDWt /h3hYB+iM18wxpk/CojVmMsPzGG+bsNZ2LMtA9qWwRwUSsepqScYMhN6Aoco 5rG9B8zC3324Zn6A76DFc0SACrg+gRR1Tpz74HpEV0J278DW+Zh0tvBjGU2w HIE8dD2UZ4iAKOGNZdvQYxAGrB/aCkHgYPh0fPHx9PICWief4VPr/Lx1cvF5 DwfzoYu/smsmoayRZ1uIjFL5usPvkHlC+Pfh+cFHJGm9P24fX3xGEeDo+OLk sNOBo9NzaMFZ6/zi+OCy3TqHs8vzs9POYRWgw4gtRgALFNwXa4RKNBnXLTuo 5oAoPuOqBsicbcJQv2a4ugazrpE1HQy0oKdXjkB023UGQkocPNbjHlh9cFyu wI1vobFw9/GaEvm0NSqwreIo3flmo+o7HMcjxpHVR/wj23V9Bd67AcfhQmkt qGmqWquoWzVVgctOC3VS3szlyHHQZyDgzPMsZNDFFYfz484ByK0UcCsNmWMw UgZ5jMlQ6BEj03dHMDCMTXK6IETmN/Gtag42gzvHqGhVI5niHsxBRRpXAPnK SPeN4b5V32nk8SfcuAaM48M9WP/YaVTKlTLc7jS6jbp4fIA3b8CyvS0NH+kf Ys6ANLxw/3o3hReg/xvlCOJhQth+6BhEqNsWT1bPctCWncAyAmEGb3HBff6W PBfeGkPdfxtprGA5hh2iFn4JuGlbverw14k+BBlQXw53ZI76Q1x0dXQBcy/p IzxoHX9Rd77uTfRZjsW7f1j0A+yjLFvKttJUdpVa9K+iJo/jF3iYBKH1mAWi KnVF05BMw9cd7GhiV+qNcGKga9cyc6aLMFCk51LuHpcfTbXY7dLydvuMG8Mu aqerm2axdfyuroBagp/2oVYiQwG9h/qDYmnvCbptBerr0DUU0LSVCIOwR4RN ZHQ1QvyPCHcUaAq6Iqm5VFGXJHd9ot5VYGelWW8lnVpTYHclQifiV1Vjhh9R TpKiRgWhgBCUWryYi2VEjU4RbiXKjZWkLUSI1JtCqMdMNxcSuv4U3Xas352F dLePCBuxfncXEjqPWW3OZfUhcSSxjUCrPeHrslM4+3B9Z5cowttnoKzj7cMl vb29pre31/T29rre3l7X29tjb1/Jz9tr+nl7bT9vr+3n7XX9vJ328xU9vL2m h7fX9fD22h7efsLD8WTPjXSMvop0xmPUYSjyAC6X8eVaOtGIYWhyh9uFEh/u CgTWn8ztF6P3kuAjHtdW4n1hctxQjMOB0aEsiCKXHS80oYw8ENNFYUACE72X SrOVkJC2lXhPmSQdziDFV5/x0HegtvdaNIyx0FwMjBeDLsVLD7mXuP8NZtz/ 2a33rHOIS3597v1/q6lq4v7f2Kpta1oT7/91JMju/y/RCjC58FCpyFBfJAMo np9/wTHklcbB0D00OF5zCqm8QPGgtFxuoPA8qYHC82QGCs+QGCgslRcowAzR V00MFL43L1D4zrRAYbWsgBD6+7MChe9KChRm5QR20exRPwzObN1gUIEOXcxh a6uW5APiZIBKyYBmOhlQQCpGDsPwWLPFavfCQaDQhX/EHI5PkbViJGHJq7dg jazdsonPn8VaDiq4If/T85lX1a3qyOJVZoYYbTIZroqxY4cV/YFviO6N+3jE Q9UQv/QsJ/rF7f1uWv7D5sY9BiTRUzIaz+M+3H/BibvIrkcUeRzoG49Ioqke 8jQgQscXdsuMkOs9JLwXacKHr3Ty5/PwAPfi3IuOuopKpz9NxG4tLh5o95VP PqPj2tJtPDm7OCFsSBY2NyQDktB2dRPGkxPrP33xQ4e7XYoovtJyO3LWPi1F /kB33nLAEaRwGpLPjRmqET8F+BR5ip7sOugjGMl4LsUnjounuTOwWSXZCm+E 8Uo/NKvJ8kC+Q+JAMYYppXDygn8REIxCm1tka3nxc5TlyMOGAJEqqyAT+U9j Lq6+1Cq7V1/f/RyNrpY3CA/tfuRx2Mgj2WtPDwIJIiAexkAfdd+clmsZRNQN eq9LLiUlJG8auOiRtO8EnLYj6roZumTFcRI58m7ip5p7HTpB6HkY+aCLp7kj 3RcKsVYgT2oU9oNbX59WTEVDy0vrty2HgbDRAeNdeus64aiHG2o+CpryX3Nj KN7zmf4NNmhgHq5yryH/nnomJUdXApQ6MmtFTiJorqrVckQnPGlMiyTxhKn5 jGhwtbx5dVWORwA+byZAwgZJYQn9TICz6DQgF0GFOa4/0m377uqqOo3jpUbm 14wWKf7jQxTPDFIhYEV2oU08Ry1ocf1HrWlbalT/adbURgPjv+0mdmXx3wu0 rP6T1X+y+s8L1H+ECVzrvoUrknhbIFgW96iJq5aOcg2FjdM2jKcrBWXBN0v8 SmhiMqKdmiu2JkQbJfTCUjsXh2dnxycfumetzkW3g0/tQ+rrvj8/bP3r7PT4 5KKUFapWKlSN+zyp6MlODH6Yz0VFq2CyPsUW7dPTsw5oWYkrK3FlJa6sxJWV uLISV1bi+p8scaWcB8o5keVSpf8A1bikE4UYjAwcDIcx7PTEglBcUqQ3dNfa nuiHX2TYIN/evZOTySTRslWyaPC4AhZ1rFD5ep1WDGVvxhUslCdVwzKZzThT oxrWLEVoP1IRT5YBI0UM5yticR1vRUVosSKWKnpGgWSXR6G7sEIcbkl3RWXE Iwz8P956im/kuwInl21kXFqafCvtCT7kSMEGGqkISpEH2KctYS/hNhrVY0ML rVzEwQDxckm0aRZ+d0ma9PwCbyz7nDn/Y4qfWXsy//ccteAn6r/NbXWb8n9a Ta016xrl/6gSnOX/XqKl678Tq75yIRgBRIHvGRMdhRXzHIVl0xxZoTorVGeF 6pcrVCc7y4+qWHejmCT4fytdT4eDJel5VK8V1WDhU+j/Mt0q7XBGkZsMvoPb Lsj4byZsVCNHk0kVkXWDo0dUnyzSTsWXKxRri3G1trROuXaePAuKt9Oh8Owi 7nzgiQ8KUqrqMTrxEuVnnxX8sM8KJj8puNoQ3KEl7l9t9Dz8S58VkFJpxxfT pD72EPaaT7uWvOZ8h2OduDeShuaK8gllQoyrFIGoQfhshOHOFENLeFZ015pw qR/5+UMy4SM9yx8WKDq5F6YQY43HYqqL5VTnCqquI6m6jKjqXFnVp4VVF0qr LZZWmyutto602jLSanOl1Z6WVpsp7dy9thhbxF+Jtv5KkEpztt7FROnZZGdq B5Bc/ya7Jz1tJl1i0Y8IZ5jyAgR1AYS6JIa2AEObxKA4jzacx1uYPJeIctan bvKIWvpMjzM2L/fp1XjKBed3kkiabT4pjBU/wHqM9RyfYGUta1nLWtaylrWs ZS1rWcta1rKWtaz90PY3a9F9VgBQAAA= --neYutvxvOLaeuPCA--