Question

The behavior of systems with this property is modeled using the pi-calculus, which Milner, Parrow, and Walker put on a more rigorous (10[1])algebraic footing than Carl Hewitt’s Actor formalism. Per Brinch Hansen developed a version of Pascal for writing programs with this property based on constructs called monitors that were first theorized by Hansen and Tony Hoare. (10[1])When designing systems with this property, (10[1])an MPI implementation, OpenMP, (10[1])or some combination of the two (10[1])are used for communication. (10[2])Proving the correctness of programs with this property (10[2])requires proving safety and (10[1])liveness (10[1])properties. (10[1])To enable writing programs with this property, high-level languages provide atomic classes. The dining philosophers (10[1])problem (10[2])illustrates how (10[1])systems with this property can enter deadlock. For 10 points, (10[2])name this property possessed by systems that perform multiple computations (10[2])at the same time. (10[3])■END■ (10[1])

ANSWER: concurrent systems [or parallel systems; accept distributed systems, multi-processor systems, multi-core systems, or multi-threaded systems; prompt on mobile systems; prompt on communicating systems until “communication”; reject “asynchronous systems”]
<Other Science>
= Average correct buzz position

Summary

2023 ACF Nationals04/22/2023Y24100%0%0%96.25

Buzzes

PlayerTeamOpponentBuzz PositionValue
Jonathan TranCornell AMaryland A2110
Michał GerasimiukYale AWUSTL A5610
Albert ZhangColumbia BJohns Hopkins A6210
Karan GurazadaTexas AToronto A6610
David BassVirginia ASouth Carolina A7210
Vincent DuNorth Carolina AIndiana A7610
Natan HoltzmanStanford AOhio State A7610
Nikhil ChellamNorthwestern AColumbia A8410
Maxwell YeMinnesota AUC Berkeley A8410
Dan NiCornell BMIT A8810
Jerry LinDuke AChicago A8910
Jeya IyaduraiFlorida BVanderbilt A9010
Michael LiBrown AGeorgia Tech A10510
Daniel YangChicago BFlorida A10610
Henry CafaroChicago CHarvard A10610
Anirudh BharadwajPenn AIowa State A10810
S. A. ShenoyGeorgia Tech BIllinois A11810
Ted GanPenn State ARutgers A11810
Todd MaslykMichigan AMinnesota B12810
Vinu HariharUC Berkeley BNYU A12810
Michael MaysImperial AHouston A13210
Matthew SiffYale BMcGill A13210
Tomás Aguilar-FragaClaremont AWUSTL B13210
Lexi TermanRutgers BPurdue A13310