Background in compilers and embedded systems... 2Motive? 3Motive: Can it be done in C++? 4Session type 5Session type ? 6"A normal adult programmer never gives a thought about types. That is something C++, we can settle with this explanation: But that is not what “type” in “Session type” means. 28Session type ? 29Session? • Interaction of two or more entities. • It has a beginning and (usually) interactions is happening. 30Session? • Can we describe a valid sequence of interactions? • Interaction diagram Client Server int int ADD DIV int double end Branching 31Session? • Can we describe a

// ... } }; struct Session : public Tcp { void initializeConfig() override { std::cout << "session\n"; // ... } }; int main() { Tcp a; a.init(); Session b; b.init(); } Multi-Level << "tcp\n"; } }; struct Session : public Tcp<Session> { void initializeConfig() { std::cout << "session\n"; } }; int main() { Tcp a; a.init(); Session b; b.init(); } Multi-Level // ... } }; struct Session : public Tcp { void initializeConfig() { std::cout << "session\n"; // ... } }; int main() { Tcp a; a.init(); Session b; b.init(); } Multi-Level

continuing to enhance the C++ extension for Visual Studio Code Our agenda todayVisual Studio Code Session coming up! #1 most used code editor [StackOverflow Developer Surveys] Free, open source code editor Analyzer or Edge/Chrome via /timetrace (thank you to Carlos Fraguas) vcperf /start Session vcperf /stop Session /timetrace mytrace.json Visit https://aka.ms/vcperf to learn moreLive Share

device* which; }; struct packet_processor_end : packet_processor_begin { std::exception_ptr ex; session* which; }; struct processor_manager_callback { virtual void on(const device_processor_begin& e) device* which; }; struct packet_processor_end : packet_processor_begin { std::exception_ptr ex; session* which; }; struct processor_manager_callback { virtual void on(const device_processor_begin& e) 3fe89d88735f83f Database: /db Bellport Revision: 10742-35ad327965de328e7bf3e6823102c46827516b54 Session: 387 DXF Type: Symbols MIC: GLBX Date: 2021-08-06 Identifier: b6 4e 11 49 9d 9e c8 b8 00 00 00 01

argv[]) { QApplication app(argc, argv); // -platform offscreen int result = Catch::Session().run(argc, argv); // --break return result; }24 Context: SuperCollider • supercollider.github int main(int argc, char* argv[]) { QApplication app(argc, argv); int result = Catch::Session().run(argc, argv); return result; } // main.cpp: #define APPROVALS_CATCH_QT #include "ApprovalTestsQt

Please use the Q&A tab for questions during the session (typed) • If you want to raise your hand to ask a question, please hold them until after the session is over. • When asking questions, please

Exchange information at the start of a session • Individual messages are not self describing • Version and (possibly) layout information exchanged once per session • Where necessary, place a version identifier

size at this price level • Each Order has an ID (uint64_t) which is unique throughout the trading session (day) $92 $92 $95 50 $90 100 $85 250 $95 50 $100 75Order Book – Properties 19 • Two ordered size at this price level • Each Order has an ID (uint64_t) which is unique throughout the trading session (day) • A typical stock order book has ~1000 price levels “per side” $92 $92 $95 50 $90 100

form of starvation!). But don’t worry--I will show you how to fix these concurrency bugs! The session will wrap up with discussion and examples of other concurrency primitives and how to use them to patterns(different types of locks, conditional variables, promises/futures). Attendees will leave this session being able to use threads, locks, and start thinking about architecting multithreaded software.

Studio) What you’ll need to develop in C++ Want to learn more? Check out the "Back to the Basics" session: “Getting Started with C++” – Michael Price On Friday @ 13:30 Compiler (Ex. MSVC, GCC, Clang)