Coccinelle Archive on lore.kernel.org
 help / color / mirror / Atom feed
From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] release: 1.0.2: Software evolution around parallelisation support
Date: Tue, 25 Aug 2015 08:42:54 +0200	[thread overview]
Message-ID: <55DC0E6E.10405@users.sourceforge.net> (raw)
In-Reply-To: <alpine.DEB.2.10.1508231227480.2916@hadrien>

>> Does the parallelisation support need any more fine-tuning?
>> * How often is task preparation required before further data processing
>>   can be performed in parallel?
>>
>> * Which programming interfaces do you prefer for the storage
>>   of collected data in the fork-join work flow?
> 
> No idea what either of these questions mean, but the whole point is that
> there is no join.

This view needs an adjustment.

A fork-join work flow is implemented by the Coccinelle software for
its main programs with the help of the application programming interface "parmap",
isn't it?
https://rdicosmo.github.io/parmap/

The manual contains the following information for this approach.
* Preparation for spawning subprocesses:
  "This option furthermore creates a temporary directory in the directory
  from which spatch is executed that has the name of the semantic patch
  (without its extension) and that contains stdout and stderr files
  generated by the various processes."

* Actions for joining:
  "When the semantic patch completes, the contents of these files are printed
  to standard output and standard error, respectively, and the directory
  is removed."


I propose to reactivate the support for the SmPL rules "initialize" and "finalize"
for all uses cases without unwanted software limitations.
I imagine that such rules can still be evaluated and executed at the appropriate
data processing phases after a bit more software development even if
the multi-programming technique is reused.

Regards,
Markus

  parent reply	other threads:[~2015-08-25  6:42 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-08-22 14:09 [Cocci] 1.0.2 Julia Lawall
2015-08-23 17:47 ` [Cocci] release: 1.0.2: Better file selection SF Markus Elfring
2015-08-23 18:16 ` [Cocci] release: 1.0.2: Software evolution around parallelisation support SF Markus Elfring
2015-08-23 19:30   ` Julia Lawall
2015-08-23 20:20     ` SF Markus Elfring
2015-08-25  6:42     ` SF Markus Elfring [this message]
2015-08-25  6:54       ` Julia Lawall
2015-08-25  7:20         ` SF Markus Elfring
2015-08-26  5:50     ` SF Markus Elfring
2015-08-26  9:11       ` Julia Lawall
2015-08-26 10:43         ` SF Markus Elfring

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=55DC0E6E.10405@users.sourceforge.net \
    --to=elfring@users.sourceforge.net \
    --cc=cocci@systeme.lip6.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox