Alex Cole University of Leicester CPA 2012, Dundee 26 th - - PowerPoint PPT Presentation

▶

Oct 10, 2022 133 likes •338 views

Alex Cole University of Leicester CPA 2012, Dundee 26 th 29 th August Alistair A McEwan Geoff Mainland University of Leicester MicrosoF Research

SLIDE 1

Alex ¡Cole ¡ University ¡of ¡Leicester ¡ CPA ¡2012, ¡Dundee ¡ 26th ¡– ¡29th ¡August ¡

Alistair ¡A ¡McEwan ¡ University ¡of ¡Leicester ¡ Geoff ¡Mainland ¡ MicrosoF ¡Research ¡

SLIDE 2

par ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡Process2(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡Process3(); ¡ } ¡

SLIDE 3

#define ¡par ¡\ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡for ¡( ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_CSPPP_CURRENT_THREAD._ParStart(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_CSPPP_CURRENT_THREAD._LoopCheck(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_CSPPP_CURRENT_THREAD._LoopEnd()) ¡ __declspec((thead)) ¡CSPPP ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_CSPPP_CURRENT_THREAD; ¡

SLIDE 4

class ¡CSPPP ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡std::stack<CSPPPScope ¡*> ¡m_scope; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡bool ¡m_loop; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡void ¡_ParStart() ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡m_scope.push(new ¡ParScope()); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡m_loop ¡= ¡true; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡}; ¡ } ¡

SLIDE 5

bool ¡_LoopCheck() ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡return ¡m_loop; ¡ } ¡ void ¡_LoopEnd() ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡CSPPPScope ¡* ¡run ¡= ¡m_scope.pop(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡run-‑>_Run(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡m_loop ¡= ¡false; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡delete ¡run; ¡ } ¡

SLIDE 6

par ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process2(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process3(); ¡ } ¡

SLIDE 7

#define ¡proc ¡\ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_ ¡CSPPP_CURRENT_THREAD ¡= ¡new ¡ CSPPP ¡& ¡operator=(_Process ¡* ¡p) ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡m_scope.peek()-‑>Add(p); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡return ¡*this; ¡ } ¡

SLIDE 8

class ¡ParScope ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡std::list<_Process ¡> ¡m_children; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡void ¡Add(_Process ¡ ¡p) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡m_children.add(p); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ } ¡

SLIDE 9

void ¡Run() ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡// ¡Not ¡C++ ¡(for). ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡foreach ¡(_Process ¡* ¡c ¡: ¡m_children) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_ ¡CSPPP_CURRENT_THREAD ¡.Schedule(c); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_Yield(); ¡ } ¡

SLIDE 10

par ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process2(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡seq ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process3(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process4(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ } ¡

SLIDE 11

#define ¡par ¡\ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡for ¡( ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_CSPPP_CURRENT_THREAD._SeqStart(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_CSPPP_CURRENT_THREAD._LoopCheck(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡_CSPPP_CURRENT_THREAD._LoopEnd()) ¡

SLIDE 12

class ¡SeqScope ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡void ¡Add(_Process ¡* ¡p) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡p-‑>_Run(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡delete ¡p; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡void ¡Run() ¡{} ¡ } ¡

SLIDE 13

chan ¡int ¡c1; ¡ par ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process2(c1); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡seq ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process3(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process4(c1); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ } ¡

SLIDE 14

Chan<int> ¡c1; ¡ par ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process2(c1); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡seq ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process3(); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡proc ¡Process4(c1); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ } ¡

SLIDE 15

int ¡var ¡= ¡chan; ¡ chan ¡= ¡42; ¡ class ¡Chan ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ChanAccess ¡& ¡operator* ¡() ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡return ¡m_access; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ } ¡

SLIDE 16

class ¡Chan<T> ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ChanAccess<T> ¡& ¡operator* ¡() ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡return ¡m_access; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ } ¡

SLIDE 17

class ¡ChanAccess<T> ¡ { ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡operator ¡T() ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡return ¡ReadChannel(m_parent); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡}; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ChanAccess<T> ¡& ¡operator=(T ¡& ¡d) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡{ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡WriteChannel(m_parent, ¡d); ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡return ¡*this; ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡} ¡ } ¡

SLIDE 18

No ¡working ¡scheduler ¡
Crashes ¡randomly ¡(possibly ¡data ¡races) ¡
Alternate ¡exishng ¡backend ¡

SLIDE 19