source: src/Concurrency/Waitfor.cc @ 7abee38

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since 7abee38 was e15853c, checked in by Peter A. Buhr <pabuhr@…>, 5 years ago

remove leading underscores in enums for _FloatNN and _Bool

  • Property mode set to 100644
File size: 15.3 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Waitfor.cc --
8//
9// Author           : Thierry Delisle
10// Created On       : Mon Aug 28 11:06:52 2017
11// Last Modified By :
12// Last Modified On :
13// Update Count     : 7
14//
15
16#include "Concurrency/Keywords.h"
17
18#include <cassert>                 // for assert
19#include <string>                  // for string, operator==
20
21using namespace std::string_literals;
22
23#include "Common/PassVisitor.h"    // for PassVisitor
24#include "Common/SemanticError.h"  // for SemanticError
25#include "Common/utility.h"        // for deleteAll, map_range
26#include "CodeGen/OperatorTable.h" // for isConstructor
27#include "InitTweak/InitTweak.h"   // for getPointerBase
28#include "Parser/LinkageSpec.h"    // for Cforall
29#include "ResolvExpr/Resolver.h"   // for findVoidExpression
30#include "SynTree/Constant.h"      // for Constant
31#include "SynTree/Declaration.h"   // for StructDecl, FunctionDecl, ObjectDecl
32#include "SynTree/Expression.h"    // for VariableExpr, ConstantExpr, Untype...
33#include "SynTree/Initializer.h"   // for SingleInit, ListInit, Initializer ...
34#include "SynTree/Label.h"         // for Label
35#include "SynTree/Statement.h"     // for CompoundStmt, DeclStmt, ExprStmt
36#include "SynTree/Type.h"          // for StructInstType, Type, PointerType
37#include "SynTree/Visitor.h"       // for Visitor, acceptAll
38
39class Attribute;
40/*
41void foo() {
42        while( true ) {
43                when( a < 1 ) waitfor( f, a ) { bar(); }
44                or timeout( swagl() );
45                or waitfor( g, a ) { baz(); }
46                or waitfor( ^?{}, a ) { break; }
47                or waitfor( ^?{} ) { break; }
48        }
49}
50
51void f(int i, float f, A & mutex b, struct foo *  );
52void f(int );
53
54
55                      |  |
56                      |  |
57                            |  |
58                      |  |
59                      |  |
60                    \ |  | /
61                     \    /
62                      \  /
63                       \/
64
65
66void foo() {
67        while( true ) {
68                {
69                        acceptable_t acceptables[3];
70                        if( a < 1 ) {
71                                acceptables[0].func = f;
72                                acceptables[0].mon = a;
73                        }
74                        acceptables[1].func = g;
75                        acceptables[1].mon = a;
76
77                        acceptables[2].func = f;
78                        acceptables[2].mon = a;
79                        acceptables[2].is_dtor = true;
80
81                        int ret = waitfor_internal( acceptables, swagl() );
82
83                        switch( ret ) {
84                                case 0:
85                                {
86                                        bar();
87                                }
88                                case 1:
89                                {
90                                        baz();
91                                }
92                                case 2:
93                                        signal(a);
94                                        {
95                                                break;
96                                        }
97                        }
98                }
99        }
100}*/
101
102namespace Concurrency {
103        //=============================================================================================
104        // Pass declarations
105        //=============================================================================================
106
107        class GenerateWaitForPass final : public WithIndexer {
108          public:
109
110                void premutate( FunctionDecl * decl );
111                void premutate( StructDecl   * decl );
112
113                Statement * postmutate( WaitForStmt * stmt );
114
115                static void generate( std::list< Declaration * > & translationUnit ) {
116                        PassVisitor< GenerateWaitForPass > impl;
117                        acceptAll( translationUnit, impl );
118                }
119
120                ObjectDecl * declare( unsigned long count, CompoundStmt * stmt );
121                ObjectDecl * declareFlag( CompoundStmt * stmt );
122                Statement  * makeSetter( ObjectDecl * flag );
123                ObjectDecl * declMon( WaitForStmt::Clause & clause, CompoundStmt * stmt );
124                void         init( ObjectDecl * acceptables, int index, WaitForStmt::Clause & clause, Statement * settter, CompoundStmt * stmt );
125                Expression * init_timeout( Expression *& time, Expression *& time_cond, bool has_else, Expression *& else_cond, Statement * settter, CompoundStmt * stmt );
126                Expression * call(size_t count, ObjectDecl * acceptables, Expression * timeout, CompoundStmt * stmt);
127                void         choose( WaitForStmt * waitfor, Expression  * result, CompoundStmt * stmt );
128
129                static void implement( std::list< Declaration * > & translationUnit ) {
130                        PassVisitor< GenerateWaitForPass > impl;
131                        mutateAll( translationUnit, impl );
132                }
133
134
135          private:
136                FunctionDecl        * decl_waitfor    = nullptr;
137                StructDecl          * decl_mask       = nullptr;
138                StructDecl          * decl_acceptable = nullptr;
139                StructDecl          * decl_monitor    = nullptr;
140
141                static std::unique_ptr< Type > generic_func;
142
143                UniqueName namer_acc = "__acceptables_"s;
144                UniqueName namer_idx = "__index_"s;
145                UniqueName namer_flg = "__do_run_"s;
146                UniqueName namer_msk = "__mask_"s;
147                UniqueName namer_mon = "__monitors_"s;
148                UniqueName namer_tim = "__timeout_"s;
149        };
150
151        //=============================================================================================
152        // General entry routine
153        //=============================================================================================
154        void generateWaitFor( std::list< Declaration * > & translationUnit ) {
155                GenerateWaitForPass     ::implement( translationUnit );
156        }
157
158        //=============================================================================================
159        // Generic helper routine
160        //=============================================================================================
161
162        namespace {
163                Expression * makeOpIndex( DeclarationWithType * array, unsigned long index ) {
164                        return new UntypedExpr(
165                                new NameExpr( "?[?]" ),
166                                {
167                                        new VariableExpr( array ),
168                                        new ConstantExpr( Constant::from_ulong( index ) )
169                                }
170                        );
171                }
172
173                Expression * makeOpAssign( Expression * lhs, Expression * rhs ) {
174                        return new UntypedExpr(
175                                        new NameExpr( "?=?" ),
176                                        { lhs, rhs }
177                        );
178                }
179
180                Expression * makeOpMember( Expression * sue, const std::string & mem ) {
181                        return new UntypedMemberExpr( new NameExpr( mem ), sue );
182                }
183
184                Statement * makeAccStatement( DeclarationWithType * object, unsigned long index, const std::string & member, Expression * value, const SymTab::Indexer & indexer ) {
185                        Expression * expr = makeOpAssign(
186                                makeOpMember(
187                                        makeOpIndex(
188                                                object,
189                                                index
190                                        ),
191                                        member
192                                ),
193                                value
194                        );
195
196                        ResolvExpr::findVoidExpression( expr, indexer );
197
198                        return new ExprStmt( expr );
199                }
200
201                Expression * safeCond( Expression * expr, bool ifnull = true ) {
202                        if( expr ) return expr;
203
204                        return new ConstantExpr( Constant::from_bool( ifnull ) );
205                }
206
207                VariableExpr * extractVariable( Expression * func ) {
208                        if( VariableExpr * var = dynamic_cast< VariableExpr * >( func ) ) {
209                                return var;
210                        }
211
212                        CastExpr * cast = strict_dynamic_cast< CastExpr * >( func );
213                        return strict_dynamic_cast< VariableExpr * >( cast->arg );
214                }
215
216                Expression * detectIsDtor( Expression * func ) {
217                        VariableExpr * typed_func = extractVariable( func );
218                        bool is_dtor = InitTweak::isDestructor( typed_func->var );
219                        return new ConstantExpr( Constant::from_bool( is_dtor ) );
220                }
221        };
222
223
224        //=============================================================================================
225        // Generate waitfor implementation
226        //=============================================================================================
227
228        void GenerateWaitForPass::premutate( FunctionDecl * decl) {
229                if( decl->name != "__waitfor_internal" ) return;
230
231                decl_waitfor = decl;
232        }
233
234        void GenerateWaitForPass::premutate( StructDecl   * decl ) {
235                if( ! decl->body ) return;
236
237                if( decl->name == "__acceptable_t" ) {
238                        assert( !decl_acceptable );
239                        decl_acceptable = decl;
240                }
241                else if( decl->name == "__waitfor_mask_t" ) {
242                        assert( !decl_mask );
243                        decl_mask = decl;
244                }
245                else if( decl->name == "monitor_desc" ) {
246                        assert( !decl_monitor );
247                        decl_monitor = decl;
248                }
249        }
250
251        Statement * GenerateWaitForPass::postmutate( WaitForStmt * waitfor ) {
252                if( !decl_monitor || !decl_acceptable || !decl_mask )
253                        SemanticError( waitfor, "waitfor keyword requires monitors to be in scope, add #include <monitor.hfa>" );
254
255                CompoundStmt * stmt = new CompoundStmt();
256
257                ObjectDecl * acceptables = declare( waitfor->clauses.size(), stmt );
258                ObjectDecl * flag        = declareFlag( stmt );
259                Statement  * setter      = makeSetter( flag );
260
261                int index = 0;
262                for( auto & clause : waitfor->clauses ) {
263                        init( acceptables, index, clause, setter, stmt );
264
265                        index++;
266                }
267
268                Expression * timeout = init_timeout(
269                        waitfor->timeout.time,
270                        waitfor->timeout.condition,
271                        waitfor->orelse .statement,
272                        waitfor->orelse .condition,
273                        setter,
274                        stmt
275                );
276
277                CompoundStmt * compound = new CompoundStmt();
278                stmt->push_back( new IfStmt(
279                        safeCond( new VariableExpr( flag ) ),
280                        compound,
281                        nullptr
282                ));
283
284                Expression * result = call( waitfor->clauses.size(), acceptables, timeout, compound );
285
286                choose( waitfor, result, compound );
287
288                return stmt;
289        }
290
291        ObjectDecl * GenerateWaitForPass::declare( unsigned long count, CompoundStmt * stmt )
292        {
293                ObjectDecl * acceptables = ObjectDecl::newObject(
294                        namer_acc.newName(),
295                        new ArrayType(
296                                noQualifiers,
297                                new StructInstType(
298                                        noQualifiers,
299                                        decl_acceptable
300                                ),
301                                new ConstantExpr( Constant::from_ulong( count ) ),
302                                false,
303                                false
304                        ),
305                        nullptr
306                );
307
308                stmt->push_back( new DeclStmt( acceptables) );
309
310                Expression * set = new UntypedExpr(
311                        new NameExpr( "__builtin_memset" ),
312                        {
313                                new VariableExpr( acceptables ),
314                                new ConstantExpr( Constant::from_int( 0 ) ),
315                                new SizeofExpr( new VariableExpr( acceptables ) )
316                        }
317                );
318
319                ResolvExpr::findVoidExpression( set, indexer );
320
321                stmt->push_back( new ExprStmt( set ) );
322
323                return acceptables;
324        }
325
326        ObjectDecl * GenerateWaitForPass::declareFlag( CompoundStmt * stmt ) {
327                ObjectDecl * flag = ObjectDecl::newObject(
328                        namer_flg.newName(),
329                        new BasicType(
330                                noQualifiers,
331                                BasicType::Bool
332                        ),
333                        new SingleInit( new ConstantExpr( Constant::from_ulong( 0 ) ) )
334                );
335
336                stmt->push_back( new DeclStmt( flag) );
337
338                return flag;
339        }
340
341        Statement * GenerateWaitForPass::makeSetter( ObjectDecl * flag ) {
342                Expression * expr = new UntypedExpr(
343                        new NameExpr( "?=?" ),
344                        {
345                                new VariableExpr( flag ),
346                                new ConstantExpr( Constant::from_ulong( 1 ) )
347                        }
348                );
349
350                ResolvExpr::findVoidExpression( expr, indexer );
351
352                return new ExprStmt( expr );
353        }
354
355        ObjectDecl * GenerateWaitForPass::declMon( WaitForStmt::Clause & clause, CompoundStmt * stmt ) {
356
357                ObjectDecl * mon = ObjectDecl::newObject(
358                        namer_mon.newName(),
359                        new ArrayType(
360                                noQualifiers,
361                                new PointerType(
362                                        noQualifiers,
363                                        new StructInstType(
364                                                noQualifiers,
365                                                decl_monitor
366                                        )
367                                ),
368                                new ConstantExpr( Constant::from_ulong( clause.target.arguments.size() ) ),
369                                false,
370                                false
371                        ),
372                        new ListInit(
373                                map_range < std::list<Initializer*> > ( clause.target.arguments, [this](Expression * expr ){
374                                        Expression * init = new CastExpr(
375                                                new UntypedExpr(
376                                                        new NameExpr( "get_monitor" ),
377                                                        { expr }
378                                                ),
379                                                new PointerType(
380                                                        noQualifiers,
381                                                        new StructInstType(
382                                                                noQualifiers,
383                                                                decl_monitor
384                                                        )
385                                                )
386                                        );
387
388                                        ResolvExpr::findSingleExpression( init, indexer );
389                                        return new SingleInit( init );
390                                })
391                        )
392                );
393
394                stmt->push_back( new DeclStmt( mon) );
395
396                return mon;
397        }
398
399        void GenerateWaitForPass::init( ObjectDecl * acceptables, int index, WaitForStmt::Clause & clause, Statement * setter, CompoundStmt * stmt ) {
400
401                ObjectDecl * monitors = declMon( clause, stmt );
402
403                Type * fptr_t = new PointerType( noQualifiers, new FunctionType( noQualifiers, true ) );
404
405                stmt->push_back( new IfStmt(
406                        safeCond( clause.condition ),
407                        new CompoundStmt({
408                                makeAccStatement( acceptables, index, "is_dtor", detectIsDtor( clause.target.function )                                    , indexer ),
409                                makeAccStatement( acceptables, index, "func"   , new CastExpr( clause.target.function, fptr_t )                            , indexer ),
410                                makeAccStatement( acceptables, index, "data"   , new VariableExpr( monitors )                                              , indexer ),
411                                makeAccStatement( acceptables, index, "size"   , new ConstantExpr( Constant::from_ulong( clause.target.arguments.size() ) ), indexer ),
412                                setter->clone()
413                        }),
414                        nullptr
415                ));
416
417                clause.target.function = nullptr;
418                clause.target.arguments.empty();
419                clause.condition = nullptr;
420        }
421
422        Expression * GenerateWaitForPass::init_timeout(
423                Expression *& time,
424                Expression *& time_cond,
425                bool has_else,
426                Expression *& else_cond,
427                Statement * setter,
428                CompoundStmt * stmt
429        ) {
430                ObjectDecl * timeout = ObjectDecl::newObject(
431                        namer_tim.newName(),
432                        new BasicType(
433                                noQualifiers,
434                                BasicType::LongLongUnsignedInt
435                        ),
436                        new SingleInit(
437                                new ConstantExpr( Constant::from_int( -1 ) )
438                        )
439                );
440
441                stmt->push_back( new DeclStmt( timeout ) );
442
443                if( time ) {
444                        stmt->push_back( new IfStmt(
445                                safeCond( time_cond ),
446                                new CompoundStmt({
447                                        new ExprStmt(
448                                                makeOpAssign(
449                                                        new VariableExpr( timeout ),
450                                                        time
451                                                )
452                                        ),
453                                        setter->clone()
454                                }),
455                                nullptr
456                        ));
457
458                        time = time_cond = nullptr;
459                }
460
461                if( has_else ) {
462                        stmt->push_back( new IfStmt(
463                                safeCond( else_cond ),
464                                new CompoundStmt({
465                                        new ExprStmt(
466                                                makeOpAssign(
467                                                        new VariableExpr( timeout ),
468                                                        new ConstantExpr( Constant::from_ulong( 0 ) )
469                                                )
470                                        ),
471                                        setter->clone()
472                                }),
473                                nullptr
474                        ));
475
476                        else_cond = nullptr;
477                }
478
479                delete setter;
480
481                return new VariableExpr( timeout );
482        }
483
484        Expression * GenerateWaitForPass::call(
485                size_t count,
486                ObjectDecl * acceptables,
487                Expression * timeout,
488                CompoundStmt * stmt
489        ) {
490                ObjectDecl * index = ObjectDecl::newObject(
491                        namer_idx.newName(),
492                        new BasicType(
493                                noQualifiers,
494                                BasicType::ShortSignedInt
495                        ),
496                        new SingleInit(
497                                new ConstantExpr( Constant::from_int( -1 ) )
498                        )
499                );
500
501                stmt->push_back( new DeclStmt( index ) );
502
503                ObjectDecl * mask = ObjectDecl::newObject(
504                        namer_msk.newName(),
505                        new StructInstType(
506                                noQualifiers,
507                                decl_mask
508                        ),
509                        new ListInit({
510                                new SingleInit( new AddressExpr( new VariableExpr( index ) ) ),
511                                new ListInit({
512                                        new SingleInit( new VariableExpr( acceptables ) ),
513                                        new SingleInit( new ConstantExpr( Constant::from_ulong( count ) ) )
514                                })
515                        })
516                );
517
518                stmt->push_back( new DeclStmt( mask ) );
519
520                stmt->push_back( new ExprStmt(
521                        new ApplicationExpr(
522                                VariableExpr::functionPointer( decl_waitfor ),
523                                {
524                                        new CastExpr(
525                                                new VariableExpr( mask ),
526                                                new ReferenceType(
527                                                        noQualifiers,
528                                                        new StructInstType(
529                                                                noQualifiers,
530                                                                decl_mask
531                                                        )
532                                                )
533                                        ),
534                                        timeout
535                                }
536                        )
537                ));
538
539                return new VariableExpr( index );
540        }
541
542        void GenerateWaitForPass::choose(
543                WaitForStmt * waitfor,
544                Expression  * result,
545                CompoundStmt * stmt
546        ) {
547                SwitchStmt * swtch = new SwitchStmt(
548                        result,
549                        std::list<Statement *>()
550                );
551
552                unsigned long i = 0;
553                for( auto & clause : waitfor->clauses ) {
554                        swtch->statements.push_back(
555                                new CaseStmt(
556                                        new ConstantExpr( Constant::from_ulong( i++ ) ),
557                                        {
558                                                new CompoundStmt({
559                                                        clause.statement,
560                                                        new BranchStmt(
561                                                                "",
562                                                                BranchStmt::Break
563                                                        )
564                                                })
565                                        }
566                                )
567                        );
568                }
569
570                if(waitfor->timeout.statement) {
571                        swtch->statements.push_back(
572                                new CaseStmt(
573                                        new ConstantExpr( Constant::from_int( -2 ) ),
574                                        {
575                                                new CompoundStmt({
576                                                        waitfor->timeout.statement,
577                                                        new BranchStmt(
578                                                                "",
579                                                                BranchStmt::Break
580                                                        )
581                                                })
582                                        }
583                                )
584                        );
585                }
586
587                if(waitfor->orelse.statement) {
588                        swtch->statements.push_back(
589                                new CaseStmt(
590                                        new ConstantExpr( Constant::from_int( -1 ) ),
591                                        {
592                                                new CompoundStmt({
593                                                        waitfor->orelse.statement,
594                                                        new BranchStmt(
595                                                                "",
596                                                                BranchStmt::Break
597                                                        )
598                                                })
599                                        }
600                                )
601                        );
602                }
603
604                stmt->push_back( swtch );
605        }
606};
607
608// Local Variables: //
609// mode: c //
610// tab-width: 4 //
611// End: //
Note: See TracBrowser for help on using the repository browser.