• Keine Ergebnisse gefunden

Exercise 9.2 Prove that overwitten write elimination and write after read elimination as given in the lecture notes are valid in C11 without RLX accesses

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Exercise 9.2 Prove that overwitten write elimination and write after read elimination as given in the lecture notes are valid in C11 without RLX accesses"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

SS 2014 18.06.2014 Exercises to the lecture

Concurrency Theory Sheet 9

Roland Meyer, Viktor Vafeiadis Delivery until 24.06.2014 at 12h Exercise 9.1

Given a finite domain D, show that every irreflexive partial order <⊆ D×D can be extended to a total order on D×Dthat includes it.

Exercise 9.2

Prove that overwitten write elimination and write after read elimination as given in the lecture notes are valid in C11 without RLX accesses.

Note that toeliminate an event means to replace it by skip.

Exercise 9.3

State conditions under which inserting a redundant write before another write is a valid compiler optimization in C11 without RLX accesses:

skip; C;XNA= 1 XNA= 1; C;XNA = 1

Prove that your conditions are correct and show that they are necessary.

Delivery until 24.06.2014 at 12h into the box next to 34-401.4

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 72.87 KB )

ÄHNLICHE DOKUMENTE

The Bhargava greedoid as a Gaussian elimination greedoid

Here we show that the Bhargava greedoid of a finite ultra triple is always a Gaussian elimination greedoid over any sufficiently large (e.g., infinite) field; this is a

Write StroDe

Most microprocessor architecture does not require a common input port select at the card level, so generally the cornmon input port is tied to ground (the

Edge and Vertex Elimination

graph is stored as list of vertices (pointers to objects of class LGVertex). graph structur exists also only indirect; every LGVertex contains pointers to its predecessors

How to Write an R Package

Given a collection of R objects (data or functions) specified by a list of names or an environment, or nowadays typically rather by a few code files (“*.R - files”), it creates

How to Write a Paper

It surfaces, too, in books on Industrial Design, and, less frequently, in scientific and technical writing. Don’t let the jargon-bug infect your

How to Write APIs That Will Stand the Test of Time

internal design Main emphasis is on evolution First version is never

Elimination Wattflächen

Vergleich Wasserlinie Satellitenbild mit

Mister Write

Dann wird es höchste Zeit, dass Sie Ihrem Schreiben wieder zu natürlicher Elasti- zität und strahlendem Glanz verhelfen.. Aus den Labors der Schreibexperten kommt jetzt die