ANU crest

Research School of
Computer Science

Concurrent & Distributed
Systems
(comp2310, comp6310)

Lectures
<empty space> Schedule
<empty space> Contents
(incl. slides)
<empty space>
Laboratories
<empty space> Setup & manuals
<empty space> Weekly labs
<empty space> Assignments
<empty space>
Assessment
<empty space> Examination
<empty space>
Resources
<empty space> References
<empty space> Sources
<empty space> Description
<empty space> Forum

<empty space>

Source codes
 
Topic Source code browsers
Sources

Ada95, basic features
  • the queue examples

Lab 2: Counter_Test counter_test.adb

Lab 3:

dynamic.adb
synchronize.adb
ring.adb

Lab 4:

protected_shared_natural.ads
protected_shared_natural.adb
global.adb
mutual.adb
multi_cast.adb


Lab 5: terminate_test.adb
producerconsumer_test.adb

Lab 6: bounded_buffer_test.adb
queue_pack_generic.ads
queue_pack_generic.ads
philos.adb

Lecture example:
Agregate assignments
initialize_structures.adb
Generic list operations generic_list_ops
generic_list_ops
test_generic_list_ops
Functions as parameters test_function_parameter.adb
Provoking live-locks by circular requeuing protected_example.adb
Resolving the live-lcok problem above by using an entry family instead of a circular requeue. protected_example.adb
Provide tasks with Ids instantiate_tasks_with_id.adb
Link tasks link_tasks.adb
Synchronize groups of tasks synchronize_task_groups.adb

to get these files out of the tar-balls:

gunzip *.tar.gz
tar xf *.tar


© The Australian National University
ANU CRICOS Provider Code - 00120C
Wednesday, 14 September 2011Uwe R. Zimmer

<empty space>