MCR Construction and API

1
MCR Construction and API

• Shaojie Wang

2
Concurrency API
3
Concurrency API (Cont.)

• int m_ssend(
• m_pid_t dst_pid, /process id/
• m_tid_t dst_tid, /thread id/
• char msg_buf, / start addr of msg
  buffer /
• int msg_size, / Byte count of msg
  /
• int data_type_id, /how to
  interpret the byte stream /
• int tag / msg category /
• )

4
Concurrency API (Cont.)

• int m_recv(
• m_pid_t src_pid,
• m_tid_t src_tid,
• char msg_buf,
• int buf_size,
• int data_type_id,
• int tag,
• m_status_t status / source and msg
  size/
• )

5
Concurrency API (Cont.)

• int m_reg_recv_handler(
• m_pid_t src_pid,
• m_tid_t src_tid,
• char msg_buf,
• int buf_size,
• int data_type_id,
• int tag,
• void (handler)(void )
• )
• int m_get_status(m_status_t status)

6
MCR Concurrent Process/Thread
7
Single Entry Single Exit Region

• Previous works
• R. Johnson, The Program Structure Tree
  Computing Control Regions in Linear time, ACM
  Sigplan94PLDI.
• Edge pair lta, bgt, where a and b are distinct
• Definition in MCR
• Node pair lts, egt

8
SESE Region Example
9
SESE Region Example (Cont.)
10
MCR and non-blocking receive