David Olsen, CppCon, 17 Sep 2020 BACK TO BASICS: MOVE SEMANTICS2 David Olsen — Back to Basics: Move Semantics — CppCon 2020 #include The Situation It’s 2003… You need to write code that creates Olsen — Back to Basics: Move Semantics — CppCon 2020 #include typedef std::map dictionary_t;4 David Olsen — Back to Basics: Move Semantics — CppCon 2020 #include typedef std::map dictionary_t;5 David Olsen — Back to Basics: Move Semantics — CppCon 2020 #include typedef std::map dictionary_t; dictionary_t

C++ Move Semantics Back to Basics: Move Semantics NICOLAI JOSUTTIS Cppcon 罗 AN Nicolai M. Josuttis C++ Move Semantics C++ Move Semantics Motivation BE josuttis | | eckstein Crpmaae Tcommunication Copy Semantics std: :vector coll1 coll.reserve(3) ; Staclc ，Heap: stad: :string sfgetData() }

Back to Basics: RValue and Move Semantics, Amir Kirsh @ CppCon, 2024About me 2 Back to Basics: RValue and Move Semantics, Amir Kirsh @ CppCon, 2024 Lecturer Academic College of Tel-Aviv-Yaffo Tel-Aviv (C++, but not only)The motivation for Move Semantics 3 Back to Basics: RValue and Move Semantics, Amir Kirsh @ CppCon, 2024The motivation for Move Semantics Godzilla g1 = factory.createFrighteningGodzilla(); RValue and Move Semantics, Amir Kirsh @ CppCon, 2024The motivation for Move Semantics Avoid redundant copying when we can steal from a dead object! 5 Back to Basics: RValue and Move Semantics, Amir Kirsh

K1: Data Stream Processing and Analytics Spring 2020 2/04: Streaming languages and operator semantics Vasiliki Kalavri | Boston University 2020 Vasiliki Kalavri | Boston University 2020 Languages Almost universally supported across streaming systems and languages albeit with various names and semantics • Allow un-blocking the processing of blocking operators by defining bounded portions of the Continuous queries on data streams • New streams (derived) are defined as virtual views in SQL • Semantics are equivalent to having an append-only table to which new tuples are continuously added. 34

recovery semantics, and guarantees Vasiliki Kalavri | Boston University 2020 Today’s topics • High-availability and fault-tolerance in distributed stream processing • Recovery semantics and guarantees backup starts from most recent information 8 Vasiliki Kalavri | Boston University 2020 Recovery semantics Given a dataflow Q, let Oe be the output stream produced by input e. In the event of a failure Rollback-convergent t1 t2 t3 t’2 t’3 t4 … Rollback-divergent t1 t2 t3 t’2 t’3 t’4 … The output semantics depend on the operator type: • arbitrary: it depends on order, randomness, or external system

Constructs . . . . . . . . . . . . . . . . . . . . . 125 III Program Semantics 127 8 Operational Semantics 129 iv 8.1 Formal Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129 Big-Step Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 8.4 Properties of the Big-Step Semantics . . . . . . . . . . . . . . . . . . . 134 8.5 Small-Step Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 8.6 Properties of the Small-Step Semantics . . . . . . . . . . . . . . . . . 138 8.7 Parallelism . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . 28 3.17.2 Informal Semantics of Pattern Matching . . . . . . . . . . . . . . . . . . . . . . . . 29 3.17.3 Formal Semantics of Pattern Matching . . . . . . . . . . . . . . Syntax of Class Assertions and Contexts . . . . . . . . . . . . . . . . . . . . . . . . 39 4.1.4 Semantics of Types and Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 4.2 User-Defined 2 Pattern bindings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 4.5 Static Semantics of Function and Pattern Bindings . . . . . . . . . . . . . . . . . . . . . . . 53 4.5.1 Dependency

string_view, span, optional, expected etc., raise new questions regarding values types, whole-part semantics, copies, composite objects, ordering and equality. Designing and implementing regular types Regular types Values Objects Concepts Ordering Relations Requirements Equality Whole-part semantics2023 Victor Ciura | @ciura_victor - Regular, Revisited 17 Slide Title This talk is not just Regular types Values Objects Concepts Ordering Relations Requirements Equality Whole-part semantics Lifetimes2023 Victor Ciura | @ciura_victor - Regular, Revisited 17 Slide Title This talk

proxied objects in your tests, they behave correctly, according to their configured transactional semantics. In addition, if a test method deletes the contents of selected tables while running within the defines the default rollback semantics for all test methods within the test class hierarchy. When declared as a method-level annotation, @Rollback defines rollback semantics for the specific test method method, potentially overriding class-level @Rollback or @Commit semantics. The following example causes a test method’s result to not be rolled back (that is, the result is committed to the database):

– Compositional semantics of independently developed libraries or program parts – Explicit expression of boundaries and dependencies in code 2. Isolation – Self-contained semantics of a component – Generally obtained as result of (1) + (2) 4. Modern semantics-aware developer tools – Bring C++ development experience to next level – Semantics-based browsing, transformation, completion, etc. 3 (C) implementation in Visual C++ – Increased safety, better ODR violation mitigation – Focus on high level semantics; see GDR’s talk on C++ representations ▪ What a C++ programmer can do to benefit from these achievements