Witnessing side-effects

TerauchiTachio,; AikenAlex,

doi:10.1145/1090189.1086379

Cited by 3 publications

(2 citation statements)

References 18 publications

(18 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The annotation uses objects to witness side-effects [Terauchi and Aiken 2008]. However, in contrast to the large research on data races, we only enforce the absence of read-write data races on our witness objects and allow write-write data races.…”

Section: Related Work and Conclusionmentioning

confidence: 99%

Types for relaxed memory models

Goto

Jagadeesan

Ptcher

et al. 2012

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation

View full text Add to dashboard Cite

Multicore computers implementing weak memory models are mainstream, yet type-based analyses of these models remain rare. We help fill this gap. We not only prove the soundness of a type system for a weak execution model, but we also show that interesting properties of that model can be embedded in the types themselves.We argue that correspondence assertions can be used in a programming discipline that captures happens-before relationships, which are the basis for reasoning about weak memory in Java. This programming discipline is flexible and can be statically enforced. We present several examples from java.util.concurrent and prove the static semantics sound with respect to an execution model based on Java's memory model.

show abstract

Section: Related Work and Conclusionmentioning

confidence: 99%

Types for relaxed memory models

Goto

Jagadeesan

Ptcher

et al. 2012

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation

View full text Add to dashboard Cite

show abstract

“…In pure functional languages, which lack side-effects, monads [16], witnesses [14], and uniqueness [4] types were introduced to make external side-effects explicit. There has been work to blend the advantages of imperative and functional programs [9], and to allow imperative languages to borrow the explicit side-effect type systems [7].…”

Section: Related Workmentioning

confidence: 99%

Identifying task-level parallelism by functional transformation with side-effect domains

Outman

2009

Proceedings of the 47th Annual Southeast Regional Conference

View full text Add to dashboard Cite

Functional programming languages typically minimize side effects and make the side effects that do exist explicit. This allows a compiler to easily extract task-level parallelism. Imperative languages rely on the programmer to order each operation to account for hidden side effects. An imperative compiler is not easily able to extract parallelism since it cannot always know if two operations are independent.In this paper, we introduce the concept of side-effect domains, where external API functions are declared as belonging to domains in which side-effects only affect functions with common domains. We describe techniques to use dependence graphs with the introduction of side-effect dependences to transform imperative application logic into a functional representation in which task-level parallelism can be identified.

show abstract

Side Effects

Sabry¹

2009

Wiley Encyclopedia of Computer Science and Engineering

View full text Add to dashboard Cite

Side effects occur when a computation performs some actions “behind the scene.” Such actions complicate programming activities and the process of maintaining and reasoning about program components. To address these complications, it is first beneficial to expose the side effects as explicit actions whose propagation then can be checked explicitly and enforced by programs and program analysis tools. Additionally, side effects could be confined to specialized sublanguages, which have been designed to deal generically, and in a modular way, with a heterogeneous collection of side effects. Such specialized languages simplify—but do not completely solve—the tricky problems that occur when different side effects interact.

show abstract

Witnessing side-effects

Cited by 3 publications

References 18 publications

Types for relaxed memory models

Types for relaxed memory models

Identifying task-level parallelism by functional transformation with side-effect domains

Side Effects

Contact Info

Product

Resources

About