From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755265AbcJULik (ORCPT ); Fri, 21 Oct 2016 07:38:40 -0400 Received: from mout.web.de ([212.227.17.11]:60900 "EHLO mout.web.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1754798AbcJULii (ORCPT ); Fri, 21 Oct 2016 07:38:38 -0400 Subject: Re: Improving software around DMA API usage? To: Julia Lawall References: <1405b16a-c470-531d-458d-fb6042b93230@users.sourceforge.net> <81f557b2-40f3-0625-331d-c5b115f1971c@users.sourceforge.net> <20161021075142.GS4469@mwanda> <139f8031-4823-8de4-1a79-0af80f82cd89@users.sourceforge.net> <20161021092730.GJ4418@mwanda> <9944c3e8-f030-a500-682c-7a7c7a1f492b@users.sourceforge.net> <20161021102237.GK4418@mwanda> Cc: Dan Carpenter , Jiri Kosina , Geert Uytterhoeven , LKML , kernel-janitors@vger.kernel.org From: SF Markus Elfring Message-ID: <583c4707-c568-727c-a3d0-bef8caf255e0@users.sourceforge.net> Date: Fri, 21 Oct 2016 13:38:19 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:5mFfCAH2nNVNjZgKAdHaxkX1lkeK7I+iRn36rSVE2kGPbCt0TfK +VFH4RnfmZnStJ9H4SJsWinb3OWus17cWNix833eeeY1Syfd1bDzzJDE4Q6DDg8Rgh1kVOb oQ3mSOJw3wG/AhlYnP72bRRiNuYKRJ1eOAg1QXchyVDVjgsw5MOfSWVZ6Co36pYLaSzFg/8 X49piontiWDMmQqPbmb3g== X-UI-Out-Filterresults: notjunk:1;V01:K0:RdCuN+03UcE=:L43Rt5prCzIcEm3vc82hKg in/qiID+OibgzjCGV6aLD7W4HWSF6gIJV/cUUOXoEicjEu4mOn0R3Hui8pYjGJkn9zGiju1Qm 1yyVrFlcgmODAleoJaZA2h56FrZGtaU2cxSnOr7eQfMrTyW01eYzf4DXFOJ2BukGLFBw6GxZ2 Tph3Kuhd/NvM6hCSQ2NJQLJCXl3m/HT2O49hcKRe8Asvu8KPsu6BiTsUoiaEnP6qPz9/ieHqz QDT9Aj4EmVmyLh0lozwowA4As1oGGIJL7j4R+EQz1ZVlF85EfD2sAkuFRLtC6N3s83iMb9Aw2 NOcyep2uiTmDT4+Ur9Mbzyt3EDvF5MIxEwg4M0hfAKpuHhGg/DDYRlysWFtxSMcQc2/EdhQVT Gznmx0qFP132hLUvXtfd2AeOXIbOVnV4nMzLHiHvmsshldLJeO9sg+JPuj5+mwyDGF4W3iEDH 1c6a6lTZBjpvHSwhJcONDitFJU1OoqcyfUV+8mT8D+2IlGxeHvOsYuZ/UXMHw7qsCxd/kd4tN DTEQ3jfUtU4IczD6EkwN4Q8ykQdJUQ9EyHdNCH3H4ag6B+fS8bx+CbSZDkD7MKlHrXYctRwZj h7Va5hBZHDZCZLWKWvuG5CWKwI9SmP2ngxUuniS6zuO1K9MYeQbhylQ9TfOENtF7+LbjM8OoE ZjceLLqSmDnU0CLXU1Xaj9Vjd2DRKSFl6k6jCFywK791saurO70DcxBn0RhPPTt2amvCCIb52 W+J48fQ4HMW7/ciZrCr+2m2v4XtXaWy0LXdV2PVZ0Jw/EPh4Hm+JCphU0NOW32sd6jHA4uEB1 N6TQzDs Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org > If you want to do something that might be useful, you could look into the > problem of missing checks for dma mapping failure. There is nice slide > presenatation about the issue: > > http://www.slideshare.net/SamsungOSG/shuah-khan-dmamaperror Thanks for your suggestion about the software development idea "Detecting Silent Data Corruptions using Linux DMA Debug API" by Shuah Khan (from the year 2013). > The slides are from a few years ago, but I did a small test recently, > and the problem seems to persist. Does this information indicate anything about the corresponding software development attention? > This needs to be done slowly and carefully, because when there is a failure, > you need to figure out what to do to clean up and what value to return. I imagine that some tools can help here again with static source code analysis, can't they? > There is no point to clean up all of the other checkpatch errors in the file > at the same time. Do you prefer to leave them over for newcomers? ;-) > Just stay on the problem at hand. * Can further evolution also around software like "Coccinelle" help to improve the described situation? * Are the chances becoming better around advanced data flow analysis by other analysis and design approaches? Regards, Markus